Abstract:We examine the limiting behavior of multiple ergodic averages associated with arithmetic progressions whose differences are elements of a fixed integer sequence. For each $\ell$, we give necessary and sufficient conditions under which averages of length $\ell$ of the aforementioned form have the same limit as averages of $\ell$-term arithmetic progressions. As a corollary, we derive a sufficient condition for the presence of arithmetic progressions with length $\ell+1$ and restricted differences in dense subsets of integers. These results are a consequence of the following general theorem: in order to verify that a multiple ergodic average is controlled by the degree $d$ Gowers-Host-Kra seminorm, it suffices to show that it is controlled by some Gowers-Host-Kra seminorm, and that the degree $d$ control follows whenever we have degree $d+1$ control. The proof relies on an elementary inverse theorem for the Gowers-Host-Kra seminorms involving dual functions, combined with novel estimates on averages of seminorms of dual functions. We use these estimates to obtain a higher order variant of the degree lowering argument previously used to cover averages that converge to the product of integrals.

Averages with the Gaussian divisor: Weighted Inequalities and the Pointwise Ergodic Theorem

Averages of completely multiplicative functions over the Gaussian integers -- a dynamical approach

Pointwise Convergence of Ergodic Averages Along Hardy Field Sequences

Universal exponential pointwise convergence for weighted multiple ergodic averages over $ \mathbb{T}^\infty $

Pointwise ergodic theorems along fractional powers of primes

Pointwise convergence of bilinear polynomial averages over the primes

Universal exponential pointwise convergence for weighted multiple ergodic averages over 𝕋^∞

Pointwise convergence of ergodic averages with Möbius weight

Ergodic averages along sequences of slow growth

A noncommutative weak type maximal inequality for modulated ergodic averages with general weights

A noncommutative maximal inequality for ergodic averages along arithmetic sets

Pointwise convergence of multiple ergodic averages and strictly ergodic models

Strictly ergodic models and the convergence of non-conventional pointwise ergodic averages

Degree lowering for ergodic averages along arithmetic progressions

Weighted multiple ergodic averages and correlation sequences

On averages of completely multiplicative functions over co-prime integer pairs

On the pointwise convergence of the cubic average with multiplicative or von Mangoldt weights

Non-convergence of some non-commuting double ergodic averages

A cubic nonconventional ergodic average with multiplicative or Mangoldt weights

Non-commutative Ergodic Averages of Balls and Spheres over Euclidean Spaces

Weak-Type (1,1) Inequality for Discrete Maximal Functions and Pointwise Ergodic Theorems Along Thin Arithmetic Sets