[論文レビュー] From Ordinary Differential Equations to Structural Causal Models: the deterministic case

Joris M. Mooij, Dominik Janzing+1 more|arXiv (Cornell University)|Apr 30, 2013

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

ひとこと要約

この論文は、微分方程式（ODE）の平衡状態が、フィードバックループが存在する場合でさえも構造的因果モデル（SCM）として表現可能であることを示すことにより、決定的常微分方程式（ODE）と構造的因果モデル（SCM）の間の形式的リンクを確立する。主な貢献は、連続時間ダイナミクスからSCMを原理的かつ一貫して導出できることを示したことである。これは、平衡状態においても介入の因果的意味論が適切に定義されることを示しており、循環的および非循環的因果モデリングを統合する単一の枠組みを提供する。

ABSTRACT

We show how, and under which conditions, the equilibrium states of a first-order Ordinary Differential Equation (ODE) system can be described with a deterministic Structural Causal Model (SCM). Our exposition sheds more light on the concept of causality as expressed within the framework of Structural Causal Models, especially for cyclic models.

研究の動機と目的

• 連続時間ダイナミカルシステム（ODE）と構造的因果モデル（SCM）の間の形式的関係を、決定的ケースにおいて確立すること。
• ODEシステムの平衡状態が、因果グラフにサイクルを含んでもSCMとして表現可能であることを示すこと。
• 連続時間ダイナミクスに基づく根拠を用いて、循環的モデルにおける構造方程式の因果的意味論を明確にすること。
• 異なるODEダイナミクスが同じSCMをもたらす可能性を示し、SCMが動的詳細（例：減衰、収束速度）を捉えないで、平衡状態レベルの因果関係のみを記述することを強調すること。
• SCM理論にフィードバックおよび循環的依存性を原理的かつ連続時間枠組みで組み込む基盤を築くこと。

提案手法

• 著者たちは、各変数の変化率がその親変数を介した滑らかな関数に依存する1階ODE系と初期条件を用いてシステムをモデル化する。
• 平衡状態を、すべての時間微分がゼロである、すなわち $ \dot{X}_i = 0 $ である解として定義し、代数方程式系に帰着させる。
• これらの平衡方程式を、平衡状態における直接原因に基づいて各変数が関数として表されるSCMの構造方程式として再解釈する。
• SCMの因果グラフはODEの依存構造から導出され、有向辺は平衡方程式における関数的依存関係を示す。
• 変数を新しい値に固定して新しい平衡状態を解くことで、do計算法を用いた完全な介入が可能となり、因果的意味論が保持される。
• 例として、ロトカ＝ヴォリエーラの捕食者・被食者モデルや減衰する調和振動子の鎖を用い、ODEのダイナミクスから一貫したSCMの導出を示している。

実験結果

リサーチクエスチョン

• RQ1 フィードバックループを含む場合でも、決定的ODEシステムの平衡状態を構造的因果モデル（SCM）として表現できるか？
• RQ2 ODEシステムの連続時間ダイナミクスが、SCMにおけるwell-definedな構造方程式をどのように生じさせ、その方程式の解釈は何か？
• RQ3 SCMにおける介入の因果的意味論と、ODEシステムの平衡状態における挙動の関係は何か？
• RQ4 なぜODEシステムの平衡状態表現が特定の動的詳細（例：減衰、収束速度）に対して不変であり、この抽象化によって失われる情報は何か？
• RQ5 同じSCMが異なるODEシステムから得られる可能性はあるか？その条件は何か？

主な発見

• 決定的ODEシステムの平衡状態は、各変数がその直接原因に基づいて定義される構造的因果モデル（SCM）によって一意に記述可能である。
• SCMの因果グラフはODEの依存構造から導出され、有向辺は平衡方程式における関数的依存関係を示す。
• SCMにおける介入は、変数を新しい値に固定して新しい平衡状態を解くことで実現され、do計算法の因果的意味論が保持される。
• 同じSCMは、異なる動的特性（収束速度、安定性など）を示すODEシステムから得られることがあり、SCMが動的詳細を抽象化していることを示している。
• 連続時間ODEダイナミクスに基づく根拠により、SCMにおける循環的構造方程式はwell-definedかつ解釈可能であり、循環的因果性に関する懸念が解消される。
• 物理的・生物学的モデルがODEで記述される場合に、特に時系列データが入手困難または平衡化が速い場合に、SCMを原理的かつ一貫して導出するための枠組みを提供する。