Identical Particles and Exchange Symmetry

Identical quantum particles are not distinguishable particles whose names have been forgotten. The labels used in a first-quantized tensor product are bookkeeping slots, while physical observables and states must respect the fact that no measurement can identify a persistent “particle 1” separately from “particle 2.”

For ordinary bosons and fermions, the allowed state space is not the whole slot-labeled tensor product. It is a symmetry sector:

$$\begin{aligned} \mathcal H_N^{\mathrm{bos}} &= \operatorname{Sym}^N\mathcal h, \\ \mathcal H_N^{\mathrm{fer}} &= \bigwedge^N\mathcal h, \end{aligned}$$

where $\mathcal h$ is the one-particle Hilbert space, including every relevant degree of freedom.

The chapter’s logical order is

$$\begin{gathered} \text{indistinguishability} \\ \downarrow \\ \text{permutation operators} \\ \downarrow \\ \text{symmetric or antisymmetric sector} \\ \downarrow \\ \text{wavefunctions and occupation numbers}. \end{gathered}$$

Chapter Map

Task	Canonical page	Main output
understand why labels are not identities	Indistinguishability	physical meaning of slot labels and exchange-invariant observables
state the boson/fermion sector rule	Symmetrization Postulate	symmetric and antisymmetric physical state spaces
develop symmetric many-particle states	Bosons	repeated occupation and symmetric exchange behavior
develop antisymmetric many-particle states	Fermions	antisymmetry and at-most-one occupation per one-particle state
derive the exclusion rule	Pauli Exclusion Principle	vanishing of repeated fermionic one-particle states
calculate with permutations	Exchange Operators	transpositions, projectors, permutation groups, and observables
construct coordinate-space states	Symmetric and Antisymmetric Wavefunctions	explicit two-particle forms and normalization
represent fermionic products	Slater Determinants	compact antisymmetric $N$-fermion states
represent bosonic products	Permanents	symmetric sums and occupation-dependent normalization
combine exchange with spin	Spin and Spatial Wavefunctions	singlet/triplet pairing and total exchange symmetry
avoid false entanglement claims	Identical-Particle Entanglement Cautions	operational modes, regions, and accessible algebras

Slot Labels Are Bookkeeping

Start with an auxiliary tensor product $\mathcal h_1\otimes\mathcal h_2$. The subscripts label tensor slots, not observable permanent identities. For one-particle states $\lvert a\rangle$ and $\lvert b\rangle$, the exchange operator acts by

$$P_{12} \left( \lvert a\rangle_1\otimes\lvert b\rangle_2 \right) = \lvert b\rangle_1\otimes\lvert a\rangle_2.$$

It satisfies

$$P_{12}^\dagger=P_{12}, \qquad P_{12}^2=I,$$

so its eigenvalues are $+1$ and $-1$. The corresponding projectors are

$$\Pi_+ = \frac{I+P_{12}}{2}, \qquad \Pi_- = \frac{I-P_{12}}{2}.$$

The symmetric and antisymmetric subspaces are the ranges of $\Pi_+$ and $\Pi_-$. A slot exchange changes the mathematical ordering of one-particle factors; it is not a spatial reflection, rotation, or physical trajectory in which labeled particles are watched as they pass one another.

The Symmetrization Postulate

For ordinary identical particles in three spatial dimensions, nonrelativistic quantum mechanics uses the sector assignment

$$\begin{aligned} U(\pi)\lvert\Psi_{\mathrm{bos}}\rangle &= \lvert\Psi_{\mathrm{bos}}\rangle, \\ U(\pi)\lvert\Psi_{\mathrm{fer}}\rangle &= \operatorname{sgn}(\pi) \lvert\Psi_{\mathrm{fer}}\rangle \end{aligned}$$

for every permutation $\pi\in S_N$.

Bosons occupy the fully symmetric sector. Fermions occupy the fully antisymmetric sector. The connection between integer spin and bosons, and half-integer spin and fermions, is the spin–statistics theorem of relativistic quantum field theory; it is not derived from the postulates of nonrelativistic quantum mechanics alone.

