Interactions in a two-dimensional quantum Heisenberg ferromagnet do not change the leading low-temperature pressure, according to a mathematical proof in an arXiv preprint. In plainer terms, the first low-temperature contribution to the model's free energy matches the result from treating spin waves, also called magnons, as free bosons. The theorem is stated for every fixed spin in the stated sequence.
The paper asks a focused question in magnon thermodynamics: can independent-magnon or free-spin-wave thermodynamics give the correct leading free energy in two dimensions even without long-range order? Its benchmark is a free symmetric-boson model, set against an interacting magnon system with an on-site occupation bound. The issue is whether the interaction and the occupation bound alter that leading pressure.
The central result is written as beta^2 S f2(beta,S) approaching -pi/24 as beta grows, for each fixed spin. Beta is inverse temperature, so the limit describes the low-temperature regime. The paper identifies -pi/24 with the free two-dimensional Bose integral. That makes the number a precise free-boson benchmark for the leading coefficient, not a full finite-temperature equality.
The question behind the calculation
The proof works with a free-boundary nearest-neighbour Heisenberg Hamiltonian on finite subsets of the two-dimensional square lattice, using spin-S SU(2) representations. It studies finite-volume traces and then takes a thermodynamic limit for each fixed spin. This is an analytical comparison, with free symmetric bosons as the benchmark rather than an experimental control group.
To make that comparison, the authors impose a high-energy cutoff, extend functions harmonically, and use the min-max principle to compare the remaining interacting eigenvalues with free symmetric-boson eigenvalues. The proof also separates the constant zero-energy mode from the positive modes. That setup puts the estimate on the low-energy Boltzmann weights, the statistical weights assigned to states, that feed into the leading asymptotic.
The machinery under the result
A central estimate controls the collision correction associated with exclusion. For L >= 3 and 1 <= k <= floor(V/2), it gives 0 <= N_{L,k} <= C_tr k^6 log^2(2L) H_{L,k}^2. Here H_{L,k} is the exclusion operator. In plain language, the correction is controlled quadratically by H_{L,k}, with factors involving k^6 and the squared logarithm of the box size. C_tr is finite, but no numerical value is supplied.
The construction also explains why the theorem is stated spin by spin. For fixed spin S, each spin-S degree of freedom is represented by r = 2S auxiliary spin-half fibres. Constant-fibre modes reproduce the base Laplacian. Orthogonal fibre modes have normalized energy at least 2 and physical energy at least 2S when L >= 3. The proof makes no claim that its estimates remain uniform as S tends to infinity.
A number with a rate of approach
The coefficient is pinned down by matching lower and upper pressure bounds. The paper presents its liminf lower bound as the new estimate, while the corresponding limsup upper bound was previously proved. Both carry coefficient -pi/24, which gives the stated limit when the bounds are combined.
The preprint also gives a quantitative rate of approach. For each fixed spin and sufficiently large t = beta S, it bounds the scaled free-energy excess above -pi/24 by C_S t^(-1/27)(log t)^16. The constants C_S and the threshold for sufficiently large t are not numerically specified, and the paper says the exponent is not expected to be optimal. This is a remainder bound for the low-temperature asymptotic, not an exact formula at a selected finite temperature.
What the theorem does not claim
The authors draw a clear boundary around what the proof means. They interpret the result as agreement, at leading order, in the summed Boltzmann weights of low-energy states, and say interactions and the on-site occupation bound do not change the leading pressure. They do not claim magnetic order or a Gibbs state with spontaneous magnetization.
The limits matter. The theorem is for each fixed spin and offers no uniformity as S tends to infinity. Its quantitative proof depends on finite boxes and energy cutoffs, and the result concerns only the leading low-temperature asymptotic rather than an exact finite-temperature formula. The work is a mathematical proof for the lattice model, not an empirical study.
The document is an arXiv version 1 preprint, identified as arXiv:2608.25506v1 in the math-ph category and dated 26 August 2026 in the arXiv line. The supplied front matter lists no funding statement.
Paper data and sources
Original title: Free-Energy Asymptotics of the Two-Dimensional Quantum Heisenberg Ferromagnet
Authors: Andreas Klippel
Journal/Repository: arXiv
Status: Preprint, not yet peer-reviewed
First online: 2026-08-26
DOI: Not available
Original paper · Full text