因果ダイアグラム

概要

因果ダイアグラムは、変数を点、因果の影響を矢印で表したグラフです。「喫煙 → 肺がん」のように、原因から結果へ向かう矢印を描き、分析に関わる変数どうしの因果の想定を1枚の図に書き下します。矢印をたどって元の変数に戻る循環を許さないため、DAG（Directed Acyclic Graph、有向非巡回グラフ）とも呼ばれます。

この図の価値は、因果推論における最大の実務的問い — 「効果を正しく測るために、どの変数を統制（調整）すべきで、どの変数を統制してはいけないか」 — に、機械的な手順で答えられることです。分析者の頭の中にある因果の仮定を図として外に出すことで、その仮定の妥当性を他人が検証でき、仮定から導かれる結論をグラフ理論の規則で導出できるようになります。

計算機科学者のジューディア・パールが1980〜90年代に理論を体系化し、疫学・経済学・機械学習へと広がりました。「相関から因果は語れない」で止まっていた統計学に、「どんな仮定を置けば語れるのか」を明示する言語を与えた道具です。

なぜ生まれたか

因果ダイアグラム以前、交絡への対処は「関係しそうな変数はとにかく全部統制する」という経験則に頼っていました。しかしこの方針には落とし穴があります。統制すべきでない変数を統制すると、かえって偏りが生まれることがあるのです。たとえば原因と結果の中間にある変数（中間変数）を統制すると、測りたい効果そのものを打ち消してしまいます。さらに悪いことに、2つの原因の共通の結果にあたる変数を統制すると、本来無関係だった変数間に見せかけの関連が発生します。どの変数を統制すべきかは変数間の因果の「向き」に依存する — ところが従来の統計モデルの数式には、相関はあっても向きを表す記法がありませんでした。

パールらはこの「向き」を矢印で表すグラフを導入し、「与えられた因果構造のもとで、どの変数集合を統制すれば偏りが消えるか」を判定する規則（バックドア基準）を定式化しました。これにより変数選択は、勘と慣習の問題から、描いた仮定のもとで答えが一意に決まる手続きの問題へと変わりました。

詳細

3つの基本パターン

どんなに複雑な因果ダイアグラムも、3つの基本構造の組み合わせに分解できます。合流点だけは直感に反するので、特に注意して押さえてください。

分岐は X と Y の両方に矢印を出す共通原因 Z がある構造で、交絡そのものです。Z を放置すると X と Y の間に見せかけの相関が生まれるため、Z は統制すべき変数です。連鎖は X → M → Y と効果が中間変数 M を経由して伝わる構造で、M を統制すると測りたい効果の通り道を塞いでしまうため、統制してはいけません。**合流点（コライダー）**は X と Y の両方から矢印を受ける変数 C で、これが最も直感に反します。C を統制すると、それまで独立だった X と Y の間に偽の関連が発生するのです。「才能と運の両方が合格に効くとき、合格者だけを見ると才能と運が負の相関に見える」という現象がその典型で、選択バイアスの多くはコライダーの統制として説明できます。

経路の開閉という見方

因果ダイアグラム上で X から Y へ至る道筋（矢印の向きを問わずたどれる経路）は、関連を伝える「開いた経路」と、伝えない「閉じた経路」に分かれます。規則は3パターンに対応していて、分岐と連鎖の経路はそのままだと開いており、途中の変数を統制すると閉じます。逆に合流点を含む経路はそのままだと閉じており、合流点を統制すると開いてしまいます。統制とは条件付き確率の言葉で言えば「その変数の値で条件付けて層別に見る」ことであり、条件付けがこの経路のスイッチを切り替えるのです。

バックドア基準 — 統制すべき変数の判定法

測りたいのは X → Y の因果効果ですが、X と Y の関連には、X から矢印を逆向きにたどって始まる「裏口の経路」（バックドアパス、典型的には X ← Z → Y という交絡の経路）が混入します。バックドア基準とは、「すべての裏口経路を閉じ、かつ因果効果の通り道である表の経路は塞がない変数集合を統制せよ」という判定規則です。この基準を満たす変数集合が見つかれば、観察データからでも因果効果を偏りなく推定できます。傾向スコアによる調整や回帰モデルへの共変量投入も、「何を調整すべきか」の正当化はこの基準に依拠しています。逆に言えば、ランダム化比較試験が強力なのは、ランダム割り付けが X に入ってくる矢印をすべて消し、裏口経路を構造ごと断ち切るからだ — と、ダイアグラム上で一目で説明できます。

実務での使い方と限界

実務では、分析を始める前に領域知識を総動員してダイアグラムを描きます。「どの変数がどの変数に影響しうるか」を矢印の有無として一つずつ決めていく作業は、それ自体が仮定の棚卸しです。描き上がった図から、統制すべき変数（交絡）と統制してはいけない変数（中間変数・コライダー）が判定でき、層別すると関連が反転して見えるシンプソンのパラドックスについても「どちらの見方が正しいか」を図の上で裁定できます。統制では対処できない構造だと分かった場合に、操作変数法などの別の識別戦略へ切り替える判断も図の上で行えます。

ただし限界も明確です。ダイアグラムは分析者が描いた仮定であって、データから自動的に得られるものではありません。矢印を1本描き忘れれば結論は変わりえますし、測定されていない交絡は図に載せられても統制できません。因果ダイアグラムは「因果を証明する魔法」ではなく、「どんな仮定の上に結論が立っているかを隠さず示す誠実さの道具」だと理解するのが正確です。それでも、仮定が暗黙のまま進む分析と、図として明示され批判可能な分析との差は決定的です。反実仮想の枠組みと並んで、現代の因果推論を支える二本柱の一つになっています。