Visual walkthrough — Quantum statistics — distinguishable vs indistinguishable particles

2.4.15 · D2 · Physics › Thermodynamics & Statistical Mechanics (Advanced) › Quantum statistics — distinguishable vs indistinguishable pa

---

Step 1 — "Ek energy level" kya hai aur hum sirf usi ko kyun ghoorte hain

KYA HAI. Ek particle ke liye allowed energies ki ek shelf imagine karo. Har rung ek single-particle state hai — ek slot jisme particle ho sakta hai — aur har rung $\epsilon$ ki height par hai (uski energy). Hum ek rung par zoom in karte hain aur poochte hain: average mein abhi uspar kitne particles khade hain?

KYU. Ek bade system mein trillions rungs hote hain. Yeh hopeless lagta hai — jab tak hum notice nahi karte ki rungs independent hain: ek rung par jo hota hai woh physically doosre par depend nahi karta (particles sirf shared reservoir se baat karte hain, ek doosre se nahi, ek ideal gas mein). To agar hum ek rung ko completely solve kar lein, toh har rung ke liye bas repeat kar sakte hain. Yahi poora trick hai: ek bade problem ko ek shelf tak reduce karo.

PICTURE. Amber rung dekho — wahi level hai jis par hum poore page ke liye nazar tikaye rakhenge.

---

Step 2 — Particles ko aane-jaane dena: the reservoir

KYA HAI. Hum apni ek rung ko ek bade reservoir se connect karte hain — ek giant bath of particles aur heat. Particles hamari rung par hop karte hain aur hop off karte hain. Reservoir do knobs fix karta hai:

• Temperature $T$ — cheezein kitni violently jiggle karti hain. Hum ise package karte hain $\beta =\frac{1}{k_{B}T}$ ke roop mein, jahan $k_B$ Boltzmann's constant hai (woh tiny number jo temperature ko energy mein turn karta hai). Bada $\beta$ = thanda; chhota $\beta$ = garam.
• Chemical potential $\mu$ (mu) — reservoir ki eagerness to hand out particles. High $\mu$ = "aur particles lo"; low $\mu$ = "inhe rakh lo."

KYU. Fixed particle number ke saath count karna easy nahi hai — arithmetic ulajh jaata hai. Iske bajaye hum $n$ ko float karne dete hain aur reservoir ko average decide karne dete hain. Yeh setup hai Grand Canonical Ensemble, aur yeh identical particles ke liye natural language hai kyunki yeh levels ke occupation se count karta hai, na ki yeh track karke ki kaun-kaun hai.

PICTURE. Reservoir bada cyan box hai; amber rung dashed boundary ke across uske saath particles trade karta hai.

---

Step 3 — Ek configuration ka weight (the Boltzmann–Gibbs factor)

KYA HAI. Statistical mechanics kehta hai: ek whole-system configuration equally likely nahi hoti — uska weight us configuration ke do totals par depend karta hai:

• $E$ ::: us configuration mein whole system ki total energy (saare particles add karke).
• $N$ ::: us configuration mein whole system mein particles ki total number.

The Gibbs weight hai $w=e^{-\beta (E-\mu N)}.$ Hamaari single rung ke liye jo $n$ particles hold kar rahi hai, "whole system" sirf wahi rung hai, isliye uski total energy hai $E=\epsilon n$ (har ek $n$ particles energy $\epsilon$ carry karta hai) aur uski total particle count hai $N=n$. Substitute karne par, $w(n)=e^{-\beta (\epsilon -\mu )n}.$

KYU. Exponent ko term by term padho:

$w(n)=\exp \left[\underset{\text{coldness}}{\underbrace{-\beta }}\right(\underset{\text{energy cost per particle}}{\underbrace{\epsilon }}-\underset{\text{reward per particle}}{\underbrace{\mu }}\left)\underset{\text{how many}}{\underbrace{n}}\right].$

