---
title: Moving Ergodic Averages
url: https://www.emergentmind.com/topics/moving-ergodic-averages
type: topic
---

# Moving Ergodic Averages

Moving ergodic averages are orbit averages in which the averaging set is allowed to shift, deform, or be reweighted, rather than remaining the initial interval \([0,N-1]\). In the literature, the term covers shifted window averages \(M(v_n,L_n)^T\), centered bilateral averages, weighted Birkhoff averages, higher-dimensional box averages, and nonconventional multi-parameter averages built from polynomial or affine configurations. The main questions are pointwise almost-everywhere convergence, identification of the limiting factor or invariant measure, maximal and variational bounds, and the extent to which divergence or oscillation is forced when the averaging geometry is unfavorable [2302.03400] [2003.08280] [2511.17772] [2507.15498].

## 1. Basic formulations

The classical reference point is the Birkhoff average
\[
A_n(f,x)=\frac1n\sum_{k=0}^{n-1} f(T^k x),
\]
for an ergodic measure-preserving transformation \(T\). Moving averages replace the fixed initial interval by a variable window. Adams and Rosenblatt define
\[
M(v_n,L_n)^T f(x)=\frac1{L_n}\sum_{i=v_n+1}^{v_n+L_n} f(T^i x),
\]
where \(v_n\in \mathbb Z\) and \(L_n\in \mathbb Z_+\) is strictly increasing. This includes the classical ergodic averages when \(v_n=0\) and \(L_n=n\) [2302.03400].

Several adjacent notions are standard. Cuny and Derriennic study the centered bilateral average
\[
B_n f(x)=\frac1{2n+1}\sum_{i=-n}^n f(T^i x),
\]
which is symmetric around the origin in time [2003.08280]. Weighted formulations replace the uniform kernel by nonnegative weights:
\[
W_N(f,x)=\frac{1}{\sum_{n=0}^{N-1}w_n}\sum_{n=0}^{N-1} w_n f(T^n x).
\]
When \(w_n\equiv 1\), this is the classical Birkhoff average; when \(w_n=w(n/N)\) with a smooth bump vanishing at the endpoints, the orbit is tapered near the two ends [2511.17772].

Higher-dimensional versions average over boxes in \(\mathbb Z^d\) or \(\mathbb R^d\). For a commuting \(\mathbb Z^d\)-action generated by \(T_1,\dots,T_d\), one writes
\[
A_k f(x)=\frac{1}{|B_k\cap\mathbb Z^d|}\sum_{j\in B_k\cap\mathbb Z^d}
f(T_1^{j_1}\cdots T_d^{j_d}x),
\]
with \(B_k\) a translated box. This formulation brings geometric conditions on the family of boxes into the convergence problem [2507.15498].

## 2. Universal convergence and geometric criteria

A central structural result is Adams–Rosenblatt’s equivalence between universal convergence of shifted windows and complete convergence of the standard ergodic averages. For ergodic \(T\) and mean-zero \(f\in L^1(\mu)\), the condition
\[
\sum_{n=1}^{\infty}\mu\{|M(0,n)^T f|\ge \delta\}<\infty
\quad \forall \delta>0
\]
is equivalent to: for every choice of shifts \(v_n\in \mathbb Z\) and every strictly increasing \(L_n\ge n\), the moving averages \(M(v_n,L_n)^T f(x)\to 0\) almost everywhere [2302.03400]. In the IID case, Hsu–Robbins and Erdős imply that finite second moment yields this complete-convergence property, and Adams–Rosenblatt also prove a Bernoulli-shift analogue for continuous observables on compact metric Bernoulli systems [2302.03400].

Bellow–Jones–Rosenblatt’s cone condition gives a geometric characterization for one-dimensional moving intervals. In the \((v,L)\)-plane, one associates to each pair \((v_n,L_n)\) a right-angle cone with generating lines of slope \(\pm 1\); the condition \(C(\delta)\le K\delta\) for all \(\delta>0\) is necessary and sufficient for pointwise convergence of \(M(v_n,L_n)^T f\) for every ergodic \(T\) and every \(f\in L^1(\mu)\) [2302.03400].

The higher-dimensional extension is coordinatewise. For box families in \(\mathbb Z^d\) and \(\mathbb R^d\), coordinate-wise cone-growth conditions \((C_i)\) and \((\widetilde C_i)\) are necessary and sufficient for strong \(L^p\) boundedness of the associated maximal operators for every \(p>1\). When all coordinates satisfy the condition, the box averages converge almost everywhere to \(\mu(f)\) for ergodic actions; failure of even one coordinate condition implies strong sweeping-out [2507.15498].

