[論文レビュー] Parisi's formula is a Hamilton-Jacobi equation in Wasserstein space

Jean-Christophe Mourrat|arXiv (Cornell University)|Jun 20, 2019

Geometric Analysis and Curvature Flows参考文献 23被引用数 10

ひとこと要約

この論文は、平均場スピンガラスにおけるパリシの自由エネルギー公式が、正の半直線上の確率測度のウォッサーシュタイン空間におけるハミルトニアン・ジャコビ方程式の解に等価であることを確立する。無限次元方程式における自由エネルギーのバシュリス解として再定式化することで、パリシの公式の背後にある新しい解析的構造が明らかになり、不純物系における自由エネルギー極限の安定性に基づくロバストな証明への道筋が示唆される。

ABSTRACT

Parisi's formula is a self-contained description of the infinite-volume limit of the free energy of mean-field spin glass models. We show that this quantity can be recast as the solution of a Hamilton-Jacobi equation in the Wasserstein space of probability measures on the positive half-line.

研究の動機と目的

• 平均場スピンガラス理論の基盤たるパリシの公式を、無限次元空間におけるハミルトニアン・ジャコビ方程式の解として再定式化すること。
• 自由エネルギーの動的挙動の自然な設定として、正の半直線上の確率測度のウォッサーシュタイン空間を特定すること。
• 混合$p$-スピンモデルの極限自由エネルギーが、特定のスピン測度$P_N$に依存しないハミルトニアン・ジャコビ方程式の解として特徴付けられることを示すこと。
• 将来の安定性に基づく自由エネルギー極限の証明の基盤を、ハミルトニアン・ジャコビ方程式のバシュリス解理論を用いて築くこと。

提案手法

• 論文は、$\mathbb{R}_+ \times \mathcal{P}_*(\mathbb{R}_+)$ 上にハミルトニアン・ジャコビ方程式を定式化する。ここで$\mathcal{P}_*(\mathbb{R}_+)$ は、$\xi^*$-モーメントが有限である確率測度の空間である。
• 方程式は$\partial_t f - \int \xi(\partial_\mu f) \, d\mu = 0$ であり、初期条件は$f(0, \cdot) = \psi$ である。ここで$\psi$ は$P_N$に依存する初期データを符号化している。
• 解$f(t, \delta_0)$ が、極限自由エネルギー$\lim_{N\to\infty} -\frac{1}{N}\mathbb{E}\log\int \exp(\sqrt{2t}H_N(\sigma) - Nt) \, dP_N(\sigma)$ に等しいことが示された。
• 有限次元近似として、経験測度$\mu_k = \frac{1}{k}\sum_{\ell=1}^k \delta_{x_\ell}$ を用い、問題を有限次元のハミルトニアン・ジャコビ方程式に還元した。
• Hopf-Laxの公式を用いて、有限次元の偏微分方程式$\partial_t f^{(k)} - \frac{1}{k}\sum_{\ell=1}^k \xi(k \partial_{x_\ell} f^{(k)}) = 0$ を導出。これは滑らかさの仮定の下で、無限次元方程式を形式的に回復する。
• 有限次元と無限次元の設定の間の関係は、$\mu = \frac{1}{k}\sum \delta_{x_\ell}$ のとき、$\partial_\mu f(t,\mu,x) = k \partial_{x_\ell} f^{(k)}(t,x)$ という双対性により確立された。

実験結果

リサーチクエスチョン

• RQ1 平均場スピンガラスにおけるパリシの自由エネルギー公式は、無限次元空間におけるハミルトニアン・ジャコビ方程式の解として解釈可能か？
• RQ2 このようなハミルトニアン・ジャコビ方程式に適した関数空間は何か？ そして、それらは根本的なスピン測度$P_N$ とどのように関係するか？
• RQ3 この偏微分方程式の定式化において、相関関数$\xi$ と初期条件$\psi$ の依存性はどのように分離されるか？
• RQ4 このハミルトニアン・ジャコビ方程式の解の安定性を用いて、自由エネルギー極限の新しいロバストな証明を構築できるか？
• RQ5 有限次元におけるHopf-Laxの公式は、ウォッサーシュタイン空間における無限次元ハミルトニアン・ジャコビ方程式と整合的か？

主な発見

• 混合$p$-スピンモデルの極限自由エネルギーは、$\mathbb{R}_+ \times \mathcal{P}_*(\mathbb{R}_+)$ 上で$\partial_t f - \int \xi(\partial_\mu f) \, d\mu = 0$ を満たす解$f$ に対して$f(t, \delta_0)$ に等しい。
• 初期条件$\psi$ は$P_N$ の選択にのみ依存し、$\xi$ には依存しない。一方、PDE自体は$\xi$ にのみ依存し、$P_N$ には依存しない。
• 解$f$ は経験測度を用いた有限次元近似により構成され、Hopf-Laxの公式から有限次元PDE$\partial_t f^{(k)} - \frac{1}{k}\sum_{\ell=1}^k \xi(k \partial_{x_\ell} f^{(k)}) = 0$ が導出された。
• 双対性$\partial_\mu f(t,\mu,x) = k \partial_{x_\ell} f^{(k)}(t,x)$ を用いて、有限次元と無限次元の定式化の間の同等性が形式的に確立された。
• $f^{(k)}$ はリプシッツ連続であるため、ほとんど everywhere で微分可能であり、バシュリス解の意味でPDEの有効性が保証された。
• 本結果により、パリシの公式のための新しい解析的枠組みが提供され、ハミルトニアン・ジャコビ方程式の安定性推定が、自由エネルギー極限のより明確でロバストな証明に繋がる可能性が示唆された。