• Ek particle add karne mein energy $\epsilon$ lagti hai lekin reservoir $\mu$ wapas karta hai. Net price hai $(\epsilon -\mu )$.
• $n$ se multiply karo kyunki $n$ particles mein se har ek woh price deta hai.
• Minus aur $\beta$ "expensive" ko "unlikely" mein turn karte hain: zyada price aur thanda bath ($\beta$ bada) dono weight ko zero ki taraf crush kar dete hain.

Yahan hum exponential use karte hain (maan lo, straight line nahi) kyunki independent costs multiply hone chahiye: agar do systems independent hain, toh pair ka weight weights ka product hai, jabki unki energies simply add ho jaati hain. To weight function $f$ satisfy karna chahiye $f(E_1)f(E_2)=f(E_1+E_2)$. Yeh ek famous functional equation hai, aur (continuous, non-trivial $f$ ke liye) iske sirf exponential solutions hain $f(E)=e^{cE}$ — yahi exact reason hai ki $e$, aur kuch nahi, yahan appear hota hai.

PICTURE. Net price $(\epsilon -\mu )$ ya number $n$ badhne ke saath weight collapse hoti hai.

---

Step 4 — Fermions: shelf mein 0 ya 1 aa sakta hai, bas itna hi

KYA HAI. Pauli Exclusion Principle kehta hai ek state mein zyada se zyada ek fermion. To $n$ sirf $0$ ya $1$ ho sakta hai. Sirf do allowed configurations ke weights add karo: $\mathcal{Z}=\underset{=1}{\underbrace{w(0)}}+\underset{=e^{-x}}{\underbrace{w(1)}}=1+e^{-x}.$ Yeh total $\mathcal{Z}$ hai grand partition function — weights ka sum, hamara normaliser.

KYU. Average = (value × uska weight, summed) ÷ (total weight): $⟨n⟩=\frac{0\cdot 1+1\cdot e^{-x}}{1+e^{-x}}=\frac{e^{-x}}{1+e^{-x}}.$ Top aur bottom ko $e^x$ se multiply karo (ek legal trick: $1=e^x/e^x$ se multiply karna) toh clean ho jaata hai: $⟨n{⟩}_{FD}=\frac{1}{e^x+1}=\frac{1}{e^{\beta (\epsilon -\mu )}+1}.$

Denominator mein $+1$ hai "sum $n=1$ par ruk gaya" ka fingerprint. Kyunki numerator $1$ hai aur denominator $1$ se bada hai, hume $⟨n⟩\le 1$ hamesha milta hai — tum literally ek rung par ek se zyada fermion average nahi kar sakte.

PICTURE. Do configurations, do weights, ek weighted average — see-saw ki tarah draw kiya gaya.

---

Step 5 — Bosons: shelf mein koi bhi number aa sakta hai, isliye hum forever sum karte hain

KYA HAI. Bosons ka koi cap nahi: $n=0,1,2,3,\dots$ Total weight ek infinite geometric series hai: $\mathcal{Z}={\sum }_{n=0}^{\infty }{e}^{-xn}=1+e^{-x}+e^{-2x}+\cdots =\frac{1}{1-e^{-x}}.$

KYU. Infinite sum ek tidy fraction kyun deta hai? Kyunki har term previous wali ka same shrink-factor $e^{-x}$ times hai (yeh ratio $<1$ tab hi hota hai jab $e^{-x}<1$, yani $x>0$, yani $\epsilon >\mu$ — Step 6 ke liye yeh thought hold karo). Ratio $r$ wali geometric series $\frac{1}{1-r}$ tak sum hoti hai. Hum yeh tool use karte hain kyunki boson tower of occupations exactly ek constant-ratio ladder hai.

Average ke liye ek slick shortcut hai. Notice karo $⟨n⟩=\frac{\sum n{e}^{-xn}}{\sum e^{-xn}}=-\frac{\partial }{\partial x}\ln \mathcal{Z}.$

