[論文レビュー] Intersection property and interaction decomposition

Grégoire Sergeant-Perthuis|arXiv (Cornell University)|Apr 18, 2019

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

ひとこと要約

本稿では、部分空間の族が部分空間の直和への階層的分解（相互作用分解）を許容するための必要十分条件を特徴づける、部分順序集合（poset）上のベクトル部分空間に対して定義される新たな代数的条件「交差性（intersection property）」を導入する。主な貢献は、この交差性がそのような分解の必要十分条件であることを証明し、古典的なグラフィカルモデルの結果およびHammersley-Clifford定理を、任意のwell-foundedなposetおよび積空間へ一般化することにある。

ABSTRACT

The decomposition into interaction subspaces is a hierarchical decomposition of the spaces of cylindrical functions of a finite product space, also called factor spaces. It is an important construction in graphical models and a standard way to prove the Hammersley-Clifford theorem that relates Markov fields to Gibbs fields and plays a central role in Kellerer's result for the linearized marginal problem. We define an intersection of sum property, or simply intersection property, and show that it characterizes collections of vector subspaces over a poset that can be hierarchically decomposed into direct sums, giving therefore a general setting for such construction to hold. We will call this generalization the interaction decomposition. The intersection property is the Bayesian intersection property when specified to factor spaces which, under this new perspective on the interaction decomposition, appears to be a structure property. An application is the extension of the decomposition into interaction subspaces for any product of any set.

研究の動機と目的

• 有限積空間に限らない任意のwell-foundedなposetへ、シリンダ関数の相互作用部分空間への分解を一般化すること。
• そのような階層的分解が存在するための必要十分な代数的条件（「交差性」と呼ばれる）を同定すること。
• グラフィカルモデル、マーカフ連鎖、線形化マージナル問題の既存結果を、一様な圏論的・順序論的枠組みへ統合・拡張すること。
• 任意の集合の積（無限積を含む）に対して適用可能な、相互作用分解の一般理論を、因子部分空間の拡張によって確立すること。

提案手法

• ベクトル空間 $V$ のベクトル部分空間の圏 $\mathbf{Gr}V$ への関手 $\operatorname{U} \in \hom(\mathscr{A}, \mathbf{Gr}V)$ を、部分順序集合 $\mathscr{A}$ から定義する。
• 交差性（I）を導入する：任意の下部集合 $\mathscr{B}, \mathscr{C} \subseteq \mathscr{A}$ に対して、$\sum_{b \in \mathscr{B}} \operatorname{U}(b) \cap \sum_{c \in \mathscr{C}} \operatorname{U}(c) \subseteq \sum_{a \in \mathscr{B} \cap \mathscr{C}} \operatorname{U}(a)$ が成り立つこと。
• 関手 $\operatorname{U}$ が（相互作用部分空間への直和分解を許容する意味で）分解可能であることは、その関手が交差性を満たすことと同値であることを証明する。
• well-foundedなposetにおける第二形の帰納法を用いて、交差性と分解可能性の同値性を証明する。
• 集合の無限積へ拡張するため、$\mathscr{P}(I)$ を $\mathscr{U}(\mathscr{P}_f(I))$ に順序埋め込み $j$ を通じて埋め込み、拡張関手 $H = i_! \operatorname{U} \circ j$ を定義する。
• 各 $a \subseteq I$ に対して $\operatorname{U}(a) = \mathbb{R}^{E_a}$ である因子空間に対して理論を適用し、古典的なグラフィカルモデルにおける相互作用分解が、この一般枠組みの特別な場合であることを示す。

実験結果

リサーチクエスチョン

• RQ1 部分順序集合からベクトル部分空間への関手が、相互作用部分空間への直和分解を階層的に許容する条件は何か？
• RQ2 有限積空間を超えた一般の設定において、そのような分解を特徴づける普遍的な代数的条件は存在するか？
• RQ3 交差性は、グラフィカルモデルおよびHammersley-Clifford定理における既知の結果とどのように関係するか？
• RQ4 無限個の積への相互作用分解は拡張可能か？ もしそうなら、どのように実現できるか？
• RQ5 well-founded性は、そのような分解の存在を保証するために果たす役割は何か？

主な発見

• 関手 $\operatorname{U} \in \hom(\mathscr{A}, \mathbf{Gr}V)$ が相互作用部分空間への直和分解を許容するための必要十分条件として、交差性（I）が成立すること。
• 任意のwell-foundedな部分順序集合 $\mathscr{A}$ に対して、関手 $\operatorname{U}$ が分解可能であることと、交差性を満たすこととは同値である。
• 有限積空間上のシリンダ関数の古典的分解（相互作用部分空間への分解）は、この一般理論の特別な場合である。
• 交差性はベイジアンの交差性を一般化し、相互作用分解の構造的基盤を提供する。
• 埋め込み $j: \mathscr{P}(I) \to \mathscr{U}(\mathscr{P}_f(I))$ を通じて、無限積への分解が可能となり、拡張関手 $H$ に対しても分解可能性が保たれる。
• 本結果により、Hammersley-Clifford定理、線形化マージナル問題、グラフィカルモデルにおける相互作用分解を統合する圏論的・順序論的枠組みが確立される。