Skip to content

Bosons are identical particles whose physical state is symmetric under exchange of particle slots. If the slots are permuted, the state vector is unchanged:

U(π)∣Ψ⟩=∣Ψ⟩U(\pi)\lvert\Psi\rangle = \lvert\Psi\rangle

for every permutation π\pi of the identical-particle labels.

This is the bosonic half of the symmetrization postulate. It is not a statement that bosons attract, move together, or must occupy the same state. It is a statement about which vectors in the formal tensor-product space represent physical states of identical bosons.

Helpful background. Symmetrization Postulate defines the exchange rule; Symmetric Wavefunctions explains normalization when orbitals overlap.

For two identical bosons built from a one-particle Hilbert space h\mathcal h, the formal slot-labeled space is

h⊗h.\mathcal h\otimes\mathcal h.

The exchange operator P12P_{12} swaps the two slots. A two-boson state satisfies

P12∣Ψ⟩=∣Ψ⟩.P_{12}\lvert\Psi\rangle = \lvert\Psi\rangle.

In a coordinate-spin representation, write the complete one-particle label as

q=(x,s,…),q=(\mathbf x,s,\ldots),

where the dots indicate any additional internal quantum numbers that are part of the one-particle state. The two-boson wavefunction obeys

Ψ(q1,q2)=Ψ(q2,q1).\Psi(q_1,q_2) = \Psi(q_2,q_1).

The exchange applies to the complete label qq, not only to position. This matters for atoms with internal hyperfine states, photons with polarization and frequency modes, and any situation where internal degrees of freedom distinguish modes.

For NN identical bosons, the physical fixed-particle-number Hilbert space is the symmetric subspace

Sym⁡Nh⊂h⊗N.\operatorname{Sym}^N\mathcal h \subset \mathcal h^{\otimes N}.

Equivalently,

U(π)∣Ψ⟩=∣Ψ⟩for all π∈SN.U(\pi)\lvert\Psi\rangle = \lvert\Psi\rangle \qquad \text{for all }\pi\in S_N.

Let ∣a⟩\lvert a\rangle and ∣b⟩\lvert b\rangle be orthonormal one-particle states. The slot-labeled product

∣a⟩1⊗∣b⟩2\lvert a\rangle_1\otimes\lvert b\rangle_2

does not have definite bosonic exchange symmetry. The symmetric two-boson state with one boson in aa and one in bb is

∣a,b⟩S=12(∣a⟩1∣b⟩2+∣b⟩1∣a⟩2).\lvert a,b\rangle_S = \frac{1}{\sqrt2} \bigl( \lvert a\rangle_1\lvert b\rangle_2 + \lvert b\rangle_1\lvert a\rangle_2 \bigr).

In wavefunction notation this is

ΨS(q1,q2)=12[φa(q1)φb(q2)+φb(q1)φa(q2)].\Psi_S(q_1,q_2) = \frac{1}{\sqrt2} \bigl[ \varphi_a(q_1)\varphi_b(q_2) + \varphi_b(q_1)\varphi_a(q_2) \bigr].

Exchanging q1q_1 and q2q_2 leaves the expression unchanged.

If both bosons occupy the same normalized one-particle state ∣a⟩\lvert a\rangle, the two-boson state is simply

∣a⟩1∣a⟩2.\lvert a\rangle_1\lvert a\rangle_2.

It is already symmetric. Unlike the fermionic antisymmetric combination, it does not vanish.

Bosons can occupy the same complete one-particle state. For NN bosons all in the same normalized mode φ(q)\varphi(q), the fixed-NN wavefunction can be written as

Ψ(q1,…,qN)=∏k=1Nφ(qk).\Psi(q_1,\ldots,q_N) = \prod_{k=1}^{N}\varphi(q_k).

This is symmetric because exchanging any two labels only exchanges two scalar factors in the product.

This possibility underlies Bose–Einstein condensation, photon number states, phonon occupation numbers, and many oscillator-mode descriptions. But the statement is permissive, not compulsory:

  • bosons may occupy the same mode;
  • bosons may occupy different modes;
  • interactions can favor or disfavor particular occupation patterns;
  • the Hamiltonian, boundary conditions, and thermodynamic state determine the actual occupations.

Exchange symmetry determines the allowed state space. Dynamics determines which allowed states are realized.

Because particle labels are not observable, bosonic many-particle states are often described by mode occupations. If {∣φi⟩}\{\lvert\varphi_i\rangle\} is an orthonormal one-particle mode basis, an occupation-number state

∣n1,n2,…⟩B\lvert n_1,n_2,\ldots\rangle_B

means nin_i bosons occupy mode ii. The total particle number is

N=∑ini.N = \sum_i n_i.

For bosons, each nin_i may be any nonnegative integer:

ni∈{0,1,2,…}.n_i\in\{0,1,2,\ldots\}.

For example, the state

∣2a⟩B\lvert2_a\rangle_B

means two bosons in mode aa, while

∣1a,1b⟩B\lvert1_a,1_b\rangle_B

