[論文レビュー] Beyond Structural Causal Models: Causal Constraints Models

Tineke Blom, Stephan Bongers+1 more|arXiv (Cornell University)|May 16, 2018

Bayesian Modeling and Causal Inference参考文献 15被引用数 16

ひとこと要約

この論文は、平衡状態における動的システムおよび関数的法則（例：理想気体の法則）の因果的意味をよりよく捉えるために、構造的因果モデル（SCMs）の一般化として因果制約モデル（CCMs）を導入する。CCMsは常微分方程式（ODEs）と運動量保存則から構築され、干渉によっても不変制約が保たれることを保証する。一方、SCMsはこのような法則に違反する解を許容する可能性がある。

ABSTRACT

Structural Causal Models (SCMs) provide a popular causal modeling framework. In this work, we show that SCMs are not flexible enough to give a complete causal representation of dynamical systems at equilibrium. Instead, we propose a generalization of the notion of an SCM, that we call Causal Constraints Model (CCM), and prove that CCMs do capture the causal semantics of such systems. We show how CCMs can be constructed from differential equations and initial conditions and we illustrate our ideas further on a simple but ubiquitous (bio)chemical reaction. Our framework also allows to model functional laws, such as the ideal gas law, in a sensible and intuitive way.

研究の動機と目的

• 平衡状態における動的システムの因果的意味を表現する際の構造的因果モデル（SCMs）の限界を解決すること。
• 動的システムにおける平衡状態が初期条件に依存する仕組みを捉える形式的枠組みを構築すること。
• すべての干渉に対して不変な関数的法則（例：理想気体の法則）を正しく表現できる因果モデリング手法を提供すること。
• CCMsが基本的な酵素反応やロトカ＝ヴォリエーラモデルなどの系が平衡状態にあるとき、因果的挙動を完全に記述できることを示すこと。
• より表現力の高い因果モデルクラスを導入することで、因果発見手法を動的システムへと拡張する基盤を築くこと。

提案手法

• CCMsは三元組 (X, C, P) として定義され、X は内生変数の集合、C は因果的制約（方程式または関係）の集合、P は外生変数上の確率分布である。
• 因果的制約は、システムのODEと保存則から導出され、解が力学的挙動と保存則の両方を満たすことを保証する。
• この枠組みは、いかなる干渉に対しても、解が制約を満たす場合にのみ存在することを保証し、物理的に整合しない結果を防ぐ。
• ODEと初期条件からCCMを構築する手続きが形式化され、構造的半安定性の条件が、平衡状態への収束を保証する。
• 制約を因果構造に直接埋め込むことで、循環的依存関係と関数的不変量の両方を扱う。
• 干渉は内生変数の値を固定することで適用され、干渉下での解の存在は、ODE系における固定点への収束と同値である。

実験結果

リサーチクエスチョン

• RQ1 SCMsは、初期条件が平衡状態に影響を与える場合に、平衡状態における動的システムの因果的意味を完全に表現できるか？
• RQ2 理想気体の法則のような関数的法則を、すべての干渉に対して不変性を保つ形で因果的にモデル化するにはどうすればよいか？
• RQ3 ODEと保存則から構築されたCCMが、いかなる干渉に対しても一意の解を持つための条件は何か？
• RQ4 なぜSCMsは、平衡状態が初期条件に依存するシステムの因果的意味を正しくモデル化できないのか？
• RQ5 因果モデルはどのように拡張され、統一的な枠組みで平衡状態の挙動と不変物理法則の両方を捉えることができるか？

主な発見

• CCMsは、システムが構造的半安定であり、各干渉に対して高々一つの解を持つ場合に、平衡状態における動的システムの因果的意味を完全に捉えることが証明された。
• 基本的な酵素反応において、CCMは初期条件が平衡状態に与える依存関係を正しくモデル化するが、SCMsはこれを捉えられていない。
• 理想気体の法則は、CCMsにおいて自然かつ簡潔に表現されるが、SCMsは同時に干渉が加わる場合に法則に違反する構造的方程式を必要とする。
• CCMsは、理想気体の法則や混合物の相対組成などの関数的制約に違反する解を防ぎ、物理的整合性を保証する。
• SCMsとは異なり、CCMsは不変関係に違反する解を許容しないため、物理法則のモデル化に適している。
• この枠組みにより、CCMsがODEと保存則から構築可能であり、その解が干渉を加えたODE系の固定点と正確に一致することが示された。