[論文レビュー] Macroscopic behavior of Lipschitz random surfaces

Piet Lammers, Martin Tassy|arXiv (Cornell University)|Apr 30, 2020

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

ひとこと要約

本稿では、長距離および無限距離相互作用を含む広範なクラスのリプシッツ確率的表面モデルについて、大偏差原理を証明し、確率的単調性およびモーティクル技術を活用することで、表面張力の厳密な凸性を確立する。主な結果は、表面張力の厳密な凸性が、単調境界条件の下で巨視的極限形状の一意性を示すことである。

ABSTRACT

The motivation for this article is to derive strict convexity of the surface tension for Lipschitz random surfaces, that is, for models of random Lipschitz functions from $\mathbb Z^d$ to $\mathbb Z$ or $\mathbb R$. An essential innovation is that random surface models with long- and infinite-range interactions are included in the analysis. More specifically, we cover at least: uniformly random graph homomorphisms from $\mathbb Z^d$ to a $k$-regular tree for any $k\geq 2$ and Lipschitz potentials which satisfy the FKG lattice condition. The latter includes perturbations of dimer- and six-vertex models and of Lipschitz simply attractive potentials introduced by Sheffield. The main result is that we prove strict convexity of the surface tension -- which implies uniqueness for the limiting macroscopic profile -- if the model of interest is monotone in the boundary conditions. This solves a conjecture of Menz and Tassy, and answers a question posed by Sheffield. Auxiliary to this, we prove several results which may be of independent interest, and which do not rely on the model being monotone. This includes existence and topological properties of the specific free energy, as well as a characterization of its minimizers. We also prove a general large deviations principle which describes both the macroscopic profile and the local statistics of the height functions. This work is inspired by, but independent of, Random Surfaces by Sheffield.

研究の動機と目的

• 長距離および無限距離相互作用を有するリプシッツ確率的表面における表面張力の厳密な凸性を確立すること。
• メンツとタッシーの予想を解決し、シフィールドが提起した巨視的プロファイルの一意性に関する疑問に答えること。
• 巨視的プロファイルおよび高さ関数の局所統計を支配する一般化された大偏差原理を確立すること。
• 特定自由エネルギーの最小化子を特徴付け、表面張力の存在および位相的性質を証明すること。
• エルゴディック分解およびシフト不変測度に関する結果を、勾配ギブス測度フレームワークへと拡張すること。

提案手法

• Z^d 上のリプシッツ制約を伴う勾配ギブス測度およびスペシフィケーションを用いて、熱力学的形式主義を形式化する。
• 「モーティクル」——反射および切断による議論によって巨視的偏差を制御する格子上の幾何的構造——を導入し、その分析を行う。
• アタッチメント補題および密度極限技術を用いて、特定自由エネルギーの収束性および連続性を証明する。
• リプシッツ関数の単体的近似を用いて、大偏差の上界および下界を構築する。
• モーティクルの文脈でバートン＝キーンの議論を活用し、確率的単調性の下で厳密な凸性を証明する。
• 六頂点モデルや正則木へのグラフ同型写像などのモデルに対して、ホリー基準を用いて単調性を検証する。

実験結果

リサーチクエスチョン

• RQ1 長距離相互作用を有するリプシッツ確率的表面モデルにおいて、表面張力が厳密に凸である条件は何か？
• RQ2 スペシフィケーションの確率的単調性は、巨視的極限形状の一意性とどのように関係するか？
• RQ3 勾配ギブス測度において、巨視的プロファイルおよび局所的高さ統計の両方に一般化された大偏差原理を確立できるか？
• RQ4 単調性が存在しない場合、特定自由エネルギーの位相的および最小化性の性質は何か？
• RQ5 グラフ同型写像を正則木へと拡張し、ドミアーや六頂点モデルの摂動に対して、結果はどの程度拡張可能か？

主な発見

• モデルが境界条件に関して単調である限り、許容勾配の定義域上で表面張力は厳密に凸であり、これは巨視的プロファイルの一意性を示唆する。
• 巨視的プロファイルおよび局所統計の同時分布に対する一般化された大偏差原理が確立され、表面張力がレート関数として機能する。
• 特定自由エネルギーは存在し、連続的であり、その最小化子は変分問題の一意的解として特徴付けられる。
• モーティクル議論およびバートン＝キーン法を用いて、単調性の下で特定自由エネルギーの最小化子が一意であることが示される。
• 六頂点モデルでは、表面張力の厳密な凸性が $ c_+c_- \geq \max\{a_+a_-, b_+b_\} $ である場合にかつその場合にのみ成立し、巨視的秩序の条件を確認する。
• 表面張力は定義域の境界上で消え、原点では厳密に負であり、これは厳密な凸性を支持する。