McKean-Vlasov 方程式の相転移の連続性と不連続性：分岐理論によるアプローチ

§01 背景・問題設定

McKean-Vlasov 確率微分方程式は、多数の粒子が相互作用する系の熱力学的極限（平均場極限）を記述するモデルとして、統計力学、プラズマ物理学、そして近年では機械学習や経済学の分野でも広範な関心を集めています。特に、相互作用の強さ（あるいは系の温度）を変化させた際に、系の巨視的な状態（確率分布）が質的に変化する相転移（Phase Transition）現象は、この分野の中心的な研究課題の一つです。

系を特徴付ける重要な要素として、各粒子が独立に感じる「閉じ込めポテンシャル（Confining Potential）」と、粒子間で働く「相互作用ポテンシャル」があります。これまで、閉じ込めポテンシャルが対称な二重井戸型（Symmetric Double-well Potential）である場合には、臨界温度以下でピッチフォーク分岐を伴う「連続的な相転移（Continuous Phase Transition）」が起こることがよく知られていました。しかし、自然界や応用上の多くのモデルでは、ポテンシャルは必ずしも対称ではありません。

閉じ込めポテンシャルが非対称な二重井戸型（Asymmetric Double-well Potential）である場合、連続相転移とは異なる「不連続な相転移（Discontinuous Phase Transition）」が生じることが数値実験やヒューリスティックな議論から示唆されていました。具体的には、ある温度まで下がると、深い井戸だけでなく浅い井戸の側にも新たな不変測度（定常状態）が突如として出現し（サドルノード分岐）、さらに温度を下げるとそれが分裂するなどの複雑な振る舞いをします。本論文の目的は、このような非凸ポテンシャルと協調的相互作用を持つ $\mathbb{R}^n$ 上の系における相転移の分類とメカニズムを、分岐理論（Bifurcation Theory）を用いて厳密な数学的枠組みに乗せることです。

§02 既存研究と限界

McKean-Vlasov 系における相転移の研究は、古くからDawson（1983）やTugautらの研究によって進められてきました。Dawson は1次元空間において二次相互作用を持つ系に対して、相転移が起こる臨界点（臨界温度など）を決定するための強力な判定条件（Dawson's criterion）を提唱しました。しかし、この基準は本質的に1次元の単純な設定に依存しており、高次元空間 $\mathbb{R}^n$ での複雑な相互作用系への拡張は自明ではありませんでした。

また、これまでの研究の多くは、対称なポテンシャルを持つ系における連続相転移に焦点を当てており、不連続相転移を厳密に扱う数学的ツールは不足していました。不連続相転移では、パラメータの微小な変化が系の状態の非連続な跳躍（ジャンプ）を引き起こすため、解の分岐構造を大域的に捉える必要があります。既存の手法では、自由エネルギー汎関数の局所的な解析に留まることが多く、浅い井戸における不変測度の突発的な出現（サドルノード分岐）とそれに続く分裂のような、複数段階の分岐現象を統一的に証明することは困難でした。

したがって、「高次元空間における相転移の次元依存性をどのように処理するか」、そして「連続相転移と不連続相転移の分岐構造を統一的に分類・証明できる定理は何か」という二つの大きな課題が未解決のまま残されていました。本論文は、非線形解析と分岐理論の高度な手法を組み合わせることで、これらの限界を打ち破ることを目指しています。

Dawson の判定基準が1次元に限られていた背景には、高次元空間特有の複雑な幾何学的構造と、ノイズの非等方性がもたらす技術的な障壁がありました。具体的には、相転移が発生する分岐点において、どの方向に新たな状態が成長するかを決定するためには、共分散行列とヤコビ行列のスペクトル（固有値・固有ベクトル）の相互作用を精密に制御する必要があります。従来の解析手法、例えば大偏差原理（Large Deviation Principle）や自由エネルギーの変分法を用いたアプローチでは、系の巨視的な熱力学的極限としての状態を捉えることはできても、分岐点近傍における解の微細な構造変化や、不連続なジャンプのダイナミクスを数学的に厳密に追跡することは困難でした。特にサドルノード分岐においては、パラメータの微小な変化が状態の非連続な跳躍を引き起こすため、大域的な分岐図を構築し、複数の解の枝（branch）を追跡する分岐理論の枠組みが不可欠となります。本論文の新規性は、これらの既存の技術的障壁を、Lyapunov-Schmidt 簡約という無限次元非線形解析の強力なツールを駆使することで突破し、高次元 McKean-Vlasov 系の相転移に対する完全に新しい視座を提供した点にあります。

§03 本論文の主結果と証明アイデア

本論文の最大の成果は、非凸ポテンシャルと協調的相互作用を持つ McKean-Vlasov 系における相転移を、分岐理論の言葉で完全に特徴付けたことです。具体的には、連続相転移を記述する「ピッチフォーク分岐定理」と、不連続相転移を支配する「サドルノード分岐定理」を証明しました。これにより、ポテンシャルの形状（対称・非対称）がどのように異なる相転移のクラスを引き起こすかが数学的に明確にされました。

