[論文レビュー] Hamilton-Jacobi equations from mean-field spin glasses

Hongbin Chen, Jiaming Xia|arXiv (Cornell University)|Jan 30, 2022

Theoretical and Computational Physics被引用数 5

ひとこと要約

この論文は、平均場スピンガラスモデルに現れるハミルトニアン–ヤコビ方程式の粘性解フレームワークを確立し、比較原理と有限次元近似の収束を用いて適切な解の存在を証明する。両方の解法—ホフプ–レックス公式と近似の極限—が粘性解であることが示され、スピンガラス自由エネルギー理論における内在的定式化の問題が解決される。

ABSTRACT

We give a meaning to the Hamilton--Jacobi equation arising from mean-field spin glass models in the viscosity sense, and establish the corresponding well-posedness. Originally defined on the set of monotone probability measures, these equations can be interpreted, via an isometry, to be defined on an infinite-dimensional closed convex cone with an empty interior in a Hilbert space. We prove the comparison principle, and the convergence of finite-dimensional approximations furnishing the existence of solutions. Under additional convexity conditions, we show that the solution can be represented by a version of the Hopf--Lax formula, or the Hopf formula on cones. Previously, two notions of solutions were considered, one defined directly as the Hopf--Lax formula, and another as limits of finite-dimensional approximations. They have been proven to describe the limit free energy in a wide class of mean-field spin glass models. This work shows that these two kinds of solutions are viscosity solutions.

研究の動機と目的

• 平均場スピンガラスモデルにおけるハミルトニアン–ヤコビ方程式の解を、恣意的な構成を避けて、内在的で粘性に基づく定義を与えること。
• 比較原理の証明と粘性解としての解の存在を用いて、方程式の適切な解の存在を確立すること。
• 既存の二つの解の概念—ホフプ–レックス公式と有限次元近似の極限—が、いずれも粘性解と等価であることを示すこと。
• 内部が空集合である閉凸錐を、等長埋め込みを用いてヒルベルト空間に埋め込むことにより、無限次元設定を扱うこと。
• 凸性の条件下で解が変分表現を備えていることを確認し、パリージの公式と関連付けること。

提案手法

• 有限2階モーメントを持つ単調確率測度の空間を、ヒルベルト空間内の閉凸錐に等長写像によって埋め込み、フレシェ微分を可能にする。
• この無限次元錐上で、Hが非線形的かつ単調な汎関数であるとき、ハミルトニアン–ヤコビ方程式を ∂tf − H(∇f) = 0 として定義する。
• 双対錐に沿ったHの単調性に依拠し、境界条件を課さずに粘性解に対する比較原理を証明する。
• 定量的な比較原理を用いて、有限次元近似の解の収束により存在を確立する。
• 凸性の仮定の下で、解をホフプ–レックス公式により表現し、スピンガラス理論における既知の変分公式と結びつける。
• フェンヒェル–モレウ双対性および凸錐の性質を用いて、解汎関数の二重共役が元の解を回復することを検証する。

実験結果

リサーチクエスチョン

• RQ1 平均場スピンガラスにおけるハミルトニアン–ヤコビ方程式は、粘性解の観点から、厳密で内在的な解の定義を与えられるか？
• RQ2 内部が空集合である無限次元錐上で、この方程式に対して比較原理が成り立つか？
• RQ3 既存の二つの解の概念—ホフプ–レックス公式と有限次元近似の極限—は、いずれも粘性解と等価か？
• RQ4 ハミルトニアンの凸性の下で、解は変分表現（例えばホフプの公式）により表現可能か？
• RQ5 粘性解フレームワークは、スピンガラスモデルにおける既知の自由エネルギーの極限と整合性を持つか？

主な発見

• 単調確率測度で有限2階モーメントを持つ無限次元錐上でのハミルトニアン–ヤコビ方程式に対する粘性解フレームワークは、適切に定式化されている。
• 双対錐に沿ったハミルトニアンの単調性に起因し、境界条件を課さずに比較原理が成り立つ。
• ホフプ–レックス公式で定義される解と、有限次元近似の極限として定義される解の両方が、粘性解である。
• ハミルトニアンが凸である場合、解は錐上でホフプの公式により表現可能である。
• 解は有限次元近似の極限として得られ、従来の近似に基づくアプローチと整合的であることが確認された。
• 解汎関数の二重共役が元の解を回復するため、無限次元設定において双対性の一貫性が裏付けられた。