In two spatial dimensions, braid statistics and anyons enlarge the possibilities. Those systems do not invalidate the boson/fermion construction here; they require a different topological setting and are outside this chapter’s scope.

Many-Particle Projectors

For $N$ slots, let $U(\pi)$ permute the tensor factors according to $\pi\in S_N$. The bosonic and fermionic projectors are

$$\begin{aligned} \mathcal S_N &= \frac{1}{N!} \sum_{\pi\in S_N}U(\pi), \\ \mathcal A_N &= \frac{1}{N!} \sum_{\pi\in S_N} \operatorname{sgn}(\pi)U(\pi). \end{aligned}$$

They obey

$$\begin{aligned} \mathcal S_N^2=\mathcal S_N, \qquad \mathcal A_N^2=\mathcal A_N, \\ \mathcal S_N\mathcal A_N=0. \end{aligned}$$

Applying a projector to a slot product produces an unnormalized physical-sector vector. Its norm must be checked. The prefactor $1/N!$ makes $\mathcal S_N$ and $\mathcal A_N$ projectors; it is not automatically the normalization constant of every projected vector.

Two-Particle Wavefunctions

Let $\phi_a$ and $\phi_b$ be normalized one-particle wavefunctions, and define their overlap

$$s=\langle\phi_a|\phi_b\rangle.$$

Write $F_{ab}(x_1,x_2)=\phi_a(x_1)\phi_b(x_2)$ and let $F_{ba}$ denote the exchanged product. The normalized symmetric and antisymmetric two-slot wavefunctions are

$$\Psi_\pm(x_1,x_2) = \frac{F_{ab}\pm F_{ba}} {\sqrt{2(1\pm|s|^2)}}.$$

The antisymmetric formula requires $|s|<1$. If $\phi_a=\phi_b$, its numerator vanishes: two identical fermions cannot occupy the same complete one-particle state.

For orthogonal orbitals, $s=0$ and both denominators reduce to $\sqrt2$. The general normalization is important when localized or variational orbitals overlap.

Bosons and Fermions

The exchange rule has immediate structural consequences.

Property	Bosons	Fermions
exchange eigenvalue	$+1$	$-1$
physical sector	symmetric tensor power	exterior power
repeated complete one-particle state	allowed	forbidden
mode occupation	$0,1,2,\ldots$	$0$ or $1$
compact first-quantized form	symmetrized product or permanent	Slater determinant

Bosonic symmetry permits many particles to occupy the same mode. Fermionic antisymmetry produces Pauli exclusion. Neither statement says that bosons must occupy one mode or that fermions must remain spatially far apart; the rule concerns complete one-particle states and total exchange symmetry.

Examples depend on the effective theory. Photons and phonons are bosonic excitations. Electrons, protons, and neutrons are fermions. Composite particles can behave as bosons or fermions in regimes where their internal structure is unresolved, according to their total spin and the validity of the effective-particle description.

Pauli Exclusion from Antisymmetry

For two fermions placed in the same one-particle state $\lvert a\rangle$,

$$\begin{aligned} \mathcal A_2 \left( \lvert a\rangle_1\lvert a\rangle_2 \right) &= \frac12 \lvert a\rangle_1\lvert a\rangle_2 \\ &\quad- \frac12 \lvert a\rangle_1\lvert a\rangle_2 \\ &=0. \end{aligned}$$

The forbidden duplication is a complete spin-orbital, not merely a spatial orbital. Two electrons may occupy the same spatial orbital when their spin states differ and the total two-electron state is antisymmetric.

Atomic shell structure, degeneracy pressure, and the stability of bulk matter involve dynamics and many-body analysis in addition to exclusion. Pauli exclusion is essential, but it is not by itself a full derivation of those phenomena.

Slater Determinants

For orthonormal spin-orbitals $\chi_1,\ldots,\chi_N$, an antisymmetric $N$-fermion state is