Derivative kyun? Kyunki $\frac{\partial }{\partial x}{e}^{-xn}=-n{e}^{-xn}$ — differentiate karne se har term se $-n$ ka factor pull hota hai, jo ki exactly wahi $n$ hai jo hume average form karne ke liye chahiye. Derivative woh tool hai jo hamare liye "count" karta hai. Apply karne par: $⟨n⟩=-\frac{\partial }{\partial x}\ln \frac{1}{1-e^{-x}}=-\frac{\partial }{\partial x}[-\ln (1-e^{-x})]=\frac{e^{-x}}{1-e^{-x}}=\frac{1}{e^x-1}.$

$-1$ hai "sum infinity tak gaya" ka fingerprint.

PICTURE. Boson ladder of occupations aur shrinking weights jo finite total tak sum hote hain.

---

Step 6 — Edge cases: kahan formulas break hote hain ya blow up karte hain

KYA HAI. Ek formula jise tum stress-test nahi karte woh formula hai jo tum samjhe nahi. $x=\beta (\epsilon -\mu )$ set karo aur ise extremes tak push karo.

Case A — Bada $x$ (thanda, ya $\epsilon \gg \mu$): $\pm 1$ vanish ho jaata hai. Jab $e^x\gg 1$, tab $+1$ ya $-1$ ek rounding error hai: $⟨n⟩\to \frac{1}{e^x}=e^{-\beta (\epsilon -\mu )}.$ Yeh classical Maxwell–Boltzmann Distribution result hai. Fermi, Bose, aur classical sab agree karte hain — rung itna rarely occupied hai ki "ek per slot vs many per slot" kabhi nahi aata.

Case B — Fermion at $x=0$ (level exactly $\mu$ par). $⟨n{⟩}_{FD}=\frac{1}{1+1}=\frac{1}{2}$. Exactly half-filled. Yeh Fermi level define karta hai: woh energy jis par average occupation half cross karta hai.

Case C — $x\to 0^{+}$ par Boson (level $\mu$ approach karta hai): explosion. $⟨n{⟩}_{BE}=\frac{1}{e^x-1}\to \infty$. Denominator vanish ho jaata hai, occupation run away karta hai — macroscopically many bosons ek state mein dump ho jaate hain. Woh hai Bose–Einstein Condensation.

Case D — Bosons ke liye $\mu <{\epsilon }_{\min }$ kyun zaroori hai. Agar $x<0$ (matlab $\mu >\epsilon$), tab $e^{-x}>1$ aur Step 5 ki geometric series diverge ho jaati hai — sum nonsense hai, aur $⟨n⟩$ negative ho jaata, jo physically impossible hai (tum $-2$ particles nahi rakh sakte). Isliye boson chemical potential ko lowest energy level se exceed karna forbidden hai. Fermions ka aisa koi bound nahi; unki series sirf do terms hai aur hamesha finite hai.

PICTURE. Ek axis par teeno curves — dekho boson curve $\epsilon =\mu$ par upar stab karta hai, fermion curve $\frac{1}{2}$ ke through step down karta hai, aur dono far right par classical curve se chipak jaate hain.

---

Step 7 — Bosons kyun "bunch" karte hain aur fermions kyun "avoid": the counting picture

KYA HAI. Parent note se toy count yaad karo: 2 particles 3 boxes mein.

• Distinguishable: $3^2=9$ labeled arrangements.
• Bosons (unordered, repeats allowed): $\left(\genfrac{}{}{0ex}{}{3+2-1}{2}\right)=6$.
• Fermions (unordered, no repeats): $\left(\genfrac{}{}{0ex}{}{3}{2}\right)=3$.

KYU. Configurations ka fraction jo "dono particles same box mein" hain, personality reveal karta hai:

