Quenched complexity of marginal states in the Sherrington--Kirkpatrick spin glass

技術的要約：シャーロット・キンク・モデルにおける周辺状態のクエンチされた複雑性

問題提起
シャーロット・キンク（SK）モデルは、スピングラス転移温度以下において、指数関数的に膨大な数のメタステーブル状態（準安定状態）を示す。1ステップ・レプリカ対称性の破れ（1RSB）平衡相を持つモデル（例：球状$p$-スピンモデル）とは異なり、SKモデルにおける大部分のTAP状態は**周辺的（marginal）**である。これらの状態は、自由エネルギー・ヘッシアンにおけるソフトモードを有しており、標準的な超対称的ベッチ・ブルーア・ストーラ・ティューティン（BRST）計数法に対して不安定である。

歴史的に、SKモデルにおけるこれら周辺状態の複雑性（構成エントロピー）は、アニールド近似（状態の対数ではなく、状態の平均をとる手法）の範囲内でのみ計算されてきた。ブレイとムーアの2グループ・レプリカ・アンザッツによって導出されたこのアニールド解は、限定的な自由エネルギー窓（$f^* < f < f_{\max}$）においてのみ正確である。安定性閾値 $f^*$ 以下では、アニールド解は不安定となり（レプリコン固有値が負になることで示される）、平衡自由エネルギー $f_0^{\text{eq}}$ よりも厳密に低い位置にあるゼロ複雑性エネルギー $f_0^{\text{ann}}$ を予測する。この非物理的な予測は、熱力学的基底状態よりも低いエネルギーを持つ状態が存在することを示唆している。クエンチされた計算も試みられてきたが、それらはBRST対称性の枠組み内に留まっており、平衡点を除いてすべて不安定であった。その結果、支配的で周辺的かつBRSTを破る状態のクエンチされた複雑性は、45年間にわたり未解決の問題であり続けてきた。

手法
著者らは、2グループ・レプリカ・アンザッツと、周辺状態の空間における1ステップ・レプリカ対称性の破れ（1RSB）構造を組み合わせることで、SKモデルの周辺状態のクエンチされた複雑性を計算する。

1. 2グループ形式： 本アプローチは、ブレイとムーアが導入した形式を利用しており、そこではレプリカ・オーバーラップ行列 $Q$ が2つのグループに分割される。この構造は、最小値とランク1のサドル（鞍点）が単一の周辺状態へと合体する様子を記述している。秩序パラメータは以下の通りである：

   • $Q_{ab}$：状態 $a$ と $b$ の間の局所磁化のオーバーラップ。
   • $A_{ab}$：状態 $a$ の磁化と、状態 $b$ のソフトモード方向とのオーバーラップ。
   • $C_{ab}$：ソフトモード同士のオーバーラップ。
     磁化とソフトモードの間の角度 $\gamma$ は、$\cos \gamma = A_{aa} / \sqrt{Q_{aa}C_{aa}}$ によって定義される。

2. クエンチされた1RSB計算： 著者らは、周辺状態自体の間に1RSB構造を導入している。行列 $Q, A, C$ は、対角成分、内部ブロック（サイズ $m_1$）、および外部の値を用いてパラメータ化される。

   • 外部磁場がゼロの場合、外部オーバーラップは消失する（$Q_0 = A_0 = C_0 = 0$）。
   • サドルポイント方程式は、探索されたすべての温度および $m$ の値において、内部ブロック・パラメータ $A_1$ および $C_1$ が実質的にゼロであること（$A_1 \simeq C_1 \simeq 0$）を明らかにしている。これは問題の大幅な簡略化を意味し、同一クラスター内の磁化は相関している（$Q_1 \neq 0$）一方で、異なる周辺状態間のソフトモード方向は無相関であることを示唆している。
   • 複雑性 $\Sigma(f)$ は、一般化された2グループ自由エネルギー汎関数のルジャンドル変換を通じて得られる。

