We consider the extent to which one can compute bounds on the rate of convergence of a sequence of ergodic averages. It is not difficult to construct an example of a computable Lebesgue measure preserving transformation of [0, 1] and a characteristic function f = χA such that the ergodic averages Anf do not converge to a computable element of L2([0, 1]). In particular, there is no computable bound on the rate of convergence for that sequence. On the other hand, we show that, for any nonexpansive linear operator T on a separable Hilbert space and any element f , it is possible to compute a bound on the rate of convergence of Anf from T , f , and the norm f ∗ of the limit. In particular, if T is the Koopman operator arising from a computable ergodic measure preserving transformation of a probability space X and f is any computable element of L2 (X ), then there is a computable bound on the rate of convergence of the sequence Anf.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
Computability of the Ergodic Decomposition.Mathieu Hoyrup - 2013 - Annals of Pure and Applied Logic 164 (5):542-549.
Gödel's Functional Interpretation and its Use in Current Mathematics.Ulrich Kohlenbach - 2008 - Dialectica 62 (2):223–267.
A Functional Interpretation for Nonstandard Arithmetic.Benno van den Berg, Eyvind Briseid & Pavol Safarik - 2012 - Annals of Pure and Applied Logic 163 (12):1962-1994.
Gödel Functional Interpretation and Weak Compactness.Ulrich Kohlenbach - 2012 - Annals of Pure and Applied Logic 163 (11):1560-1579.
Fluctuations, Effective Learnability and Metastability in Analysis.Ulrich Kohlenbach & Pavol Safarik - 2014 - Annals of Pure and Applied Logic 165 (1):266-304.
Similar books and articles
The Generalization of de Finetti's Representation Theorem to Stationary Probabilities.Jan von Plato - 1982 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1982:137 - 144.
The Significance of the Ergodic Decomposition of Stationary Measures for the Interpretation of Probability.Jan von Plato - 1982 - Synthese 53 (3):419 - 432.
The Significance of the Ergodic Decomposition of Stationary Measures for the Interpretation of Probability.Jan Plato - 1982 - Synthese 53 (3):419-432.
The Foundational Role of Ergodic Theory.Massimiliano Badino - 2006 - Foundations of Science 11 (4):323-347.
Ergodic Theory, Interpretations of Probability and the Foundations of Statistical Mechanics.Janneke van Lith - 2001 - Studies in History and Philosophy of Science Part B 32 (4):581-594.
Ergodic Theory, Interpretations of Probability and the Foundations of Statistical Mechanics.Janneke van Lith - 2001 - Studies in History and Philosophy of Modern Physics 32 (4):581--94.
A Constructive View on Ergodic Theorems.Bas Spitters - 2006 - Journal of Symbolic Logic 71 (2):611 - 623.
Added to index2010-01-19
Total downloads24 ( #210,604 of 2,169,100 )
Recent downloads (6 months)1 ( #345,850 of 2,169,100 )
How can I increase my downloads?