arXiv++ Combinatorics

We consider the dimer model on the Aztec diamond with Fock's weights, which is gauge equivalent to the model with any choice of positive weight function. We prove an explicit, compact formula for the inverse Kasteleyn matrix, thus extending numerous results in the case of periodic graphs. We also show an explicit product formula for the partition function; as a specific instance of the genus 0 case, we recover Stanley's formula. We then use our explicit formula for the inverse Kasteleyn matrix to recover, in a simple way, limit shape results; we also obtain new ones. In doing so, we extend the correspondence between the limit shape and the amoeba of the corresponding spectral curve of arXiv:2306.07482 to the case of non-generic weights.

We prove an explicit expression for the solutions of the discrete Schwarzian octahedron recurrence, also known as the discrete Schwarzian KP equation (dSKP), as the ratio of two partition functions. Each one counts weighted oriented dimer configurations of an associated bipartite graph, and is equal to the determinant of a Kasteleyn matrix. This is in the spirit of Speyer's result on the dKP equation, or octahedron recurrence [Spe07]. One consequence is that dSKP has zero algebraic entropy, meaning that the growth of the degrees of the polynomials involved is only polynomial. There are cancellations in the partition function, and we prove an alternative, cancellation free explicit expression involving complementary trees and forests. Using all of the above, we show several instances of the Devron property for dSKP, i.e., that certain singularities in initial data repeat after a finite number of steps. This has many applications for discrete geometric systems and is the subject of the companion paper [AdTM22]. We also prove limit shape results analogous to the arctic circle of the Aztec diamond. Finally, we discuss the combinatorics of all the other octahedral equations in the classification of Adler, Bobenko and Suris [ABS12].

Isoradial embeddings of planar graphs play a crucial role in the study of several models of statistical mechanics, such as the Ising and dimer models. Kenyon and Schlenker give a combinatorial characterization of planar graphs admitting an isoradial embedding, and describe the space of such embeddings. In this paper we prove two results of the same type for generalizations of isoradial embeddings: isoradial immersions and minimal immersions. We show that a planar graph admits a flat isoradial immersion if and only if its train-tracks do not form closed loops, and that a bipartite graph has a minimal immersion if and only if it is minimal. In both cases we describe the space of such immersions. The techniques used are different in both settings, and distinct from those of Kenyon and Schlenker. We also give an application of our results to the dimer model defined on bipartite graphs admitting minimal immersions.

A half-tree is an edge configuration whose superimposition with a perfect matching is a tree. In this paper, we prove a half-tree theorem for the Pfaffian principal minors of a skew-symmetric matrix whose column sum is zero; introducing an explicit algorithm, we fully characterize half-trees involved. This question naturally arose in the context of statistical mechanics where we aimed at relating perfect matchings and trees on the same graph. As a consequence of the Pfaffian half-tree theorem, we obtain a refined version of the matrix-tree theorem in the case of skew-symmetric matrices, as well as a line-bundle version of this result.

Fisher established an explicit correspondence between the 2-dimensional Ising model defined on a graph $G$ and the dimer model defined on a decorated version $\GD$ of this graph \cite{Fisher}. In this paper we explicitly relate the dimer model associated to the critical Ising model and critical cycle rooted spanning forests (CRSFs). This relation is established through characteristic polynomials, whose definition only depends on the respective fundamental domains, and which encode the combinatorics of the model. We first show a matrix-tree type theorem establishing that the dimer characteristic polynomial counts CRSFs of the decorated fundamental domain $\GD_1$. Our main result consists in explicitly constructing CRSFs of $\GD_1$ counted by the dimer characteristic polynomial, from CRSFs of $G_1$ where edges are assigned Kenyon's critical weight function \cite{Kenyon3}; thus proving a relation on the level of configurations between two well known 2-dimensional critical models.