arXiv++ Combinatorics

In this article, we show that the Sidon subsets of $[N]^d$ are Fourier uniform, and we prove a dense model lemma for Sidon sets. Using these results and a higher-dimensional version of Rado's theorem, we prove that given any partition regular linear equation in $s \geq 5$ variables with nonzero coefficients, and any finite partition of a sufficiently dense Sidon subset $S$ of $[N]^d$, the number of monochromatic solutions to this equation is $\gg |S|^s N^{-d}$ for all large $N$. As a corollary of the Fourier uniformity result, we show that dense Sidon subsets of $[N]^d$ are equidistributed in certain arithmetic and Bohr structures. Our proofs are motivated by the arguments of Ortega and Prendiville.

We introduce the notion of intersective polynomials having coefficients in the ring of integers $\mathscr{O}_K$ of a number field $K$, and define a notion of upper density of subsets of $\mathscr{O}_K$. We prove that given any intersective polynomial $p(x)$ over $\mathscr{O}_K$, every subset $A$ of $\mathscr{O}_K$ of positive upper density contains two distinct elements whose difference is equal to $p(x)$ for some element $x$ in $\mathscr{O}_K$. Moreover, we obtain a quantitative version of this result. The proof is motivated by an argument due to Lucier, and the Fourier-free proof of the Furstenberg--Sárközy theorem over the integers by Green, Tao and Ziegler.