A quantum Heisenberg ferromagnet is a quantum spin model with isotropic nonnegative exchange couplings. For
a finite set and spin
, 1,
, ..., its Hilbert space
is the tensor product of copies of
indexed by
. The spin operators
act on the factor at
, satisfy the commutator relations
and its cyclic permutations, and have
. Operators
at distinct sites commute. A finite-volume quantum
Hamiltonian is
where ,
,
and
is an external field. The model is distinct from the classical continuum Heisenberg
ferromagnet equation.
Bloch's law (Bloch 1930) predicts a leading magnetization deficit proportional to
in three dimensions.