[Paper Review] Spectral Curve of Periodic Fisher Graphs

Zhongyang Li|arXiv (Cornell University)|Aug 23, 2010

Markov Chains and Monte Carlo Methods9 references4 citations

TL;DR

This paper studies the spectral curve of dimer models on periodic Fisher graphs derived from a ferromagnetic Ising model on ℤ². Using a modified Kasteleyn matrix and characteristic polynomial, it proves that the spectral curve intersects the unit torus ℂ² either emptily or at a single real point of multiplicity two, extending Harnack curve properties to non-bipartite dimer models.

ABSTRACT

We study the spectral curves of dimer models on periodic Fisher graphs, obtained from a ferromagnetic Ising model on $\mathbb{Z}^2$. The spectral curve is defined by the zero locus of the determinant of a modified weighted adjacency matrix. We prove that either they are disjoint from the unit torus ($\mathbb{T}^2=\{(z,w):|z|=1,|w|=1\}$) or they intersect $\mathbb{T}^2$ at a single real point.

Motivation & Objective

• To characterize the spectral curve of dimer models on periodic Fisher graphs, which are non-bipartite and derived from ferromagnetic Ising models on ℤ².
• To determine the nature of the intersection between the spectral curve and the unit torus ℂ², particularly in the context of phase transitions.
• To extend known results on Harnack curves in bipartite dimer models to non-bipartite settings, such as Fisher graphs.
• To provide a quantitative characterization of the critical temperature in periodic two-dimensional ferromagnetic Ising models via algebraic equations.
• To establish convergence properties of Boltzmann measures and edge correlation decay in infinite, periodic dimer models with finite width.

Proposed method

• Construct a Kasteleyn matrix for the Fisher graph using a clockwise-odd edge orientation, assigning weights based on edge direction and modified by complex parameters z and w.
• Define the spectral curve as the zero locus of the determinant of the modified Kasteleyn matrix P(z,w) = det K(z,w), generalizing the characteristic polynomial to toroidal and cylindrical graphs.
• Use gauge equivalence to simplify edge weights, setting triangular and a-edges to unit weight while preserving spectral curve structure.
• Analyze the characteristic polynomial P(z,w) by decomposing it into terms based on edge occupation patterns: single z-edge use and double z-edge use.
• Apply trigonometric substitution w = e^{iφ} to express real and imaginary parts, showing that terms involving sinφ depend only on sin²φ and are non-negative for positive weights.
• Prove that the discriminant of the quadratic in z is non-negative and vanishes only when w is real, implying that roots z₁, z₂ are real and equal only at real w, leading to a real node on the unit torus.

Experimental results

Research questions

• RQ1 What is the nature of the intersection between the spectral curve P(z,w) = 0 and the unit torus ℂ² for bi-periodic Fisher graphs with positive edge weights?
• RQ2 Can the spectral curve of a non-bipartite dimer model on a Fisher graph be a Harnack curve under certain weight conditions?
• RQ3 How does the spectral curve's behavior relate to phase transitions in the dimer model on cylindrical and toroidal Fisher graphs?
• RQ4 What is the role of edge weight symmetry and gauge equivalence in simplifying the spectral curve analysis?
• RQ5 Can the critical temperature of a periodic two-dimensional ferromagnetic Ising model be characterized algebraically via the spectral curve?

Key findings

• For cylindrical Fisher graphs periodic in one direction and finite in the other, the spectral curve P(z) = 0 intersects the unit circle |z| = 1 either emptily or at a single real point.
• For bi-periodic Fisher graphs with triangular and a-edges of weight 1 and other edges in (0,1), the spectral curve P(z,w) = 0 is a Harnack curve.
• The only possible intersection of P(z,w) = 0 with the unit torus ℂ² is a single real point of multiplicity two, corresponding to a real node.
• The discriminant of the quadratic in z is non-negative and vanishes only when w is real, implying that the spectral curve touches the unit torus only at real w and yields a double root.
• When the discriminant is positive, the roots z₁, z₂ lie off the unit circle, so no intersection occurs with ℂ².
• The characteristic polynomial P(z,w) remains positive on the unit torus unless the discriminant vanishes, which occurs only at real w, confirming the uniqueness of the real node.