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 DISCRETE VERSION OF THE MISHOU THEOREM RELATED TO PERIODIC ZETA-FUNCTIONS

JOINT DISCRETE APPROXIMATION OF ANALYTIC FUNCTIONS BY SHIFTS OF LERCH ZETA-FUNCTIONS

Actual problems of the approximation theory in metrics of discrete spaces on sets of summable periodic and almost periodic functions

On an example by Poincaré and sums with Kronecker sequence

Direct and inverse approximation theorems of $2π$-periodic functions by Taylor--Abel--Poisson means

Zeta functions and nonvanishing theorems for toric periods on $\mathrm{GL}_2$

Continuity of the Measure of the Spectrum for Quasiperiodic Schrödinger Operators with Rough Potentials

On the approximation of quasiperiodic functions with Diophantine frequencies by periodic functions

The quasi-periods of the Weierstrass zeta-function

A note on the periodic Hilbert Transform on a strip

Approximation of periodic function by Fejer sum and de la Vallee Poussin sum

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

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

Generalized Fourier quasicrystals, almost periodic sets, and zeros of Dirichlet series

POINTWISE CONVERGENCE OF NONCOMMUTATIVE FOURIER SERIES

Interpolant of truncated multiple zeta functions

A Joint Limit Theorem for Epstein and Hurwitz Zeta-Functions

Approximation of generalized Poisson integrals by interpolation trigonometric polynomials

Fractional susceptibility functions for the quadratic family: Misiurewicz-Thurston parameters

Fast approximation by periodic kernel-based lattice-point interpolation with application in uncertainty quantification

The Duffin-Schaeffer Conjecture for multiplicative Diophantine approximation