$$\Psi_F(\xi_1,\ldots,\xi_N) = \frac{1}{\sqrt{N!}} \det\!\left[ \chi_j(\xi_i) \right]_{i,j=1}^{N}.$$

Exchanging two particle coordinates swaps two rows and changes the sign. Repeating a spin-orbital duplicates two columns and makes the determinant vanish.

A single Slater determinant is the simplest antisymmetric state, not the most general fermionic state. Correlated fermionic states generally require linear combinations of determinants or more sophisticated many-body representations. Full Hartree–Fock and configuration-interaction methods belong elsewhere; Slater Determinants owns the construction used here.

Permanents and Bosonic Symmetrization

Replacing the determinant’s signed sum by an unsigned sum gives a permanent:

$$\operatorname{perm}M = \sum_{\pi\in S_N} \prod_{i=1}^{N}M_{i,\pi(i)}.$$

Permanents build symmetric many-boson wavefunctions, but their normalization depends on orbital overlaps and repeated occupations. For orthonormal modes with occupation numbers $n_r$, the normalized symmetrized state carries the combinatorial factor associated with $N!/(\prod_r n_r!)$ distinct slot arrangements.

Occupation-number notation is usually more efficient:

$$\lvert n_1,n_2,\ldots\rangle, \qquad \sum_r n_r=N.$$

The Permanents page develops the first-quantized form; Occupation-Number Basis provides the practical bridge to Fock space.

Spin and Spatial Symmetry

Exchange acts on every degree of freedom. For two identical particles whose state factorizes into spatial and spin parts,

$$\Psi_{\mathrm{total}} = \psi_{\mathrm{space}} \chi_{\mathrm{spin}},$$

the product of the two exchange parities must equal the required total parity.

For two spin-$1/2$ fermions:

Spin sector	Spin exchange symmetry	Required spatial symmetry
singlet	antisymmetric	symmetric
triplet	symmetric	antisymmetric

Thus two electrons in the same symmetric spatial orbital must form a spin singlet. A triplet requires an antisymmetric spatial factor and therefore vanishes when both complete spatial factors are identical.

This rule applies to the total state, not separately to whichever part is most convenient. If spin and space do not factorize, exchange symmetry must be imposed on the combined spin-position wavefunction directly.

Physical Observables Respect Exchange

For identical particles, physical observables cannot depend on arbitrary slot naming. They commute with the permutation representation:

$$[O,U(\pi)]=0 \qquad \text{for every }\pi\in S_N.$$

An exchange-invariant Hamiltonian preserves the bosonic and fermionic sectors. A one-body operator is lifted symmetrically as

$$O^{(1)} = \sum_{i=1}^{N}o(i),$$

and a two-body interaction typically appears as

$$V^{(2)} = \sum_{i<j}v(i,j).$$

The terms use slots in the calculation, but the sums do not privilege an observable particle identity.

Exchange effects are not an additional fundamental force. Symmetry changes the allowed state space and therefore alters probabilities, densities, and interaction expectation values. “Exchange energy” in atomic and condensed-matter calculations arises from this state structure together with the Hamiltonian, not from a new pair potential carried by an exchange particle.

Identical Particles and Entanglement

A symmetrized or antisymmetrized slot expression is usually nonfactorized in the artificial labels $1,2,\ldots$. That fact alone does not establish operationally useful entanglement between physically addressable particles.

To make an entanglement claim, specify subsystems tied to available operations. Common choices include:

• spatial regions controlled by separated laboratories;
• orthogonal field modes;
• internal degrees of freedom associated with resolvable modes;
• subalgebras of accessible observables.

For example, one boson in each of two separated modes can support operational mode entanglement, while the mere symmetrization required to write the state in slot coordinates does not automatically do so.

Particle entanglement, mode entanglement, Slater rank, and correlations relative to an observable algebra are related but not interchangeable notions. Identical-Particle Entanglement Cautions is the canonical home for this boundary.

