Critical Ising model and spanning trees partition functions

Abstract

We prove that the squared partition function of the two-dimensional critical Ising model defined on a finite, isoradial graph $\mathsf{G}=(\mathsf{V},\mathsf{E})$, is equal to $2^{|\mathsf{V}|}$ times the partition function of spanning trees of the graph $\bar{\mathsf{G}}$, where $\bar{\mathsf{G}}$ is the graph $\mathsf{G}$ extended along the boundary; edges of $\mathsf{G}$ are assigned Kenyon’s (Invent. Math. 150 (2) (2002) 409–439) critical weights, and boundary edges of $\bar{\mathsf{G}}$ have specific weights. The proof is an explicit construction, providing a new relation on the level of configurations between two classical, critical models of statistical mechanics.

Nous montrons que le carré de la fonction de partition du modèle d’Ising critique en dimension deux, défini sur un graphe isoradial $\mathsf{G}=(\mathsf{V},\mathsf{E})$ fini, est égale à $2^{|\mathsf{V}|}$ fois la fonction de partition des arbres couvrants du graphe $\bar{\mathsf{G}}$, où le graphe $\bar{\mathsf{G}}$ est le graphe $\mathsf{G}$ prolongé le long du bord; les arêtes de $\mathsf{G}$ sont munies des poids critiques de Kenyon (Invent. Math. 150 (2) (2002) 409–439), et les arêtes du bord de $\bar{\mathsf{G}}$ ont des poids spécifiques. La preuve consiste en une construction explicite, qui donne une nouvelle relation, au niveau des configurations, entre deux modèles classiques de mécanique statistique au point critique.