[论文解读] Macroscopic behavior of Lipschitz random surfaces

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

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

一句话总结

本文通过证明大 deviations原理并利用随机单调性和池塘（moat）技术，建立了包含长程与无限程相互作用的广泛类 Lipschitz 随机表面模型的表面张力严格凸性。关键结果为：表面张力的严格凸性意味着在单调边界条件下宏观极限形状的唯一性。

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.

研究动机与目标

• 建立具有长程与无限程相互作用的 Lipschitz 随机表面上的表面张力严格凸性。
• 解决 Menz 和 Tassy 提出的猜想，并回答 Sheffield 关于宏观轮廓唯一性的问题。
• 建立一个通用的大 deviations 原理，以控制宏观轮廓与高度函数的局部统计。
• 表征特定自由能的极小化子，并证明表面张力的存在性与拓扑性质。
• 将关于遍历分解与平移不变测度的结果推广至梯度 Gibbs 测度框架。

提出的方法

• 使用 Z^d 上带有 Lipschitz 约束的梯度 Gibbs 测度与条件规范，形式化热力学形式体系。
• 引入并分析‘池塘’——格点中控制宏观偏离的几何结构，通过反射与截断论证。
• 应用附着引理与密度极限技术，证明特定自由能的收敛性与连续性。
• 通过 Lipschitz 函数的单纯形逼近，构造大 deviations 的上下界。
• 在池塘框架下利用 Burton–Keane 论证，结合随机单调性，证明严格凸性。
• 通过 Holley 准则验证单调性，适用于六-vertex 模型与正则树上的图同态模型。

实验结果

研究问题

• RQ1 在何种条件下，具有长程相互作用的 Lipschitz 随机表面上的表面张力是严格凸的？
• RQ2 规范的随机单调性与宏观极限形状的唯一性之间有何关系？
• RQ3 是否可为梯度 Gibbs 测度中的宏观轮廓与局部高度统计建立一个通用的大 deviations 原理？
• RQ4 在缺乏单调性时，特定自由能的拓扑性质与极小化性质为何？
• RQ5 这些结果在图同态到正则树的模型以及 dimer 与六-vertex 模型的微扰模型中可推广到何种程度？

主要发现

• 若模型在边界条件下单调，则表面张力在其可允许斜率定义域上严格凸，这意味着宏观轮廓唯一。
• 为宏观轮廓与局部统计的联合分布建立了通用的大 deviations 原理，表面张力作为速率函数。
• 特定自由能存在且连续，其极小化子被表征为变分问题的唯一解。
• 通过池塘论证与 Burton–Keane 方法，证明在单调性下特定自由能的极小化子唯一。
• 对于六-vertex 模型，表面张力严格凸当且仅当 $ c_+c_- \geq \max\{a_+a_-, b_+b_\} $，确认了宏观序存在的条件。
• 表面张力在定义域边界处为零，在原点处严格为负，支持其严格凸性。