Galois conjugation, droplet growth, and the differential transcendence of the Ising model in nonzero field
Abstract
The square-lattice Ising model is exactly solvable in zero magnetic field, but the scope of exact solutions at nonzero field remains unresolved. We show that, at every fixed dimensionless field H=h/(kBT)≠ 0, its free energy and magnetization obey no algebraic differential equation in the coupling K=J/(kBT). This excludes Onsager-type formulas and broad classes of special-function expressions. Previous work left open a countable set of fields with algebraic-integer fugacities. We eliminate these exceptions using Galois conjugation and the large-order growth of droplets of reversed spins. At conjugate fugacities outside the unit circle, nearly square droplets produce coefficient growth incompatible with an algebraic differential equation. We prove that cancellations cannot remove this growth in the full pressure series. The free-energy result also holds for the Lieb lattice and square lattices with equal-length chain decorations and uniform coupling and field. In every dimension d≥2, we additionally resolve fields for which e−2|H| has a real algebraic conjugate greater than one.
Related
- Two families of Young tableaux with periodic walls: Counting formulas and differential transcendence
- Multidimensional Infinite-Horizon Markovian Backward Stochastic Differential Equations with Continuous Coefficients and Nonzero-Sum Differential Games
- Conjugation Differential Invariants of SL2(𝔽q) on trace-free matrices
- Infinite-Horizon Stochastic Recursive Differential Games with Jumps: Nonautonomous Coefficients and Nonzero Terminal Values
- Lattice Green's function of the hyperkagome lattice: modular uniformization at level 30 from an orthogonal differential Galois group
BibTeX
@misc{luo2026galois,
title = {{Galois conjugation, droplet growth, and the differential transcendence of the Ising model in nonzero field}},
author = {Ran Luo and Jiahua Tian},
howpublished = {arXiv},
year = {2026},
month = nov,
doi = {10.48550/arxiv.2611.08033},
eprint = {2611.08033},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2611.08033},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Galois conjugation, droplet growth, and the differential transcendence of the Ising model in nonzero field
AU - Ran Luo
AU - Jiahua Tian
PY - 2026
DA - 2026/11/05
PB - arXiv
DO - 10.48550/arxiv.2611.08033
UR - https://arxiv.org/abs/2611.08033
AB - The square-lattice Ising model is exactly solvable in zero magnetic field, but the scope of exact solutions at nonzero field remains unresolved. We show that, at every fixed dimensionless field H=h/(k_BT)≠ 0, its free energy and magnetization obey no algebraic differential equation in the coupling K=J/(k_BT). This excludes Onsager-type formulas and broad classes of special-function expressions. Previous work left open a countable set of fields with algebraic-integer fugacities. We eliminate these exceptions using Galois conjugation and the large-order growth of droplets of reversed spins. At conjugate fugacities outside the unit circle, nearly square droplets produce coefficient growth incompatible with an algebraic differential equation. We prove that cancellations cannot remove this growth in the full pressure series. The free-energy result also holds for the Lieb lattice and square lattices with equal-length chain decorations and uniform coupling and field. In every dimension d≥2, we additionally resolve fields for which e^−2|H| has a real algebraic conjugate greater than one.
ER -