2.4.15Thermodynamics & Statistical Mechanics (Advanced)

Quantum statistics — distinguishable vs indistinguishable particles

1,998 words9 min readdifficulty · medium

WHAT are we even asking?

WHY does indistinguishability arise? Because the probability density ψ2|\psi|^2 must be unchanged when we swap two identical particles. That forces the wavefunction to be either symmetric (++, bosons) or antisymmetric (-, fermions) under exchange.


HOW the wavefunction encodes it (derive from scratch)

Take two particles in single-particle states aa and bb. Let P^\hat{P} swap particle 1 and 2.

Step 1 — physical requirement. Swapping identical particles can't change any measurable thing: ψ(1,2)2=ψ(2,1)2.|\psi(1,2)|^2 = |\psi(2,1)|^2. Why this step? Probability density is the only observable about position; identical particles must give identical predictions.

Step 2 — solve it. That means ψ(2,1)=eiϕψ(1,2)\psi(2,1) = e^{i\phi}\psi(1,2). Swap twice → back to start, so e2iϕ=1eiϕ=±1e^{2i\phi}=1 \Rightarrow e^{i\phi}=\pm1. Why this step? Two swaps is the identity operation, P^2=1\hat P^2 = \mathbb{1}.

Step 3 — build the states. ψ±=12[ψa(1)ψb(2)±ψa(2)ψb(1)].\psi_\pm = \frac{1}{\sqrt2}\big[\psi_a(1)\psi_b(2) \pm \psi_a(2)\psi_b(1)\big]. ++symmetric (bosons), -antisymmetric (fermions). Why this step? These are the only combinations of the product states obeying ψ(2,1)=±ψ(1,2)\psi(2,1)=\pm\psi(1,2).

Step 4 — Pauli exclusion falls out for free. Set a=ba=b in the antisymmetric case: ψ=12[ψa(1)ψa(2)ψa(2)ψa(1)]=0.\psi_- = \frac{1}{\sqrt2}[\psi_a(1)\psi_a(2) - \psi_a(2)\psi_a(1)] = 0. Why this step? A state that is zero everywhere has zero probability — two fermions cannot occupy the same single-particle state.


The counting that defines the statistics

Imagine 2 particles going into 3 single-particle states (boxes). Count the allowed microstates.

Figure — Quantum statistics — distinguishable vs indistinguishable particles

The occupation-number distributions (derive the key results)

Use the grand canonical ensemble: each single-particle level of energy ε\varepsilon exchanges particles with a reservoir at temperature TT, chemical potential μ\mu. Let β=1/kBT\beta = 1/k_BT. The grand partition function for one level is a sum over its occupation nn: Z=neβ(εμ)n.\mathcal Z = \sum_n e^{-\beta(\varepsilon-\mu)n}. Why this step? Levels are independent, so we treat one level and sum/multiply later. The Boltzmann factor weights each occupation by its energy and particle number.

The mean occupation is n=nneβ(εμ)nneβ(εμ)n=1βμlnZ (equivalently).\langle n\rangle = \frac{\sum_n n\,e^{-\beta(\varepsilon-\mu)n}}{\sum_n e^{-\beta(\varepsilon-\mu)n}} = -\frac{1}{\beta}\frac{\partial}{\partial\mu}\ln\mathcal Z \ \text{(equivalently)}.

Fermions: n{0,1}n\in\{0,1\}. Z=1+eβ(εμ),n=eβ(εμ)1+eβ(εμ).\mathcal Z = 1 + e^{-\beta(\varepsilon-\mu)},\qquad \langle n\rangle = \frac{e^{-\beta(\varepsilon-\mu)}}{1+e^{-\beta(\varepsilon-\mu)}}.

Bosons: n{0,1,2,}n\in\{0,1,2,\dots\}, a geometric series (needs ε>μ\varepsilon>\mu): Z=n=0eβ(εμ)n=11eβ(εμ).\mathcal Z = \sum_{n=0}^\infty e^{-\beta(\varepsilon-\mu)n} = \frac{1}{1-e^{-\beta(\varepsilon-\mu)}}. n=eβ(εμ)1eβ(εμ).\langle n\rangle = \frac{e^{-\beta(\varepsilon-\mu)}}{1-e^{-\beta(\varepsilon-\mu)}}.

One-line unifier: n=1eβ(εμ)+a\displaystyle \langle n\rangle = \frac{1}{e^{\beta(\varepsilon-\mu)}+a}, with a=+1a=+1 (Fermi), a=1a=-1 (Bose), a=0a=0 (classical).


The Gibbs 1/N!1/N! patch (why classical counting was wrong)


Common mistakes (Steel-man + fix)


Recall Feynman: explain to a 12-year-old

