Higher uniformity of bounded multiplicative functions in short intervals on average

Abstract

Let $\lambda$ denote the Liouville function. We show that, as $X\to \infty$, $${\int }_X^{2X}\underset{\begin{array}{c}P(Y)\in \mathbb{R}[Y]\\ deg(P)\le k\end{array}}{\sup }|\sum _{x\le n\le x+H}\lambda (n)e(-P(n))|dx=o(XH)$$ for all fixed $k$ and $X^{\theta }\le H\le X$ with $0<\theta <1$ fixed but arbitrarily small. Previously this was only established for $k\le 1$. We obtain this result as a special case of the corresponding statement for (non-pretentious) $1$-bounded multiplicative functions that we prove. In fact, we are able to replace the polynomial phases $e(-P(n))$ by degree $k$ nilsequences $\overline{F}(g(n)\Gamma )$. By the inverse theory for the Gowers norms this implies the higher order asymptotic uniformity result $${\int }_X^{2X}\Vert \lambda {\Vert }_{U^{k+1}([x,x+H])}dx=o(X)$$ in the same range of $H$. We present applications of this result to patterns of various types in the Liouville sequence. Firstly, we show that the number of sign patterns of the Liouville function is superpolynomial, making progress on a conjecture of Sarnak about the Liouville sequence having positive entropy. Secondly, we obtain cancellation in averages of $\lambda$ over short polynomial progressions $(n+P_1(m),\dots ,n+P_k(m))$, which in the case of linear polynomials yields a new averaged version of Chowla's conjecture. We are in fact able to prove our results on polynomial phases in the wider range $H\ge \exp ((\log X{)}^{5/8+\epsilon })$, thus strengthening also previous work on the Fourier uniformity of the Liouville function.

arXiv comment107 pages; to appear in Ann. of Math

References in corpus (6)

• The primes contain arbitrarily long polynomial progressions
• An averaged form of Chowla's conjecture
• A note on the Liouville function in short intervals
• Approximate orthogonality of powers for ergodic affine unipotent diffeomorphisms on nilmanifolds
• Equivalence of the logarithmically averaged Chowla and Sarnak conjectures
• Expansion, divisibility and parity

Cited by in corpus (7)

• Higher uniformity of arithmetic functions in short intervals I. All intervals
• On the Hardy-Littlewood-Chowla conjecture on average
• Chowla and Sarnak Conjectures for Kloosterman Sums
• Furstenberg systems of pretentious and MRT multiplicative functions
• Weyl sums with multiplicative coefficients and joint equidistribution
• On the local Fourier uniformity problem for small sets
• On variants of Chowla's conjecture