Delocalisation and absolute-value-FKG in the solid-on-solid model

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.

20 pages, 2 figures; optimised following comments referees

References in corpus (2)

• Localization and delocalization of random interfaces
• An elementary proof of phase transition in the planar XY model

Cited by in corpus (7)

• Extremal inhomogeneous Gibbs states for SOS-models and finite-spin models on trees
• An elementary proof of phase transition in the planar XY model
• Infinite-volume states with irreducible localization sets for gradient models on trees
• Random partitions under the Plancherel-Hurwitz measure, high genus Hurwitz numbers and maps
• The Discrete Gaussian model, I. Renormalisation group flow at high temperature
• The Discrete Gaussian model, II. Infinite-volume scaling limit at high temperature
• On the duality between height functions and continuous spin models