Imagine sorting marbles into cups.

  • Labeled marbles (distinguishable): a red marble in cup 1 and blue in cup 2 is different from blue in cup 1, red in cup 2. Lots of arrangements.
  • Identical clear marbles, friendly (bosons): you can't tell them apart, AND they're happy to pile in the same cup. Fewer arrangements, and they love to crowd together.
  • Identical clear marbles, grumpy (fermions): can't tell apart, AND only one allowed per cup. Even fewer arrangements. Because the number of arrangements sets the odds, grumpy marbles spread out (that's why atoms have shells) and friendly marbles bunch up (that's why lasers and ultracold blobs work). The whole trick is just how you count.

Flashcards

Why are identical quantum particles indistinguishable?
Because ψ2|\psi|^2 must be invariant under particle exchange, forcing ψ(2,1)=±ψ(1,2)\psi(2,1)=\pm\psi(1,2); there is no in-principle label.
What two symmetry classes does exchange (P^2=1\hat P^2=1) allow?
Symmetric (++, bosons, integer spin) and antisymmetric (-, fermions, half-integer spin).
Derive Pauli exclusion.
Set a=ba=b in ψ=12[ψa(1)ψb(2)ψa(2)ψb(1)]\psi_-=\frac{1}{\sqrt2}[\psi_a(1)\psi_b(2)-\psi_a(2)\psi_b(1)]ψ=0\psi_-=0, so two fermions can't share a state.
2 particles in 3 states: count for distinguishable / bosons / fermions.
99 / 66 / 33.
Fermi–Dirac mean occupation?
n=1eβ(εμ)+1\langle n\rangle=\dfrac{1}{e^{\beta(\varepsilon-\mu)}+1}.
Bose–Einstein mean occupation?
n=1eβ(εμ)1\langle n\rangle=\dfrac{1}{e^{\beta(\varepsilon-\mu)}-1}.
Classical (MB) occupation and when it's valid?
n=eβ(εμ)\langle n\rangle=e^{-\beta(\varepsilon-\mu)}, valid when eβ(εμ)1e^{\beta(\varepsilon-\mu)}\gg1 (dilute / hot / low density).
Why +1+1 vs 1-1 in the denominators?
+1+1 from the finite sum n=0,1n=0,1 (exclusion); 1-1 from the infinite geometric series neβ(εμ)n\sum_n e^{-\beta(\varepsilon-\mu)n}.
Constraint on boson chemical potential?
μ<εmin\mu<\varepsilon_{min} so all n0\langle n\rangle\ge0; equality triggers Bose–Einstein condensation.
Why divide classical ZNZ_N by N!N!?
To undo over-counting of relabelings of indistinguishable particles; restores extensivity and resolves the Gibbs paradox.
Is Pauli exclusion a force?
No — it's a consequence of wavefunction antisymmetry (a statistical/counting constraint), not a potential.

Connections

Concept Map

forbids labels

requires

solve with P^2=1

plus sign

minus sign

integer spin

half-integer spin

set a=b gives psi=0

changes microstate count

vs classical labels

different physics

Particles identical in QM

Indistinguishability

|psi|^2 unchanged under swap

psi 2,1 = +/- psi 1,2

Symmetric wavefunction — Bosons

Antisymmetric wavefunction — Fermions

Bose–Einstein statistics

Fermi–Dirac statistics

Pauli exclusion

Counting of microstates

Maxwell–Boltzmann counting

Lasers, white dwarfs, superconductors

Hinglish (regional understanding)

Intuition Hinglish mein samjho

Dekho, classical physics me har particle pe ek naam likha hota hai — "ye particle A hai, ye B hai." Lekin quantum me do electrons bilkul identical hote hain, koi tag nahi laga sakte, even theory me bhi nahi. Iska physical reason simple hai: jo cheez hum measure karte hain woh hai ψ2|\psi|^2, aur particles swap karne pe ye change nahi hona chahiye. Isse nikalta hai ki wavefunction ya to symmetric hoti hai (bosons, integer spin) ya antisymmetric (fermions, half-integer spin). Antisymmetric me agar dono particle same state me daalo to ψ=0\psi=0 ho jaata hai — yahi se Pauli exclusion apne aap aa jaata hai, koi extra force nahi.

Asli khel hai counting ka. Maan lo 2 particle, 3 box. Distinguishable counting deta hai 32=93^2=9, bosons dete hain 66, fermions sirf 33. Probability microstates count se aati hai, isliye different counting → different physics. Bosons "bunch" karte hain (laser, BEC), fermions "spread" karte hain (atom ke shells, white dwarf ka pressure).

Final formulas grand canonical ensemble se nikalte hain. Ek energy level pe occupation sum karo: fermion ke liye n=0,1n=0,1 only, isliye denominator me +1+1; boson ke liye geometric series infinite, isliye 1-1. Yaad rakhne ka mantra: "Fermions Fight (+1), Bosons Bunch (−1)." Jab eβ(εμ)1e^{\beta(\varepsilon-\mu)}\gg1 (dilute ya high temperature), dono ka ±1\pm1 ignore ho jaata hai aur classical Maxwell–Boltzmann aa jaata hai — tabhi distinguishable vs indistinguishable ka farak khatam ho jaata hai. Aur classical formula thik karne ke liye ZN=Z1N/N!Z_N=Z_1^N/N! — kyunki labels nahi hain, humne N!N! baar over-count kiya tha (Gibbs paradox ka fix).

Go deeper — visual, from zero

Test yourself — Thermodynamics & Statistical Mechanics (Advanced)

Connections