[论文解读] Neighborliness of Marginal Polytopes

Thomas Kahle|arXiv (Cornell University)|Sep 4, 2008

Topological and Geometric Data Analysis参考文献 16被引用 22

一句话总结

本文建立了层次对数线性模型中边缘多面体的邻近性性质，表明底层单纯复形的组合结构决定了马尔可夫移动的度数。对于单纯复形为区间补集的二值层次模型，显式构造了度数为 $2^{|G|-1}$ 的完整马尔可夫基，证明了该环的代数理想正是在此度数下生成。

ABSTRACT

A neighborliness property of marginal polytopes of hierarchical models, depending on the cardinality of the smallest non-face of the underlying simplicial complex, is shown. The case of binary variables is studied explicitly, then the general case is reduced to the binary case. A Markov basis for binary hierarchical models whose simplicial complexes is the complement of an interval is given.

研究动机与目标

• 基于单纯复形结构，刻画层次对数线性模型中边缘多面体的邻近性。
• 根据单纯复形的最小非面，确定马尔可夫移动的最小度数。
• 显式构造出单纯复形为区间补集的二值层次模型的马尔可夫基。
• 证明此类模型的环理想恰好在度数 $2^{|G|-1}$ 下生成，其中 $G$ 为给定子集。
• 通过组合约化技术，将非二值变量的一般情形约化至二值情形。

提出的方法

• 将边缘多面体定义为与层次模型相关联的设计矩阵 $A_{ riangle}$ 的列向量的凸包。
• 利用单纯复形 $ riangle$ 定义边缘映射 $\pi_{ riangle}$，将列联表投影到其面边缘上。
• 将环理想 $\mathcal{I}_{ riangle}$ 表征为边缘映射的核，以编码模型的代数结构。
• 引入马尔可夫移动 $m_{ riangle}^{y_{N\backslash G}}$ 作为马尔可夫基的生成元，其定义基于子集 $G$ 上的配置。
• 使用表格记号表示单项式，并执行约化步骤，以证明 $\mathcal{I}_{ riangle}$ 中的任意非常数二项式均可表示为所提移动的组合。
• 通过二项式度数的归纳法，利用所构造的基将高次移动逐步约化，直至达到基础情形。

实验结果

研究问题

• RQ1 单纯复形的组合结构，特别是其最小非面的大小，如何影响边缘多面体的邻近性？
• RQ2 在层次模型中，马尔可夫移动的最小度数是多少？它如何由单纯复形决定？
• RQ3 能否为单纯复形是区间补集的二值层次模型显式构造出完整的马尔可夫基？
• RQ4 此类模型的环理想是否在单一精确度数下生成？若是，该度数是多少？
• RQ5 在马尔可夫基构造的语境下，如何将非二值变量的一般情形约化至二值情形？

主要发现

• 边缘多面体的邻近性由单纯复形的最小非面的基数决定。
• 对于单纯复形为 $\triangle_{/G} = \{B \subseteq N : B \not\supseteq G\}$ 的二值层次模型，马尔可夫基恰好由所有 $y_{N\setminus G} \in \mathcal{X}_{N\setminus G}$ 的移动 $m_{\triangle}^{y_{N\setminus G}}$ 构成。
• 环理想 $\mathcal{I}_{\triangle_{/G}}$ 恰好在度数 $2^{|G|-1}$ 下生成，且该度数为任意非平凡移动的最小可能度数。
• 该马尔可夫基的构造对于此类模型是完整且最小的，即无需引入除 $m_{\triangle}^{y_{N\setminus G}}$ 形式外的额外移动。
• 证明依赖于使用表格记号的约化论证，表明理想中的任意二项式均可分解为所提移动的组合。
• 该结果可通过约化至二值情形推广至非二值变量，但精确度数界 $2^{|G|-1}$ 仅在二值情形下成立。