[論文レビュー] Small noise spectral gap asymptotics for a large system of nonlinear diffusions

Giacomo Di Gesù, Dorian Le Peutrec|arXiv (Cornell University)|Jun 14, 2015

Advanced Mathematical Modeling in Engineering被引用数 13

ひとこと要約

本稿では、二重井戸型ポテンシャルを有する非線形拡散系のスペクトルギャップおよび対数ソボレフ定数について、Nに依存しない上界および下界を確立し、小ノイズ（低温）領域における緩和速度の漸近的最適推定としてEyring-Kramersの公式が正当化されることを証明している。解析には半古典的スペクトル理論と、メタ安定ダイナミクスを高次元系で制御するための新規な分区集合法が用いられ、N → ∞ においても動的相転移は発生しないことが示された。

ABSTRACT

We study the $L^2$ spectral gap of a large system of strongly coupled diffusions on unbounded state space and subject to a double-well potential. This system can be seen as a spatially discrete approximation of the stochastic Allen-Cahn equation on the one-dimensional torus. We prove upper and lower bounds for the leading term of the spectral gap in the small temperature regime with uniform control in the system size. The upper bound is given by an Eyring-Kramers-type formula. The lower bound is proven to hold also for the logarithmic Sobolev constant. We establish a sufficient condition for the asymptotic optimality of the upper bound and show that this condition is fulfilled under suitable assumptions on the growth of the system size. Our results can be reformulated in terms of a semiclassical Witten Laplacian in large dimension.

研究の動機と目的

• 小ノイズ（h → 0）かつ大系サイズ（N → ∞）領域における、N個の相互作用拡散からなる系の平衡への収束遅延を定量化すること。
• Poincaré（スペクトルギャップ）および対数ソボレフ定数について、Nに依存しない上界および下界を確立すること。
• Eyring-Kramersの公式がスペクトルギャップに対して漸近的に最適な推定を与える条件を特定すること。
• 熱力学的極限において対数ソボレフ定数が0から離れていることを示し、動的相転移が発生しないようにすること。

提案手法

• エネルギー関数V(x)に局所的な四次相互作用と長距離調和相互作用を含むギブス測度として平衡測度を導出する。
• スペクトルギャップおよび対数ソボレフ定数の解析に、半古典的Wittenラプラシアン枠組みを適用する。
• メタ安定構造に適合した2次の分区集合{ηk}を用い、極小点I±および対角線付近に局在化したカットオフ関数を導入する。
• IMS局在化公式を用いてディリクレ型を分解し、極小点付近、対角線付近、およびそれ以外の領域における寄与を別々に解析する。
• ポテンシャル勾配が0から離れている領域では、Poincaréおよび集中不等式を適用する。
• I±付近の局所解析、対角線上での解析、およびバルク領域での解析の結果を統合し、スペクトルギャップおよび対数ソボレフ定数に対するNに依存しない下界を導出する。

実験結果

リサーチクエスチョン

• RQ1 Eyring-Kramersの公式は、小ノイズ極限において、系サイズNに依存しない上界としてスペクトルギャップを厳密に評価できるか？
• RQ2 h → 0 であっても、N → ∞ において対数ソボレフ定数にNに依存しない下界を確立できるか？
• RQ3 Eyring-Kramersの上界が、N → ∞ の極限においてスペクトルギャップに対して漸近的に最適となる条件は何か？
• RQ4 有限Nにおけるメタ安定性にもかかわらず、系サイズが増大するに従い緩和速度に動的相転移が生じるか？

主な発見

• スペクトルギャップλ(h,N)は、Nに依存しない均一な制御のもとで、λ(h,N) ≤ p(N) e^{-1/(4h)} (1 + ǫ(h,N)) を満たし、N → ∞ でp(N) → sinh(π√(2μ−1))/(π sin(π√(μ−1))) となる。
• Nおよびhに依存しない下界λ(h,N) ≥ Cδ e^{-(3+2√2+δ)/(24h)} e^{-1/(4h)} が成立し、Cδ > 0 はδにのみ依存する。
• 対数ソボレフ定数ρ(h,N)は、Nに依存しない下界ρ(h,N) ≥ Cδ e^{-(3+2√2+δ)/(24h)} e^{-1/(4h)} を満たす。
• 系サイズが十分にゆっくりと増大する場合、具体的にはN ≤ C h^{-α}（あるα < 3/4）のとき、Eyring-Kramersの公式はスペクトルギャップに対して漸近的に最適である。
• 熱力学的極限N → ∞ において、スペクトルギャップおよび対数ソボレフ定数は退化せず、動的相転移は発生しない。
• 結果は半古典的Wittenラプラシアンの観点から再定式化され、高次元における均一なスペクトルギャップ推定が確立された。