[論文レビュー] Presenting convex sets of probability distributions by convex semilattices and unique bases

Bonchi, Filippo, Sokolova, Ana+1 more|arXiv (Cornell University)|May 4, 2020

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

ひとこと要約

この論文は、有限に生成された有限台付確率分布の凸集合が一意な基底を有することを確立し、この結果を用いて、確率分布の凸集合のモナドが凸セミラティスの代数的理論によって提示されることを証明する。基底の一意性により、凸セミラティスを用いたモナドの圏論的提示が可能となり、非決定的性と確率的性を併せ持つシステムのための基礎的代数的構造が得られる。

ABSTRACT

We prove that every finitely generated convex set of finitely supported probability distributions has a unique base, and use this result to show that the monad of convex sets of probability distributions is presented by the algebraic theory of convex semilattices.

研究の動機と目的

• 有限に生成された有限台付確率分布の凸集合に対して、その基底の存在と一意性を確立すること。
• 確率分布の凸集合のモナドが凸セミラティスの代数的理論によって提示されることを、別証明を与えること。
• 一意な基底性を活用して、代数的構造（凸セミラティス）と確率的計算モデルとを結びつけること。
• 凸結合と極値点に基づく明示的・構成的推論を用いて、凸モナドの圏論的提示を形式化すること。

提案手法

• 関数解析を用いて一意基底定理を証明し、Krein-Milmanの定理を適用して極値点の集合が一意な最小生成集合をなすことを示す。
• 任意の基底要素が他の要素の凸結合として表現できないことを示すことで、基底の一意性を構成的・明示的に証明する。
• 集合 X 上の確率分布の凸集合のモナドを C(X) と表記し、これは有限個の有限台付分布の凸包として定義する。
• 凸セミラティスの項代数から凸モナドへのモナド準同型 ι を構成し、一意基底性を用いてそれが同型であることを示す。
• 一意基底を用いて、凸セミラティスの理論における任意の項が極値分布の凸結合に一意に対応することを示す。
• 凸セミラティスの理論における等式的推論を用いて、重複する凸結合を簡約し、正規形を確立する。

実験結果

リサーチクエスチョン

• RQ1 有限に生成された有限台付確率分布の凸集合は、常に一意な最小生成集合（基底）を有するか？
• RQ2 確率分布の凸集合のモナドは、凸セミラティスの理論によって代数的に提示可能か？
• RQ3 凸セミラティスの記号における項と分布の凸結合との間には、一対一かつ構造を保つ対応が存在するか？
• RQ4 一意基底性をどのように活用することで、自由代数と凸モナドの間の圏論的同型を確立できるか？

主な発見

• 有限に生成された有限台付確率分布の凸集合は、すべて一意な基底を有する。すなわち、基底に属する任意の要素は、他の要素の凸結合として表現できない。
• 凸集合 S の極値点の集合は、まさにその一意な基底であり、この基底は凸結合によって S を生成する。
• 確率分布の凸集合のモナドは、凸セミラティスの代数的理論の自由代数と同型である。
• モナド写像 ι: TΣ,E → C は同型であり、凸モナドが凸セミラティスの理論によって提示されることを証明する。
• 一意基底性により、凸モナドの任意の要素が、凸セミラティス記号における一意な正規項に対応することが保証される。
• 凸セミラティスの理論における等式的推論により、任意の凸結合をその一意基底に簡約でき、正規形が確立される。