Abstract:The $(2+1)$D Solid-On-Solid (SOS) model famously exhibits a roughening transition: on an $N\times N$ torus with the height at the origin rooted at $0$, the variance of $h(x)$, the height at $x$, is $O(1)$ at large inverse-temperature $\beta$, vs. $\asymp \log |x|$ at small $\beta$ (as in the Gaussian free field (GFF)). The former--rigidity at large $\beta$--is known for a wide class of $|\nabla\phi|^p$ models ($p=1$ being SOS) yet is believed to fail once the surface is on a slope (tilted boundary conditions). It is conjectured that the slope would destabilize the rigidity and induce the GFF-type behavior of the surface at small $\beta$. The only rigorous result on this is by Sheffield (2005): for these models of integer height functions, if the slope $\theta$ is irrational, then Var$(h(x))\to\infty$ with $|x|$ (with no known quantitative bound). We study a family of SOS surfaces at a large enough fixed $\beta$, on an $N\times N$ torus with a nonzero boundary condition slope $\theta$, perturbed by a potential $V$ of strength $\epsilon_\beta$ per site (arbitrarily small). Our main result is (a) the measure on the height gradients $\nabla h$ has a weak limit $\mu_\infty$ as $N\to\infty$; and (b) the scaling limit of a sample from $\mu_\infty$ converges to a full plane GFF. In particular, we recover the asymptotics Var$(h(x))\sim c\log|x|$. To our knowledge, this is the first example of a tilted $|\nabla\phi|^p$ model, or a perturbation thereof, where the limit is recovered at large $\beta$. The proof looks at random monotone surfaces that approximate the SOS surface, and shows that (i) these form a weakly interacting dimer model, and (ii) the renormalization framework of Giuliani, Mastropietro and Toninelli (2017) leads to the GFF limit. New ingredients are needed in both parts, including a nontrivial extension of [GMT17] from finite interactions to any long range summable interactions.

Torsion and ground state maxima: close but not the same

On location of maximal gradient of torsion function over some non-symmetric planar domains

On location of maximum of gradient of torsion function

Torsion Points and the Latte'S Family

The L Minkowski problem for torsion

ON A VARIATIONAL THEOREM OF GAUDUCHON AND TORSION-CRITICAL MANIFOLDS

Torsion points and the Lattes family

Torsional Rigidity in Random Walk Spaces

Torsion Obstructions to Positive Scalar Curvature

A Symmetry Result for the Torsion Equation in an Unbounded Domain in 2D

A Symmetry Result for the Torsion Equation in an Unbounded Domain in 3D

Critical Perturbations for Second Order Elliptic Operators—Part II: Non-tangential Maximal Function Estimates

Singular perturbation for the first eigenfunction and blow-up analysis

On the relations between principal eigenvalue and torsional rigidity

Tilted Solid-On-Solid is liquid: scaling limit of SOS with a potential on a slope

A Perturbed Nonlinear Elliptic PDE with Two Hardy-Sobolev Critical Exponents

On the torsion function for simply connected, open sets in $\R^2$

An overdetermined eigenvalue problem and the Critical Catenoid conjecture

On efficiency and localisation for the torsion function

A note on the Huijsmans-de Pagter problem on finite dimensional ordered vector spaces

Existence, symmetry and regularity of ground states of a non linear choquard equation in the hyperbolic space