Universality for lozenge tiling local statistics (Q6080092)

In this paper the author establishes local statistics prediction for lozenge tilings of arbitrary domains approximating (after suitable normalization) a closed, simply-connected subset of \(\mathbb{R}^2\) with piecewise smooth, simple boundary, proceeding by locally comparing a uniformly random lozenge tiling of a given domain to an ensemble of Bernoulli random walks conditioned to never intersect. Such model was introduced by \textit{W. König} et al. [Electron. J. Probab. 7, Paper No. 5, 24 p. (2002; Zbl 1007.60075)]. It is shown that the local statistics of this model around any point in the liquid region of its limit shape are given by the infinite-volume, translation-invariant, extremal Gibbs measure of the appropriate slope, thereby confirming a prediction of Cohn-Kenyon-Propp from 2001 in the case of lozenge tilings [\textit{H. Cohn} et al., J. Am. Math. Soc. 14, No. 2, 297--346 (2001; Zbl 1037.82016)].