Abstract:In this work we study the variational problem associated to dimer models, a class of models from integrable probability and statistical mechanics in dimension two which have been the focus of intense research efforts over the last decades. These models give rise to an infinite family of non-differentiable functionals on Lipschitz functions with gradient constraint, determined by solutions of the Dirichlet problem on compact convex polygons for a class of Monge-Ampère equations. We settle a number or outstanding open questions for this infinite class functionals. In particular we prove a complete classification of the regularity of minimizers, also known as height functions, for all dimer models for a natural class of polygonal (simply or multiply connected) domains much studied in numerical simulations and elsewhere. Our classification in particular implies that the Pokrovsky-Talapov law holds for all dimer models at a generic point on the frozen boundary and in addition shows a very strong local rigidity of dimer models which can be interpreted as a geometric universality result. Furthermore, we give a complete classification of the regularity of the associated free boundary, also known in the literature as frozen boundary or arctic curves and prove that they are all algebraic curves. The lack of differentiability of the functionals is intimately connected to the boundary behaviour of the solutions to the Monge-Ampère equations and we prove a complete classification for these, of independent interest.

Integrability of Limit Shapes of the Six Vertex Model

Limit Shapes of the Stochastic Six Vertex Model

Some Algebraic Aspects of the Inhomogeneous Six-Vertex Model

Six-vertex model with rare corners and random restricted permutations

Poisson structure and Integrability of a Hamiltonian flow for the inhomogeneous six-vertex model

Integrability in $[d+1]$ dimensions: combined local equations and commutativity of the transfer matrices

Lectures on the integrability of the 6-vertex model

Quantum inverse scattering for the 20-vertex model up to Dynkin automorphism: crossing probabilities, 3D Poisson structure, triangular height functions, weak integrability

Non-probabilistic fermionic limit shapes

Integrability of planar-algebraic models

On the Number of Zeros of Abelian Integrals: A Constructive Solution of the Infinitesimal Hilbert Sixteenth Problem

Extended Z-invariance for integrable vector and face models and multi-component integrable quad equations

Integrable mixing of A_{n-1} type vertex models

Scaling limit of the staggered six-vertex model with $U_q\big(\mathfrak{sl}(2)\big)$ invariant boundary conditions

Dimer Models and Conformal Structures

The Six-Vertex Model with a Non-Standard Boundary Condition

A distant descendant of the six-vertex model

Geometry and integrability of topological-antitopological fusion

Zero-curvature subconformal structures and dispersionless integrability in dimension five

Symmetric functions from the six-vertex model in half-space

Shift invariance of half space integrable models