means one boson in mode aa and one in mode bb. In slot language, for orthonormal modes,

∣1a,1b⟩B=12(∣a⟩1∣b⟩2+∣b⟩1∣a⟩2).\lvert1_a,1_b\rangle_B = \frac{1}{\sqrt2} \bigl( \lvert a\rangle_1\lvert b\rangle_2 + \lvert b\rangle_1\lvert a\rangle_2 \bigr).

The full occupation-number construction belongs to Occupation-Number Basis and Bosonic Fock Space. The key point here is that occupation numbers describe modes, not labeled individual particles.

Bosons appear in several related but distinct ways.

Elementary or field quanta. Photons are bosonic excitations of the electromagnetic field. Their natural description is usually in terms of modes and occupation numbers rather than fixed particle labels.

Collective excitations. Phonons are bosonic quasiparticles in the harmonic approximation to lattice vibrations. They are not fundamental particles, but their normal-mode excitations obey bosonic occupation rules within the regime where the quasiparticle description applies.

Composite atoms and molecules. A stable composite object with integer total spin has bosonic exchange statistics in the regime where it can be treated as a single particle. For example, helium-4 atoms in their ground internal state behave as identical bosons, while helium-3 atoms behave as fermions.

Cold atoms and condensates. Dilute gases of bosonic atoms can exhibit Bose–Einstein condensation, where a macroscopic number of atoms occupy the same one-particle mode. Condensation is a dynamical and thermodynamic phenomenon built on top of bosonic exchange symmetry; it is not the definition of a boson.

In the usual relativistic setting, the spin–statistics theorem assigns Bose statistics to integer-spin particles. Nonrelativistic many-body theory takes the exchange sector as input. Composite atoms have the corresponding statistics when they remain well-defined composite particles; this approximation can fail when their constituents or internal structure must be resolved.

Different isotopes are different species. Different hyperfine states of the same isotope are internal states of identical atoms, and the full wavefunction remains symmetric under exchange of complete labels. When those internal states are orthogonal, conserved, and separately detected, treating their populations as distinguishable components can reproduce the relevant measurements. That effective description does not remove exchange symmetry from the full state.

Bosonic symmetry changes state counting and interference. It allows repeated occupation of the same mode and produces enhancement factors in creation-operator language. For a normalized mode aa,

a†∣na⟩=n+1 ∣(n+1)a⟩.a^\dagger\lvert n_a\rangle = \sqrt{n+1}\, \lvert(n+1)_a\rangle.

For a weak transition whose other matrix elements remain fixed, squaring this amplitude gives a rate factor n+1n+1. This is the algebraic origin of Bose enhancement; it is not an attractive potential. The operator derivation belongs to Creation and Annihilation Operators and Bosonic Commutation Relations.

Bosonic symmetry does not by itself specify the force law. Bosons can be noninteracting, repulsive, attractive, confined, free, massive, massless, elementary, or quasiparticle-like depending on the Hamiltonian.

  1. Same-mode normalization. Why is
12(∣a⟩1∣a⟩2+∣a⟩1∣a⟩2)\frac{1}{\sqrt2} \bigl( \lvert a\rangle_1\lvert a\rangle_2 + \lvert a\rangle_1\lvert a\rangle_2 \bigr)

not the normalized two-boson state with both bosons in mode aa?

Solution

The expression equals

2 ∣a⟩1∣a⟩2,\sqrt2\, \lvert a\rangle_1\lvert a\rangle_2,

whose norm is 2\sqrt2, not 11. The normalized same-mode state is simply

∣a⟩1∣a⟩2.\lvert a\rangle_1\lvert a\rangle_2.

The 1/21/\sqrt2 formula applies to two distinct orthonormal modes.

  1. Bosons and forces. Does the symmetric exchange rule imply that bosons attract each other?
Solution

No. Exchange symmetry constrains the allowed state vectors. Forces and interaction energies come from the Hamiltonian. Bosons may be noninteracting, repulsive, attractive, or subject to external confinement depending on the physical model.

  1. Composite examples. Why can helium-4 atoms behave as bosons while helium-3 atoms behave as fermions?
Solution

The exchange statistics of a composite object are determined by its total spin in the regime where it behaves as a single particle with a fixed internal state. Helium-4 atoms in their ground internal state have integer total spin and behave as bosons. Helium-3 atoms have half-integer total spin and behave as fermions.

  • C. Cohen-Tannoudji, B. Diu, and F. Laloë, Quantum Mechanics, Wiley, 1977.
  • A. L. Fetter and J. D. Walecka, Quantum Theory of Many-Particle Systems, Dover, 2003.
  • A. M. L. Messiah and O. W. Greenberg, “Symmetrization Postulate and Its Experimental Foundation”, Physical Review 136, B248–B267 (1964).
  • J. J. Sakurai and J. Napolitano, Modern Quantum Mechanics, 3rd ed., Cambridge University Press, 2020.
  • R. Shankar, Principles of Quantum Mechanics, 2nd ed., Springer, 1994.