7 research outputs found
A constructive version of Birkhoff's ergodic theorem for Martin-L\"of random points
A theorem of Ku\v{c}era states that given a Martin-L\"of 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.Comment: Improved version of the CiE'10 paper, with the strong form of
Birkhoff's ergodic theorem for random point
Game interpretation of Kolmogorov complexity
The Kolmogorov complexity function K can be relativized using any oracle A,
and most properties of K remain true for relativized versions. In section 1 we
provide an explanation for this observation by giving a game-theoretic
interpretation and showing that all "natural" properties are either true for
all sufficiently powerful oracles or false for all sufficiently powerful
oracles. This result is a simple consequence of Martin's determinacy theorem,
but its proof is instructive: it shows how one can prove statements about
Kolmogorov complexity by constructing a special game and a winning strategy in
this game. This technique is illustrated by several examples (total conditional
complexity, bijection complexity, randomness extraction, contrasting plain and
prefix complexities).Comment: 11 pages. Presented in 2009 at the conference on randomness in
Madison