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.

Iterative roots of exclusive multifunctions

Recursions and Asymptotics of Intersection Numbers

Computing approximate roots of monotone functions

Existence and Iterative Approximations of Solutions for Certain Functional Equation and Inequality

Existence and multiplicity of solutions of fractional differential equations on infinite intervals

On iterative roots of injective functions

Multipower Variation from Generalized Difference for Fractional Integral Processes with Jumps

Roots of Iterates of Maps

On the Convergence of Iterative Sequences for A Family of Nonexpansive Mappings and Inverse-Strongly Monotone Mappings

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

The Existence and Uniqueness of Solution and the Convergence of a Multi-Step Iterative Algorithm for a System of Variational Inclusions with (A, Η, M)-Accretive Operators

ITERATIVE METHODS FOR A FINITE FAMILY OF MONOTONE OPERATORS AND A NONEXPANSIVE MAPPING

On Some Multipliers Related to Discrete Fractional Integrals

A jump operator on the Weihrauch degrees

Iteration of Functions Which Are Meromorphic Outside A Small Set

An extreme function which is nonnegative and discontinuous everywhere

Multiple solutions for semilinear elliptic equations with Neumann boundary condition and jumping nonlinearities

On The Iterations And The Argument Distribution Of Meromorphic Functions

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