Probing Probability Geometry with Schwinger--Dyson Identities: Score Mismatch, Fisher Information, and Configurational Temperature

技術要約：シュウィンガー・ダイソン恒等式による確率幾何学の探索

問題提起
シュウィンガー・ダイソン（SD）恒等式は、統計力学および量子場理論における平衡確率測度によって満たされる、無限の階層を持つ厳密な制約条件である。実用面では、モンテカルロ・シミュレーション、確率的量子化、および複素ランジュバン動力学におけるサンプリングの質を評価するための診断手法として頻繁に用いられる。しかし、SDの破れ（violation）の幾何学的および確率的な意味合いは依然として不明瞭である。破れが非ゼロであることは、標的とする平衡測度 $P_{eq}$ からの逸脱を示しているが、その破れが具体的にどのような情報を符号化しているのか、異なる破れ同士がどのように関連しているのか、そして基礎となる確率分布の歪みのどの側面を探索しているのかは明らかになっていない。

手法
本論文は、ベクトル場によって生成される構成空間の無限小変形の結果としてSD恒等式を解釈することにより、SD恒理の幾何学的定式化を展開する。著者らは、任意のサンプリングされた分布 $Q$ と平衡測度 $P_{eq}$ に対して定義される、スコア・ミスマッチ場（score-mismatch field）と呼称される $\delta s$ を導入する：
$$\delta s \equiv \nabla \log \left( \frac{Q}{P_{eq}} \right) = s_Q - s_{eq}$$
ここで、$s_Q = \nabla \log Q$ および $s_{eq} = \nabla \log P_{eq}$ はそれぞれのスコア関数である。

手法としては、プローブ用ベクトル場 $F$ に関連する一般化されたSDの破れ $\Delta_F(Q)$ を、このスコア・ミスマッチ場を用いて書き換える。部分積分を用いることで、著者らは、この破れが $\delta s$ の $F$ への射影の負の期待値に他ならないことを示す：
$$\Delta_F(Q) = -\langle F \cdot \delta s \rangle_Q$$
この再定式化は、視点を、SD恒等式を「代数的な一貫性条件」から、「単一の幾何学的対象であるベクトル場の測定」へと転換させるものである。

主要な貢献および結果

1. SDの破れの幾何学的解釈：
   中心的な結果は、あらゆるSDの破れがスコア・ミスマッチ場 $\delta s$ の方向的な射影であるという同定である。異なるプローブ場 $F$ の選択は、独立した平衡からの逸脱を測定しているのではなく、むしろ単一の幾何学的対象である $\delta s$ の異なる方向成分を分解して測定している。これにより、無限のSD階層を、同一の確率空間の歪みを測定する一連のプローブとして統一する。

2. フィッシャー情報量としてのノルム：
   本論文は、相対フィッシャー情報量 $I(Q|P_{eq})$ が、$L^2(Q)$ 空間におけるスコア・ミスマッチ場の二乗ノルムに正確に一致することを確立する：
   $$I(Q|P_{eq}) = \langle |\delta s|^2 \rangle_Q$$
   したがって、著者らは、個々のSDの破れとフィッシャー情報量との間の普遍的なコーシー＝シュワルツ不等式を導出する：
   $$|\Delta_F(Q)|^2 \leq \langle |F|^2 \rangle_Q I(Q|P_{eq})$$
   この結果は、フィッシャー情報量の収束（$I \to 0$）が、SD階層全体の同時的な回復を保証することを意味する。

3. 変分的特徴付けとトモグラフィー：
   著者らは、相対フィッシャー情報量を、SDの破れのみを用いて完全に記述する変分的特徴付けを提供する：
   $$I(Q|P_{eq}) = \sup_{F \in L^2(Q)} \frac{|\Delta_F(Q)|^2}{\langle |F|^2 \rangle_Q}$$
   これは、SD階層のトモグラフィー的解釈へとつながる。トモグラフィーによる画像再構成が、様々な方向からの投影から対象を再構成するのと同様に、十分に豊かなプローブ場の族によって生成されるSDの破れの集合は、スコア・ミスマッチ場の構造を符号化する。単一の破れは部分的な（方向的な）情報しか提供しないが、階層全体には、確率的な歪みの大きさと構造を決定するために必要な情報が含まれている。

4. 概念の統一：
   本フレームワークは、以下の異なる概念を自然に統一する：

   • 構成温度（Configurational Temperature）： 特定のプローブ場 $v = \nabla S_E / |\nabla S_E|^2$ から生じる、特筆すべきSD恒等式として同定される。その破れは、$\delta s$ の特定の射影であることが示されている。
   • スタイン演算子（Stein Operators）： SD演算子が $P_{eq}$ に付随するスタイン演算子として同定され、場理論的なSD恒等式と、統計学や機械学習における現代的なスコアベースの手法を橋渡しする。
   • 非平衡動力学： スコア・ミスマッチ場の進化は、確率過程（例：ランジュバン動力学）における平衡への到達を、幾何学的な記述（$\delta s$ の減衰が平衡への接近に対応する）として提供する。

意義および主張
本論文は、この幾何学的フレームワークが、非平衡サンプリング、平衡化、および確率的動力学を理解するための統一的な言語を提供すると主張している。個々の観測量ではなく、確率分布自体の構造に焦点を当てることで、著者らは、SD恒等式を単なる平衡化の「合否」テストとしてではなく、サンプリング誤差の幾何学を特徴付ける定量的なプローブとして捉えるべきであると論じている。

本研究の意義は以下の点にある：

• SDの破れが何を測定しているのか（$\delta s$ の射影）について、明確な幾何学的定義を提供したこと。
• フィッシャー情報量が、すべてのSDの破れの大きさを同時に制御していることを確立したこと。
• SDのプローブの族が確率的な歪みの構造を明らかにできるというトモグラフィー的視点を提供し、複素ランジュバン動力学のような複雑なサンプリングアルゴリズムに対する、より堅牢な診断法への道を開いたこと。
• 場理論的な制約を、情報幾何学およびスコアベースの推論手法へと結びつけたこと。

著者らは、本フレームワークは実数の平衡測量に対して展開されているが、SD恒等式の中心的な役割は、複素構成空間への拡張を示唆している。ただし、複素的なスコア・ミスマッチ場の複素版を定式化することは、依然として未解決の課題である。