A constructive version of Birkhoff's ergodic theorem for Martin-Löf random points
arXiv:1007.5249
Abstract
A theorem of Kučera states that given a Martin-Löf random infinite binary sequence ω and an effectively open set A of measure less than 1, some tail of ω 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.
Improved version of the CiE'10 paper, with the strong form of Birkhoff's ergodic theorem for random points