Upper deviations of the Sherrington-Kirkpatrick free energy: the fifth-order law and the onset of constrained Parisi measures

技術要約：シャーレン・キルクパトリック自由エネルギーの上方偏差

問題提起
本論文は、シャーレン・キルクパトリック（SK）モデルおよび一般的な混合$p$スピンモデルにおける自由エネルギーのラージデビエーション（大偏差）挙動を調査するものである。具体的には、正規化された自由エネルギー $N^{-1} \log Z_N$（または $N^{-1} F_{N,\beta}$）が平衡値 $f_{eq}$ を微小量 $\delta > 0$ だけ上回る確率を扱う。平衡自由エネルギーはパリ理論によって支配されるが、上方偏差の減衰率は分配関数の分数モーメントによって決定される。Kondor（臨界近傍）やParisiおよびRizzo（全温度域）による先行研究では、レプリカ理論を通じて、この確率は $\exp(-N a \delta^{6/5})$ のオーダーで減衰すると予測されていた。しかし、SKモデルに関する厳密な証明においては、このオーダーの境界を示すにとどまっており、正確な定数 $a$ は特定されていなかった。本論文の目的は、この正確な定数と、これらの偏差を支配する基礎となるメカニズムを厳密に導出することである。

手法
解析は、ラージデビエーションと制約付きパリ変分問題との間の接続に基づいている。上方の裾（upper tail）に対するレート関数 $\Sigma(f)$ は、$\Lambda(\theta) = \theta p(\theta)$ のルジャンドル変換として特定される。ここで、$p(\theta)$ は、ゼロに少なくとも質量 $\theta$ の原子を持つ測度によって制約されたパリ汎関数の最小値である。

核心となる手法は、パリ測度の支持部の原点付近における「プラトー・カルキュラス（plateau calculus）」である。著者は、制約付き最小化測度 $\zeta_\theta$ が $\theta \downarrow 0$ となる際の挙動を分析する。主な技術的ツールは以下の通りである：

1. エンベロープ恒等式（Envelope Identity）： 導関数 $p'(\theta)$ を、障害関数 $O_\theta$ と、関数 $\Gamma_\theta$（パリ型偏微分方程式解の二階微分の二乗に関連するもの）と恒等関数との差を用いた積分として表す変分公式。
2. プラトー・カルキュラス： 著者は、小さな $\theta$ に対して、制約付き測度 $\zeta_\theta$ が、ゼロと最初の正の接触点 $q_\theta$ の間に「プラトー」（質量がゼロの区間）を形成することを示す。このプラトー上で、関数 $\Gamma_\theta - \text{id}$ は漸近的に普遍的な三次多項式として振る舞う。
3. 普遍的な符号とギャップの排除： 重要なステップとして、パリ型偏微分方程式の解の三階空間微分（$\Phi_{\zeta,xxx}$）の厳密な符号を証明し、それを用いて、平衡状態に近い測度において、ゼロ近傍の二つの接触点の間に「ギャップ」（質量がゼロの区間）が存在し得ないことを示す。これにより、最初の正の接触点は「マージナル（限界的）」であること（Plefka不等式が等号で成立すること）が強制される。
4. 分数モーメント公式（FM）： 本論文では、分数モーメント $E Z_N^\theta$ の成長率を制約付きパリ最小値に関連付ける分数モーメント公式を利用し、スピン系のラージデビエーション確率へと変分結果を翻訳する。

主要な貢献と結果

