We study asymptotics of sums of the form 0true∑X0, where σ:=833=0.2424⋯, with an error term saving on average an arbitrary power of the logarithm over the trivial bound. This improves upon results of Mikawa and Baier–Browning–Marasingha–Zhao, who obtained statements of this form with σ replaced by 13. We obtain an analogous result for the fourth sum for most N in an interval of the form [X,X+H] with Xσ+ε⩽H⩽X1−ε.
Our method starts with a variant of an argument from a paper of Zhan, using the circle method and some oscillatory integral estimates to reduce matters to establishing some mean‐value estimates for certain Dirichlet polynomials associated to ‘Type d3’ and ‘Type d4’ sums (as well as some other sums that are easier to treat). After applying Hölder's inequality to the Type d3 sum, one is left with two expressions, one of which we can control using a short interval mean value theorem of Jutila, and the other we can control using exponential sum estimates of Robert and Sargos. The Type d4 sum is treated similarly using the classical L2 mean value theorem and the classical van der Corput exponential sum estimates.
In a sequel to this paper we will obtain related results for the correlations involving dkfalse(nfalse) for much smaller values of H but with weaker bounds.