A constructive version of Birkhoff's ergodic theorem for Martin-Löf random points (Q418118): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(6 intermediate revisions by 5 users not shown) | |||
Property / review text | |||
The authors prove a constructive version of Birkhoff's ergodic theorem for Martin-Löf random reals and effectively open sets. From the proof one can extract a new simple proof of the effective ergodic theorem. The main result was independently obtained by \textit{J. N. Y Franklin}, \textit{N. Greenberg}, \textit{J. S. Miller} and \textit{K. M. Ng} in [``Martin-Löf random points satisfy Birkhoff's ergodic theorem for effectively closed sets'', Proc. Am. Math. Soc. 140, No. 10, 3623--3628 (2012; \url{doi:10.1090/S0002-9939-2012-11179-7})]. | |||
Property / review text: The authors prove a constructive version of Birkhoff's ergodic theorem for Martin-Löf random reals and effectively open sets. From the proof one can extract a new simple proof of the effective ergodic theorem. The main result was independently obtained by \textit{J. N. Y Franklin}, \textit{N. Greenberg}, \textit{J. S. Miller} and \textit{K. M. Ng} in [``Martin-Löf random points satisfy Birkhoff's ergodic theorem for effectively closed sets'', Proc. Am. Math. Soc. 140, No. 10, 3623--3628 (2012; \url{doi:10.1090/S0002-9939-2012-11179-7})]. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Cristian S. Calude / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03D32 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 28D05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 37A30 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 68Q30 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6038284 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Martin-Löf random real | |||
Property / zbMATH Keywords: Martin-Löf random real / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Birkhoff's ergodic theorem | |||
Property / zbMATH Keywords: Birkhoff's ergodic theorem / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Poincaré recurrence | |||
Property / zbMATH Keywords: Poincaré recurrence / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1593512589 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1007.5249 / rank | |||
Normal rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q57349503 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Ergodic-Type Characterizations of Algorithmic Randomness / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algorithmic tests and randomness with respect to a class of measures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Exact Expressions for Some Randomness Tests / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Uniform test of algorithmic randomness over a general space / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An Application of Martin-Löf Randomness to Effective Probability Theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Applications of Effective Probability Theory to Martin-Löf Randomness / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Computability of probability measures and Martin-Löf randomness over metric spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3758821 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An extension of van Lambalgen's theorem to infinitely many relative 1-random reals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3549680 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Von Mises' definition of random sequences reconsidered / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Эффективная сходимость по вероятности и эргодическая теорема для индивидуальных случайных последовательностей / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 06:12, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A constructive version of Birkhoff's ergodic theorem for Martin-Löf random points |
scientific article |
Statements
A constructive version of Birkhoff's ergodic theorem for Martin-Löf random points (English)
0 references
24 May 2012
0 references
The authors prove a constructive version of Birkhoff's ergodic theorem for Martin-Löf random reals and effectively open sets. From the proof one can extract a new simple proof of the effective ergodic theorem. The main result was independently obtained by \textit{J. N. Y Franklin}, \textit{N. Greenberg}, \textit{J. S. Miller} and \textit{K. M. Ng} in [``Martin-Löf random points satisfy Birkhoff's ergodic theorem for effectively closed sets'', Proc. Am. Math. Soc. 140, No. 10, 3623--3628 (2012; \url{doi:10.1090/S0002-9939-2012-11179-7})].
0 references
Martin-Löf random real
0 references
Birkhoff's ergodic theorem
0 references
Poincaré recurrence
0 references