Bosons

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(\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.

Symmetric Exchange Rule

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

$$\mathcal h\otimes\mathcal h.$$

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

$$P_{12}\lvert\Psi\rangle = \lvert\Psi\rangle.$$

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

$$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

$$\Psi(q_1,q_2) = \Psi(q_2,q_1).$$

The exchange applies to the complete label $q$, 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 $N$ identical bosons, the physical fixed-particle-number Hilbert space is the symmetric subspace

$$\operatorname{Sym}^N\mathcal h \subset \mathcal h^{\otimes N}.$$

Equivalently,

$$U(\pi)\lvert\Psi\rangle = \lvert\Psi\rangle \qquad \text{for all }\pi\in S_N.$$

Two-Boson Examples

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

$$\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 $a$ and one in $b$ is

$$\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

$$\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 $q_1$ and $q_2$ leaves the expression unchanged.

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

$$\lvert a\rangle_1\lvert a\rangle_2.$$

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

Multiple Bosons in the Same State

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

$$\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.

Occupation-Number Preview

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

$$\lvert n_1,n_2,\ldots\rangle_B$$

means $n_i$ bosons occupy mode $i$. The total particle number is

$$N = \sum_i n_i.$$

For bosons, each $n_i$ may be any nonnegative integer:

$$n_i\in\{0,1,2,\ldots\}.$$

For example, the state

$$\lvert2_a\rangle_B$$

means two bosons in mode $a$, while

$$\lvert1_a,1_b\rangle_B$$

means one boson in mode $a$ and one in mode $b$. In slot language, for orthonormal modes,

$$\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.

Examples of Bosonic Systems

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 composite object can behave as a boson when its total spin is integer and the relevant internal state is fixed. 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.

Bosons and Spin

In relativistic quantum field theory, the spin-statistics theorem relates integer spin to bosonic statistics and half-integer spin to fermionic statistics under standard assumptions. Ordinary nonrelativistic quantum mechanics uses that result as input when assigning a species to the bosonic or fermionic sector.

Thus:

• photons are spin-$1$ bosons;
• many nuclei or atoms with integer total spin behave as bosons;
• helium-4 atoms are bosonic in the usual low-energy atomic description;
• integer spin by itself is not a substitute for checking whether the particles are the same species in the same relevant internal state.

Two atoms of different isotopes, or two atoms in distinguishable internal states that remain tagged by the experiment, are not described as identical bosons occupying a single symmetric sector.

Physical Consequences

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 $a$,

$$a^\dagger\lvert n_a\rangle = \sqrt{n+1}\, \lvert(n+1)_a\rangle.$$

The factor $\sqrt{n+1}$ is the algebraic origin of many Bose-enhancement statements. 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.

Common Mistakes

• Thinking bosons must all occupy the same state.
• Thinking bosonic symmetry is an attractive force.
• Treating particle labels as observable identities.
• Forgetting that exchange acts on complete one-particle labels, including spin and internal states.
• Calling any integer-spin object a boson without specifying the species and internal state.
• Confusing photon or phonon occupation numbers with classical waves.
• Using the two-distinct-mode normalization formula when both modes are the same.
• Assuming that bosonic occupation notation is optional bookkeeping rather than the natural language for many-boson states.

Cross-Links

• Indistinguishability
• Symmetrization Postulate
• Symmetric Group
• Fermions
• Exchange Operators
• Permanents
• Symmetric and Antisymmetric Wavefunctions
• Pauli Exclusion Principle
• Identical-Particle Entanglement Cautions
• Occupation-Number Basis
• Bosonic Fock Space
• Number States
• Creation and Annihilation Operators
• Bosonic Commutation Relations
• Bose–Einstein Statistics
• Reference Bridge: Second Quantization

References

• A. 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.
• C. Cohen-Tannoudji, B. Diu, and F. Laloe, Quantum Mechanics, Wiley, 1977.
• A. L. Fetter and J. D. Walecka, Quantum Theory of Many-Particle Systems, Dover, 2003.

Exercises

1. Exchange check. Verify that

$$\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)$$

is symmetric under $P_{12}$.

Solution

Applying $P_{12}$ swaps the slots:

$$P_{12}\lvert a,b\rangle_S = \frac{1}{\sqrt2} \bigl( \lvert b\rangle_1\lvert a\rangle_2 + \lvert a\rangle_1\lvert b\rangle_2 \bigr).$$

The two terms are the same terms in the opposite order, so

$$P_{12}\lvert a,b\rangle_S = \lvert a,b\rangle_S.$$

2. Same-mode normalization. Why is

$$\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 $a$?

Solution

The expression equals

$$\sqrt2\, \lvert a\rangle_1\lvert a\rangle_2,$$

whose norm is $\sqrt2$, not $1$. The normalized same-mode state is simply

$$\lvert a\rangle_1\lvert a\rangle_2.$$

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

3. Many bosons in one mode. Show that

$$\Psi(q_1,\ldots,q_N) = \prod_{k=1}^{N}\varphi(q_k)$$

is symmetric under exchange of any two slots.

Solution

Exchanging slots $i$ and $j$ changes the product to

$$\varphi(q_1)\cdots \varphi(q_j)\cdots \varphi(q_i)\cdots \varphi(q_N).$$

The factors are ordinary complex numbers, so their order in the product does not matter. The wavefunction is unchanged.

4. Occupation-number translation. Write the slot-language state for two bosons occupying two distinct orthonormal modes $a$ and $b$.

Solution

The occupation state $\lvert1_a,1_b\rangle_B$ corresponds to

$$\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 labels $1$ and $2$ are slots, not observable particle identities.

5. 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.

6. 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.