Local stability of ergodic averages

DOI10.1090/S0002-9947-09-04814-4zbMath1187.37010arXiv0706.1512MaRDI QIDQ3402200

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

mean ergodic theoremergodic averagenonexpansive linear operatorproof mining.

Mathematics Subject Classification ID

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

Related Items

Bounds for a nonlinear ergodic theorem for Banach spaces ⋮ On stability of probability laws with respect to small violations of algorithmic randomness ⋮ Computability of convergence rates in the ergodic theorem for Martin-Löf random points ⋮ Measure theory and higher order arithmetic ⋮ Statistical properties of dynamical systems -- Simulation and abstract computation ⋮ On the computational content of convergence proofs via Banach limits ⋮ Effective metastability for modified Halpern iterations in CAT(0) spaces ⋮ Fluctuations, effective learnability and metastability in analysis ⋮ Realizing semicomputable simplices by computable dynamical systems ⋮ A UNIFORM QUANTITATIVE FORM OF SEQUENTIAL WEAK COMPACTNESS AND BAILLON'S NONLINEAR ERGODIC THEOREM ⋮ A computational study of a class of recursive inequalities ⋮ On quantitative versions of theorems due to F. E. Browder and R. Wittmann ⋮ A quantitative nonlinear strong ergodic theorem for Hilbert spaces ⋮ Strong Convergence for the Alternating Halpern–Mann Iteration in CAT(0) Spaces ⋮ Norm convergence of nilpotent ergodic averages ⋮ Effective results on nonlinear ergodic averages in CAT spaces ⋮ Gödel functional interpretation and weak compactness ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) ⋮ A quantitative multiparameter mean ergodic theorem ⋮ Norm convergence of multiple ergodic averages on amenable groups ⋮ Quantitative ergodic theorems for weakly integrable functions ⋮ A functional interpretation for nonstandard arithmetic ⋮ Effective metastability of Halpern iterates in \(CAT(0)\) spaces ⋮ Algorithmic tests and randomness with respect to a class of measures ⋮ The metamathematics of ergodic theory ⋮ Ergodic theory and visualization. I. Mesochronic plots for visualization of ergodic partition and invariant sets ⋮ Schnorr randomness and the Lebesgue differentiation theorem ⋮ Oscillation and the mean ergodic theorem for uniformly convex Banach spaces ⋮ Quantitative results for Halpern iterations of nonexpansive mappings ⋮ Computable Measure Theory and Algorithmic Randomness

Cites Work

• Upcrossing inequalities for stationary sequences and applications
• Ergodic theorems. With a supplement by Antoine Brunel
• On the speed of convergence in the ergodic theorem
• Handbook of proof theory
• Elimination of Skolem functions for monotone formulas in analysis
• Fluctuations of ergodic averages
• Fundamental notions of analysis in subsystems of second-order arithmetic
• An upcrossing inequality with applications
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• The pointwise ergodic theorem in subsystems of second-order arithmetic
• Oscillation in ergodic theory
• The rate of convergence in ergodic theorems
• Some logical metatheorems with applications in functional analysis
• Counting in Ergodic Theory
• General logical metatheorems for functional analysis
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• A constructive view on ergodic theorems
• A Constructive Ergodic Theorem
• On the Interpretation of Non-Finitist Proofs--Part I
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item