[论文解读] A constructive version of Birkhoff's ergodic theorem for Martin-L\"of random points

Laurent Bienvenu, Adam R. Day+3 more|arXiv (Cornell University)|Jul 29, 2010

Computability, Logic, AI Algorithms参考文献 7被引用 6

一句话总结

本文为康托空间中Martin-Löf随机点的Birkhoff遍历定理的有效版本提供了构造性证明，表明在可计算遍历映射的轨迹上，下半可计算函数的时间平均收敛于空间平均。关键贡献是将一般有效遍历定理约化为广义Kučera型定理，从而在比以往结果更弱的假设下，提供了新的、更简洁的证明。

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.

研究动机与目标

• 建立Martin-Löf随机点和有效开集的有效版本Birkhoff遍历定理。
• 解决有效遍历定理是否对下半可计算函数和有效开集成立的开放问题。
• 通过将有效遍历定理约化为Kučera定理的广义形式，提供一种新的、简化的证明。
• 将有效遍历定理的适用范围扩展到可计算测度空间中更广泛的函数类和变换类。

提出的方法

• 将Kučera定理推广，以证明从Martin-Löf随机点出发的可计算遍历映射的轨迹不能长期停留在测度小于1的有效开集中。
• 以经典Birkhoff遍历定理为基础，但避免使用其标准证明以保持有效性。
• 通过构造性推理，将下半可计算函数的一般有效遍历定理约化为广义Kučera定理。
• 将广义Kučera结果应用于迭代遍历映射下随机点的序列，确保随机性在轨道变换下得以保持。
• 使用通用Martin-Löf检验和有效开集的测度论性质形式化论证。
• 将结果推广至任意可计算概率空间和逐层可计算的遍历映射。

实验结果

研究问题

• RQ1 当可观测函数为下半可计算函数（如有效开集的特征函数）时，有效遍历定理是否对Martin-Löf随机点成立？
• RQ2 是否可将完整的有效遍历定理约化为涉及轨迹避免小测度有效开集的特殊情况？
• RQ3 是否存在一种构造性证明，避免使用Birkhoff定理的经典证明，同时保持有效性？
• RQ4 通过有限或可计算的轨道平移，能否在迭代遍历映射下保持或恢复序列的随机性？
• RQ5 条件随机元素序列中的随机性缺陷如何累积，是否可通过轨道变换加以纠正？

主要发现

• 有效遍历定理对Martin-Löf随机点和下半可计算函数成立，扩展了以往要求函数可计算的结果。
• 一般有效遍历定理对有效开集可约化为Kučera定理的广义形式，简化了证明结构。
• 从Martin-Löf随机点出发的可计算遍历映射的轨迹不能长期停留在任何测度小于1的有效开集中。
• 该证明避免使用Birkhoff定理的经典证明，转而依赖有效测度论论证和通用Martin-Löf检验。
• 结果可推广至任意可计算概率空间和逐层可计算的遍历映射。
• 通过轨道平移，获得Miyabe关于具有相对随机性的随机序列定理的新证明，表明随机性缺陷可通过有限或可计算变换加以纠正。