[論文レビュー] 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

ひとこと要約

本稿は、カントール空間内のマーティン・ローフ確率的点に対するバーキホフのエルゴディック定理の有効版について構成的証明を確立し、計算可能エルゴディック写像の軌道における下に半連続な関数の時間平均が空間平均に収束することを示している。主な貢献は、一般の有効エルゴディック定理を一般化されたクチャーラ型定理に還元することであり、従来の結果よりも弱い仮定の下で、より簡単な証明を提供している。

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.

研究の動機と目的

• マーティン・ローフ確率的点および有効的開集合に対して、バーキホフのエルゴディック定理の有効版を確立すること。
• 有効的エルゴディック定理が下に半連続な関数および有効的開集合に対して成り立つかどうかという未解決問題を解消すること。
• 有効的エルゴディック定理を一般化されたクチャーラの定理の形に還元することにより、新たな簡素化された証明を提供すること。
• 有効エルゴディック定理の適用範囲を、計算可能測度空間におけるより広い関数および変換のクラスへと拡張すること。

提案手法

• 計算可能エルゴディック写像の軌道が、測度が1未満の有効的開集合にとどまり続けられないことを示すために、クチャーラの定理を一般化すること。
• 古典的バーキホフのエルゴディック定理を基礎としながらも、その標準的証明を避けることで有効性を保つこと。
• 構成的推論を用いて、下に半連続な関数に対する一般の有効エルゴディック定理を一般化されたクチャーラの定理に還元すること。
• 繰り返し適用されたエルゴディック写像の下での確率的点の列に一般化されたクチャーラの結果を適用し、軌道変換の下でも確率的性質が保たれることを保証すること。
• 普遍的なマーティン・ローフテストと有効的開集合の測度論的性質を用いて、議論を形式化すること。
• 結果を任意の計算可能確率空間および段階的計算可能エルゴディック写像へと拡張すること。

実験結果

リサーチクエスチョン

• RQ1 観測関数が下に半連続（例えば有効的開集合の指示関数）である場合、マーティン・ローフ確率的点に対して有効エルゴディック定理は成り立つか？
• RQ2 有効エルゴディック定理の全貌が、測度が小さい有効的開集合を避ける軌道に関する特別なケースに還元可能か？
• RQ3 古典的バーキホフ定理の証明を避けつつも有効性を保ちながら、有効エルゴディック定理の構成的証明は可能か？
• RQ4 繰り返し適用されたエルゴディック写像の下での列の確率的性質は、有限または計算可能軌道シフトによって保存または回復可能か？
• RQ5 条件付き確率的要素の列における確率的欠陥はどのように蓄積され、軌道変換によって是正可能か？

主な発見

• 有効エルゴディック定理は、マーティン・ローフ確率的点および下に半連続な関数に対しても成り立ち、従来の計算可能関数を要件としていた結果を拡張している。
• 有効的開集合に対する一般の有効エルゴディック定理は、クチャーラの定理の一般化形に還元可能であり、証明構造が簡素化されている。
• 計算可能エルゴディック写像の軌道は、測度が1未満の任意の有効的開集合にとどまり続けられない。
• 証明は古典的バーキホフ定理の証明を避け、代わりに有効測度論的議論と普遍的マーティン・ローフテストに依拠している。
• 結果は任意の計算可能確率空間および段階的計算可能エルゴディック写像へと一般化可能である。
• 軌道シフトを用いて、ミヤベの相対的確率的性質に関する定理の新たな証明が得られ、確率的欠陥が有限または計算可能変換によって是正可能であることが示された。