A power saving for square-difference-free sets
Recorded by the registry's curators from GitHub; the authors did not submit it here.
OpenAI
We prove that there are absolute constants $c>0$ and $C<\infty$ such that every set $A\subseteq\{1,\ldots,N\}$ with no nonzero square difference satisfies $|A|\le C N^{1-c}$. This answers the fixed-power question posed by Green and Sawhney.
Claims
SOLUTION CLAIMED
OP-01139 — A power saving in Sárközy's theorem on square differences
Files and sources
- Paper
- math @ 4eaee87, build/main.tex ↗
- Posted on GitHub
- 6 October 2026
No verification run is on record for this version.