A variational principle for domino tilings

Abstract

We formulate and prove a variational principle (in the sense of thermodynamics) for random domino tilings, or equivalently for the dimer model on a square grid. This principle states that a typical tiling of an arbitrary finite region can be described by a function that maximizes an entropy integral. We associate an entropy to every sort of local behavior domino tilings can exhibit, and prove that almost all tilings lie within epsilon (for an appropriate metric) of the unique entropy-maximizing solution. This gives a solution to the dimer problem with fully general boundary conditions, thereby resolving an issue first raised by Kasteleyn. Our methods also apply to dimer models on other grids and their associated tiling models, such as tilings of the plane by three orientations of unit lozenges.

49 pages, 7 figures. This revision of the published paper corrects a typo (reversal of s and t, and an incorrect sign) that propagated through several equations. See the first page for details. All changes from the published version are also marked with "UPDATE" in the TeX source. None of the logic needed to be changed

References in corpus (2)

• Local statistics of lattice dimers
• Local statistics for random domino tilings of the Aztec diamond

Cited by in corpus (142)

• Mixing times of lozenge tiling and card shuffling Markov chains
• Random matrices and determinantal processes
• Tetratic Order in the Phase Behavior of a Hard-Rectangle System
• Stochastic six-vertex model
• An introduction to the dimer model
• Dimers on surface graphs and spin structures. II
• Dimers on surface graphs and spin structures. I
• Rigidity of Polyhedral Surfaces
• Current Fluctuations of the Stationary ASEP and Six-Vertex Model
• Asymptotics of uniformly random lozenge tilings of polygons. Gaussian free field
• Boxed Plane Partitions as an Exactly Solvable Boson Model
• Quivers, YBE and 3-manifolds
• Emptiness formation probability, Toeplitz determinants, and conformal field theory
• Asymptotics of symmetric polynomials with applications to statistical mechanics and representation theory
• Asymptotic domino statistics in the Aztec diamond
• Random and ordered phases of off-lattice rhombus tiles
• The arctic circle boundary and the Airy process
• Conformal invariance of isoradial dimer models & the case of triangular quadri-tilings
• Minimizers of Convex Functionals Arising in Random Surfaces
• Limit shapes for the asymmetric five vertex model
• Inhomogeneous Gaussian Free Field inside the interacting arctic curve
• Combinatorial Ricci flows and the hyperbolization of a class of compact 3-manifolds
• Quadri-tilings of the plane
• Fourier transform on high-dimensional unitary groups with applications to random tilings
• Emergent rhombus tilings from molecular interactions with $M$-fold rotational symmetry
• Bulk universality for random lozenge tilings near straight boundaries and for tensor products
• The $Z$-invariant Ising model via dimers
• Local Statistics of Realizable Vertex Models
• Arctic circles, domino tilings and square Young tableaux
• Pattern densities in fluid dimer models
• Dimers and analytic torsion I
• Wulff construction in statistical mechanics and in combinatorics
• Extreme boundary conditions and random tilings
• Shuffling algorithm for boxed plane partitions
• Spin-1/2 Ising-Heisenberg model with the pair XYZ Heisenberg interaction and quartic Ising interactions as the exactly soluble zero-field eight-vertex model
• On the Red-Green-Blue Model
• Limit Shapes and Local Statistics for the Stochastic Six-Vertex Model
• The 6-vertex model with fixed boundary conditions
• Lozenge tilings, Glauber dynamics and macroscopic shape
• Correlation function of Schur process with application to local geometry of a random 3-dimensional Young diagram
• Critical resonance in the non-intersecting lattice path model
• Loop statistics in the toroidal honeycomb dimer model
• Geometric variational problems of statistical mechanics and of combinatorics
• Dimer model, bead model and standard Young tableaux: finite cases and limit shapes
• Limit shapes and the complex burgers equation
• Gibbs Ensembles of Nonintersecting Paths
• Flip dynamics in three-dimensional random tilings
• Topics on abelian spin models and related problems
• q-Distributions on boxed plane partitions
• Random partitions and instanton counting
• Brownian Gibbs property for Airy line ensembles
• Local limits of lozenge tilings are stable under bounded boundary height perturbations
• Asymptotics of Random Lozenge Tilings via Gelfand-Tsetlin Schemes
• Scaling limits for non-intersecting polymers and Whittaker measures
• Borel subsystems and ergodic universality for compact ${\mathbb{Z}}^d$-systems via specification and beyond
• Polarization Plateaus in Hexagonal Water Ice $I_h$
• Coupled Fredkin and Motzkin chains from quantum six- and nineteen-vertex models
• Elliptically Distributed Lozenge Tilings of a Hexagon
• Variational Principles on Triangulated Surfaces
• Arctic curves of the four-vertex model
• Lozenge tilings and the Gaussian free field on a cylinder
• Height Fluctuations of Random Lozenge Tilings Through Nonintersecting Random Walks
• Topological Phase Transitions and Holonomies in the Dimer Model
• Fixed-boundary octagonal random tilings: a combinatorial approach
• Domain wall fluctuations of the six-vertex model at the ice point
• Toric Quiver Asymptotics and Mahler Measure: $\mathcal{N}=2$ BPS States
• The genus-zero five-vertex model
• Entropically-stabilised growth of a two-dimensional random tiling
• A generalisation of the honeycomb dimer model to higher dimensions
• Central limit theorem for lozenge tilings with curved limit shape
• Jamming and Tiling in Fragmentation of Rectangles
• Edge Statistics for Lozenge Tilings of Polygons, II: Airy Line Ensemble
• The domino shuffling algorithm and Anisotropic KPZ stochastic growth
• Random tilings of high symmetry: II. Boundary conditions and numerical studies
• Limit shape for infinite rank limit of tensor power decomposition for Lie algebras of series so(2n+1)
• Fluctuations of the Arctic curve in the tilings of the Aztec diamond on restricted domains
• Toroidal Dimer Model and Temperley's Bijection
• Height fluctuations in the honeycomb dimer model
• Statistics of close-packed dimers on fractal lattices
• Non-probabilistic fermionic limit shapes
• Frustrated kagome-lattice bilayer quantum Heisenberg antiferromagnet
• Pearcey universality at cusps of polygonal lozenge tiling
• Asymptotic shapes with free boundaries
• Representations of classical Lie groups and quantized free convolution
• Compression theory for inhomogeneous systems
• Stochastic Dynamics of Growing Young Diagrams and Their Limit Shapes
• Double Interlacing in Random Tiling Models
• Conformal invariance of loops in the double-dimer model
• Jamming and Tiling in Aggregation of Rectangles
• Determinantal spanning forests on planar graphs
• Volume and rigidity of hyperbolic polyhedral $3$-manifolds
• Dimer Models, Free Fermions and Super Quantum Mechanics
• Gradient variational problems in ${\mathbb{R}}^2$
• Local correlation functions of the two-periodic weighted Aztec diamond in mesoscopic limit
• Kasteleyn theorem, geometric signatures and KP-II divisors on planar bipartite networks in the disk
• Hydrodynamic limit equation for a lozenge tiling Glauber dynamics
• Discrete surfaces with length and area and minimal fillings of the circle
• Quantum lozenge tiling and entanglement phase transition
• Miquel dynamics for circle patterns
• Commutativity in Lagrangian and Hamiltonian Mechanics
• Breakdown of the thermodynamic limit in quantum spin and dimer models
• The domino shuffling height process and its hydrodynamic limit
• Limit shapes for the dimer model
• Edge Statistics for Lozenge Tilings of Polygons, I: Concentration of Height Function on Strip Domains
• The emergence of the electrostatic field as a Feynman sum in random tilings with holes
• Polyomino Models of Surface Supramolecular Assembly: Design Constraints and Structural Selectivity
• Dimers and the Ising model
• Dimers on Riemann surfaces I: Temperleyan forests
• Power series expansions for the planar monomer-dimer problem
• Asymptotics of pure dimer coverings on rail-yard graphs
• The free-fermionic $C_2^{(1)}$ loop model, double dimers and Kashaev's recurrence
• Lozenge Tilings of a Hexagon and q-Racah Ensembles
• Critical Temperature of Periodic Ising Models
• Domino tilings with diagonal impurities
• Random concave functions on an equilateral lattice with periodic Hessians I: entropy and Laplacians
• The expectation value of the number of loops and the left-passage probability in the double-dimer model
• Matchings and entropies of cylinders
• Domino shuffling on Novak half-hexagons and Aztec half-diamonds
• On enumeration and entropy of ribbon tilings
• The scaling limit of the correlation of holes on the triangular lattice with periodic boundary conditions
• Molecular random tilings as glasses
• Sorting probability for large Young diagrams
• Macroscopic behavior of Lipschitz random surfaces
• Dimer Models and Conformal Structures
• Hidden symmetries of weighted lozenge tilings
• A variational principle for domino tilings of multiply-connected domains
• The concentration inequality for a discrete height function model perturbed by random potential
• Defects and Frustration in the Packing of Soft Balls
• Topological string amplitudes and Seiberg-Witten prepotentials from the counting of dimers in transverse flux
• The mixing time of the lozenge tiling Glauber dynamics
• Coupling Functions for Domino tilings of Aztec diamonds
• Exactly Solvable Topological Phase Transition in a Quantum Dimer Model
• Does a portion of dimer configuration determines its domain of definition?
• Limit shape of perfect matchings on contracting bipartite graphs
• Asymptotics of Schur functions on almost staircase partitions
• Combinatorial Ricci flows with applications to the hyperbolization of cusped 3-manifolds
• Master's thesis: Permutations With Restricted Movement
• $q$-Racah ensemble and $q$-P$\left(E_7^{(1)}/A_1^{(1)}\right)$ discrete Painlevé equation
• Algebraic invariants for crystallographic defects in cellular automata
• Matchings in vertex-transitive bipartite graphs
• Ribbon Tilings and Multidimensional Height Functions
• The asymptotic determinant of the discrete Laplacian