Local stability of ergodic averages

DOI10.1090/S0002-9947-09-04814-4MaRDI QIDQ3402200zbMATH OpenFDO

Authors Jeremy Avigad, Philipp Gerhardy, Henry Towsner

Publication date 2 February 2010

Published in Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0706.1512

zbMATH Keywords

ergodic averagemean ergodic theoremnonexpansive linear operatorproof mining.

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Constructive and recursive analysis (03F60) Ergodic theorems, spectral theory, Markov operators (37A30)

Abstract: The mean ergodic theorem is equivalent to the assertion that for every function K and every epsilon, there is an n with the property that the ergodic averages A_m f are stable to within epsilon on the interval [n,K(n)]. We show that even though it is not generally possible to compute a bound on the rate of convergence of a sequence of ergodic averages, one can give explicit bounds on n in terms of K and || f || / epsilon. This tells us how far one has to search to find an n so that the ergodic averages are "locally stable" on a large interval. We use these bounds to obtain a similarly explicit version of the pointwise ergodic theorem, and show that our bounds are qualitatively different from ones that can be obtained using upcrossing inequalities due to Bishop and Ivanov. Finally, we explain how our positive results can be viewed as an application of a body of general proof-theoretic methods falling under the heading of "proof mining."

Recommendations

• Uncomputably noisy ergodic limits
• Estimates of the rate of convergence in the von Neumann and Birkhoff ergodic theorems
• Computability of convergence rates in the ergodic theorem for Martin-Löf random points
• A quantitative multiparameter mean ergodic theorem
• A quantitative mean ergodic theorem for uniformly convex Banach spaces

Cites work

• A Constructive Ergodic Theorem
• A constructive view on ergodic theorems
• An upcrossing inequality with applications
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Counting in Ergodic Theory
• Elimination of Skolem functions for monotone formulas in analysis
• Ergodic theorems. With a supplement by Antoine Brunel
• Fluctuations of ergodic averages
• Fundamental notions of analysis in subsystems of second-order arithmetic
• General logical metatheorems for functional analysis
• Handbook of proof theory
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 3745547 (Why is no real title available?)
• scientific article; zbMATH DE number 42077 (Why is no real title available?)
• scientific article; zbMATH DE number 1215497 (Why is no real title available?)
• scientific article; zbMATH DE number 1226875 (Why is no real title available?)
• scientific article; zbMATH DE number 1233863 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• scientific article; zbMATH DE number 2107175 (Why is no real title available?)
• scientific article; zbMATH DE number 5269063 (Why is no real title available?)
• scientific article; zbMATH DE number 3249259 (Why is no real title available?)
• scientific article; zbMATH DE number 3294098 (Why is no real title available?)
• scientific article; zbMATH DE number 3310901 (Why is no real title available?)
• On the Interpretation of Non-Finitist Proofs--Part I
• On the speed of convergence in the ergodic theorem
• Oscillation in ergodic theory
• Some logical metatheorems with applications in functional analysis
• The pointwise ergodic theorem in subsystems of second-order arithmetic
• The rate of convergence in ergodic theorems
• Upcrossing inequalities for stationary sequences and applications
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES

Cited in

(50)

• The metamathematics of ergodic theory
• Uncomputably noisy ergodic limits
• Localized Birkhoff average in beta dynamical systems
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting)
• A quantitative multiparameter mean ergodic theorem
• Nonstandard convergence gives bounds on jumps
• Quantitative results for Halpern iterations of nonexpansive mappings
• Statistical properties of dynamical systems -- Simulation and abstract computation
• Algorithmic tests and randomness with respect to a class of measures
• Realizing semicomputable simplices by computable dynamical systems
• On stability of probability laws with respect to small violations of algorithmic randomness
• Schnorr randomness and the Lebesgue differentiation theorem
• Local stability of the free additive convolution
• On the computational content of convergence proofs via Banach limits
• Effective results on nonlinear ergodic averages in \(\text{CAT}(\kappa)\) spaces
• A uniform quantitative form of sequential weak compactness and Baillon's nonlinear ergodic theorem
• Measure theory and higher order arithmetic
• A quantitative mean ergodic theorem for uniformly convex Banach spaces
• The local \(C^1\)-density of stable ergodicity
• Effective metastability for modified Halpern iterations in CAT(0) spaces
• Fluctuations, effective learnability and metastability in analysis
• A quantitative nonlinear strong ergodic theorem for Hilbert spaces
• Norm convergence of nilpotent ergodic averages
• Gödel functional interpretation and weak compactness
• Tight space-noise tradeoffs in computing the ergodic measure
• Computable Measure Theory and Algorithmic Randomness
• Computability of convergence rates in the ergodic theorem for Martin-Löf random points
• Norm convergence of multiple ergodic averages on amenable groups
• Ergodic theory and visualization. I. mesochronic plots for visualization of ergodic partition and invariant sets
• Oscillation and the mean ergodic theorem for uniformly convex Banach spaces
• Quantitative ergodic theorems for weakly integrable functions
• Bounds for a nonlinear ergodic theorem for Banach spaces
• A computational study of a class of recursive inequalities
• Strong Convergence for the Alternating Halpern–Mann Iteration in CAT(0) Spaces
• On quantitative versions of theorems due to F. E. Browder and R. Wittmann
• Effective metastability for a method of alternating resolvents
• A quantitative Robbins-Siegmund theorem
• Effective rates for nonlinear ergodic averages
• Ergodic theorem and algorithmic randomness (following V. V'yugin)
• Quantitative ergodic theorems for actions of groups of polynomial growth
• Proof mining and probability theory
• On the speed of convergence in the ergodic theorem for shift operators
• Generalized learnability of stochastic principles
• Uniform functional interpretations
• On quantitative convergence for stochastic processes: crossings, fluctuations and martingales
• A finitary Kronecker's lemma and large deviations in the strong law of large numbers on Banach spaces
• Quantitative strong laws of large numbers
• A functional interpretation for nonstandard arithmetic
• Effective metastability of Halpern iterates in \(CAT(0)\) spaces
• Proof mining and high-level proof-theoretic reasoning: a case study on greedy approximation schemes

This page was built for publication: Local stability of ergodic averages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3402200)