| Family | Criterion | Consequence |
|---|---|---|
| \(M(v_n,L_n)^T f\) | complete convergence of \(M(0,n)^T f\) | universal a.e. convergence for all \(v_n\), increasing \(L_n\ge n\) |
| One-dimensional intervals | Cone Condition | a.e. convergence for every ergodic \(T\), every \(f\in L^1\) |
| Boxes in \(\mathbb Z^d\) or \(\mathbb R^d\) | all coordinate-wise \((C_i)\) or \((\widetilde C_i)\) | strong \(L^p\) maximal bounds, \(p>1\), and a.e. convergence |

These results distinguish universal theorems from system-specific or observable-specific convergence. A plausible implication is that the geometry of the averaging windows is as decisive as the dynamics once one asks for convergence uniformly over all ergodic systems.

## 3. Nonconventional and multiple moving averages

A major branch of the subject concerns averages built from several correlated orbit segments. Huang, Shao, and Ye study
\[
A_N(x)=\frac1{N^2}\sum_{n=0}^{N-1}\sum_{m=0}^{N-1}
\prod_{j=1}^d f_j(T^{n+(j-1)m}x),
\]
for an ergodic invertible system and \(d\ge 2\). They construct a compact metric strictly ergodic model \((\widetilde X,T)\) such that
\[
N_d(\widetilde X)=
\overline{\{(x,x,\dots,x):x\in \widetilde X\}}^{\langle \tau,\omega\rangle},
\quad
\tau=T\times T^2\times\cdots\times T^d,\;
\omega=\mathrm{id}\times T\times\cdots\times T^{d-1},
\]
is itself strictly ergodic under the commuting actions \(\tau\) and \(\omega\). From this they deduce that \(A_N(x)\) converges \(\mu\)-almost everywhere to the constant given by integrating \(f_1(x_1)\cdots f_d(x_d)\) against the unique \((\tau,\omega)\)-invariant measure on \(N_d(\widetilde X)\); the same conclusion holds for any tempered Følner sequence in \(\mathbb Z^2\) [1406.5930].

The same paper proves that if \((X,\mu,T)\) is ergodic distal, then the one-parameter averages
\[
B_N(x)=\frac1N\sum_{n=0}^{N-1}\prod_{j=1}^d f_j(T^{jn}x)
\]
converge almost everywhere. The proof uses Host–Kra seminorms and nilfactors, Weiss’s relative Jewett–Krieger theorem, a two-parameter Van der Corput estimate, Lindenstrauss’s theorem for tempered Følner sequences, and transfinite induction up the distal tower [1406.5930].

A related model-theoretic approach appears in "Strictly ergodic models and the convergence of non-conventional pointwise ergodic averages," where strengthened Jewett–Krieger models are built to be strictly ergodic for diagonal and skew-product actions, yielding almost-sure convergence for the same two-parameter averages and for cube averages along tempered Følner sequences in \(\mathbb Z^2\) [1312.7213]. For commuting transformations, Donoso and Sun prove pointwise convergence of a diagonal-moving average, pointwise convergence of cubic averages, and almost-everywhere convergence of the classical one-parameter averages \(\frac1N\sum_{n=0}^{N-1}\prod_{i=1}^d f_i(T_i^n x)\) in the distal case, using sated and magic extensions together with strictly ergodic cube models [1609.02529].

## 4. Weighted, nonlinear, and continuous-time variants

Weighted Birkhoff averages retain the same ergodic limit under mild hypotheses. For ergodic \(T\) and \(f\in L^1\),
\[
\lim_{N\to\infty}W_N(f,x)=\int f\,d\mu
\quad\text{a.e.}
\]
The point of weighting is quantitative rather than qualitative: for periodic dynamics the weighted error decays exponentially in \(N\); for quasiperiodic dynamics and \(f\in C^\infty\), the error is superpolynomial, and for analytic \(f\) it is exponential; in chaotic or stochastic settings no faster rate is proved in general, although numerically the same \(O(1/N)\) decay is observed with smaller constant and reduced oscillations [2511.17772].

Moving averages also arise along nonlinear integer sequences. O’Keeffe proves that for pairwise commuting measure-preserving transformations and Hardy field functions \(P_1,\dots,P_m\) that are non-polynomial and have distinct growth rates, the averages
\[
A_{N;X}^{P_1,\dots,P_m}f=
\frac1N\sum_{n=1}^N
T_1^{\lfloor P_1(n)\rfloor}\cdots T_m^{\lfloor P_m(n)\rfloor}f
\]
converge pointwise almost everywhere for every \(f\in L^p(X)\), \(p>1\). The proof proceeds through a long-variational inequality, which yields a maximal inequality; for monomial-type growth \(P_i(t)\sim \kappa_i t^{c_i}\) with non-integer exponents, full \(r\)-variation estimates are obtained [2411.07385].