証明の核心的なアイデアは、不変測度を決定する自己無撞着方程式（Self-consistency Equation）を、非線形写像の零点探索問題に帰着させ、そこにLyapunov-Schmidt簡約法を適用することです。これにより、無限次元の関数空間上の問題を、有限次元（本論文の場合は主に1次元）の代数方程式の分岐解析へと落とし込むことに成功しています。この際、相互作用が「協調的」であるという性質が、臨界点におけるヤコビ行列のスペクトル特性（ペロン・フロベニウスの定理に類似する性質）を制御するために重要な役割を果たします。

さらに、本論文は高次元空間 $\mathbb{R}^n$ における Dawson の判定条件の一般化を達成しました。この拡張において特筆すべきは、臨界パラメータ（相転移が起こる条件）と分岐の方向（新たな相がどちらの方向に成長するか）が、臨界共分散行列（Critical Covariance Matrix）の固有値および固有ベクトルと直接的に結び付けられた点です。この結果は、高次元系における相転移の方向性が、ノイズの構造（共分散）によって完全に決定されるという直感的に美しい描像を与えます。

この Lyapunov-Schmidt 簡約を適用するプロセスにおいて、系の定常状態を記述する非線形積分方程式は、無限次元空間から有限次元の核（Kernel）空間へと射影されます。ここで、相互作用が「協調的（cooperative）」であるという仮定が決定的な役割を果たします。協調的相互作用を持つ系では、対応する線形化作用素（ヤコビアン）がペロン・フロベニウスの定理の類似物（Krein-Rutman の定理など）を満たすため、主固有値が実数かつ単純であり、対応する固有関数が正値を持つことが保証されます。これにより、分岐方程式は本質的に1次元の代数方程式へと還元され、ピッチフォーク分岐やサドルノード分岐といった古典的な分岐パターンが厳密に証明可能となります。さらに、Dawson の判定条件の $n$ 次元拡張においては、臨界パラメータ $\theta_c$ が系の臨界共分散行列 $C$ の最大固有値 $\lambda_{\max}(C)$ に反比例し、分岐の方向が対応する固有ベクトルによって与えられることが示されました。これは、高次元空間における相転移が、ノイズの「最も揺らぎやすい方向」に向かって発生するという物理的直感を、極めて美しい数学的定理として定式化したものと言えます。

§04 応用・他分野との接続

本論文で構築された分岐理論的アプローチは、非常に汎用性が高く、様々な具体的な物理・数理モデルに適用可能です。論文内では、理論の強固さを示すため、三つの代表的なモデルへの適用結果が詳細に議論されています。

第一に、動機となった非対称二重井戸モデルです。このモデルにおいて、温度低下に伴い浅い井戸に新たな状態が出現し、その後ピッチフォーク分岐によってさらに状態が分裂するという、カスケード的な相転移のシナリオが理論的に裏付けられました。第二に、2次元ユークリッド空間内の四重井戸モデル（Four-well Models）です。このモデルでは、空間の次元が2になることで、対称性の破れがより豊かな構造を持ちます。論文では、複数の相転移が連続して起こる複雑な相図が導出されました。第三に、引力的なガウス相互作用モデルへの適用です。これは、相互作用が距離の二次関数ではなくガウス関数で減衰する、より現実的な物理系を模したモデルであり、ここでも理論が有効に機能することが示されています。

また、McKean-Vlasov 方程式は、深層学習における確率的勾配降下法（SGD）の連続時間極限や、平均場ゲーム理論の基礎方程式としても現れます。本論文で確立された、不連続相転移（サドルノード分岐）の発生条件と、高次元における臨界共分散行列を通じた分岐方向の決定は、機械学習モデルの訓練時における「損失地形の急激な変化」や「局所解への突然のトラップ」といった現象を数学的に理解するための新しいツールを提供する可能性があります。その意味で、本研究は純粋数学と応用数学の架け橋となる重要な成果と言えます。

さらに、本研究で構築された分岐理論に基づくアプローチは、平均場ゲーム（Mean Field Games）理論や、多エージェント系の強化学習といった最先端の応用分野に対しても、重要な示唆を与えます。平均場ゲーム理論において、エージェント間の相互作用が強い場合には、ナッシュ均衡が複数存在する状況（非一意性）や、相転移現象が発生することが知られています。本論文の手法は、このような複雑な系において、パラメータの変化によって新たな均衡状態がいつ、どのように出現するか（あるいは消失するか）を理論的に予測するための基礎を与え得ます。また、深層学習モデルの訓練力学を McKean-Vlasov 方程式の勾配流としてモデル化する最近の試みにおいても、損失関数のランドスケープ（地形）が非凸である場合に生じる局所解へのトラップや、学習プロセスの急激な停滞（サドルポイント近傍での振る舞い）を、分岐理論の観点から解析するための新たな道筋を開くものです。したがって、本研究は確率偏微分方程式の純粋数学的な進展であると同時に、複雑系科学や機械学習理論の基盤を強化する、応用的価値の極めて高い成果であると評価できます。