Ilya Mezhirov

  1. A constructive version of Birkhoff's ergodic theorem for Martin-L\"of random points.

    Authors: Alexander Shen, Ilya Mezhirov, Laurent Bienvenu, Mathieu Hoyrup, Adam Day
    Subjects: Dynamical Systems
    Abstract

    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.

  2. Game interpretation of Kolmogorov complexity.

    Authors: Alexander Shen, Andrej A. Muchnik, Ilya Mezhirov, Nikolay Vereshchagin
    Subjects: Logic
    Abstract

    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.

Syndicate content