Bose-Einstein Condensation
When a gas of non-interacting bosons is cooled below a critical temperature $T_c$, a macroscopic fraction of the particles accumulates in the single-particle ground state. This phenomenon โ Bose-Einstein condensation (BEC) โ was predicted by Einstein in 1925 based on Boseโs quantum statistics for photons, and first realized experimentally in dilute atomic gases of $^{87}$Rb, $^{23}$Na, and $^{7}$Li in 1995 (Cornell, Wieman, and Ketterle; Nobel Prize 2001).
BEC is a purely quantum-statistical effect: it occurs even in the absence of interactions, driven entirely by the requirement that bosonic wave functions be symmetric under particle exchange. The thermal de Broglie wavelength $\lambda_{\mathrm{dB}} = \sqrt{2\pi\hbar^2/(mk_BT)}$becomes comparable to the interparticle spacing at $T_c$, signaling the onset of quantum degeneracy.
The Bose-Einstein Distribution
The mean occupation number of a single-particle state with energy $\epsilon$ is given by the Bose-Einstein distribution function:
where $\mu$ is the chemical potential. Unlike fermions, bosons have no exclusion principle, so $\langle n(\epsilon) \rangle$ can be arbitrarily large. However, the distribution requires $\mu \leq \epsilon_0$ (the ground-state energy, which we set to zero), since otherwise the ground-state occupation would be negative.
The total particle number is obtained by summing over all states:
In three dimensions, converting the sum to an integral using the density of states$g(\epsilon) = (V/4\pi^2)(2m/\hbar^2)^{3/2}\epsilon^{1/2}$, one obtains the constraint that determines $\mu(T)$.
Chemical Potential and the Critical Temperature
As temperature decreases, the chemical potential $\mu$ rises toward zero to accommodate the fixed number of particles. At the critical temperature $T_c$,$\mu$ reaches its maximum value of zero. For $T \leq T_c$, the chemical potential is pinned at $\mu = 0$, and the excess particles that cannot be accommodated by the excited states condense into the ground state.
Above $T_c$ ($\mu < 0$)
The number equation determines $\mu(T)$ implicitly:
where $g_{3/2}(z) = \sum_{l=1}^{\infty} z^l / l^{3/2}$ is the polylogarithm (Bose function) and $z$ is the fugacity.
At $T_c$ ($\mu = 0$, $z = 1$)
Setting $z = 1$ gives $g_{3/2}(1) = \zeta(3/2) \approx 2.612$, yielding the critical temperature:
This is equivalent to the condition $n\lambda_{\mathrm{dB}}^3 = \zeta(3/2)$: condensation occurs when the thermal wavelength equals the interparticle spacing.
Condensate Fraction
Below $T_c$, the number of particles in excited states is $N_{\mathrm{ex}} = N(T/T_c)^{3/2}$. The remaining particles occupy the ground state, giving the condensate fraction:
At $T = 0$, all particles reside in the condensate ($N_0/N = 1$). The exponent $3/2$ reflects the three-dimensional density of states. In an interacting system such as liquid $^4$He, quantum depletion reduces$N_0/N$ to roughly 8% even at $T = 0$, though the superfluid fraction can still approach unity.
Key distinction: The condensate fraction $N_0/N$ and the superfluid fraction $\rho_s/\rho$ are different quantities. In the ideal Bose gas they coincide, but in interacting systems (like He-4) they differ substantially. The superfluid fraction is a transport property related to the systemโs response to rotation.
Specific Heat and the Lambda Transition
The internal energy of the ideal Bose gas can be computed from the partition function. Below $T_c$:
Differentiating with respect to temperature gives the specific heat:
The specific heat is continuous at $T_c$ but has a discontinuity in its derivative โ a cusp resembling the Greek letter $\lambda$. In liquid$^4$He, the actual transition (the โlambda pointโ at $T_\lambda = 2.17$ K) shows a true logarithmic divergence in $C_V$, characteristic of the XY universality class rather than the ideal-gas result.
Above $T_c$, the specific heat approaches the classical equipartition value $C_V = \frac{3}{2}Nk_B$ as $T \to \infty$.
BEC in Lower Dimensions
The possibility of BEC depends critically on dimensionality through the density of states. In $d$ dimensions, the density of states scales as $g(\epsilon) \propto \epsilon^{d/2 - 1}$. The integral for the number of excited particles converges at $\mu = 0$ only if $d > 2$.
No BEC in 2D (Free Bosons)
In two dimensions, the density of states is constant ($g(\epsilon) \propto \epsilon^0$), and the integral for $N_{\mathrm{ex}}$ diverges logarithmically as $\mu \to 0$. The excited states can absorb all particles at any finite temperature, so no macroscopic ground-state occupation occurs. This is a consequence of the Mermin-Wagner-Hohenberg theorem.
Kosterlitz-Thouless Transition
Although true long-range order (and hence conventional BEC) is impossible in 2D, a topological phase transition โ the Berezinskii-Kosterlitz-Thouless (BKT) transition โ can occur. Below the BKT temperature, the system exhibits quasi-long-range order with algebraically decaying correlations $\langle \psi^*(\mathbf{r})\psi(0)\rangle \sim r^{-\eta}$, and the superfluid density jumps discontinuously to zero at $T_{\mathrm{BKT}}$.
The BKT transition is driven by the unbinding of vortex-antivortex pairs and belongs to a universality class entirely distinct from the 3D BEC transition. It has been observed in thin helium films and in quasi-2D ultracold atomic gases.
Trapped Gases and Effective BEC in 2D
In harmonic traps, the modified density of states can permit BEC-like transitions even in 2D. The trapping potential modifies the effective density of states, and for a 2D harmonic trap $T_c \propto \sqrt{N}\,\hbar\omega/k_B$. Experimentally, quasi-condensates with suppressed phase fluctuations have been realized in pancake-shaped optical traps.
Experimental Realizations
Ultracold Atomic Gases (1995)
The first BEC was achieved in June 1995 by Cornell and Wieman at JILA using $^{87}$Rb atoms cooled to approximately 170 nK. Shortly after, Ketterleโs group at MIT produced a condensate in $^{23}$Na with a much larger number of atoms, enabling the first observation of interference between two condensates.
These experiments employ a combination of laser cooling (Doppler and sub-Doppler techniques) to reach the microkelvin regime, followed by evaporative cooling in magnetic or optical traps to reach nanokelvin temperatures. Typical parameters:
- Atom number: $N \sim 10^5$โ$10^7$
- Peak density: $n \sim 10^{13}$โ$10^{15}$ cm$^{-3}$
- Critical temperature: $T_c \sim 100$โ$1000$ nK
- Scattering length: $a \sim 5$โ$100$ nm
Liquid Helium-4
Liquid $^4$He undergoes the superfluid transition at $T_\lambda = 2.17$ K (the lambda point). While this is driven by Bose statistics and is related to BEC, the strong interatomic interactions make the system fundamentally different from the ideal Bose gas:
- Condensate fraction at $T = 0$: only $\sim 8\%$ (due to quantum depletion)
- Superfluid fraction at $T = 0$: $\sim 100\%$
- Excitation spectrum: phonon-roton curve (Landau), not free-particle dispersion
- Critical exponents: XY universality class, not mean-field
The connection between BEC and superfluidity in He-4 remains a deep question. While BEC is neither necessary nor sufficient for superfluidity in general, in He-4 the condensate provides the order parameter $\langle \hat{\psi} \rangle = \sqrt{n_0}\,e^{i\phi}$ whose phase rigidity underlies superfluid flow.
Derivation: From Density of States to $T_c$
Step 1: Density of States in 3D
For free particles in a box of volume $V$, the single-particle energies are $\epsilon_{\mathbf{k}} = \hbar^2 k^2 / 2m$. The density of states is:
Step 2: Number of Excited Particles
Separating the ground state from the integral:
The integral is maximized when $\mu = 0$. Using the substitution $x = \epsilon/k_BT$:
Step 3: Critical Temperature
At $T_c$, all $N$ particles can just be accommodated in excited states ($N_0 = 0$):
Solving for $T_c$:
Detailed Derivation: 3D Density of States
Step 1: Counting States in k-Space
For particles in a cubic box of side $L$ with periodic boundary conditions, the allowed wavevectors are $\mathbf{k} = (2\pi/L)(n_x, n_y, n_z)$ with integer $n_i$. Each state occupies a volume$(2\pi/L)^3 = (2\pi)^3/V$ in k-space. The number of states with wavevector magnitude between $k$ and $k + dk$ is:
Since $\epsilon = \hbar^2 k^2 / (2m)$, we have $k = \sqrt{2m\epsilon}/\hbar$and $dk = \frac{1}{\hbar}\sqrt{\frac{m}{2\epsilon}}\,d\epsilon$. Substituting:
Hence the density of states is $g(\epsilon) = \frac{V}{4\pi^2}\left(\frac{2m}{\hbar^2}\right)^{3/2}\epsilon^{1/2}$.
Step 2: Evaluating the Number Integral at $\mu = 0$
The total number of particles in excited states at $\mu = 0$ is:
Substitute $x = \epsilon/(k_B T)$, so $d\epsilon = k_B T\,dx$and $\epsilon^{1/2} = (k_B T)^{1/2} x^{1/2}$:
The integral is a standard result: $\int_0^{\infty} \frac{x^{1/2}}{e^x - 1}\,dx = \Gamma(3/2)\,\zeta(3/2) = \frac{\sqrt{\pi}}{2}\,\zeta(3/2)$. Recognizing that $\lambda_{\mathrm{dB}} = \sqrt{2\pi\hbar^2/(mk_BT)}$, we can write$(2mk_BT/\hbar^2)^{3/2} = (4\pi)^{3/2}/\lambda_{\mathrm{dB}}^3$, and after simplification:
Step 3: Deriving the Condensate Fraction
Below $T_c$, $\mu$ remains pinned at zero and the excited-state population scales as:
At $T = T_c$, $N_{\mathrm{ex}} = N$ by definition. Therefore, the ratio:
The condensate number is $N_0 = N - N_{\mathrm{ex}}$, so:
Detailed Derivation: Specific Heat Below $T_c$
Step 1: Internal Energy Integral
The internal energy is obtained by weighting each state by its energy:
With the same substitution $x = \epsilon/(k_BT)$:
The integral evaluates to $\Gamma(5/2)\,\zeta(5/2) = \frac{3\sqrt{\pi}}{4}\,\zeta(5/2)$. Using $N = V\,\zeta(3/2)/\lambda_{\mathrm{dB}}^3(T_c)$ and simplifying:
Step 2: Differentiation to Obtain $C_V$
Taking the derivative $C_V = \partial E/\partial T$ at constant volume:
Evaluating at $T = T_c$: $C_V/(Nk_B) = \frac{15}{4}\cdot\frac{1.3415}{2.6124} \approx 1.926$. Just above $T_c$, the classical limit gives $C_V/(Nk_B) = 3/2 = 1.5$, so there is a discontinuity in $\partial C_V/\partial T$ (a cusp in $C_V$ itself) โ the hallmark lambda-shaped anomaly.
Derivation: BEC in a Harmonic Trap
Step 1: Density of States in a 3D Isotropic Harmonic Trap
In a harmonic potential $V = \frac{1}{2}m\omega^2 r^2$, the energy levels are$\epsilon_{n_x n_y n_z} = (n_x + n_y + n_z + 3/2)\hbar\omega$. For large quantum numbers, the number of states with energy less than $\epsilon$ is approximately the volume of the octant in $(n_x, n_y, n_z)$ space:
Differentiating: $g(\epsilon) = d\mathcal{N}/d\epsilon = \frac{\epsilon^2}{2(\hbar\omega)^3}$.
Step 2: Critical Temperature in a Trap
Setting $\mu = 0$ and evaluating $N = \int_0^{\infty} g(\epsilon)/(e^{\epsilon/k_BT_c} - 1)\,d\epsilon$with $x = \epsilon/(k_BT_c)$:
Solving for $T_c$ (using $\zeta(3) \approx 1.202$):
Note the different power law compared to the uniform case: the condensate fraction now scales as $N_0/N = 1 - (T/T_c)^3$ rather than $(T/T_c)^{3/2}$, reflecting the different density of states in the trap.
Historical Context
Satyendra Nath Bose initiated the theory in 1924 by deriving Planck's radiation law using a novel counting method for indistinguishable photons. He sent his paper to Albert Einstein, who translated it into German, published it, and then extended Bose's statistics to massive particles. In a 1925 paper, Einstein predicted that below a critical temperature, a finite fraction of particles would โcondenseโ into the lowest energy state โ a prediction met with skepticism for decades.
Fritz London (1938) was the first to connect Einstein's prediction to the superfluid transition in liquid $^4$He, proposing that the lambda transition at 2.17 K was a manifestation of BEC modified by interactions. This idea was controversial at the time but proved essentially correct.
The experimental race to achieve BEC in dilute gases lasted decades. Key enabling technologies included laser cooling (Chu, Cohen-Tannoudji, Phillips; Nobel 1997) and evaporative cooling in magnetic traps. On June 5, 1995, Eric Cornell and Carl Wieman at JILA produced the first BEC in$^{87}$Rb with about 2000 atoms at 170 nK. Four months later, Wolfgang Ketterle at MIT created a much larger$^{23}$Na condensate, enabling the first observation of interference between two condensates. Cornell, Wieman, and Ketterle shared the 2001 Nobel Prize in Physics.
Applications of BEC
- Atom interferometry and precision measurement: BECs provide coherent matter waves for atom interferometers that measure gravitational acceleration, rotations (Sagnac effect), and fundamental constants with extraordinary precision. These devices are used in inertial navigation and tests of the equivalence principle.
- Quantum simulation: Ultracold atoms in optical lattices realize Hubbard models, enabling the study of quantum magnetism, Mott insulator transitions, and other strongly correlated phenomena that are computationally intractable on classical computers.
- Atom lasers: A coherent beam of atoms extracted from a BEC is the matter-wave analogue of an optical laser. Atom lasers have potential applications in precision lithography and fundamental tests of quantum mechanics.
- Slow light and quantum memory: BECs have been used to slow light pulses to speeds of metres per second and even to โstopโ light entirely, storing optical information as atomic spin excitations โ a key ingredient for quantum communication.
- Tests of fundamental physics: BECs enable laboratory studies of analogue gravity (phononic Hawking radiation), Anderson localization of matter waves in disordered potentials, and the Kibble-Zurek mechanism for topological defect formation during phase transitions.
Simulation: BEC Thermodynamics
Condensate fraction, specific heat with the lambda-like cusp, and Bose-Einstein distribution at several temperatures.
Bose-Einstein Condensation: Thermodynamic Properties
PythonClick Run to execute the Python code
Code will be executed with Python 3 on the server
Computation: Critical Temperatures and Condensate Fraction
Fortran computation of $T_c$ for different alkali species (Rb-87, Na-23, Li-7) and tabulation of condensate fraction vs temperature.
BEC Critical Temperatures for Alkali Atoms
FortranClick Run to execute the Fortran code
Code will be compiled with gfortran and executed on the server