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.

Divergence and quasi-isometry classes of random Gromov's monsters

Random divergence of groups

On super-rigidity of Gromov's random monster group

Optimization in graphical small cancellation theory

Divergent geodesics, ambiguous closed geodesics and the binary additive divisor problem

Stability and equivariant Gromov–Hausdorff convergence

Quasisymmetric geometry of low-dimensional random spaces

Stability and equivariant Gromov--Hausdorff convergence

Dovgoshey–Hariri–Vuorinen's metric and Gromov hyperbolicity

Limit Laws for Gromov-Wasserstein Alignment with Applications to Testing Graph Isomorphisms

Linear and Sublinear Diversities

New divergence measures between persistence diagrams and stability of vectorizations

On the geometry of uniform meandric systems

On typicality of translation flows which are disjoint with their inverse

Metrization of Gromov-Hausdorff-type topologies on boundedly-compact metric spaces

Large deviations for the 3D dimer model

Geodesics in the Brownian map: Strong confluence and geometric structure

Ahlfors regular conformal dimension and Gromov-Hausdorff convergence

Exponential mixing and essential spectral gaps for Anosov subgroups

Uniform spectral gap and orthogeodesic counting for strong convergence of Kleinian groups

General harmonic measures for distance-expanding dynamical systems