[論文レビュー] Relations among conditional probabilities

Jason Morton|ArXiv.org|Aug 8, 2008

Bayesian Modeling and Causal Inference参考文献 14被引用数 5

ひとこと要約

本稿は、離散確率空間における条件付き確率の関係について、普遍的なグレブナー基底を提供し、ベイズの定理や整合性条件を一般化する。条件付き確率分布の空間が一般化されたパーミュトヘドロンにホメオモーティックに写像されることを確立し、マトゥシュのパーミュトヘドロンに関する結果を任意の条件付け集合へと拡張する。

ABSTRACT

We describe a Groebner basis of relations among conditional probabilities in a discrete probability space, with any set of conditioned-upon events. They may be specialized to the partially-observed random variable case, the purely conditional case, and other special cases. We also investigate the connection to generalized permutohedra and describe a conditional probability simplex.

研究の動機と目的

• 離散確率空間における条件付き確率の整合性条件に関するジュリアン・ベーサグ1974年の問いを解消すること。
• ベイズの定理やベーサグの積分公式といった既知の関係を、任意の条件付けられた事象の集合へ一般化すること。
• トーリック幾何学を用いて、条件付き確率分布と一般化されたパーミュトヘドロンの間の幾何的対応を確立すること。
• 普遍的グレブナー基底を用いた計算フレームワークを提供し、部分的に観測された確率変数や純粋に条件付きのモデルといった状況に特化可能なものとする。

提案手法

• 条件付き確率を、$ I \notin \binscr{E} $、$ |I| \geq 2 $、$ i \in I $ を満たす不定元 $ p_{i|I} $ の多項式環の元として形式化する。
• 条件付き確率の正規化および整合性の線形制約を符号化する行列 $ \mathcal{A} $ から、トーリックイデアル $ I_{\mathcal{A}} $ を定義する。
• グレブナー基底理論を適用し、条件付き確率の関係のイデアルに対する普遍的グレブナー基底を導出し、整合性のアルゴリズム的検証を可能にする。
• トーリック幾何学のモーメント写像を用いて、トーリック多様体の非負部分の像が一般化されたパーミュトヘドロンにホメオモーティックであることを示す。
• $ n $ 個の部分的に観測された確率変数のケースにこの構成を特化し、ベーサグの積分公式 (1) といった既知の結果を回復する。
• 指数型分布族とモノイド環の理論を用いて、代数的構造と統計モデルとの間の接続を、アフィンおよび射影的トーリック多様体を通じて確立する。

実験結果

リサーチクエスチョン

• RQ1 与えられた関連する確率分布と整合するように、条件付き確率の集合が満たすべき代数的関係は何か？
• RQ2 任意の条件付け集合に対して、条件付き確率の整合性条件を体系的に導出し、整理する方法は何か？
• RQ3 与えられた条件付け事象の集合に対して、すべての有効な条件付き確率分布の空間の幾何的構造は何か？
• RQ4 一般化されたパーミュトヘドロンは、条件付き確率の空間において、どのように自然な幾何的対象として現れるか？
• RQ5 トーリック幾何学のモーメント写像は、トーリック多様体の非負部分と一般化されたパーミュトヘドロンとの間に、どのようにホメオモーティズムを誘導するか？

主な発見

• 任意の離散確率空間と任意の条件付け集合に対して、条件付き確率の関係のイデアルに対する普遍的グレブナー基底が構成された。
• すべての $ I \in \mathscr{E} $、$ |I| \geq 2 $ に対して、条件付き確率分布の空間が $ \mathbf{P}_{m-1} $ にホメオモーティックに写像され、マトゥシュの結果が一般化された。
• 任意の $ \mathscr{E} $ に対して、条件付き確率空間の像は一般化されたパーミュトヘドロンであり、条件付き独立構造の標準的な幾何的モデルを提供する。
• トーリック幾何学のモーメント写像 $ \mu $ は、行列 $ \mathcal{A} $ の列ベクトルの凸包、つまり一般化されたパーミュトヘドロンに、トーリック多様体の非負部分へのホメオモーティズムを誘導する。
• 集合 $ \mathscr{E} $ が確率変数の部分的観測に対応する場合、この構成はベーサグの積分公式 (1) を特別なケースとして回復する。
• 集合 $ \mathscr{E} $ を変更するだけで、部分的に観測された変数を含む統計モデルなど、さまざまな統計モデルに特化可能であり、グレブナー基底はすべてのインスタンスで有効なまま保たれる。