The $Z$-invariant Ising model via dimers

Abstract

The $Z$-invariant Ising model (Baxter in Philos Trans R Soc Lond A Math Phys Eng Sci 289(1359):315--346, 1978) is defined on an isoradial graph and has coupling constants depending on an elliptic parameter $k$. When $k=0$ the model is critical, and as $k$ varies the whole range of temperatures is covered. In this paper we study the corresponding dimer model on the Fisher graph, thus extending our papers (Boutillier and de Tili{è}re in Probab Theory Relat Fields 147:379--413, 2010; Commun Math Phys 301(2):473--516, 2011) to the full $Z$-invariant case. One of our main results is an explicit, local formula for the inverse of the Kasteleyn operator. Its most remarkable feature is that it is an elliptic generalization of Boutillier and de Tili{è}re (2011): it involves a local function and the massive discrete exponential function introduced in Boutillier et al. (Invent Math 208(1):109--189, 2017). This shows in particular that $Z$-invariance, and not criticality, is at the heart of obtaining local expressions. We then compute asymptotics and deduce an explicit, local expression for a natural Gibbs measure. We prove a local formula for the Ising model free energy. We also prove that this free energy is equal, up to constants, to that of the $Z$-invariant spanning forests of Boutillier et al. (2017), and deduce that the two models have the same second order phase transition in $k$. Next, we prove a self-duality relation for this model, extending a result of Baxter to all isoradial graphs. In the last part we prove explicit, local expressions for the dimer model on a bipartite graph corresponding to the XOR version of this $Z$-invariant Ising model.

arXiv comment72 pages, 21 figures

References in corpus (19)

• A variational principle for domino tilings
• Discrete Riemann Surfaces and the Ising model
• An introduction to the dimer model
• The Laplacian and $\bar{\partial }$ operators on critical planar graphs
• Dimers on surface graphs and spin structures. II
• Dimers on surface graphs and spin structures. I
• Exact bosonization of the Ising model
• The critical Z-invariant Ising model via dimers: locality property
• The Ising Susceptibility Scaling Function
• The Ising model: from elliptic curves to modular forms and Calabi-Yau equations
• Universality for bond percolation in two dimensions
• Universality for the random-cluster model on isoradial graphs
• Quadri-tilings of the plane
• The $Z$-invariant massive Laplacian on isoradial graphs
• Correlation functions for the Z-invariant Ising model
• XOR-Ising Loops and the Gaussian Free Field
• Q-Dependent Susceptibilities in Ferromagnetic Quasiperiodic Z-Invariant Ising Models
• Phase transition free regions in the Ising model via the Kac-Ward operator
• The anisotropic Ising correlations as elliptic integrals: duality and differential equations

Cited by in corpus (4)

• Minimal bipartite dimers and higher genus Harnack curves
• Convergence of Fermionic Observables in the Massive Planar FK-Ising Model
• Cube moves for $s$-embeddings and $\alpha$-realizations
• Boundary correlations for the Z-invariant Ising Model