On the exponential sum over squarefree integers
arXiv:2609.03961
Abstract
Let be the Möbius function and . We prove that if , , , and , then \[\bigg|\sum_{n\le N}μ^2(n)e(αn)\bigg|\ll\left(\frac Nq+q\right)(\log 2N)^5, \] with an absolute implied constant, and we deduce the corresponding estimate on the minor arcs of the Hardy--Littlewood dissection throughout the range . The estimates of Schlage-Puchta [SP] and of Tolev [T] have the same dependence on and but carry a factor . The proof uses Heath-Brown's square sieve with sieving primes confined to an interval , where may be as small as a multiple of ; a finite Fejér majorant in place of a truncated Fourier series; and, after completion of the character sums, a count of representations that exploits the restriction on the primes in place of the divisor function.
16 pages