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.

Oscillation results for the summatory functions of fake mu's

Oscillating asymptotics for a Nahm-type sum and conjectures of Andrews

Murmurations and explicit formulas

New bounds and progress towards a conjecture on the summatory function of $(-2)^{Ω(n)}$

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

On a family of arithmetic series related to the Möbius function

Voronoi summation formulas, oscillations of Riesz sums, and Ramanujan-Guinand and Cohen type identities

Distribution of neighboring values of the Liouville and Möbius functions

Hauptmoduln and even-order mock theta functions modulo 2

Uniform bounds for Kloosterman sums of half-integral weight with applications

Precision Asymptotics for Partitions Featuring False-Indefinite Theta Functions

Omega theorem for fractional sigma function

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

Analogues of Iwasawa’s $\mu = 0$ Conjecture and the Weak Leopoldt Conjecture for a Non-Cyclotomic $\Mathbb{z}_2$-Extension

Stability under scaling in the local phases of multiplicative functions

Singular multipliers on multiscale Zygmund sets

On the non-existence of oscillation numbers in Sturm-Liouville theory

The twisted second moment of modular half-integral weight $L$-functions

Jacob's ladders, Riemann's oscillators, quotient of two oscillating multiforms and set of metamorphoses of this system

On a New Zeta Function

On multiplicative functions with small partial sums