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.

A lower bound for the variance in arithmetic progressions of some multiplicative functions close to $1$

Generalized divisor functions in arithmetic progressions: I

Simple Barban--Davenport--Halberstam type asymptotics for general sequences

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

General divisor functions in arithmetic progressions to large moduli

A Note on Large Sums of Divisor-Bounded Multiplicative Functions

Estimate of asymptotics of moments of arithmetic functions defined on an arithmetic progression and having a limit - normal distribution

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

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

Strong Bounds for 3-Progressions

A note on multiplicative functions on progressions to large moduli

Upper tails for arithmetic progressions revisited

An improvement to the Kelley-Meka bounds on three-term arithmetic progressions

Degree lowering for ergodic averages along arithmetic progressions

A note on the distribution of in arithmetic progressions

Gap Statistics and Higher Correlations for Geometric Progressions Modulo One

The Borwein Conjectures over Arithmetic Progressions

On primes in arithmetic progressions and bounded gaps between many primes

Divisor Problem in Arithmetic Progressions Modulo a Prime Power

TERNARY DIVISOR FUNCTIONS IN ARITHMETIC PROGRESSIONS TO SMOOTH MODULI

Improved bounds for five-term arithmetic progressions