[論文レビュー] On sampling graphical Markov models

Megan Bernstein, Prasad Tetali|arXiv (Cornell University)|May 26, 2017

Markov Chains and Monte Carlo Methods参考文献 14被引用数 6

ひとこと要約

本稿では、マコフ等価クラス内のDAGの均一サンプリングのためのマコフ連鎖を提案し、その混合時間について分析している。連鎖が多項式時間で混合する条件を同定するとともに、大きな重複を示すクリークが存在する場合には指数的遅延が生じることを示している。主な貢献は、高速混合条件の構造的特徴付けと、He, Jia, and Yuによる関連連鎖のエルゴディック性の証明である。

ABSTRACT

We consider sampling and enumeration problems for Markov equivalence classes. We create and analyze a Markov chain for uniform random sampling on the DAGs inside a Markov equivalence class. Though the worst case is exponentially slow mixing, we find a condition on the Markov equivalence class for polynomial time mixing. We also investigate the ratio of Markov equivalence classes to DAGs and a Markov chain of He, Jia, and Yu for random sampling of sparse Markov equivalence classes.

研究の動機と目的

• マコフ等価クラス内のDAGの均一サンプリングのためのマコフ連鎖の開発および分析を行う。
• 連鎖が多項式時間で混合する条件を同定し、指数的遅延を回避する。
• ポセットに基づく構造定理を用いて、DAGとマコフ等価クラスの数の比を調査する。
• スパースなマコフ等価クラスのサンプリングのためのHe, Jia, and Yuが提案したマコフ連鎖のエルゴディック性をより単純に証明する。
• ハミング距離が大きくても連鎖の経路長が小さい反例を用いて、標準的な経路法やカップリング法の限界を示す。

提案手法

• マコフ等価クラスの本質的グラフ表現における無向辺のエッジフリップを実行する可逆なマコフ連鎖を設計する。
• すべてのDAGを表すために、有向および無向辺を含むPDAG（部分的に有向グラフ）としての本質的グラフを用いる。
• 部分グラフによる保護エッジの特徴付けを適用し、エッジフリップが本質的グラフの性質を保つことを保証する。
• ポセットに基づく構造定理を用いて、DAGとマコフ等価クラスの比を分析する。
• 任意の2つのハミング距離が1の本質的グラフが、長さ2以下の経路で接続されることを示すことで、He, Jia, and Yuの連鎖のエルゴディック性を証明する。
• ハミング距離が2であるが、接続にΩ(n)回の移動を要する反例を構築し、標準的な収束解析手法の限界を示す。

実験結果

リサーチクエスチョン

• RQ1 マコフ等価クラス内のDAGにおけるエッジフリップマコフ連鎖が、どのような条件下で多項式時間で混合するか？
• RQ2 大きな重複を示すクリークの存在が、サンプリング連鎖の混合時間に与える影響は何か？
• RQ3 与えられたグラフにおいて、DAGの数とマコフ等価クラスの数との間の構造的関係は何か？
• RQ4 スパースなマコフ等価クラスのサンプリングのためのHe, Jia, and Yuのマコフ連鎖のエルゴディック性を、より単純に証明できるか？
• RQ5 なぜ標準的な収束解析手法（例：カノニカルパスやカップリング）は、He, Jia, and Yuの連鎖の混合時間の解析に不適切なのか？

主な発見

• 提案されたDAGのサンプリングのためのマコフ連鎖は、元のグラフに大きな重複を示すクリークが存在しない限り、多項式時間で混合する。
• 本質的グラフに大規模で著しく重複するクリーク（概ねサイズの半分程度）が存在する場合には、連鎖は指数的遅延を示す。
• ポセットに基づく構造定理により、DAGとマコフ等価クラスの比のより深い分析が可能になるが、正確な列挙は未解決のままである。
• 本稿では、スパースなマコフ等価クラスのサンプリングのためのHe, Jia, and Yuのマコフ連鎖のエルゴディック性を、より短く単純な証明で与える。
• 反例により、ハミング距離が2である2つの本質的グラフが、接続にΩ(n)回の移動を要することが示され、標準的な経路に基づく収束解析が成功する可能性は低いことが示唆される。
• He, Jia, and Yuが提案した連鎖がエルゴディックであることが示され、1つのエッジの違いでの本質的グラフ間には、長さ2以下の経路が存在する。