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.