[論文レビュー] Markov Equivalences for Subclasses of Loopless Mixed Graphs

Kayvan Sadeghi|arXiv (Cornell University)|Oct 20, 2011

Alzheimer's disease research and treatments参考文献 15被引用数 5

ひとこと要約

本稿は、最大アンサンブルグラフ（MAG）およびその部分クラス（有向無環グラフ（DAG）、無向グラフ（UG）、双方向グラフ（BG）、回帰連鎖グラフ（RCG））間の表現的マルコフ同値性に関する必要十分条件を確立し、与えられたグラフから特定のタイプのマルコフ同値グラフを生成するためのアルゴリズムを提供する。主な貢献は、MAGがRCG、BG、UG、DAGとマルコフ同値である条件の特定であり、これは特定の矢印方向を保つサイクルおよびシャイルドされていないコリダー構成がないことに基づく。

ABSTRACT

In this paper we discuss four problems regarding Markov equivalences for subclasses of loopless mixed graphs. We classify these four problems as finding conditions for internal Markov equivalence, which is Markov equivalence within a subclass, for external Markov equivalence, which is Markov equivalence between subclasses, for representational Markov equivalence, which is the possibility of a graph from a subclass being Markov equivalent to a graph from another subclass, and finding algorithms to generate a graph from a certain subclass that is Markov equivalent to a given graph. We particularly focus on the class of maximal ancestral graphs and its subclasses, namely regression graphs, bidirected graphs, undirected graphs, and directed acyclic graphs, and present novel results for representational Markov equivalence and algorithms.

研究の動機と目的

• 最大アンサンブルグラフ（MAG）が、DAG、UG、BG、RCGなどの異なる部分クラスのグラフとマルコフ同値である条件を同定すること。
• 与えられたMAGまたは部分クラスのグラフから、指定されたタイプ（例：RCGまたはDAG）のマルコフ同値グラフを生成するためのアルゴリズムを開発すること。
• ループのない混合グラフの文脈において、内部的、外部的、代表的マルコフ同値性の違いを明確にすること。
• 特にRCGと他のグラフィカルモデルとの関係を含め、MAGの部分クラス間のマルコフ同値性に関する既存の結果を統合・拡張すること。

提案手法

• 本稿は、ループのない混合グラフにおける条件付きインデペンデンシーを解釈するための分離基準としてm-分離を用いる。
• MAGにおける最大性の概念を定義・適用し、すべてのd-分離がグラフ構造によって捉えられるようにする。
• 代表的マルコフ同値性のための主要な構造的制約として、矢印方向を保つサイクルおよびシャイルドされていないコリダーV配置の概念を導入・適用する。
• 各部分クラス（DAG、UG、BG、RCG）について、MAGがそのタイプのグラフとマルコフ同値であるための必要十分条件を導出する。
• 代表的同値性条件を満たす場合に、与えられたグラフから目的のタイプのマルコフ同値グラフを生成する構成的アルゴリズムを提示する。
• 理論的証明は、サイクルの最小性および矢印先端の保存に関する構造的グラフ解析に依拠し、同値グラフにおいて特定の構成が不可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 最大アンサンブルグラフが回帰連鎖グラフ（RCG）とマルコフ同値であるのはどのような条件下か？
• RQ2 MAGが双方向グラフ（BG）または無向グラフ（UG）とマルコフ同値であるのはいつか？
• RQ3 MAGがDAGとマルコフ同値でない原因となる構造的制約は何か？
• RQ4 与えられたMAGまたは部分クラスのグラフから、特定のタイプ（例：DAGまたはRCG）のマルコフ同値グラフをアルゴリズム的に生成する方法は何か？
• RQ5 MAGの異なる部分クラス間の代表的マルコフ同値性はどのように特徴づけられるか？

主な発見

• 最大アンサンブルグラフHが回帰連鎖グラフ（RCG）とマルコフ同値であるための必要十分条件は、Hに、すべての非コリダーV配置i≺j≻kがシャイルドされていないコリダーV配置⟨i,j,l⟩を有さない矢印方向を保つサイクルが存在しないことである。
• MAGがUGとマルコフ同値であるためには、弦的でなければならず、シャイルドされていないコリダー経路や長さ4のサイクルが存在してはならない。
• MAGがBGとマルコフ同値であるための必要十分条件は、シャイルドされていない非コリダーV配置が存在しないことである。
• MAGがDAGとマルコフ同値であるための必要十分条件は、シャイルドされていないコリダーV配置が存在せず、かつ長さ4の最小コリダー経路またはサイクルが存在しないことである。
• 本稿は、それぞれの代表的同値性条件が満たされる場合に、与えられたMAGからマルコフ同値のRCG、BG、UG、DAGを生成する明示的なアルゴリズムを提供する。
• 既知のDAGおよびMAGにおけるマルコフ同値性の条件を、異なるグラフタイプ間の代表的同値性にまで拡張することで、それらを一般化している。