Validity of the spin-wave approximation for the free energy of the Heisenberg ferromagnet

Abstract

We consider the quantum ferromagnetic Heisenberg model in three dimensions, for all spins $S\ge 1/2$. We rigorously prove the validity of the spin-wave approximation for the excitation spectrum, at the level of the first non-trivial contribution to the free energy at low temperatures. Our proof comes with explicit, constructive upper and lower bounds on the error term. It uses in an essential way the bosonic formulation of the model in terms of the Holstein-Primakoff representation. In this language, the model describes interacting bosons with a hard-core on-site repulsion and a nearest-neighbor attraction. This attractive interaction makes the lower bound on the free energy particularly tricky: the key idea there is to prove a differential inequality for the two-particle density, which is thereby shown to be smaller than the probability density of a suitably weighted two-particle random process on the lattice.

LaTeX, 30 pages; published version

References in corpus (2)

• The Free Energy of the Quantum Heisenberg Ferromagnet at Large Spin
• Validity of spin wave theory for the quantum Heisenberg model

Cited by in corpus (10)

• Optimal Upper Bound for the Correlation Energy of a Fermi Gas in the Mean-Field Regime
• Correlation Energy of a Weakly Interacting Fermi Gas
• Correlation Energy of a Weakly Interacting Fermi Gas with Large Interaction Potential
• Computing spectral bounds of the Heisenberg ferromagnet from geometric considerations
• Interaction Corrections to Spin-Wave Theory in the Large-S Limit of the Quantum Heisenberg Ferromagnet
• Bosonic Collective Excitations in Fermi Gases
• Bosonization of Fermionic Many-Body Dynamics
• Free energy asymptotics of the quantum Heisenberg spin chain
• A primer on Kitaev Model: Basic aspects, material realization, and recent experiments
• Effective Dynamics of Interacting Fermions from Semiclassical Theory to the Random Phase Approximation