Koutsogiannis treats multiple averages along tempered functions \(g_i\), with \(a_i(n)=\lfloor g_i(n)\rfloor\), and proves \(L^2\)-convergence to the product \(\prod_i \mathbb E(f_i\mid \mathcal I(T_i))\) under strictly increasing growth and closure of nontrivial linear combinations inside the tempered class. PET induction, nilmanifold equidistribution, and Gowers–Host–Kra seminorms are the main inputs [2005.04294].

In continuous time, Christ, Durcik, Kovač, and Roos establish almost-everywhere convergence of the quadratic average
\[
\frac1N\int_0^N f_1(S_t x)\,f_2(T_{t^2}x)\,dt
\]
for commuting \(\mathbb R\)-actions and exponents \(p,q\in(1,\infty]\) satisfying \(\frac1p+\frac1q\le 1\). The analytic core is a curved multilinear singular integral estimate related to the triangular Hilbert transform [2011.06370].

## 5. Oscillation, divergence, and generic behavior

Convergence does not remove oscillation. For the bilateral averages \(B_n f\), Cuny and Derriennic prove a sharp dichotomy: \(B_n f(x)\) converges almost everywhere if and only if both the forward averages \(A_n^+f\) and backward averages \(A_n^-f\) converge almost everywhere to the same limit. If \(B_n f\) fails to converge, then
\[
\limsup_{n\to\infty} B_n f(x)=+\infty,
\qquad
\liminf_{n\to\infty} B_n f(x)=-\infty
\quad\text{a.e.}
\]
If \(B_n f\to c\in\mathbb R\), then \(B_n f(x)-c\) changes sign infinitely often for almost every \(x\), via a reduction to coboundaries and Furstenberg’s double-recurrence theorem [2003.08280].

Mondal, Rosenblatt, and Wierdl show that for a fixed ergodic transformation, generic non-constant \(f\in L^1\) has classical ergodic averages fluctuating around the mean infinitely often almost everywhere. They extend the same perspective to subsequence averages, weighted averages, convolution operators, uniform distribution, and martingales. In this sense, infinite up-down fluctuation is generic even when convergence is known [2404.11507].

Adams–Rosenblatt sharpen the distinction between universal and existential convergence. They prove that given \(f\in L^1\) and ergodic \(T\), one can choose a moving average with \(L_n\) strictly increasing such that \((v_n,L_n)\) does not satisfy the cone condition, yet pointwise convergence still holds almost everywhere. Conversely, for any nonzero \(f\in L^1(\mu)\), there is a generic class of ergodic maps \(T\) such that each map admits an associated moving average \(M(v_n,L_n)^T f\) which does not converge pointwise. They also show that coboundary-based universal convergence holds in \(L^2\) but does not extend to \(L^p\) for \(p<2\) [2302.03400].

## 6. Extensions, applications, and open directions

Moving ergodic averages extend beyond the invariant-measure setting. Blank introduces natural measures, observable measures, and weak ergodicity for systems in which the transfer operator may be discontinuous or invariant measures may not exist. Under Cesàro attraction of all \(m\)-smooth initial measures to a limit measure \(\mu\), weak ergodicity of \(\mu\), and absence of wandering measures, the set
\[
Z_\mu=\{x:\ A_n(\phi,x)\to \int \phi\,d\mu \text{ for every continuous }\phi\}
\]
has full reference measure. This shows that almost-everywhere convergence of moving averages can survive without genuine invariance [1709.06327].

A distinct line of work treats weighted averages as computational primitives. Weighted Birkhoff averages have been incorporated into weighted Dynamic Mode Decomposition, weighted Extended DMD, weighted SINDy, weighted spectral-measure estimation, and weighted diffusion forecasting. The additional cost is a one-time \(O(N)\) multiplication by diagonal weights, while the examples reported include orders-of-magnitude error reduction in quasiperiodic or periodic regimes and measurable gains in El Niño forecasting skill [2511.17772].

Several open problems remain explicit in the literature. Huang–Shao–Ye note that, via Furstenberg’s structure theorem, the general problem of pointwise convergence for the classical multiple averages is reduced to the remaining weakly mixing extension step [1406.5930]. In higher dimensions, weak type \((1,1)\) estimates for moving box averages and convergence along curved shapes or non-flat submanifolds remain unresolved directions; locally flat submanifolds already fail \(L^\infty\)-genericity [2507.15498]. In continuous time, the purely linear average \(\frac1{T^2}\int_0^T\int_0^T f_1(S_sx)f_2(T_tx)\,ds\,dt\) for commuting flows is identified as open in the quadratic-curve framework [2011.06370].

Taken together, these results show that moving ergodic averages form a broad framework rather than a single theorem. Their behavior is controlled by a combination of averaging geometry, characteristic factors, unique ergodicity or distal structure, maximal or variational inequalities, and, in many regimes, an irreducible oscillatory component.

Source: https://www.emergentmind.com/topics/moving-ergodic-averages