Abstract:In 2000, Cohn, Kenyon and Propp studied uniformly random perfect matchings of large induced subgraphs of $\mathbb Z^2$ (a.k.a. dimer configurations or domino tilings) and developed a large deviation theory for the associated height functions. We establish similar results for large induced subgraphs of $\mathbb Z^3$. To formulate these results, recall that a perfect matching on a bipartite graph induces a flow that sends one unit of current from each even vertex to its odd partner. One can then subtract a "reference flow'' to obtain a divergence-free flow. We show that the flow induced by a uniformly random dimer configuration converges in law (when boundary conditions on a bounded $R \subset \mathbb R^3$ are controlled and the mesh size tends to zero) to the deterministic divergence-free flow $g$ on $R$ that maximizes $$\int_{R} \text{ent}(g(x)) \,dx$$ given the boundary data, where $\text{ent}(s)$ is the maximal specific entropy obtained by an ergodic Gibbs measure with mean current $s$. The function $\text{ent}$ is not known explicitly, but we prove that it is continuous and {\em strictly concave} on the octahedron $\mathcal O$ of possible mean currents (except on the edges of $\mathcal O$) which implies (under reasonable boundary conditions) that the maximizer is uniquely determined. We further establish two versions of a large deviation principle, using the integral above to quantify how exponentially unlikely the discrete random flows are to approximate other deterministic flows. The planar dimer model is mathematically rich and well-studied, but many of the most powerful tools do not seem readily adaptable to higher dimensions. Our analysis begins with a smaller set of tools, which include Hall's matching theorem, the ergodic theorem, non-intersecting-lattice-path formulations, and double-dimer cycle swaps.

Computing Monomer-Dimer Systems Through Matrix Permanent

Numerically exact solution to the finite-size Dicke model

The monopole-dimer model on high-dimensional cylindrical, toroidal, Möbius and Klein grids

Recurrence solution of monomer-polymer models on two-dimensional rectangular lattices

Ergodic Archimedean dimers

Weakly non-planar dimers

Large deviations for the 3D dimer model

The matrix permanent and determinant from a spin system

Matrix-Product-State Algorithm for Finite Fractional Quantum Hall Systems

Monomer–dimer model on a scale-free small-world network

The monopole-dimer model on Cartesian products of plane graphs

Exact finite-size corrections in the dimer model on a cylinder

Exact Solution of Close-Packed Dimers on the Kagomé Lattice

Near-critical dimers and massive SLE

Periodic Wave Functions and Number of Extended States in Random Dimer Systems

Wide Sampling and Efficient Updating Monte Carlo Algorithms for Dimer Models

A Partially Structure-Preserving Algorithm for the Permanents of Adjacency Matrices of Fullerenes.

Dimers on the Kagome Lattice I: Finite Lattices

Permanent Identities, Combinatorial Sequences, and Permutation Statistics

Dimer model on the square lattice with interface

The Asymptotic Behavior of the Mayer Series Coefficients for a Dimer Gas on a Rectangular Lattice