[论文解读] A Transformational Characterization of Markov Equivalence for Directed Acyclic Graphs with Latent Variables

Jiji Zhang, Peter Spirtes|arXiv (Cornell University)|Jul 4, 2012

Bayesian Modeling and Causal Inference参考文献 7被引用 3

一句话总结

本文为带有隐变量的有向无环图（DAGs）提供了马尔可夫等价性的变换表征，将 Chickering 在无隐变量 DAG 上的开创性工作扩展至最大因果图（MAGs）。它识别出一组局部图变换——具体为在特定条件下的边添加与删除——这些变换可保持马尔可夫等价性，从而在存在未观测混杂因子的情况下，实现对马尔可夫等价类的高效搜索。

ABSTRACT

Different directed acyclic graphs (DAGs) may be Markov equivalent in the sense that they entail the same conditional independence relations among the observed variables. Chickering (1995) provided a transformational characterization of Markov equivalence for DAGs (with no latent variables), which is useful in deriving properties shared by Markov equivalent DAGs, and, with certain generalization, is needed to prove the asymptotic correctness of a search procedure over Markov equivalence classes, known as the GES algorithm. For DAG models with latent variables, maximal ancestral graphs (MAGs) provide a neat representation that facilitates model search. However, no transformational characterization -- analogous to Chickering's -- of Markov equivalent MAGs is yet available. This paper establishes such a characterization for directed MAGs, which we expect will have similar uses as it does for DAGs.

研究动机与目标

• 将 Chickering 对无隐变量 DAG 的马尔可夫等价性变换表征，从无隐变量 DAG 扩展至带有隐变量的有向无环图。
• 为在存在未观测混杂因子的情况下，正式建立判断两个最大因果图（MAGs）是否马尔可夫等价的框架。
• 支持在存在未测量共同原因的场景下，基于评分的因果发现算法（如 GES 算法）的开发。
• 为在存在隐变量的情况下，对马尔可夫等价类进行高效搜索，建立理论基础。
• 通过保持条件独立性结构的局部、结构性变换，将马尔可夫等价性的概念推广至 MAGs。

提出的方法

• 引入一组局部图变换——具体为边的添加与删除——这些变换在 MAGs 中保持马尔可夫等价性。
• 基于 MAGs 中的“ immoralities”（非合流结构）与“ colliders”（碰撞节点）的结构定义变换规则，确保条件独立性关系保持不变。
• 证明：两个 MAGs 是马尔可夫等价的，当且仅当其中一个可通过一系列此类局部操作转化为另一个。
• 利用 MAGs 中的 v-结构与非合流结构的概念，识别变换是否有效并保持独立性结构。
• 将变换框架应用于推导在存在隐变量混杂因子时，马尔可夫等价类的性质。
• 利用最大因果图的结构，确保在变换下所有观测变量之间的条件独立关系均被保留。

实验结果

研究问题

• RQ1 哪些局部图变换可保持带有隐变量的有向无环图中的马尔可夫等价性？
• RQ2 Chickering 对 DAG 的变换表征如何推广至存在未观测混杂因子的 MAGs？
• RQ3 在何种条件下，可通过一系列结构变化使两个 MAGs 被视为马尔可夫等价？
• RQ4 在存在隐变量的情况下，导航马尔可夫等价类中所有成员所需的最小操作集合是什么？
• RQ5 MAGs 的结构性质——如 v-结构与碰撞节点——如何限制有效变换的形式？

主要发现

• 本文建立了一套完整的局部变换，可保持 MAGs 中的马尔可夫等价性，其形式与 Chickering 对 DAG 的规则类似。
• 两个 MAGs 是马尔可夫等价的，当且仅当其中一个可通过一系列所提出的变换转化为另一个。
• 这些变换基于 v-结构与碰撞节点的存在及其结构，确保观测变量之间的条件独立关系保持不变。
• 该表征使得 GES 算法可扩展至含隐变量的模型，确保因果发现的渐近正确性。
• 该框架为在存在未观测混杂因子的情况下，对马尔可夫等价类进行高效搜索提供了理论基础。
• 研究结果将马尔可夫等价性的概念推广至 MAGs，为含隐变量的因果结构学习提供了基础。