[論文レビュー] Strict convexity of the free energy for non-convex gradient models at moderate $β$

Codina Cotar, Jean-Dominique Deuschel+1 more|ArXiv.org|Jan 8, 2008

Stochastic processes and statistical mechanics参考文献 6被引用数 6

ひとこと要約

本稿は、逆温度 $β$ が小さい高温領域において、非凸勾配界面モデルにおける表面張力の厳密な凸性を、ガウス自由場を2つの独立な成分に一回のスケール分解する手法を用いて確立する。細粒度の場の分散を、ポテンシャルにおける非凸性を相殺するように選ぶことで、誘導された有効ハミルトニアンが凸性を保つことを示し、摂動的解析と Helffer-Sjöstrand 表現を用いて自由エネルギーの厳密な凸性を証明する。

ABSTRACT

We consider a gradient interface model on the lattice with interaction potential which is a non-convex perturbation of a convex potential. We show using a one-step multiple scale analysis the strict convexity of the surface tension at high temperature. This is an extension of Funaki and Spohn's result, where the strict convexity of potential was crucial in their proof that for every tilt there is a unique, shift invariant, ergodic Gibbs measure for the $ ablaϕ$ field.

研究の動機と目的

• ファンキとスポーンの結果を、厳密に凸なポテンシャルから非凸な摂動を含む場合へ拡張すること。
• 相互作用ポテンシャル $V$ が非凸であっても、自由エネルギーが依然として厳密に凸となる条件を確立すること。
• 元のハミルトニアンにおける $V$ の厳密な凸性を必要としない、高温（$\beta$ が小さい）における摂動的手法の開発。
• ガウス自由場の一回の分解を用いて、細粒度の場の統合によって凸性が回復できることを示すこと。
• 非ガウス的で非凸なポテンシャルに対しても適用可能であり、表面張力の凸性といった重要な性質を保持するフレームワークの構築。

提案手法

• ガウス自由場 $\phi$ を、$\phi_1$ と $\phi_2$ の2つの独立な成分に分解し、$\phi_1$ の分散を小さくしてポテンシャルの非凸性を相殺する。
• $\phi_2$ を固定して $\phi_1$ で積分することで、$\phi_2$ に依存する誘導ハミルトニアンが得られ、$\beta$ の小ささと分散の選択により凸性を継承する。
• Helffer-Sjöstrand 表現を用いてハミルトニアンの2階微分を制御し、有効場の共分散構造を束縛する。
• 一回のスケール多重解析を適用し、有効ハミルトニアンが $\phi_2$ に対して一様に凸のままであることを示すが、局所性は失われる。
• Brascamp-Lieb 不等式と、摂動された設定に適応されたランダムウォーク表現技法を用いて、自由エネルギーの2階微分を制御する。
• $\|g_0''\|_{L^1}$ に対する境界を確立し、$\sqrt{\beta} \cdot \|g_0''\|_{L^1}$ が十分に小さくなるように要件を課すことにより、有効表面張力の凸性を保証する。

実験結果

リサーチクエスチョン

• RQ1 非凸ポテンシャルを有する勾配モデルにおいて、表面張力の厳密な凸性を保てるか？
• RQ2 摂動 $g_0$ と温度 $\beta$ にどのような条件下で表面張力が厳密に凸のままであるか？
• RQ3 元のポテンシャルが非凸であっても、ガウス場の一回の分解によって凸性が回復可能か？
• RQ4 高温における摂動的手法を用いて、ファンキとスポーンの結果を厳密凸ポテンシャルを超えて拡張可能か？
• RQ5 スケール分解手法は、有効ハミルトニアンの局所性と構造にどのように影響を与えるか？

主な発見

• ポテンシャルが厳密凸な $V_0$ の非凸摂動 $V = V_0 + g_0$ である場合、$c_1 \leq V_0'' \leq c_2$ を満たす限り、すべての $u \in \mathbb{R}^d$ に対して表面張力 $\sigma(u)$ は厳密に凸である。
• 条件 $\sqrt{\beta} \cdot \|g_0''\|_{L^1(\mathbb{R})}$ が十分に小さい場合、摂動的制御が保証され、厳密凸性が成立する。
• 一回のスケール分解手法により、有効ハミルトニアンが局所性を失っても、統合によって凸性が回復可能である。
• 例 (a) において、$V(s) = s^2 + a - \log(s^2 + a)$ の場合、$\beta \leq \frac{a^2 \pi^2}{6 \times 16^2 d}$ のとき、厳密凸性が成立する。
• 例 (b) において、コンパクトに台を持つ非凸摂動では、$\delta \ll 1$ のとき大温度領域で凸性が保たれ、$\beta \leq \left(\frac{5\sqrt{5d}\pi}{2\delta}\right)^2$ を満たす。
• この手法は繰り返し適用することで温度閾値をさらに下げるが、一般の非凸 $g_0$ に対しては低温領域への拡張は不可能である。