Effective Distinguishability

Identical particles can become effectively addressable when they occupy well-separated, orthogonal modes and available operations preserve those mode labels. One may then speak approximately of “the particle in the left trap” and “the particle in the right trap.”

The distinguishability belongs to the modes or experimental records, not to hidden persistent particle identities. If wavepackets overlap or particles tunnel between modes, the approximation must be reassessed.

Bridge to Fock Space

First-quantized symmetrization becomes cumbersome as $N$ grows. Fock space incorporates exchange symmetry into the occupation-number basis from the start:

$$\mathcal F_\pm(\mathcal h) = \bigoplus_{N=0}^{\infty} \mathcal H_N^{\pm}.$$

Bosonic creation operators automatically generate symmetric states. Fermionic creation operators anticommute and automatically generate antisymmetric states, including the vanishing of repeated mode occupation.

The conceptual order remains important: occupation numbers do not replace the symmetrization principle; they encode it more efficiently.

An Analysis Protocol

1. Define the one-particle Hilbert space

Include position, spin, internal state, band, or other degrees of freedom needed to specify a complete one-particle state.

2. Identify the statistics and dimensional setting

State whether the effective particles are bosons or fermions and whether ordinary permutation statistics apply.

3. Choose a representation

Use exchange projectors or coordinate wavefunctions for conceptual two-particle work, determinants for fermionic orbital calculations, permanents for explicit bosonic symmetrization, and occupation numbers for scalable many-body calculations.

4. Check total exchange symmetry

Exchange all degrees of freedom together. Verify symmetry or antisymmetry under generators of the permutation group.

5. Interpret observables operationally

Use exchange-invariant observables and identify physical modes, regions, or algebras before discussing entanglement or addressability.

Common Mistakes

• Treating identical particles as classically labeled objects with unknown names. Slot labels are not hidden identities.
• Exchanging only spatial coordinates when spin is present. Exchange acts on the complete one-particle state.
• Using $1/\sqrt2$ for nonorthogonal two-particle orbitals. The overlap changes normalization.
• Saying two fermions cannot share a spatial orbital. They cannot share the same complete spin-orbital.
• Calling a single determinant the general fermionic state. Correlated states require superpositions or other representations.
• Assuming a permanent always carries $1/\sqrt{N!}$. Repeated occupations and overlaps alter normalization.
• Calling exchange an extra force. Exchange effects arise from state-space symmetry and the Hamiltonian.
• Inferring operational entanglement from slot nonfactorization. Physical subsystem access must be specified.
• Claiming nonrelativistic quantum mechanics proves spin–statistics. The theorem’s derivation is relativistic.

Reading Paths

Conceptual core: Indistinguishability → Exchange Operators → Symmetrization Postulate.

Boson and fermion comparison: Bosons → Fermions → Pauli Exclusion Principle.

Wavefunction construction: Symmetric and Antisymmetric Wavefunctions → Slater Determinants → Permanents.

Spin and interpretation: Spin and Spatial Wavefunctions → Singlet and Triplet States → Identical-Particle Entanglement Cautions.

Many-body bridge: Fock Space and Occupation Number → Occupation-Number Basis → Bosonic Fock Space or Fermionic Fock Space → Creation, Annihilation, and Second Quantization.

Thermodynamic consequences: Quantum Statistics Overview compares the Bose, Fermi, and dilute Maxwell–Boltzmann regimes while keeping exchange kinematics separate from equilibrium probability laws.

Statistical limit: Classical Limit of Quantum Statistics explains why exchange corrections can become small without changing the underlying Bose or Fermi symmetry.

References

