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 (5)

• Alternating sign matrices and domino tilings
• The shape of a typical boxed plane partition
• Local statistics of lattice dimers
• Local statistics for random domino tilings of the Aztec diamond
• Random Domino Tilings and the Arctic Circle Theorem

Cited by in corpus (144)

• 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
• Enumeration of Matchings: Problems and Progress
• 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
• The $Z$-invariant Ising model via dimers
• Bulk universality for random lozenge tilings near straight boundaries and for tensor products
• Local Statistics of Realizable Vertex Models
• Arctic circles, domino tilings and square Young tableaux
• Extreme boundary conditions and random tilings
• Shuffling algorithm for boxed plane partitions
• Wulff construction in statistical mechanics and in combinatorics
• 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
• Dimers and analytic torsion I
• Pattern densities in fluid dimer models
• On the Red-Green-Blue Model
• Limit Shapes and Local Statistics for the Stochastic Six-Vertex Model
• Lozenge tilings, Glauber dynamics and macroscopic shape
• The 6-vertex model with fixed boundary conditions
• Loop statistics in the toroidal honeycomb dimer model
• 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
• Geometric variational problems of statistical mechanics and of combinatorics
• Flip dynamics in three-dimensional random tilings
• Limit shapes and the complex burgers equation
• Dimer model, bead model and standard Young tableaux: finite cases and limit shapes
• Gibbs Ensembles of Nonintersecting Paths
• Topics on abelian spin models and related problems
• q-Distributions on boxed plane partitions
• Random partitions and instanton counting
• Asymptotics of Random Lozenge Tilings via Gelfand-Tsetlin Schemes
• Brownian Gibbs property for Airy line ensembles
• Local limits of lozenge tilings are stable under bounded boundary height perturbations
• Borel subsystems and ergodic universality for compact ${\mathbb{Z}}^d$-systems via specification and beyond
• Scaling limits for non-intersecting polymers and Whittaker measures
• 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
• The genus-zero five-vertex model
• Variational Principles on Triangulated Surfaces
• Topological Phase Transitions and Holonomies in the Dimer Model
• Entropically-stabilised growth of a two-dimensional random tiling
• Height Fluctuations of Random Lozenge Tilings Through Nonintersecting Random Walks
• Arctic curves of the four-vertex model
• Domain wall fluctuations of the six-vertex model at the ice point
• Lozenge tilings and the Gaussian free field on a cylinder
• A generalisation of the honeycomb dimer model to higher dimensions
• Toric Quiver Asymptotics and Mahler Measure: $\mathcal{N}=2$ BPS States
• Fixed-boundary octagonal random tilings: a combinatorial approach
• Edge Statistics for Lozenge Tilings of Polygons, II: Airy Line Ensemble
• Jamming and Tiling in Fragmentation of Rectangles
• Random tilings of high symmetry: II. Boundary conditions and numerical studies
• The domino shuffling algorithm and Anisotropic KPZ stochastic growth
• Central limit theorem for lozenge tilings with curved limit shape
• Non-probabilistic fermionic limit shapes
• Frustrated kagome-lattice bilayer quantum Heisenberg antiferromagnet
• Pearcey universality at cusps of polygonal lozenge tiling
• Height fluctuations in the honeycomb dimer model
• Statistics of close-packed dimers on fractal lattices
• Fluctuations of the Arctic curve in the tilings of the Aztec diamond on restricted domains
• Limit shape for infinite rank limit of tensor power decomposition for Lie algebras of series so(2n+1)
• Toroidal Dimer Model and Temperley's Bijection
• Asymptotic shapes with free boundaries
• Double Interlacing in Random Tiling Models
• Representations of classical Lie groups and quantized free convolution
• Conformal invariance of loops in the double-dimer model
• Stochastic Dynamics of Growing Young Diagrams and Their Limit Shapes
• Compression theory for inhomogeneous systems
• Kasteleyn theorem, geometric signatures and KP-II divisors on planar bipartite networks in the disk
• Hydrodynamic limit equation for a lozenge tiling Glauber dynamics
• Dimer Models, Free Fermions and Super Quantum Mechanics
• Local correlation functions of the two-periodic weighted Aztec diamond in mesoscopic limit
• Trees and Matchings
• Jamming and Tiling in Aggregation of Rectangles
• Gradient variational problems in ${\mathbb{R}}^2$
• Determinantal spanning forests on planar graphs
• Volume and rigidity of hyperbolic polyhedral $3$-manifolds
• Discrete surfaces with length and area and minimal fillings of the circle
• Limit shapes for the dimer model
• The domino shuffling height process and its hydrodynamic limit
• Commutativity in Lagrangian and Hamiltonian Mechanics
• Miquel dynamics for circle patterns
• Power series expansions for the planar monomer-dimer problem
• Edge Statistics for Lozenge Tilings of Polygons, I: Concentration of Height Function on Strip Domains
• Quantum lozenge tiling and entanglement phase transition
• Breakdown of the thermodynamic limit in quantum spin and dimer models
• Dimers and the Ising model
• Polyomino Models of Surface Supramolecular Assembly: Design Constraints and Structural Selectivity
• The emergence of the electrostatic field as a Feynman sum in random tilings with holes
• Dimers on Riemann surfaces I: Temperleyan forests
• Domino tilings with diagonal impurities
• On enumeration and entropy of ribbon tilings
• Asymptotics of pure dimer coverings on rail-yard graphs
• The scaling limit of the correlation of holes on the triangular lattice with periodic boundary conditions
• The free-fermionic $C_2^{(1)}$ loop model, double dimers and Kashaev's recurrence
• The expectation value of the number of loops and the left-passage probability in the double-dimer model
• Domino shuffling on Novak half-hexagons and Aztec half-diamonds
• Matchings and entropies of cylinders
• Random concave functions on an equilateral lattice with periodic Hessians I: entropy and Laplacians
• Lozenge Tilings of a Hexagon and q-Racah Ensembles
• Critical Temperature of Periodic Ising Models
• 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
• Defects and Frustration in the Packing of Soft Balls
• Hidden symmetries of weighted lozenge tilings
• Ribbon Tilings and Multidimensional Height Functions
• Topological string amplitudes and Seiberg-Witten prepotentials from the counting of dimers in transverse flux
• The asymptotic determinant of the discrete Laplacian
• Sorting probability for large Young diagrams
• Macroscopic behavior of Lipschitz random surfaces
• Matchings in vertex-transitive bipartite graphs
• The mixing time of the lozenge tiling Glauber dynamics
• Exactly Solvable Topological Phase Transition in a Quantum Dimer Model
• The concentration inequality for a discrete height function model perturbed by random potential
• Molecular random tilings as glasses
• Does a portion of dimer configuration determines its domain of definition?
• Limit shape of perfect matchings on contracting bipartite graphs
• Dimer Models and Conformal Structures
• Coupling Functions for Domino tilings of Aztec diamonds
• Asymptotics of Schur functions on almost staircase partitions
• A variational principle for domino tilings of multiply-connected domains
• Combinatorial Ricci flows with applications to the hyperbolization of cusped 3-manifolds