Local statistics for random domino tilings of the Aztec diamond

We prove an asymptotic formula for the probability that, if one chooses a domino tiling of a large Aztec diamond at random according to the uniform distribution on such tilings, the tiling will contain a domino covering a given pair of adjacent lattice squares. This formula quantifies the effect of the diamond's boundary conditions on the behavior of typical tilings; in addition, it yields a new proof of the arctic circle theorem of Jockusch, Propp, and Shor. Our approach is to use the saddle point method to estimate certain weighted sums of squares of Krawtchouk polynomials (whose relevance to domino tilings is demonstrated elsewhere), and to combine these estimates with some exponential sum bounds to deduce our final result. This approach generalizes straightforwardly to the case in which the probability distribution on the set of tilings incorporates bias favoring horizontal over vertical tiles or vice versa. We also prove a fairly general large deviation estimate for domino tilings of simply-connected planar regions that implies that some of our results on Aztec diamonds apply to many other similar regions as well.

[1]  N. D. Bruijn.  Asymptotic methods in analysis , 1958 .

[2]  P. W. Kasteleyn.  The statistics of dimers on a lattice: I. The number of dimer arrangements on a quadratic lattice , 1961 .

[3]  F. MacWilliams,et al.  The Theory of Error-Correcting Codes , 1977 .

[4]  H. Beijeren,et al.  Exactly solvable model for the roughening transition of a crystal surface , 1977 .

[5]  H. Blote,et al.  Roughening transitions and the zero-temperature triangular Ising antiferromagnet , 1982 .

[6]  D. Grensing,et al.  Boundary effects in the dimer problem on a non‐Bravais lattice , 1983 .

[7]  V. Elser.  SOLUTION OF THE DIMER PROBLEM ON A HEXAGONAL LATTICE , 1983 .

[8]  Henk W. J. Blöte,et al.  Triangular SOS models and cubic-crystal shapes , 1984 .

[9]  D. Newton,et al.  ERGODIC THEOREMS (de Gruyter Studies in Mathematics 6) , 1986 .

[10]  Hans-Otto Georgii,et al.  Gibbs Measures and Phase Transitions , 1988 .

[11]  Levitov.  Equivalence of the dimer resonating-valence-bond problem to the quantum roughening problem. , 1990, Physical review letters.

[12]  W. Thurston.  Conway's tiling groups , 1990 .

[13]  R. Durrett.  Probability: Theory and Examples , 1993 .

[14]  Grigori Kolesnik,et al.  Van der Corput's method of exponential sums , 1991 .

[15]  J. Propp,et al.  Alternating sign matrices and domino tilings , 1991, math/9201305.

[16]  Greg Kuperberg,et al.  Alternating-Sign Matrices and Domino Tilings (Part I) , 1992 .

[17]  Noga Alon,et al.  The Probabilistic Method , 2015, Fundamentals of Ramsey Theory.

[18]  Greg Kuperberg,et al.  Alternating-Sign Matrices and Domino Tilings (Part II) , 1992 .

[19]  R. Pemantle,et al.  Local Characteristics, Entropy and Limit Theorems for Spanning Trees and Domino Tilings Via Transfer-Impedances , 1993, math/0404048.

[20]  Horst Sachs,et al.  Remark on the Dimer Problem , 1994, Discret. Appl. Math..

[21]  Nicolau C. Saldanha,et al.  Spaces of domino tilings , 1995, Discret. Comput. Geom..

[22]  J. Propp,et al.  Exact sampling with coupled Markov chains and applications to statistical mechanics , 1996 .

[23]  Jeffrey Rauch.  Partial Differential Equations , 2018, Explorations in Numerical Analysis.