The Wiener Wintner and Return Times Theorem Along the Primes
Jan Fornal, Anastasios Fragkos, Ben Krause, Michael Lacey, Hamed Mousavi, Yu-Chen Sun
TL;DR
The paper resolves extending the Wiener-Wintner and Return Times theorems to averages taken at prime times, establishing almost-sure convergence for weights and return-time correlations along $p_n$. The authors fuse classical Fourier analysis, higher-order Fourier techniques, and combinatorial number theory, centering on $U^3$ control via Heath-Brown models of the von Mangoldt function to handle sparsity along the primes. Key technical contributions include sharp $U^3$ bounds for fixed-complexity HB components and $U^3$-type approximation results for the von Mangoldt function, underpinning uniform Wiener-Wintner and Return Times arguments along prime indices. The results deepen the connection between ergodic theory and analytic number theory for sparse time sequences and provide a framework for further extensions to other sparse sets or polynomial modulations.
Abstract
We prove the following Return Times Theorem along the sequence of prime times, the first extension of the Return Times Theorem to arithmetic sequences: For every probability space, $(Ω,ν)$, equipped with a measure-preserving transformation, $T \colon Ω\to Ω$, and every $f \in L^\infty(Ω)$, there exists a set of full probability, $Ω_f \subset Ω$ with $ν(Ω_f) =1$, so that for all $ω\in Ω_f$, for any other probability space $(X,μ)$, equipped with a measure-preserving transformation $S : X \to X$, for any $g \in L^{\infty}(X)$, \begin{align} \frac{1}{N} \sum_{n \leq N} f(T^{p_n} ω) g(S^{p_n} \cdot) \end{align} converges $μ$-almost surely; above, $\{ 2=p_1 < p_2 < \dots \}$ are an enumeration of the primes. The Wiener-Wintner theorem along the primes is an immediate corollary. Our proof lives at the interface of classical Fourier analysis, combinatorial number theory, higher order Fourier analysis, and pointwise ergodic theory, with $U^3$ theory playing an important role; our $U^3$-estimates for \emph{Heath-Brown} models of the von Mangoldt function may be of independent interest.
