[論文レビュー] Random surfaces

Scott Sheffield⋆|arXiv (Cornell University)|Jan 1, 2003

Markov Chains and Monte Carlo Methods被引用数 97

ひとこと要約

この論文は、Z^d 上の凸で並進不変かつ最近接相互作用型のポテンシャルを持つ確率的表面を研究し、勾配ギブス測度の変分原理を確立し、表面張力の厳密な凸性を証明する。実数値モデルでは、最小エネルギー勾配相の存在と一意性を示し、特定の幾何的または力学的条件下で離散モデルにおいても追加の一意性条件を提示する。

ABSTRACT

We study surfaces, which are random real (or integer) valued functions on Z^d. The laws are determined by convex, nearest neighbor, difference potentials that are invariant under translation by a full-rank sublattice L of Z^d; they include many discrete and continuous height models (e.g., domino tilings, square ice, the harmonic crystal, the Ginzburg-Landau grad-phi interface model, the linear solid-on-solid model) as special cases. A gradient phase is an L-ergodic gradient Gibbs measure with finite specific free energy. A gradient phase is smooth if it is the gradient of an ordinary Gibbs measure; otherwise it is rough. We prove a variational principle--characterizing gradient phases of a given slope as minimizers of the specific free energy--and an empirical measure large deviations principle (with a unique rate function minimizer) for random surfaces on mesh approximations of bounded domains. Using a geometric technique called cluster swapping (a variant of the Swendsen-Wang update for Fortuin-Kasteleyn clusters), we also prove that the surface tension is strictly convex and that if u is in the interior of the space of finite-surface tension slopes, then there exists a minimal energy gradient phase mu_u of slope u. This mu_u is always unique for real valued random surfaces. In the discrete models, mu_u is unique if at least one of the following holds: d is in {1, 2}, there exists a rough gradient phase of slope u, or u is irrational. When d=2, the slopes of all smooth phases (a.k.a. crystal facets) lie in the dual lattice of L.

研究の動機と目的

• 有限の特定自由エネルギーを有する勾配ギブス測度を、特定自由エネルギー関数の最小化子として特徴付けること。
• 有界領域のメッシュ近似上での確率的表面に対して、大偏差原理を確立し、一意なレート関数最小化子を持つこと。
• 幾何的クラスタ交換技術を用いて、表面張力の厳密な凸性を証明すること。
• 与えられた勾配の傾きに対して最小エネルギー勾配相が存在し、かつ一意であるための条件を同定すること。
• 2次元における滑らかな相（結晶面）の幾何的構造を特定し、その傾きが基礎となる部分格子 L の双対格子上にあることを示すこと。

提案手法

• 凸で最近接相互作用型の差分ポテンシャルから導かれる、有限の特定自由エネルギーを有する L-エルゴードギブス測度として勾配相を形式化すること。
• 固定された傾き制約の下で、特定自由エネルギーを最小化する勾配相を同定するための変分原理を適用すること。
• スウェンセン＝ワンジ・ダイナミクスにインspiredされたフォルティン＝カステレイン型クラスタを用いたクラスタ交換技術を用い、表面張力の厳密な凸性を証明すること。
• 幾何的議論を用いて勾配相の構造を分析し、d=2 における滑らかな相が L の双対格子上に傾きを持つことを示すこと。
• 有限表面張力領域の内部に属する任意の傾き u に対して、最小エネルギー勾配相 μ_u が存在することを確立すること。
• 次元、粗い勾配相の存在、または傾きの無理数性に基づいて、離散モデルにおける μ_u の一意性条件を導出すること。

実験結果

リサーチクエスチョン

• RQ1 Z^d における与えられた傾き u に対して、どの勾配ギブス測度が特定自由エネルギーを最小化するか？
• RQ2 凸で並進不変なポテンシャルを有する確率的表面に対して、表面張力は厳密に凸か？
• RQ3 最小エネルギー勾配相 μ_u が傾き u に対して存在し、かつ一意であるための条件は何か？
• RQ4 2次元確率的表面における滑らかな相（結晶面）の幾何的構造は何か？
• RQ5 2次元において、滑らかな相の傾きは基礎となる格子 L とどのように関係するか？

主な発見

• 与えられた傾きの勾配相は、特定自由エネルギーの最小化子として特徴付けられ、変分原理が確立される。
• 表面張力は厳密に凸であり、幾何的クラスタ上での新規なクラスタ交換論法によって証明される。
• 有限表面張力領域の内部に属する任意の傾き u に対して、最小エネルギー勾配相 μ_u が存在する。
• 実数値確率的表面では、次元にかかわらず μ_u は常に一意である。
• 離散モデルでは、d ∈ {1, 2}、または傾き u の粗い勾配相が存在する、または u が無理数である場合、μ_u は一意である。
• d=2 では、すべての滑らかな相（結晶面）の傾きが、基礎となる部分格子 L の双対格子上にある。