← Back to arXiv
arXivProbabilityarXiv:2608.06500

Free energy of Ising models under a spectral condition

The Ising model is a mathematical framework originally developed to describe magnetism, where particles arranged on a network can each point "up" or "down," and neighboring particles influence each other. The overall behavior of such a system is captured by a quantity called the free energy, which encodes how ordered or disordered the system is at a given temperature. Physicists and mathematicians want to understand how the free energy behaves when the underlying network is very large and complicated, and in particular whether the free energy can be predicted just from local, small-scale features of the network rather than requiring knowledge of its full global structure.

The paper addresses this by working with a notion called "left convergence," which tracks whether the frequencies of small subgraph patterns in a sequence of large networks settle down to stable limits. The central result is that, provided the network's connection strengths satisfy a certain technical condition on their spectral properties (roughly, that the interaction strengths are not too wild or concentrated), the free energy of the Ising model depends only on these local subgraph patterns. In other words, if two large networks look statistically similar at a small scale, their free energies will be close. The proof combines a clever way of decomposing the Ising probability distribution into simpler, more tractable pieces with tools from the study of how quickly certain random processes explore a probability landscape.

As concrete payoffs, the authors apply their result to several physically interesting cases. These include spin glasses, where the interaction strengths between particles are random and disordered; antiferromagnets, where neighboring particles prefer to point in opposite directions; and ferromagnets where the total magnetization is held fixed. In all these settings, and specifically on networks that look locally like trees (a common structure in sparse random graphs), the paper establishes new rigorous limit theorems confirming that the free energy density converges in a controlled way as the network grows large.

Read original →