[论文解读] Delocalisation and absolute-value-FKG in the solid-on-solid model

Piet Lammers, Sébastien Ott|arXiv (Cornell University)|Jan 13, 2021

Markov Chains and Monte Carlo Methods被引用 4

一句话总结

本文提出了固体-焊料（SOS）模型在任意平面图上非零斜率情形下局域化现象的新一般性证明，将结果从零斜率情形推广至任意倾斜度。此外，本文进一步证明了高度函数绝对值满足FKG格点条件，该条件与定量局域化相关，并表明在SOS模型和离散高斯模型中，有限体积与无限体积局域化之间存在等价性。

ABSTRACT

The solid-on-solid model is a model of height functions, introduced to study the interface separating the $+$ and $-$ phase in the Ising model. The planar solid-on-solid model thus corresponds to the three-dimensional Ising model. Delocalisation of this model at high temperature and at zero slope was first derived by Fröhlich and Spencer, in parallel to proving the Berezinskii-Kosterlitz-Thouless phase transition. The first main result of this article consists of a simple, alternative proof of delocalisation of the solid-on-solid model. In fact, the argument is more general: it works on any planar graph -- not just the square lattice -- and implies that the interface delocalises at any slope rather than exclusively at the zero slope. The second main result, proved independently, is that the absolute value of the height function in this model satisfies the FKG lattice condition. This property is believed to be intimately linked to the (quantitative) understanding of delocalisation, given the recent successes in the context of the square ice and (more generally) the six-vertex model, and it has already been used elsewhere in a new proof of the BKT transition. The new FKG inequality is shown to hold true for both the solid-on-solid model as well as for the discrete Gaussian model, which in this article implies that the two notions of delocalisation, namely delocalisation in finite volume and delocalisation of shift-invariant Gibbs measures, coincide.

研究动机与目标

• 为SOS模型在零斜率以外的情形以及一般平面图上提供一种更简单、更通用的局域化证明。
• 建立SOS模型中高度函数绝对值满足FKG格点条件。
• 证明FKG性质可推出有限体积局域化与平移不变吉布斯测度中局域化的等价性。
• 将基于FKG的方法应用范围扩展至SOS模型与离散高斯模型，支持对局域化现象的定量理解。
• 为有效界面模型中界面涨落的严格分析，特别是三维情形，做出贡献。

提出的方法

• 基于条件测度与随机簇模型的耦合，采用构造性、概率论方法分析高度函数的符号结构。
• 应用Edwards-Sokal耦合，将符号过程与随相互作用强度增加而增强的渗滤模型关联。
• 利用有限体积中|φ|与渗滤配置ω的联合分布的单调性及FKG不等式。
• 通过局部收敛性与渗滤论证，证明有限体积测度μΔₙ收敛于唯一的遍历吉布斯测度μ。
• 利用Burton和Keane的结果，证明ω几乎必然至多包含一个无限簇，并排除无限簇的存在，从而确保μ的唯一性。
• 通过联合单调性与耦合技术，证明在SOS模型与离散高斯模型中，|φ|的FKG性质均成立。

实验结果

研究问题

• RQ1 SOS模型在一般平面图上是否对任意斜率（而不仅零斜率）均存在局域化？
• RQ2 SOS模型中高度函数绝对值是否满足FKG格点条件？
• RQ3 |φ|的FKG性质能否用于建立有限体积局域化与平移不变吉布斯测度中局域化的等价性？
• RQ4 |φ|的FKG不等式在离散高斯模型中是否也成立？其含义是什么？
• RQ5 FKG性质能否用于获得有效界面模型中界面涨落的定量界？

主要发现

• 本文为SOS模型在任意平面图上的局域化现象提供了新的、通用的证明，适用于所有斜率，而不仅零斜率。
• SOS模型中高度函数绝对值|φ|满足FKG格点条件，这是新颖的结果，具有深远影响。
• |φ|的FKG性质意味着在SOS模型中，有限体积局域化与平移不变吉布斯测度中的局域化完全一致。
• 相同的FKG性质在离散高斯模型中也成立，从而导致有限体积与无限体积局域化之间的等价性。
• 在序列(Δₙ)满足弱条件时，唯一遍历吉布斯测度μ满足μ(φᵣ) = 0，且为有限体积测度μΔₙ沿Δₙ遍历整个晶格时的弱极限。
• 联合分布(|φ|, ω)在体积Λ上是递增的，且渗滤过程ω几乎必然不包含无限簇，从而确保了μ的唯一性。