[论文解读] Intersection property and interaction decomposition

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

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

一句话总结

本文引入了交集性质——一种在偏序集（poset）上的向量子空间的新型代数条件——用以刻画从偏序集到向量空间的函子何时可被分解为直和，即相互作用分解。关键贡献在于证明了交集性质对于此类分解是必要且充分的，将图形模型中的经典结果以及Hammersley-Clifford定理推广至任意良基偏序集和乘积空间。

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.

研究动机与目标

• 将柱状函数在有限乘积空间之外的分解推广至任意良基偏序集，实现对相互作用子空间的层次分解。
• 识别出此类层次分解存在的必要且充分的代数条件——称为交集性质。
• 在单一范畴论与序理论框架下，统一并拓展图形模型、马尔可夫随机场以及线性边际问题的现有结果。
• 通过因子子空间的延拓，建立适用于任意集合乘积（包括无限乘积）的相互作用分解的一般理论。

提出的方法

• 定义一个从偏序集 $\mathscr{A}$ 到向量空间 $V$ 的子空间范畴 $\mathbf{Gr}V$ 的函子 $\operatorname{U} \in \hom(\mathscr{A}, \mathbf{Gr}V)$。
• 引入交集性质（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}$ 可分解（即允许分解为相互作用子空间的直和）当且仅当其满足交集性质。
• 利用良基偏序集的第二类归纳法，证明交集性质与可分解性之间的等价性。
• 通过将 $\mathscr{P}(I)$ 嵌入 $\mathscr{U}(\mathscr{P}_f(I))$ 的序嵌入 $j$，将分解推广至无限乘积，定义扩展函子 $H = i_! \operatorname{U} \circ j$。
• 将该理论应用于因子空间 $\operatorname{U}(a) = \mathbb{R}^{E_a}$（其中 $a \subseteq I$），表明图形模型中经典的相互作用分解是此一般框架的特例。

实验结果

研究问题

• RQ1 在何种条件下，从偏序集到向量子空间的函子可被层次分解为相互作用子空间的直和？
• RQ2 是否存在一个普遍的代数条件，可在有限乘积空间之外的一般设定中刻画此类分解？
• RQ3 交集性质与图形模型及Hammersley-Clifford定理中的已知结果有何关联？
• RQ4 相互作用分解能否推广至集合的无限乘积？若能，如何实现？
• RQ5 良基性在确保此类分解存在性方面起什么作用？

主要发现

• 交集性质（I）是函子 $\operatorname{U} \in \hom(\mathscr{A}, \mathbf{Gr}V)$ 可被分解为相互作用子空间直和的必要且充分条件。
• 对任意良基偏序集 $\mathscr{A}$，函子 $\operatorname{U}$ 可分解当且仅当其满足交集性质。
• 在有限乘积空间上柱状函数的经典相互作用子空间分解是此一般理论的特例。
• 交集性质推广了贝叶斯交集性质，并为相互作用分解提供了结构理论基础。
• 通过嵌入 $j: \mathscr{P}(I) \to \mathscr{U}(\mathscr{P}_f(I))$，分解可推广至无限乘积，且扩展函子 $H$ 仍保持可分解性。
• 该结果建立了一个范畴论与序理论框架，统一了Hammersley-Clifford定理、线性边际问题与图形模型中的相互作用分解。