The spin raising operator and spin lowering operator are
The angular momentum commutation relations imply
so is proportional to . Since
its squared norm is
Choosing the conventional positive phase gives
Using the spin ladder operators,
and therefore
In the ordered product basis of the tensor product of quantum systems
the matrix representation is
The two parallel-spin states are already eigenvectors. Diagonalizing the central block gives the four energy eigenvalues
This is the spectrum of the Two-spin Heisenberg Hamiltonian in an opposing longitudinal field.
The asserted ground-state ordering requires the antiferromagnetic case . As ,
The corresponding state at is the unique spin-one-half singlet state
whereas the three states at the first excited energy form the spin-one-half triplet state.
Indeed, for the total angular momentum operator
one has at
The Hamiltonian then has rotational symmetry, so energy depends only on the total-spin sector. The singlet has total spin and multiplicity one; the triplet has and multiplicity . This rotational symmetry explains why the triplet energy eigenspace has dimension three.
A boson is an identical particle whose total multiparticle quantum state is symmetric under exchange of any two particles, whereas a fermion has a total state that is antisymmetric under every exchange. The Spin-statistics theorem associates integer spin with bosons and half-integer spin with fermions.
For three distinguishable spin-one particles, the spin Hilbert space has dimension
Let
be the total angular momentum operator. Since each particle has
we have
The Hamiltonian operator is consequently
On the total-spin sector with quantum number , its energy eigenvalue is
The Clebsch-Gordan decomposition may be performed by first coupling particles and . Their intermediate spin is , and coupling the third spin gives
Thus the three spin-one angular-momentum decomposition contains total spin with multiplicities . Multiplying each multiplicity by the multiplet dimension gives
The degeneracies sum to , as required.
When the particles are indistinguishable, their integer spin makes them bosons. Their common spatial wavefunction is symmetric, so their spin wavefunction must also lie in the symmetric three-spin-one subspace. Its decomposition is
Hence only the and levels remain, now with one copy of each multiplet: