arXiv++ Combinatorics

Let $β,ε\in (0,1]$, and $k \geq \exp(122 \max\{1/β,1/ε\})$. We prove that if $A,B$ are subsets of a prime field $\mathbb{Z}_{p}$, and $|B| \geq p^β$, 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^{-ε}\min\{|A||B|,p\}$. As a corollary, we obtain an elementary proof of the following sum-product estimate. For every $α< 1$ and $β,δ> 0$, there exists $ε> 0$ such that the following holds. If $A,B,E \subset \mathbb{Z}_{p}$ satisfy $|A| \leq p^α$, $|B| \geq p^β$, and $|B||E| \geq p^δ|A|$, then there exists $t \in E$ such that $$|A + tB| \geq c p^ε|A|,$$ for some absolute constant $c > 0$. A sharper estimate, based on the polynomial method, follows from recent work of Stevens and de Zeeuw.