[論文レビュー] Generalization of van Lambalgen's theorem and blind randomness for conditional probability

Hayato Takahashi|arXiv (Cornell University)|Sep 29, 2013

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

ひとこと要約

この論文は、条件付き確率の計算可能性を仮定しない盲目的（ヒポクラテス的）なランダムネスに対するヴァン・ランバーレンの定理の一般化を提示する。定理の有効性の十分条件を確立し、盲目的ランダムネスを分類する尤度比検定を導入するとともに、非計算可能な条件付き確率のもとでも定理が成立する反例を提示し、アルゴリズム的ランダムネスに関する先行研究における曖昧さを解消する。

ABSTRACT

Generalization of the Lambalgen's theorem is studied with the notion of Hippocratic (blind) randomness without assuming computability of conditional probabilities. In [Bauwence 2014], a counter-example for the generalization of Lambalgen's theorem is shown when the conditional probability is not computable. In this paper, it is shown that (i) finiteness of martingale for blind randomness, (ii) classification of two blind randomness by likelihood ratio test, (iii) sufficient conditions for the generalization of the Lambalgen's theorem, and (iv) an example that satisfies the Lambalgen's theorem but the conditional probabilities are not computable for all random parameters.

研究の動機と目的

• 条件付き確率の計算可能性を仮定せずに、ヴァン・ランバーレンの定理を盲目的ランダムネスに拡張すること。
• 先行研究における一般化の不整合を解消するため、定理の有効性に必要な十分条件を同定すること。
• 尤度比検定を用いて盲目的ランダムネスを分類すること。
• すべての条件付き確率がランダムパラメータに対して非計算可能であるにもかかわらず、ヴァン・ランバーレンの定理が成立する例を構築すること。

提案手法

• マルティンゲールの有界性を通じて盲目的ランダムネスを分析し、条件付き確率空間におけるアルゴリズム的ランダムネスと関連付ける。
• 異なる種類の盲目的ランダムネスを区別するために尤度比検定を適用する。
• 条件付き確率が非計算可能であっても、ヴァン・ランバーレンの定理の一般化が成立する十分条件を同定する。
• バウエンス（2014）の反例を基盤として用い、非計算可能な条件付き確率が定理の無効性を必然的に引き起こさないことを示す。
• アルゴリズム的ランダムネス理論とマルティンゲールに基づく定義を用いて、非計算可能な設定下での盲目的ランダムネスを形式化する。
• 条件付きアルゴリズム的ランダムネスに関する先行研究の結果を統合し、ヴァン・ランバーレンの定理の適用範囲を拡張する。

実験結果

リサーチクエスチョン

• RQ1 条件付き確率が非計算可能である場合、ヴァン・ランバーレンの定理はどのような条件下で盲目的地理的ランダムネスに一般化可能か？
• RQ2 尤度比検定を用いて盲目的地理的ランダムネスを分類可能か？ また、その分類はアルゴリズム的ランダムネスとどのように関係するか？
• RQ3 非計算可能な条件付き確率設定下で、一般化されたヴァン・ランバーレンの定理が有効であるための十分条件は何か？
• RQ4 すべての条件付き確率がランダムパラメータに対して非計算可能である場合でも、ヴァン・ランバーレンの定理が成立することは可能か？
• RQ5 計算可能な条件付き確率が存在しない状況下で、マルティンゲールの有界性は盲目的地理的ランダムネスとどのように関連するか？

主な発見

• マルティンゲールの有界性は、条件付き確率が非計算可能であっても、盲目的地理的ランダムネスの鍵となる基準である。
• 尤度比検定は、異なる種類の盲目的地理的ランダムネスを効果的に分類でき、ランダムネスクラスを区別する実用的ツールを提供する。
• 条件付き確率の計算可能性がなくても、一般化されたヴァン・ランバーレンの定理が成立する十分条件が同定された。
• すべての条件付き確率がランダムパラメータに対して非計算可能であるにもかかわらず、ヴァン・ランバーレンの定理が満たされる具体的な例が構築された。
• 本研究は、先行研究における主要な曖昧さを解消し、非計算可能な条件付き確率が、ヴァン・ランバーレンの定理の一般化を必然的に無効にしないことを示した。