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 divisor bounded multiplicative functions in short intervals

On the divisor problem with congruence conditions

A Note on Large Sums of Divisor-Bounded Multiplicative Functions

Generalized divisor functions in arithmetic progressions: I

Higher order divisor functions over values of mixed powers

A generalization of the Titchmarsh divisor problem

On moments of the error term of the multivariable k-th divisor functions

Sign changes of the error term in the Piltz divisor problem

Convolution of periodic multiplicative functions and the divisor problem

On the generalised Dirichlet divisor problem

A short-interval Hildebrand-Tenenbaum theorem

On divisibility concerning binomial coefficients

Local Fourier uniformity of higher divisor functions on average

The Function D(K)(N) At Consecutive Integers

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

The divisor function over integers with a missing digit

The Duffin-Schaeffer Conjecture for multiplicative Diophantine approximation

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

Divisor Functions: Train-like Structure and Density Properties