[論文レビュー] Identifying Causal Effects with Computer Algebra

Luis David García Puente, Sarah Spielvogel+1 more|arXiv (Cornell University)|Jul 22, 2010

Bayesian Modeling and Causal Inference参考文献 6被引用数 20

ひとこと要約

本稿では、線形構造方程式モデル（SEMs）における因果効果の一般的同定可能性を体系的に決定するため、グレブナー基底を用いたコンピュータ代数フレームワークを提示する。本手法は4変数の有向および双方向のすべてのグラフ（4,096個）に適用され、そのうち1,246個が一般に同定可能であり、6個は標準的基準を超えた代数的同定を要し、2,844個は一般に同定可能でないことが判明した。本研究は、4ノードのこのようなモデルにおける同定可能性の完全分類を初めて提供する。

ABSTRACT

The long-standing identification problem for causal effects in graphical models has many partial results but lacks a systematic study. We show how computer algebra can be used to either prove that a causal effect can be identified, generically identified, or show that the effect is not generically identifiable. We report on the results of our computations for linear structural equation models, where we determine precisely which causal effects are generically identifiable for all graphs on three and four vertices.

研究の動機と目的

• 線形SEMsにおける因果効果の一般的同定可能性を体系的かつ計算的に決定するためのフレームワークの構築。
• 3変数および4変数の線形SEMsにおけるすべての因果効果の一般的同定可能性を分類すること。
• 標準的グラフィカル基準（例：バックドア、シングルドア）が失敗し、代数的手法が必要となるケースの同定。
• 非同定可能なモデルの計算複雑性および構造的性質の分析。
• 小規模なグラフィカルモデルにおける同定可能性結果の検索可能なオンラインリソースの提供。

提案手法

• パラメータからモーメント（例：共分散行列）への多項式写像を用いてSEMsをモデル化する。
• 代数幾何学的手法を用いて、同定可能性問題を「パラメータがモーメント写像の像に属するか」を判定する問題に定式化する。
• グレブナー基底の計算により、像の消えるイデアル（vanishing ideal）を計算し、モーメントパラメータにかかるすべての制約を符号化する。
• パラメータ関数がイデアルを用いてモーメントに関して代数的に表現可能かどうかをチェックすることで、一般的同定可能性を決定する。
• 計算代数システムを活用して、3頂点および4頂点のすべてのグラフにおいて同定プロセスを自動化する。
• 標準的基準を超えた同定が、多項式方程式（例：2次方程式）の解法を要する場合を検出する。

実験結果

リサーチクエスチョン

• RQ1 4変数の線形SEMsにおけるどの因果効果が一般に同定可能か？
• RQ2 標準的グラフィカル基準（例：バックドア、シングルドア）が因果効果を同定できないモデルは存在するか？ もし存在するならば、代数的計算が必要となる。
• RQ3 SEMsにおける非同定性の証明の計算複雑性はどの程度か？ また、長時間実行を引き起こす構造的特徴は何か？
• RQ4 4,096個の4変数SEMsのうち、非行列式の消えるイデアル（non-determinantal vanishing ideals）を持つものは何個か？
• RQ5 コンピュータ代数を用いて、小規模なグラフィカルモデルにおける同定可能性の完全分類を達成できるか？

主な発見

• 4変数のグラフ4,096個のうち、正確に1,246個が一般に同定可能であり、6個は代数的に2次的に同定可能（2-identified）、2,844個は一般に同定可能でない。
• 1,246個の一般に同定可能なモデルのうち、1,093個は標準的基準（例：シングルドア、インストルメンタル変数）により同定可能であり、残りの153個は代数的手法を要する。
• 4変数におけるボウフリー（bow-free）モデルは正確に729個存在し、これらはすべてシングルドア基準により一般に同定可能である。
• 3変数SEMsのすべての消えるイデアルは行列式的（determinantal）であるが、4,096個の4変数SEMsのうち33個は非行列式のイデアルを持つ。
• 有向辺1→2、1→4、2→3、3→4および双方向辺1↔2、1↔3、1↔4を有するモデルでは、ω₄₄の非同定性を証明するのに75日以上を要した。
• 代数的に2次的に同定可能な6つのモデルは、すべて共分散行列から導かれる2次方程式の解であるパラメータを含んでおり、標準的基準が失敗する場合でも同定可能である。