{"id":"arxiv/2610.07765","url":"https://arxiv.org/abs/2610.07765","tags":["math.NT","math.CO"],"score":0,"title":"The optimal van der Corput property for squares","domain":"math.NT","source":"arxiv","authors":["Steve Fan","Andrew Lott"],"reviews":0,"subject":"math.NT","summary":"We prove a sharp quantitative form of the van der Corput property for squares. For all sufficiently large $N$, we construct a real trigonometric polynomial $P(θ)=a_0+\\sum_{1\\le n\\le\\sqrt N}a_n\\cos(2πn^2θ)$ satisfying \\begin{equation}\\tag{1}\\label{eq:abstract-vdc} P(θ)\\ge0\\quad(θ\\in\\mathbb{R}/\\mathbb{Z}),\\qquad P(0)=1, \\end{equation} with \\[0\\le a_0\\le\\exp(-c\\sqrt{\\log N\\log\\log N}),\\] where $c>0$ is an absolute constant. As a consequence, if $A\\subseteq\\mathbb{N}\\cap[1,N]$ has no nonzero square difference, then \\[|A|\\le N\\exp(-c\\sqrt{\\log N\\log\\log N}),\\] improving upon a recent result of…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-06","reactions":{}}