arXiv++ Combinatorics

We establish upper bounds on the size of the largest subset of $\{1,2,\dots,N\}$ lacking nonzero differences of the form $h(p_1,\dots,p_{\ell})$, where $h\in \mathbb{Z}[x_1,\dots,x_{\ell}]$ is a fixed polynomial satisfying appropriate conditions and $p_1,\dots,p_{\ell}$ are prime. The bounds are of the same type as the best-known analogs for unrestricted integer inputs, due to Bloom-Maynard and Arala for $\ell=1$, and to the authors for $\ell \geq 2$.

For $\ell\geq 2$ and $h\in \mathbb{Z}[x_1,\dots,x_{\ell}]$ of degree $k\geq 2$, we show that every set $A\subseteq \{1,2,\dots,N\}$ lacking nonzero differences in $h(\mathbb{Z}^{\ell})$ satisfies $|A|\ll_h Ne^{-c(\log N)^μ}$, where $c=c(h)>0$, $μ=[(k-1)^2+1]^{-1}$ if $\ell=2$, and $μ=1/2$ if $\ell\geq 3$, provided $h(\mathbb{Z}^{\ell})$ contains a multiple of every natural number and $h$ satisfies certain nonsingularity conditions. We also explore these conditions in detail, drawing on a variety of tools from algebraic geometry.