Slightly improved sum-product estimates in fields of prime order

Let ${\mathcal H}$ be a multiplicative subgroup of $\mathbb{F}_p^*$ of order $H>p^{1/4}$. We show that $$ \max_{(a,p)=1}\left|\sum_{x\in {\mathcal H}} {\mathbf{\,e}}_p(ax)\right| \le H^{1-31/2880+o(1)}, $$ where ${\mathbf{\,e}}_p(z) = \exp(2 \pi i z/p)$, which improves a result of Bourgain and Garaev (2009). We also obtain new estimates for double exponential sums with product $nx$ with $x \in {\mathcal H}$ and $n \in {\mathcal N}$ for a short interval ${\mathcal N}$ of conse...

Let $\beta,\epsilon \in (0,1]$, and $k \geq \exp(122 \max\{1/\beta,1/\epsilon\})$. We prove that if $A,B$ are subsets of a prime field $\mathbb{Z}_{p}$, and $|B| \geq p^{\beta}$, then there exists a sum of the form $$S = a_{1}B \pm \ldots \pm a_{k}B, \qquad a_{1},\ldots,a_{k} \in A,$$ with $|S| \geq 2^{-12}p^{-\epsilon}\min\{|A||B|,p\}$. As a corollary, we obtain an elementary proof of the following sum-product estimate. For every $\alpha < 1$ and $\beta,\delta > 0$, there ...

In this paper we obtain a series of asymptotic formulae in the sum--product phenomena over the prime field $\mathbf{F}_p$. In the proofs we use usual incidence theorems in $\mathbf{F}_p$, as well as the growth result in ${\rm SL}_2 (\mathbf{F}_p)$ due to Helfgott. Here some of our applications: $\bullet~$ a new bound for the number of the solutions to the equation $(a_1-a_2) (a_3-a_4) = (a'_1-a'_2) (a'_3-a'_4)$, $\,a_i, a'_i\in A$, $A$ is an arbitrary subset of $\mathbf{F}_...

Let $p$ a large enough prime number. When $A$ is a subset of $\mathbb{F}_p\smallsetminus\{0\}$ of cardinality $|A|> (p+1)/3$, then an application of Cauchy-Davenport Theorem gives $\mathbb{F}_p\smallsetminus\{0\}\subset A(A+A)$. In this note, we improve on this and we show that if $|A|\ge 0.3051 p$ implies $A(A+A)\supseteq\mathbb{F}_p\smallsetminus\{0\}$. In the opposite direction we show that there exists a set $A$ such that $|A| > (1/8+o(1))p$ and $\mathbb{F}_p\smallsetminu...

Assume that $A\subseteq \Fp, B\subseteq \Fp^{*}$, $\1/4\leqslant\frac{|B|}{|A|},$ $|A|=p^{\alpha}, |B|=p^{\beta}$. We will prove that for $p\geqslant p_0(\beta)$ one has $$\sum_{b\in B}E_{+}(A, bA)\leqslant 15 p^{-\frac{\min\{\beta, 1-\alpha\}}{308}}|A|^3|B|.$$ Here $E_{+}(A, bA)$ is an additive energy between subset $A$ and it's multiplicative shift $bA$. This improves previously known estimates of this type.

In this paper we provide in $\bFp$ expanding lower bounds for two variables functions $f(x,y)$ in connection with the product set or the sumset. The sum-product problem has been hugely studied in the recent past. A typical result in $\bFp^*$ is the existenceness of $\Delta(\alpha)>0$ such that if $|A|\asymp p^{\alpha}$ then $$ \max(|A+A|,|A\cdot A|)\gg |A|^{1+\Delta(\alpha)}, $$ Our aim is to obtain analogous results for related pairs of two-variable functions $f(x,y)$ and $g...

Let $p$ be a fixed prime. We estimate the number of elements of a set $A \subseteq \mathbb{F}^*_p$ for which $$ s_1s_2 \equiv a \pmod{p} \quad \mbox{for some}\quad a \in [-X,X] \quad \mbox{for all}\quad s_1,s_2 \in A. $$ We also consider variations and generalizations.

This is a sequel to the paper arXiv:1312.6438 by the same authors. In this sequel, we quantitatively improve several of the main results of arXiv:1312.6438, and build on the methods therein. The main new results is that, for any finite set $A \subset \mathbb R$, there exists $a \in A$ such that $|A(A+a)| \gtrsim |A|^{\frac{3}{2}+\frac{1}{186}}$. We give improved bounds for the cardinalities of $A(A+A)$ and $A(A-A)$. Also, we prove that $|\{(a_1+a_2+a_3+a_4)^2+\log a_5 : a_i...

We prove, in particular, that if A,G are two arbitrary multiplicative subgroups of the prime field f_p, |G| < p^{3/4} such that the difference A-A is contained in G then |A| \ll |\G|^{1/3+o(1)}. Also, we obtain that for any eps>0 and a sufficiently large subgroup G with |G| \ll p^{1/2-eps} there is no representation G as G = A+B, where A is another subgroup, and B is an arbitrary set, |A|,|B|>1. Finally, we study the number of collinear triples containing in a set of f_p and ...

The classical Cauchy--Davenport inequality gives a lower bound for the size of the sum of two subsets of ${\mathbb Z}_p$, where $p$ is a prime. Our main aim in this paper is to prove a considerable strengthening of this inequality, where we take only a small number of points from each of the two subsets when forming the sum. One of our results is that there is an absolute constant $c>0$ such that if $A$ and $B$ are subsets of ${\mathbb Z}_p$ with $|A|=|B|=n\le p/3$ then there...