• Classical: $9$ mein se $3$ same-box = $33.3\%$.
• Bosons: $6$ mein se $3$ same-box = $50\%$ — yeh togetherness ko over-represent karte hain → statistical attraction (koi real force nahi!).
• Fermions: $3$ mein se $0$ = $0\%$ — togetherness banned hai → statistical avoidance.

Yahi woh story hai jo occupation numbers smooth limit mein batate hain, ab raw counting mein visible hai. Classical $1/N!$ patch ke liye Gibbs Paradox & Entropy of Mixing dekho jo gap ko partly heal karta hai.

PICTURE. Allowed arrangements ke teeno columns side by side; highlighted same-box states ek nazar mein bunching bias dikhate hain.

---

The one-picture summary

Upar sab kuch ek single master figure mein compress ho jaata hai: ek rung, ek net price $(\epsilon -\mu )$, ek exponential weight, aur ek choice — sum ko 1 par cap karo (fermion, $+1$ deta hai) ya infinity tak sum karo (boson, $-1$ deta hai) ya tail ignore karo (classical, $0$ deta hai). The unifier: $\boxed{⟨n⟩=\frac{1}{e^{\beta (\epsilon -\mu )}+a},a=\{\begin{array}{ll}+1& \text{Fermi–Dirac}\\ -1& \text{Bose–Einstein}\\ 0& \text{Maxwell–Boltzmann}\end{array}}$

Recall Feynman retelling — plain words mein poora walkthrough

Humne ek single shelf-rung ko ghoora aur poocha "yahan usually kitne particles khade hote hain?" Humne ise ek giant bath se hook kiya jo particles fee par deta hai: rung occupy karne mein $\epsilon$ lagta hai lekin bath $\mu$ refund karta hai, isliye asli price hai $(\epsilon -\mu )$. Thande baths aur high prices crowding ko unlikely banate hain — humne woh unlikeliness measure ki $e^{-\text{price}\times n}$ se, kyunki independent costs multiply hone chahiye aur exponentials multiplying ko adding mein turn karte hain. Phir humne particles ki personality ko decide karne diya ki sum kitna door jaaye. Grumpy fermions sirf 0 ya 1 allow karte hain, isliye humne do numbers add kiye aur downstairs ek $+1$ mila — ek rung par kabhi ek se zyada nahi. Friendly bosons koi bhi pile allow karte hain, isliye humne forever sum kiya, ek geometric series jisne downstairs $-1$ diya — aur woh $-1$ zero hit kar sakta hai, jisse infinite crowd ek state mein pour ho jaati hai (woh condensation hai). Jab rung almost hamesha empty ho, tab $\pm 1$ matter karna band kar deta hai aur sab log plain classical $e^{-\text{price}}$ par agree karte hain. Ek rung, ek exponential, ek choice ki sum kitna door jaaye — yahi poori quantum-statistics machine hai.

Recall Self-check

Fermion formula mein $+1$ aur boson formula mein $-1$ kyun hota hai? ::: $+1$ aata hai do-term sum $1+e^{-x}$ se jo $n=1$ par ruk jaati hai (Pauli cap); $-1$ aata hai infinite geometric series $\frac{1}{1-e^{-x}}$ se jo saari occupations sum karta hai. Bosons ke liye $\mu$ ke baare mein kya true hona chahiye aur kyun? ::: $\mu$ lowest energy level se neeche hona chahiye ($x>0$), warna geometric series diverge ho jaati hai aur $⟨n⟩$ negative ho jaata — unphysical. Kaun si energy par ek fermion level exactly half-filled hoti hai? ::: $\epsilon =\mu$ par (Fermi level), jahan $⟨n{⟩}_{FD}=\frac{1}{2}$. Teeno statistics kahan coincide karte hain? ::: Dilute/hot limit $e^{\beta (\epsilon -\mu )}\gg 1$ mein, jisse $⟨n⟩=e^{-\beta (\epsilon -\mu )}$ milta hai.