Infinitesimal Causality

論文「Infinitesimal Causality（無限小の因果関係）」の解説：日常的な言葉と比喩を用いた説明

大きな理念：因果関係とは「微小な押し」である

機械がどのように動いているかを理解しようとしている場面を想像してみてください。通常、私たちはその機械を見て、「このレバーを引いたらどうなるか？」と問いかけます（これは介入です）。

因果関係を研究するための伝統的な手法（Pearlのdo-calculusなど）は、これをレゴ遊びのように扱います。ブロックを一つ取り出し、別のものに置き換えて、絵がどう変わるかを見るのです。これは「前と後」のスナップショットです。

この論文は、これとは異なる視点を提案しています。ブロックを丸ごと入れ替える代わりに、機械に**極めて微小で、ミクロな「押し」を与えたらどうなるかを想像してください。著者らはこれを「無限小の因果関係（Infinitesimal Causality）」**と呼んでいます。彼らはこう問いかけます。「もし私がこのレバーをほんの少しだけ押したら、機械の内部構造はどう『揺らぐ』だろうか？」

彼らは高度な数学（圏論や幾何学）を用いて、これらの「揺らぎ」を接ベクトル（ある方向を指す小さな矢印）として記述します。この論文の主張は、因果関係を真に理解するためには、特に目に見えない隠れたパーツがある場合、単なる「大きな入れ替え」ではなく、こうした「微小な押し」を研究する必要があるということです。

---

機械の3つの層

著者らは、サンドイッチのように3つの層の上に理論を構築しています。

1. 確率の層 (Markov): これは基本的なルールブックです。「もしXが見えたら、Yが起こる確率はどのくらいか？」を扱います。ランダム性や不確実性を処理します。
2. コピー／破棄の層 (Frobenius): これは「古典的」な部分です。現実の世界では、例えば温度計の数値のようなデータがあるとき、それを2回書き留めるためにコピーしたり、不要になれば破棄したりできます。論文では、このデータのコピーや破棄ができる能力を、根本的な数学的構造として扱っています。
3. 微小な押しの層 (Tangent): これが新しい層です。「システムを微小に押したとき、データをコピーしたり破棄したりする能力は維持されるか？」を問いかけます。

メインの問い: システムを微小に押したとき、「コピー／破棄」の構造は壊れてしまうのでしょうか？ もし壊れるのであれば、それは何か隠れた要素（潜在的な交絡因子）が事態をややこしくしていることを意味します。

---

「隠れた接着剤」の比喩

アリスとボブという二人が、それぞれ風船を持っている場面を想像してください。

• アリスは自分の風船に空気を吹き込んでいます。
• ボブも自分の風船に空気を吹き込んでいます。
• 二人は独立して見えます。

しかし、想像してみてください。隠れた第三者（「交絡因子」）が、両方の風船に同時に空気を吹き込んでいるとしたら？

伝統的な数学では、風船を見ている限り、それらが偶然一緒に動いているだけだと考えるかもしれません。しかし、この論文の「微小な押し」の視点ではこうなります：

• もしアリスの風船をわずかに押し、次にボブの風船をわずかに押した場合、その「順序」が重要になります。
• アリスを押してからボブを押すのと、ボブを押してからアリスを押すのでは、風船の最終的な位置がわずかに異なります。
• この「順序が重要である」という効果は、**リー括弧（Lie Bracket）**と呼ばれます（「ねじれ」や「残差」を表す高度な数学用語です）。

もし風船が本当に独立していれば、押す順序は関係ありません（ねじれはゼロです）。しかし、もし隠れた人物（交絡因子）が両者を結びつけていれば、順序によって結果が変わります。そして「ねじれ」が現れます。論文は、この「ねじれ」こそが、隠れた原因を示す幾何学的な署名（シグネチャー）であると述べています。

---

3つの新しいルール

論文は、因果探索における有名な3つのルールを、この「微小な押し」の言語へと翻訳しています。これらは、自分の理解が正しいかどうかを確認するための3つのテストだと考えてください。

1. 「無視する」ルール (Discarding / 破棄):

   • 従来の方法: ある変数が重要でないなら、方程式から削除できる。
   • 新しい方法: システムを微小に押したとき、特定のデータを「投げ捨てる（破棄する）」という行為が結果を変えるかどうか？ もし答えが「いいえ」であれば、そのデータは本当に無関係です。もし「はい」であれば、そのデータは密かに重要であったことになります。

2. 「入れ替え」ルール (Action vs. Observation / 行為と観察):

   • 従来の方法: 他の変数を調整していれば、変数を「観察すること」は「制御すること」と同じになることがある。
   • 新しい方法: システムを微小に押したとき、観察から制御へと切り替えても、「コピー」の構造は一貫性を保つか？ もし入れ替えの際に「コピー」の構造が壊れるなら、そのルールは成立しません。

3. 「順序は関係ない」ルール (Independence / 独立性):

   • 従来の方法: 二つの事象が独立していれば、一方を行うことは他方に影響を与えない。
   • 新しい方法: 物事Aを押し、次に物事Bを押した場合、Bを押してからAを押した場合と同じ結果になるか？ もし結果が異なる（「残差」や「ねじれ」が残る）ならば、それはあなたが考慮していない隠れたつながりが両者の間にあることを意味します。

---

グラフは単なる「地図」であり、「領土」ではない

論文の重要なポイントは、因果グラフ（矢印のある図）は、機械を描くための「一つの方法」に過ぎず、機械そのものではないということです。

• 論文の視点: 真の対象は、「微小な押し」の構造（データがどのようにコピーされ、どのようにねじれるかという幾何学）です。
• グラフの役割: グラフは、その構造の特定の「提示方法」あるいは「地図」に過ぎません。
• 問題点: 異なる地図（グラフ）が同じ機械を記述することがあります。時には、完璧に見えるグラフであっても、「微小な押し」のテストを行えば、そのグラフが見逃していた隠れた「ねじれ」が露呈することがあります。

著者らは、完璧なグラフを探そうとするのではなく、まず「微小な押し」と「ねじれ」を測定すべきだと提案しています。もし「ねじれ」がゼロであれば、単純なグラフが機能するでしょう。もし「ねじれ」がゼロでないなら、そこには隠れた複雑さが存在しており、より深く掘り下げる必要があることを示しています。

まとめ

この論文は、因果関係の数学における新しい手法を導入しています。図の中でブロックを入れ替える代わりに、介入を**「微小な押し」**として扱います。

• それは、情報のコピーと破棄の能力が維持されるかどうかをチェックします。
• **「ねじれ（リー括弧）」**を測定することで、隠れたつながりを検知します。
• グラフを、より深い幾何学的な現実を描き出すための、数ある表現の一つとして扱います。

目的は、すぐにグラフに取って代わることではなく、標準的な図解が失敗する場合でも、隠れた原因を検知できる、より堅牢な数学的基礎を提供することにあります。