Past exam of the thermal and statistical physics course of the University of Cambridge / 2013 / Paper 1 / 3 / Solution

Write $z=e^{\beta (\mu -ϵ)}$. For one nondegenerate fermionic quantum state, the allowed occupations 0 and 1 give ${\Xi }_F=1+z$. For a bosonic state, summing all nonnegative occupations gives ${\Xi }_B=(1-z{)}^{-1}$, requiring $z<1$ or $\mu <ϵ$. Differentiating the logarithm,The interacting point defect has two distinct spin states, not one fermionic state. Its four microstates have grand-canonical weights $1,z,z,q{z}^2$, with $q=e^{-\beta U}$. The first two single-electron weights are separate up/down spin possibilities; the double state has one electron of each spin. ThusFor $U=0$, $\Xi =(1+z{)}^2$ and $\bar{n}=2z/(1+z)$. The sketch is a single smooth step from 0 to 2, centred on $\mu =ϵ$, where $\bar{n}=1$. As $T\to 0$ its width tends to zero.

For positive U with $\beta U\gg 1$, the lowest grand energies are successively $0$, $ϵ-\mu$ and $2ϵ+U-2\mu$. Away from the two crossings,Finite temperature smooths each step over an energy range of order $k_{B}T$. Near the lower step double occupation is exponentially suppressed, so $\bar{n}\simeq 2z/(1+2z)$. Near the upper step put $y=e^{\beta (\mu -ϵ-U)}$ and neglect the empty state, giving $\bar{n}\simeq 1+y/(2+y)$. Spin degeneracy shifts the half-step positions to $ϵ-k_{B}T\ln 2$ and $ϵ+U+k_{B}T\ln 2$.

For a grand-canonical probability $p_s\propto e^{-\beta (E_s-\mu n_s)}$, differentiation gives ${\partial }_{\mu }{p}_s=\beta (n_s-\bar{n})p_s$. Multiplying by $n_s$ and summing provesFor this defect, direct state counting givesAt $\mu =ϵ$, $z=1$ and thereforeThe same limit gives $\bar{n}=2/3$: empty, up and down states have equal weights, while the double state is suppressed. Replacing this degeneracy by a two-outcome equal-weight model would incorrectly give variance $1/4$ at this chemical potential.

Across the full chemical-potential range the variance has two well-separated narrow peaks and tends to zero on the 0, 1 and 2 plateaux. The limiting shapes are $2z/(1+2z{)}^2$ near the lower step and $2y/(2+y{)}^2$ near the upper one. Each peak has height $1/4$, at the shifted half-step position; the variance at the unshifted crossings is instead $2/9$.