The broad motivation of this work is a rigorous understanding of reversible, local Markov dynamics of interfaces, and in particular their speed of convergence to equilibrium, measured via the mixing time . In the -dimensional setting, , this is to a large extent mathematically unexplored territory, especially for discrete interfaces. On the other hand, on the basis of a mean-curvature motion heuristics [Hen97, Spo93] and simulations (see [Des02] and the references in [Hen97, Wil04]), one expects convergence to equilibrium to occur on time-scales of order in any dimension, with the lattice mesh.
We study the single-flip Glauber dynamics for lozenge tilings of a finite domain of the plane, viewed as -dimensional surfaces. The stationary measure is the uniform measure on admissible tilings. At equilibrium, by the limit shape theorem [CKP01], the height function concentrates as around a deterministic profile , the unique minimizer of a surface tension functional. Despite some partial mathematical results [LT15a, LT15b, Wil04], the conjecture had been proven, so far, only in the situation where is an affine function [CMT12]. In this work, we prove the conjecture under the sole assumption that the limit shape contains no frozen regions (facets).
[ADPZ20] Dimer models and conformal structures (2020) (https://arxiv.org/abs/2004.02599)
[Agg19] Universality of tiling local statistics (2019) (https://arxiv.org/abs/1907.09991, to appear in Annals of Mathematics)
[Des02] Flip dynamics in octagonal rhombus tiling sets, Phys. Rev. Lett., Volume 88 (2002) no. 3, 030601 | DOI
[Gia83] Multiple integrals in the calculus of variations and nonlinear elliptic systems, Annals of Mathematics Studies, 105, Princeton University Press, 1983 | Zbl
[GPR09] Sampling biased lattice configurations using exponential metrics, Proc. of the 20th Annual ACM-SIAM Symposium on Discrete Algorithms, ACM Press (2009), pp. 76-85 | Zbl
[Ken09] Lectures on dimers (2009) (https://arxiv.org/abs/0910.3129)
[KL98] Scaling limits of interacting particle systems, Grundlehren der Mathematischen Wissenschaften, 320, Springer, 1998 | Zbl
[Lac16] Mixing time and cutoff for the adjaent transposition shuffle and the simple exclusion, Ann. Probab., Volume 44 (2016) no. 2, pp. 1426-1487 | Zbl
[Las21] Central limit theorem for lozenge tilings with curved limit shape (2021) (https://arxiv.org/abs/2102.05544)