[論文レビュー] Parisi formula for the ground state energy in the mixed p-spin model

Antonio Auffinger, Wei‐Kuo Chen|arXiv (Cornell University)|Jun 16, 2016

Theoretical and Computational Physics参考文献 15被引用数 4

ひとこと要約

本稿は、混合 $p$-スピンスピンガラス模型における基底状態エネルギーのゼロ温度一般化を、パリージ公式に確立する。非減少で右連続な関数の空間 $\mathcal{U}$ 上での変分問題を導入することで、熱力学的極限における基底状態エネルギーの明示的表現が得られ、ゼロ温度パリージPDEの解を含む連続汎関数の下界として表される。これにより、自由エネルギー領域を超えてパリージ公式が拡張される。

ABSTRACT

We show that the thermodynamic limit of the ground state energy in the mixed p-spin model can be identified as a variational problem. This gives a natural generalization of the Parisi formula at zero temperature.

研究の動機と目的

• ゼロ温度における混合 $p$-スピンモデルの熱力学的極限における基底状態エネルギーの厳密な表現を導出すること。
• 正の温度における自由エネルギーに対して当初定式化されたパリージ公式を、基底状態エネルギー領域に一般化すること。
• スピンガラス設定においてクリスティアーノ＝ソムスール型表現が存在しないという課題を、新しい変分フレームワークを構築することで解決すること。
• 自由エネルギーの $\beta \to \infty$ における極限としての基底状態エネルギーの収束を確立すること。

提案手法

• 区間 $[0,1)$ 上で非負で非減少かつ右連続で、$L^1$-ノルムが有限である関数 $\gamma$ の空間 $\mathcal{U}$ を定義する。
• ゼロ温度パリージPDEを導入する：$\partial_t \Psi_\gamma = -\frac{\xi''(t)}{2}(\partial_{xx}^2 \Psi_\gamma + \gamma(t)(\partial_x \Psi_\gamma)^2)$ であり、終端条件は $\Psi_\gamma(1,x) = |x|$ である。
• コール＝ホプフ変換を用いて、$\mathcal{U}_d$ に属する段階関数 $\gamma$ に対してPDEを明示的に解き、リプシッツ連続性を用いて $\mathcal{U}$ に一様に拡張する。
• $\mathcal{U}$ 上で $\mathcal{P}(\gamma) = \Psi_\gamma(0,h) - \frac{1}{2}\int_0^1 t\xi''(t)\gamma(t)dt$ と定義する。この汎関数は連続的かつ適切に定義されている。
• 基底状態エネルギー $GSE = \lim_{N\to\infty} \max_{\sigma \in \{-1,1\}^N} \frac{H_N(\sigma)}{N}$ がほとんど確実に $\inf_{\gamma \in \mathcal{U}} \mathcal{P}(\gamma)$ に等しいことを証明する。
• 正の温度におけるパリージ公式からの極限的議論を用い、ファトウの補題を適用し、滑らかな切り捨てと符号関数による近似を用いる。

実験結果

リサーチクエスチョン

• RQ1 混合 $p$-スピンモデルにおける基底状態エネルギーは、ゼロ温度において変分問題として表現可能か？
• RQ2 自由エネルギーのパリージ公式のゼロ温度極限は、基底状態エネルギーとどのように関係するか？
• RQ3 ゼロ温度パリージ汎関数に適した関数空間とPDE定式化は何か？
• RQ4 $t=1$ 付近でのパリージPDEの特異性は、ゼロ温度極限においてどのように取り扱えるか？
• RQ5 ゼロ温度パリージ汎関数の下界は達成可能であり、基底状態エネルギーとどのように関連するか？

主な発見

• 基底状態エネルギー $GSE$ は、ほとんど確実に $\inf_{\gamma \in \mathcal{U}} \left( \Psi_\gamma(0,h) - \frac{1}{2}\int_0^1 t\xi''(t)\gamma(t)dt \right)$ に等しい。ここで $\Psi_\gamma$ は終端条件 $|x|$ を持つゼロ温度パリージPDEの解である。
• パリージPDEの解 $\Psi_\gamma$ は、段階関数からの拡張によって $\mathcal{U}$ 上で適切に定義され、連続的であるため、汎関数 $\mathcal{P}$ は $\mathcal{U}$ 上で連続的である。
• 正の温度からゼロ温度への極限手続きにより、$t=1$ における特異性が $\xi''(1)\nu_0(1)$ を含む項の相殺によって除去され、符号関数近似による証明で示された。
• 変分原理の意味で $\mathcal{U}$ 上での下界は達成可能であり、熱力学的極限においてほとんど確実に成立する。
• 導出は、確率積分の符号関数に収束する切り捨ておよび平滑化された過程 $\phi_{\varepsilon,n}$ を用いた新しい近似スキームに依存しており、これによりファトウの補題が適用可能になる。
• 本結果はパリージ公式をゼロ温度に一般化し、スピンガラスモデルにおける基底状態エネルギーの数値的および解析的解析のための厳密な基盤を提供する。