The optimal scale in Linnik's microsquare problem for almost all integers

Abstract

We prove that, for any positive function $Ψ(t)\to\infty$, almost all positive integers $n$ satisfying $4\nmid n$ and $n\not\equiv7\pmod8$ can be written as $n=x^2+y^2+z^2$, where $x,y,z\in\mathbb{Z}$ and $1\leqslant z<\sqrt{\log n}\,Ψ(n)$. This improves Wooley's bound, and we show that the result is best possible. Our approach combines Hooley's weighted representation function for sums of two squares with Green's $W$-trick. We also give a necessary and sufficient condition, in terms of covering systems, for almost all odd integers to be represented as the sum of a squarefree number and a power of two, answering a question of Granville and Soundararajan.