[論文レビュー] 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.

研究の動機と目的

• 単体複体の構造に基づいて、階層的対数線形モデルにおける周辺多面体の近接性を特徴づけること。
• 単体複体の最小非面の観点から、マルコフ移動の最小次数を特定すること。
• 単体複体が区間の補集合である二値階層的モデルの完全なマルコフ基底を明示的に構成すること。
• このようなモデルのトーリックイデアルが、与えられた部分集合 $G$ に対してちょうど $2^{|G|-1}$ 次で生成されることを示すこと。
• 非二値変数の一般ケースを、組合せ的還元技術を用いて二値ケースに還元すること。

提案手法

• 階層的モデルに関連する設計行列 $A_{ riangle}$ の列の凸包として周辺多面体を定義する。
• 単体複体 $ riangle$ を用いて、断面の周辺度数に射影するマージナル写像 $\pi_{ riangle}$ を定義する。
• マージナル写像の核としてトーリックイデアル $\mathcal{I}_{ riangle}$ を特徴づけ、モデルの代数的構造を符号化する。
• 部分集合 $G$ における配置を用いて定義される、マルコフ移動 $m_{ riangle}^{y_{N\backslash G}}$ をマルコフ基底の生成元として導入する。
• 表記法を用いて単項式を表現し、還元ステップを実行することで、$\mathcal{I}_{\triangle}$ の任意の二項式が、提案された移動の組み合わせとして表現可能であることを示す。
• 二項式の次数に関する帰納法を用い、構築された基底を用いて高次数の移動を段階的に還元し、基本ケースに到達する。

実験結果

リサーチクエスチョン

• RQ1 単体複体の組合せ的構造、特にその最小非面のサイズが、周辺多面体の近接性にどのように影響するか？
• RQ2 階層的モデルにおけるマルコフ移動の最小次数は何か？ それは単体複体によってどのように決定されるか？
• RQ3 単体複体が区間の補集合である二値階層的モデルに対して、完全なマルコフ基底を明示的に構成できるか？
• RQ4 このようなモデルのトーリックイデアルは、正確に一つの次数で生成されるか？ もしそうならば、その次数は何か？
• RQ5 マルコフ基底構成の文脈において、非二値変数の一般ケースをどのように二値ケースに還元できるか？

主な発見

• 周辺多面体の近接性は、単体複体の最小非面の濃度に依存する。
• 単体複体 $ riangle_{/G} = \{B \subseteq N : B \not\supseteq G\}$ を持つ二値階層的モデルにおいて、マルコフ基底は、すべての $y_{N\setminus G} \in \mathcal{X}_{N\setminus G}$ に対して、ちょうど移動 $m_{ riangle}^{y_{N\setminus G}}$ で構成される。
• トーリックイデアル $\mathcal{I}_{\triangle_{/G}}$ はちょうど $2^{|G|-1}$ 次で生成され、これは非自明な移動の最小可能な次数である。
• このクラスのモデルに対して、マルコフ基底の構成は完全かつ最小である。つまり、$m_{ riangle}^{y_{N\setminus G}}$ の形をした移動以外に追加の移動は不要である。
• 証明は、表記法を用いた還元論的議論に依拠しており、イデアル内の任意の二項式が、提案された移動の組み合わせに分解可能であることを示している。
• 非二値変数への結果の拡張は、二値ケースへの還元によって可能であるが、正確な次数上限 $2^{|G|-1}$ は二値設定でのみ成立する。