1. 五次の法則と六分の五の定数：
   すべての逆温度 $\beta > 1$ におけるSKモデルについて、本論文は制約付き最小値 $p(\theta)$ が平衡自由エネルギー $f_{eq}$ を $\theta^5$ の項で超えることを証明する：
   $$p(\theta) - f_{eq} = c_\beta \theta^5 (1 + o(1))$$
   ここで、定数 $c_\beta$ は $c_\beta = \frac{9}{640} \beta^3 \rho_\beta(0)^{-3}$ と明示的に与えられる。ここで $\rho_\beta(0)$ はゼロにおけるパリ測度の密度である。
   したがって、ラージデビエーションのレート関数 $\Sigma(f_{eq} + \delta)$ は次のように振る舞う：
   $$\Sigma(f_{eq} + \delta) = -\frac{5}{6} (6c_\beta)^{-1/5} \delta^{6/5} (1 + o(1))$$
   これは、指数 $6/5$ を厳密に確認し、ParisiおよびRizzoの予測と一致する正確な前係数を特定するものである。

2. 制約付き最小化測度の構造：
   本論文は、小さな $\theta$ における制約付き最小化測度 $\zeta_\theta$ の形状を特徴付ける。$\zeta_\theta$ はゼロに質量 $\theta$ を置き、区間 $(0, q_\theta)$ には質量を持たず、最初の正の接触点 $q_\theta \approx \frac{3\theta}{2\rho_\beta(0)}$ において約 $\theta/2$ の質量を持つ原子を持つことを示す。この接触点はマージナルであり、すなわちPlefka条件が等号で成立している。関数 $\Gamma_\theta$ は、区間 $(0, q_\theta)$ において恒等関数から普遍的な三次多項式として差が生じる。

3. 混合モデルへの一般化：
   結果は、共分散関数 $\xi(t)$ が $\xi'''(0) = 0$ を満たし、パリ測度がゼロに蓄積する（条件H）一般的な混合$p$スピンモデルへと拡張される。定数 $c$ はモデルのパラメータとゼロにおける平衡測度の密度に依存する。

4. 測度の底部の摂動：
   本論文は、パリ測度の底部に対する他の二つの摂動についても分析する：

   • 小さな外部磁場 ($h$)： 小さな磁場は、支持部の底部にオーダー $|h|^{2/3}$ のギャップを開く。自由エネルギーはオーダー $|h|^{10/3}$ の補正項を獲得し、磁化は特定の展開に従う。
   • ゼロにおける原子： 平衡パリ測度がゼロに原子を持つ場合（例：$p \ge 3$ の純粋$p$スピンモデル）、ラージデビエーションのレート関数は、その原子の質量に等しい負の傾きを持って平衡レベルから線形に離脱する。

5. 臨界近傍：
   臨界共分散に近いモデル（$\beta$ が1に近いSKを含む）に対して、本論文は、マージナルな領域がde Almeida–Thouless閾値 $\theta_c$ で終了することを証明する。この閾値を超えると、最初の正の接触点は厳密にPlefka安定となる。定数 $c_\beta$ は、$\beta \downarrow 1$ のときKondorの値 $9/5120$ に収束する。

意義と主張
本論文は、SK自由エネルギーの上方裾における六分の五の法則の正確な定数を導出した最初の厳密な証明であると主張しており、レプリカ理論による長年の予測を解決した。また、これらの偏差を駆動するメカニズムは、パリ測度の支持部の原点に局在しており、オーダーパラメーターの「普遍的な三次」プロファイルによって支配されていることを確立した。

著者は、すべての $\beta > 1$ における結果が、SKモデルのパリ測量がゼロに蓄積するという定理（Lopattoによるもの、またはPeiによるコンピュータ支援証明）に依拠していることを明示している。また、彼らの手法は主要な項を特定するものの、$o(1)$ 項の収束率や、$N$ に依存して縮小する偏差（有限 $N$ 効果）、あるいはゼロ温度極限については扱っていないことを注記している。さらに、本論文は、六分の五の法則が適用されるレベルが、厳密なPlefka条件が成立しないため、既存のTAP状態の存在に関する定理の範囲外にあることを明確にしている。

本研究は、パリ測度の底部に対する様々な摂動（制約、磁場、原子）を統合し、これらがすべて、普遍的な三次多項式とギャップ排除原理を含む同一の基礎的カルキュラスによって支配されていることを示している。