[论文解读] 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）马尔可夫等价图的算法。
• 阐明在无环混合图背景下，内部、外部与表示性马尔可夫等价之间的区别。
• 统一并扩展现有关于 MAG 子类之间马尔可夫等价的结果，特别是针对 RCG 及其与其他图形模型的关系。

提出的方法

• 本文使用 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）马尔可夫等价，当且仅当其不包含任何弧方向保持循环，且其中每个非碰撞器 V-构型 i≺j≻k 均具有未屏蔽的碰撞器 V-构型 ⟨i,j,l⟩。
• 为使 MAG 与 UG 马尔可夫等价，其必须为弦图（chordal），且不包含未屏蔽的碰撞器路径或长度为四的循环。
• MAG 与 BG 马尔可夫等价，当且仅当其不包含未屏蔽的非碰撞器 V-构型。
• MAG 与 DAG 马尔可夫等价，当且仅当其不包含未屏蔽的碰撞器 V-构型，且不包含长度为四的最小碰撞器路径或循环。
• 本文提供了在满足相应表示性等价条件时，从给定 MAG 显式生成马尔可夫等价 RCG、BG、UG 或 DAG 的算法。
• 结果通过将已知的 DAG 和 MAG 中马尔可夫等价条件推广至不同图类型之间的表示性等价，实现了广义化。