A constructive version of Birkhoff's ergodic theorem for Martin-Lof random points

Abstract

Improved version of the CiE'10 paper, with the strong form of Birkhoff's ergodic theorem for random pointsInternational audienceA theorem of Kucera states that given a Martin-Löf random infinite binary sequence {\omega} and an effectively open set A of measure less than 1, some tail of {\omega} is not in A. We first prove several results in the same spirit and generalize them via an effective version of a weak form of Birkhoff's ergodic theorem. We then use this result to get a stronger form of it, namely a very general effective version of Birkhoff's ergodic theorem, which improves all the results previously obtained in this direction, in particular those of V'Yugin, Nandakumar and Hoyrup, Rojas