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.

On $A_p$-$A_\infty$ type estimates for square functions

A Noncommutative Weak Type (1,1) Estimate for a Square Function from Ergodic Theory

Weak type estimates of intrinsic square functions on the weighted Hardy spaces

Lower Estimate on Square Function of an Indicator Set

Error Bounds for Approximate Solutions of Abstract Inequality Systems and Infinite Systems of Inequalities on Banach Spaces

Weighted Bounds for Multilinear Square Functions

The Behaviour of Square Functions from Ergodic Theory in 𝐿^{∞}

An explicit result for short sums of positive arithmetic functions

$L^{p}$ estimates for multilinear maximal Bochner--Riesz means and square function

Small cap square function estimates

Pointwise and uniform bounds for functions of the Laplacian on non-compact symmetric spaces

On a non-standard characterization of the $A_p$ condition

Square function inequality for oscillatory integral operators satisfying homogeneous Carleson-Sjölin type conditions

Weighted weak $(1,1)$ estimate for non-commutative square function

Square function estimates on layer potentials for higher-order elliptic equations

An almost sharp quantitative version of the Duffin-Schaeffer conjecture

A bilinear estimate in $\mathbb{F}_p$

On the local $L^2$-Bound of the Eisenstein Series

On relative $L^\infty$ estimate for complex Monge-Ampère equations

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