Past exam of the quantum Condensed Matter Field Theory course of the University of Cambridge / 2015 / Paper 1 / 3 / b

For a uniform time-independent saddle, extremizing the action gives $(-\mu +g|{\psi }_0{|}^2){\psi }_0=0$. Its grand-potential density is $f(\rho )=-\mu \rho +g{\rho }^2/2$, with $\rho =|{\psi }_0{|}^2\ge 0$. Since $g>0$, the minimum at positive density for $\mu >0$ isFor $\mu \le 0$ the uniform mean-field minimum is the vacuum, rather than a positive-density condensate. At fixed nonzero density in the weakly interacting condensed regime, the saddle relation sets $\mu \simeq g{\rho }_0$. The mean-field one-body density matrix factorizes as $⟨a^{†}(\mathbf{r})a({\mathbf{r}}^{\prime })⟩\simeq {\rho }_0$, giving macroscopic occupation of the uniform mode. Depletion corrections are omitted at this stage.

The action has the global particle-number symmetry $\psi \mapsto e^{i\alpha }\psi$, $\bar{\psi }\mapsto e^{-i\alpha }\bar{\psi }$. Choosing one saddle phase breaks this $U(1)$ symmetry; the degenerate mean-field minima form the circle $U(1)\simeq S^1$. There is no energetic preference for a uniform value of ${\varphi }_0$, but spatially varying phase costs gradient energy. Consequently a neutral condensate has a gapless Goldstone mode and a nonzero phase stiffness. The mode becomes sound once density dynamics is included. With $\hslash =1$ the superfluid velocity is $\nabla \varphi /m$, so a single-valued field allows circulation in units $2\pi /m$ around a closed loop that avoids zeros of the amplitude. This phase coherence and rigidity are the physical content of the broken-symmetry description.

The claim is a mean-field saddle statement, not an assertion that every $d$ and temperature in the question supports true long-range order. In a finite number-conserving system $⟨a⟩=0$; the symmetry-breaking order parameter is defined with the thermodynamic limit taken before an infinitesimal source is removed. In a homogeneous infinite short-range gas at nonzero temperature, infrared phase fluctuations prohibit true condensation in $d\le 2$. In one dimension they also destroy true condensate long-range order at zero temperature. A two-dimensional gas can nevertheless have superfluidity and algebraically decaying correlations below a Berezinskii–Kosterlitz–Thouless transition. A finite trap can have substantial coherence without contradicting these thermodynamic statements.^[ref]