[论文解读] 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.

研究动机与目标

• 将具有有限比自由能的梯度吉布斯测度表征为比自由能泛函的极小化子。
• 在有界区域的网格逼近上，为随机曲面建立大偏差原理，且唯一率函数极小化器存在。
• 通过一种基于几何簇交换的几何技术，证明表面张力的严格凸性。
• 确定给定斜率下最小能量梯度相存在且唯一的条件。
• 在二维情况下，确定光滑相（晶体晶面）的几何结构，表明其斜率位于底层子晶格 L 的对偶晶格中。

提出的方法

• 将梯度相形式化为具有有限比自由能的 L-遍历吉布斯测度，其来源于凸的最近邻差值势。
• 应用变分原理，将梯度相识别为在固定斜率约束下比自由能泛函的极小化子。
• 在福图林-卡斯特莱因型簇上应用一种受斯文森-王动力学启发的簇交换技术，以证明表面张力的严格凸性。
• 通过几何论证分析梯度相的结构，表明在 d=2 时，光滑相的斜率位于子晶格 L 的对偶晶格中。
• 证明对于有限表面张力域内部任意斜率 u，最小能量梯度相 μ_u 存在。
• 基于维数、粗糙相的存在性或斜率的无理性，推导离散模型中 μ_u 唯一性的条件。

实验结果

研究问题

• RQ1 在 Z^d 中，对于给定斜率 u，哪些梯度吉布斯测度使比自由能最小化？
• RQ2 对于具有凸性、平移不变势的随机曲面，表面张力是否严格凸？
• RQ3 在何种条件下，给定斜率 u 的最小能量梯度相 μ_u 存在且唯一？
• RQ4 二维随机曲面中，光滑相（晶体晶面）的几何结构是什么？
• RQ5 在 d=2 时，光滑相的斜率如何与底层晶格 L 相关联？

主要发现

• 给定斜率的梯度相被表征为比自由能的极小化子，从而确立了变分原理。
• 表面张力是严格凸的，其证明基于一种新颖的几何簇交换论证。
• 对于有限表面张力域内部任意斜率 u，最小能量梯度相 μ_u 存在。
• 对于实值随机曲面，无论维数如何，μ_u 均唯一。
• 在离散模型中，若 d ∈ {1, 2}，或存在斜率为 u 的粗糙梯度相，或 u 为无理数，则 μ_u 唯一。
• 在 d=2 时，所有光滑相（晶体晶面）的斜率均位于底层子晶格 L 的对偶晶格中。