Abstract:We study higher uniformity properties of the von Mangoldt function $\Lambda$, the Möbius function $\mu$, and the divisor functions $d_k$ on short intervals $(x,x+H]$ for almost all $x \in [X, 2X]$. Let $\Lambda^\sharp$ and $d_k^\sharp$ be suitable approximants of $\Lambda$ and $d_k$, $G/\Gamma$ a filtered nilmanifold, and $F\colon G/\Gamma \to \mathbb{C}$ a Lipschitz function. Then our results imply for instance that when $X^{1/3+\varepsilon} \leq H \leq X$ we have, for almost all $x \in [X, 2X]$, \[ \sup_{g \in \text{Poly}(\mathbb{Z} \to G)} \left| \sum_{x < n \leq x+H} (\Lambda(n)-\Lambda^\sharp(n)) \overline{F}(g(n)\Gamma) \right| \ll H\log^{-A} X \] for any fixed $A>0$, and that when $X^{\varepsilon} \leq H \leq X$ we have, for almost all $x \in [X, 2X]$, \[ \sup_{g \in \text{Poly}(\mathbb{Z} \to G)} \left| \sum_{x < n \leq x+H} (d_k(n)-d_k^\sharp(n)) \overline{F}(g(n)\Gamma) \right| = o(H \log^{k-1} X). \] As a consequence, we show that the short interval Gowers norms $\|\Lambda-\Lambda^\sharp\|_{U^s(X,X+H]}$ and $\|d_k-d_k^\sharp\|_{U^s(X,X+H]}$ are also asymptotically small for any fixed $s$ in the same ranges of $H$. This in turn allows us to establish the Hardy-Littlewood conjecture and the divisor correlation conjecture with a short average over one variable. Our main new ingredients are type $II$ estimates obtained by developing a "contagion lemma" for nilsequences and then using this to "scale up" an approximate functional equation for the nilsequence to a larger scale. This extends an approach developed by Walsh for Fourier uniformity.

Gowers norms for the Thue-Morse and Rudin-Shapiro sequences

Quantitative bounds for Gowers uniformity of the Möbius and von Mangoldt functions

Higher uniformity of arithmetic functions in short intervals I. All intervals

Higher uniformity of arithmetic functions in short intervals II. Almost all intervals

Thue--Morse along the sequence of cubes

Ergodic averages for sparse sequences along primes

A Correspondence Principle for the Gowers Norms

On the maximum order complexity of subsequences of the Thue-Morse and Rudin-Shapiro sequence along squares

A rigorous computer aided estimation for Gelfond exponent of weighted Thue-Morse sequences

Quasipolynomial bounds on the inverse theorem for the Gowers $U^{s+1}[N]$-norm

On the $N$th linear complexity of automatic sequences

On the automaticity of the Hankel determinants of a family of automatic sequences

Generalizations of an Ancient Greek Inequality about the Sequence of Primes

Obstructions to uniformity, and arithmetic patterns in the primes

On Hofstadter's G-sequence

Infinite log-concavity and higher order Turán inequality for the sequences of Speyer's $g$-polynomial of uniform matroids

The $L_q$ norm of the Rudin-Shapiro polynomials on subarcs of the unit circle

On the Orthogonality of Generalized Pattern Sequences

On the congruence properties and growth rate of a recursively defined sequence

One-dimensional quasi-uniform Kronecker sequences

On inverse Goodstein sequences