Macroscopic behavior of Lipschitz random surfaces
arXiv:2004.15025 · doi:10.2140/pmp.2024.5.177
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 to or . 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 to a -regular tree for any 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.
arXiv comment88 pages, 8 figures
References in corpus (8)
- Min- and Max- Relative Entropies and a New Entanglement Monotone
- A variational principle for domino tilings
- Height fluctuations in interacting dimers
- Minimizers of Convex Functionals Arising in Random Surfaces
- Non-integrable dimers: Universal fluctuations of tilted height profiles
- On the transition between the disordered and antiferroelectric phases of the 6-vertex model
- A generalisation of the honeycomb dimer model to higher dimensions
- Variational principle for weakly dependent random fields