3. ゼロ温度極限： このスキームは、$T \to 0$ 極限（固定された $y = \beta m$ を伴う）において解析され、システムは $k_A = \lim_{T\to 0} A/T$ と $l_{Q_1} = \lim_{T\to 0} Q_1$ という2つの閉じた方程式へと収束し、これにより基底状態の複雑性 $\Sigma(e)$ を直接評価することが可能となる。

主要な結果
論文は、様々な温度（$T=0, 0.05, 0.1, 0.2$）におけるクエンチされた複雑性曲線 $\Sigma(f)$ を提示し、それをアニールド近似および平衡状態のFRSB解と比較している。

1. ゼロ複雑性点の補正： クエンチされた1RSB複雑性は、高エネルギー領域（アニールド解が安定な領域）ではアニールド曲線と一致する。しかし、レプリコン不安定点 $f^*$ において、クエンチされた曲線は分岐する。決定的なことに、クエンチされた複雑性がゼロとなる自由エネルギー $f_0^{\text{1RSB}}$ は、非物理的なアニールド値 $f_0^{\text{ann}}$ よりも有意に高い。

   • $T=0$ において、$f_0^{\text{ann}} \approx -0.79067$ であるのに対し、平衡FRSBエネルギーは $f_0^{\text{eq}} \approx -0.76321$ である。
   • 1RSBクエンチ結果は $f_0^{\text{1RSB}} \approx -0.76522$ を与え、ゼロ複雑性点と平衡エネルギーとの間のギャップを劇的に縮小させている。

2. 観測量の振る舞い：

   • オーバーラップ相関： 自由エネルギーが減少するにつれ、対角成分と非対角成分のオーバーラップの差（$Q - Q_1$）が減少する。これは、低エネルギー状態がますます相関したクラスター内に存在することを示しており、平衡相における連続的なウルトラメトリックな組織化を予兆している。
   • ソフトモードの方向： $f \to f_0^{\text{1RSB}}$ に近づくにつれ、磁化とソフトモードの間の角度 $\gamma$ は増加し、$\pi/2$ に接近する。これは、最も低いレベルの周辺状態において、ソフトモードが磁化に対して直交することを示唆しており、これは正確な平衡FRSB状態に期待される特性である。

3. 収束パターン： 結果は、$f_0^{\text{ann}} < f_0^{\text{1RSB}} \lesssim f_0^{\text{eq}}$ という系統的なシフトを支持している。$f_0^{\text{1RSB}}$ と $f_0^{\text{eq}}$ の間の残存する不一致は、平衡自由エネルギー自体に対する1RSB近似の既知の誤差と同程度の相対的なオーダーである。

意義および主張
本論文は、SKモデルにおける支配的な周辺状態の複雑性の最初のクエンチ計算を提供することで、45年来の未解決問題を解決したと主張している。主な意義は、TAP励起状態の計数とパリ理論を整合させた点にある：

• 非物理的な予測の解消： 本研究は、平衡自由エネルギーよりも低いエネルギーに状態が存在するというアニールド近似の非物理的な予測が、アーティファクトであることを示している。クエンチ計算は、ゼロ複雑性点を平衡エネルギーへと押し戻している。
• FRSB極限に関する推測： 著者らは、2グループ理論におけるフル・レプリカ対称性の破れ（FRSB）の極限において、周辺状態の複雑性は平衡自由エネルギーにおいて正確にゼロになる（$f_0^{\text{FRSB}} = f_0^{\text{eq}}$）という仮説を立てている。これは、最も低いレベルの周辺的TAP状態が、事実としてパリ解の平衡状態であり、$f_0^{\text{eq}}$ より上の自由エネルギー領域に状態が存在しないことを意味する。
• 方法論的進展： 本論文は、数値的に安定な内部ブロック・サドルポイント方程式の定式化を確立しており、これは外部磁場や混合1RSB–FRSB相を持つモデルにも拡張可能である。また、将来的な超空間Kac–Rice定式化のクエンチされた拡張と比較するための枠組みも提供している。

著者らは、1RSB近似が安定な2G FRSBアンザッツに対する近似であり、ゼロ複雑性の終端がまだ平衡解と完全に一致していない点について謙虚な姿勢を保っているが、その傾向は完全なFRSB極限における正確な結果への収束を強く支持している。