Quantitative Mean Ergodic Theorems

• Quantitative mean ergodic theorems are analytic frameworks that provide explicit, computable rates of convergence and uniform bounds for ergodic averages.
• They employ methods like primitive-recursive metastability, jump estimates, and variational norm controls to refine classical ergodic theory.
• Applications include lattice point counting, Diophantine approximation, and spectral gap analysis in both commutative and noncommutative settings.

Quantitative mean ergodic theorems provide explicit, computable rates of convergence and uniform bounds for ergodic averages in a wide array of dynamical systems, operator algebras, and group actions. These theorems strengthen classical mean ergodic theory—which guarantees convergence of averages—by quantifying rates (e.g., polynomial, exponential, variational, or jump estimates), often revealing structures underlying convergence phenomena in commutative, noncommutative, multiparameter, and group-theoretic contexts.

1. Foundational Frameworks and Statement of Results

Quantitative mean ergodic theorems refine classical convergence results by delivering explicit, uniform rates or modulus of convergence for ergodic averages. In uniformly convex Banach spaces, for commuting linear contractive operators $T_1,\dots,T_d$ with $\|T_i\|\leq C\leq 1$, the multiparameter ergodic average

$$A_n(x) = \frac{1}{(n_1+1)\cdots(n_d+1)} \sum_{i_1=0}^{n_1}\cdots\sum_{i_d=0}^{n_d} T_1^{i_1}\cdots T_d^{i_d}x$$

admits a fully explicit, primitive-recursive metastability bound $\Phi(\epsilon, g, d, C, \eta, b)$: for any $x$ with $\|x\|\leq b$, any $\epsilon>0$, and any control function $g\colon\mathbb N\to\mathbb N$, there is $N\leq\Phi$ so that

$$\|A_m(x)-A_n(x)\|<\epsilon \quad \forall\, m,n\in[N,N+g(N)]^d$$

with $\Phi$ dependent only on parameters and $\eta$ the modulus of convexity (Sipos, 2020).

In operator-algebraic and noncommutative settings, for a semifinite von Neumann algebra $(M,\tau)$ and $T:L_p(M)\rightarrow L_p(M)$ power-bounded and invertible, the square-function inequality

$$\left\| \left( M_{n_i}(T)x - M_{n_{i+1}}(T)x \right)_{i\geq1} \right\|_{L_p(M; \ell_2^c)} \leq C_p \|x\|_{L_p(M)}$$

is established for all increasing sequences $(n_i)$ (Hong et al., 2022), with analogous results for Lamperti contractions and group actions.

2. Explicit Rate Bounds and Moduli

Specific rates include:

• Algebraic Rates Via Jump and Upcrossing Quantities: For polynomial-growth groups $G$ with associated Haar measure $\mu$, the ball averages $A_{B_n}f$ satisfy (Hong et al., 2021):

$$\|A_{B_n}f - Pf\|_{L^p(G)} \leq C_{p,G}\|f\|_{L^p(G)} n^{-\delta/p}$$

for explicit $\delta = [\log_2(1+72\cdot10^{D_G})]^{-1}$, with exponential upcrossing bounds for jump-counts.

• Variational Norm Control: For a nilpotent Lie group $G$ acting on $(X,\nu)$,

$$\left\| \|A_Rf\|_{V^r_R} \right\|_{L^p(X)} \leq C \|f\|_{L^p(X)}, \quad r>2$$

implying almost sure and $L^p$ convergence with modulus governed by the $r$-variation (Becker et al., 7 Jan 2026).

• Exponential Rate for Actions with Spectral Gap: For simple Lie groups $G$ acting ergodically on $X$ with spectral gap, compactly-supported averages satisfy

$$\|\pi_X(\beta_t)f - \int_X f\,d\mu\|_{L^p(X)} \leq C_p [m_G(B_t)]^{-\theta_p}\|f\|_{L^p(X)}$$

for admissible averaging families $B_t$ (Gorodnik et al., 2013, Gorodnik et al., 2012). Pointwise rates and uniform counting error terms for lattice points also follow.

3. Methodological Innovations

Key analytic tools include:

• Proof Mining and Primitive-Recursive Majorization: The proof-mining approach yields primitive-recursive bounds as rates of metastability for multiparameter ergodic theorems in uniformly convex Banach spaces (Sipos, 2020).
• Noncommutative Square-Function Inequalities: Using noncommutative Calderón-Zygmund decompositions and vector-valued Khintchine inequalities, explicit $L_p(\ell_2^c)$ bounds are established for power-bounded operators and group actions (Hong et al., 2022, Hong et al., 5 Jan 2026).
• Dilation Theory for Commuting Tuples: Extension of Fackler-Glück’s results to joint $N$-dilations is achieved, generalizing Sz.-Nagy–Foiaș and Akçoglu–Sucheston dilation theory to commuting tuples of contractions on noncommutative $L_p$-spaces (Hong et al., 5 Jan 2026).
• Jump and Variational Techniques: Quantitative control via jump numbers and $r$-variation seminorms provides sharp endpoint estimates and tail bounds for ergodic averages in polynomial-growth and nilpotent group contexts (Hong et al., 2021, Becker et al., 7 Jan 2026).

4. Group Actions: Polynomial Growth, Nilpotent, and Semisimple

For actions by groups of polynomial growth, explicit jump inequalities for ergodic averages along balls yield effective $L^p$ rates and exponential upcrossing bounds. For nilpotent groups and measure-preserving actions, $r$-variation control is uniform over scaling parameters, with constants determined by geometric and metric properties (Hong et al., 2021, Becker et al., 7 Jan 2026).

In semisimple, non-amenable settings, spectral gap yields exponential rates for mean and pointwise ergodic convergence (Gorodnik et al., 2013, Gorodnik et al., 2012). Inhomogeneous and infinite-volume homogeneous spaces are addressed via duality principles and decay of matrix coefficients, with direct applications to lattice-point counting and equidistribution.

5. Noncommutative and Multiparameter Generalizations

Recent extensions include quantitative ergodic theorems for actions of groups and semigroups on noncommutative $L_p$-spaces, encompassing both power-bounded and Lamperti representation scenarios. Explicit square-function estimates are established for ball averages associated to group actions and modulus powers (Hong et al., 2022, Hong et al., 5 Jan 2026). For multiparameter setups, quantifiable rates of metastability (uniform Cauchy modulus) are obtained for families of commuting contractive operators beyond Hilbert space settings (Sipos, 2020).

6. Applications and Optimality

Quantitative mean ergodic theorems underpin uniform counting formulas for lattice points in algebraic groups, bounds for rates in Diophantine approximation, distribution of orbits in arithmetic settings, dynamical control in quantum systems (Bernád, 2016), and the analysis of semigroups on $\mathbb R_+^d$ via joint dilation theory (Hong et al., 5 Jan 2026). Optimality is contextual: polynomial rates are sharp in amenable or subexponential cases; exponential rates characterize non-amenable, strong spectral gap actions (Gorodnik et al., 2012).

7. Comparison with Classical Theory

Quantitative results distinguish themselves from classical ergodic theory by providing computable, parameter-dependent rates and uniform bounds instead of mere asymptotic convergence. They utilize sophisticated combinatorial, geometric, harmonic analysis, and representation-theoretic methods, progressing from mean convergence to uniform, pointwise, jump, variational, and square-function control in both commutative and noncommutative frameworks.

Setting	Main Quantitative Bound	Reference
Uniformly convex Banach space	Uniform metastability rate $\Phi(\epsilon, g, d, C, \eta, b)$	(Sipos, 2020)
Semisimple Lie group (spectral gap)	Exponential rate $C_p[m_G(B_t)]^{-\theta_p}$	(1304.68471205.4413)
Polynomial-growth group	Algebraic rate $C_{p,G}n^{-\delta/p}$, exponential upcrossing bound	(Hong et al., 2021)
Nilpotent/homogeneous group action	$r$-variation estimate $\|A_Rf\|_{V^r_R} \leq C\|f\|_{L^p}$	(Becker et al., 7 Jan 2026)
Noncommutative $L_p$-spaces	Square-function bound $$\|(\Delta_n x)_n\|_{L_p(\ell_2^c)} \leq C_p\|x\|_{L_p}$$	(Hong et al., 2022, Hong et al., 5 Jan 2026)

Quantitative mean ergodic theorems now serve as a central tool in harmonic analysis, operator theory, ergodic theory, and arithmetic combinatorics, offering computable convergence bounds adapted to the geometric, spectral, and algebraic structure of the underlying actions and spaces.