New bounds for the Furstenberg-Sárközy theorem

Abstract

Suppose that $A\subset \{1,\dots ,N\}$ has no two elements differing by a square. Then $|A|\ll N{e}^{-c\sqrt{\log N}}$.

35 pages; new version improves exponent from $1/4-o(1)$ to $1/2$