• A. Messiah, Quantum Mechanics, vol. II, North-Holland, 1962.
• L. D. Landau and E. M. Lifshitz, Quantum Mechanics: Non-Relativistic Theory, 3rd ed., Pergamon, 1977.
• J. J. Sakurai and J. Napolitano, Modern Quantum Mechanics, 3rd ed., Cambridge University Press, 2020.
• A. L. Fetter and J. D. Walecka, Quantum Theory of Many-Particle Systems, Dover, 2003.
• A. J. Coleman, “Structure of Fermion Density Matrices,” Reviews of Modern Physics 35, 668–686, 1963.
• J. Schliemann, D. Loss, and A. H. MacDonald, “Double-Occupancy Errors, Adiabaticity, and Entanglement of Spin Qubits in Quantum Dots,” Physical Review B 63, 085311, 2001.
• P. Zanardi, “Quantum Entanglement in Fermionic Lattices,” Physical Review A 65, 042101, 2002.
• H. M. Wiseman and J. A. Vaccaro, “Entanglement of Indistinguishable Particles Shared between Two Parties,” Physical Review Letters 91, 097902, 2003.

Exercises

Exercise 1: Exchange projectors

Show that

$$\Pi_\pm = \frac{I\pm P_{12}}{2}$$

are orthogonal projectors when $P_{12}^2=I$ and $P_{12}^\dagger=P_{12}$.

Solution

Hermiticity follows directly from $P_{12}^\dagger=P_{12}$. Idempotence gives

$$\begin{aligned} \Pi_\pm^2 &= \frac14 \left( I\pm2P_{12}+P_{12}^2 \right) \\ &= \frac12(I\pm P_{12}) = \Pi_\pm. \end{aligned}$$

Their product is

$$\Pi_+\Pi_- = \frac14(I+P_{12})(I-P_{12}) =0.$$

Thus they project onto orthogonal exchange-eigenvalue sectors.

Exercise 2: Overlap-dependent normalization

Let $\phi_a$ and $\phi_b$ be normalized with overlap $s$. Verify that

$$\left\| \phi_a\otimes\phi_b \pm \phi_b\otimes\phi_a \right\|^2 = 2(1\pm|s|^2).$$

Solution

The two diagonal inner products each equal one. The cross terms are

$$\begin{aligned} &\langle\phi_a|\phi_b\rangle \langle\phi_b|\phi_a\rangle \\ &\qquad= s s^* = |s|^2, \end{aligned}$$

and there are two of them. Adding them for the symmetric vector or subtracting them for the antisymmetric vector gives $2(1\pm|s|^2)$.

Exercise 3: Pauli exclusion in determinant form

Why does a Slater determinant vanish if two occupied spin-orbitals are identical?

Solution

Each occupied spin-orbital labels a column of the determinant. If two spin-orbitals are identical, two columns are equal. A determinant with repeated columns is zero.

Equivalently, antisymmetrizing a slot product with two identical one-particle factors pairs every permutation term with a sign-reversed equal term. The entire vector cancels.

Exercise 4: Spin and spatial pairing

Two electrons have a symmetric spatial wavefunction. Which total-spin sector is allowed, and why?

Solution

The complete two-electron state must be antisymmetric. A symmetric spatial factor therefore requires an antisymmetric spin factor. For two spin-$1/2$ particles, the antisymmetric spin state is the singlet

$$\lvert S=0,M=0\rangle = \frac{ \lvert\uparrow\downarrow\rangle - \lvert\downarrow\uparrow\rangle }{\sqrt2}.$$

The triplet states are symmetric in spin and would make the total state symmetric when multiplied by the assumed symmetric spatial factor.

Exercise 5: Operational subsystems

Two identical particles occupy orthogonal modes $L$ and $R$. Explain why the modes can define an operational bipartition even though slot labels cannot.

Solution

The modes can correspond to separately controlled traps, paths, or spatial regions with distinct local observable algebras. Operations and measurements can therefore be assigned to the $L$ and $R$ laboratories, making mode occupation a physical subsystem structure.

Slot labels merely order factors before symmetrization and cannot be addressed by an exchange-invariant measurement. Entanglement between $L$ and $R$ must still be evaluated using the allowed local operations and any particle-number superselection constraints; it does not follow from symmetrization alone.