Abstract:Let $p$ be a prime, let $S$ be a non-empty subset of $\mathbb{F}_p$ and let $0<\epsilon\leq 1$. We show that there exists a constant $C=C(p, \epsilon)$ such that for every positive integer $k$, whenever $\phi_1, \dots, \phi_k: \mathbb{F}_p^n \rightarrow \mathbb{F}_p$ are linear forms and $E_1, \dots, E_k$ are subsets of $\mathbb{F}_p$, there exist linear forms $\psi_1, \dots, \psi_C: \mathbb{F}_p^n \rightarrow \mathbb{F}_p$ and subsets $F_1, \dots, F_C$ of $\mathbb{F}_p$ such that the set $U=\{x \in S^n: \psi_1(x) \in F_1, \dots, \psi_C(x) \in F_C\}$ is contained inside the set $V=\{x \in S^n: \phi_1(x) \in E_1, \dots, \phi_k(x) \in E_k\}$, and the difference $V \setminus U$ has density at most $\epsilon$ inside $S^n$. We then generalize this result to one where $\phi_1, \dots, \phi_k$ are replaced by homomorphisms $G^n \to H$ for some pair of finite Abelian groups $G$ and $H$, and to another where they are replaced by polynomial maps $\mathbb{F}_p^n \to \mathbb{F}_p$ of small degree.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is about how to approximately define the set determined by generalized affine conditions with a set of conditions of low complexity. Specifically, the paper studies that, on the finite field $ \mathbb{F}_p $, given a set of linear forms $ \varphi_1, \ldots, \varphi_k: \mathbb{F}_p^n \to \mathbb{F}_p $ and subsets $ E_1, \ldots, E_k \subseteq \mathbb{F}_p $, how to find a new set of linear forms $ \psi_1, \ldots, \psi_C: \mathbb{F}_p^n \to \mathbb{F}_p $ and subsets $ F_1, \ldots, F_C \subseteq \mathbb{F}_p $ such that the point set $ U $ satisfying these new conditions can well approximate the point set $ V $ satisfying the original conditions, and the density of the difference $ V \setminus U $ does not exceed a given small value $ \epsilon $. ### Specific problem description 1. **Approximation of linear conditions**: - The paper first considers the linear conditions on $ \mathbb{F}_p $, that is, given linear forms $ \varphi_1, \ldots, \varphi_k: \mathbb{F}_p^n \to \mathbb{F}_p $ and subsets $ E_1, \ldots, E_k \subseteq \mathbb{F}_p $, how to find a new set of linear forms $ \psi_1, \ldots, \psi_C: \mathbb{F}_p^n \to \mathbb{F}_p $ and subsets $ F_1, \ldots, F_C \subseteq \mathbb{F}_p $ such that the point set $ U $ satisfying these new conditions can well approximate the point set $ V $ satisfying the original conditions, and the density of the difference $ V \setminus U $ does not exceed a given small value $ \epsilon $. 2. **More general finite abelian groups**: - Then, the paper generalizes this result to more general finite abelian groups $ G $ and $ H $, considers homomorphisms $ \varphi_1, \ldots, \varphi_k: G^n \to H $ and subsets $ E_1, \ldots, E_k \subseteq H $, and proves similar results. 3. **Approximation of polynomial conditions**: - Finally, the paper further considers the low - degree polynomial conditions on $ \mathbb{F}_p $, that is, given a polynomial mapping $ \varphi: \mathbb{F}_p^n \to \mathbb{F}_p $ and a subset $ E \subseteq \mathbb{F}_p $, how to find a new set of low - degree polynomial conditions such that the point set satisfying these new conditions can well approximate the point set satisfying the original conditions. ### Main results 1. **Approximation of linear conditions**: - For any $ \epsilon > 0 $, prime number $ p $ and non - empty subset $ S \subseteq \mathbb{F}_p $, there exists a constant $ K $ such that for any positive integer $ n $, any set of modulo $ p $ conditions can be internally $ \epsilon $-approximated by at most $ K $ modulo $ p $ conditions. 2. **More general finite abelian groups**: - For any $ \epsilon > 0 $, finite abelian groups $ G $ and $ H $ and non - empty subset $ S $

Low-complexity approximations for sets defined by generalizations of affine conditions