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:
For distinguishable particles with one-particle Hilbert spaces , the multiparticle quantum state belongs to
A product of one-particle states gives a product vector, and arbitrary linear combinations give entangled states. A noninteracting Hamiltonian is the sum of one-particle Hamiltonians acting on their respective tensor factors, so product-state energies add.
For two identical particles, the particle exchange operator swaps every degree of freedom. Since , its eigenvalues are . Particles whose allowed total states satisfy
are bosons, while those satisfying
are fermions. Thus bosonic states are symmetric and fermionic states antisymmetric under interchange. The same condition applies to every transposition in a system of more than two identical particles.