Skip to content

Strongly Correlated One-Dimensional Bose Fluids

The repulsive one-dimensional contact Bose gas is controlled by γ=mg1D/n\gamma=mg_{1\mathrm D}/n: it is a weakly interacting quasicondensate for γ1\gamma\ll1, a Luttinger liquid at low energy for every finite repulsion, and a Tonks–Girardeau gas with fermionized spatial correlations as γ\gamma\to\infty. Fermionization changes observables, not the particles’ exchange statistics.

Required background. Use the phase–density EFT and the matched coupling from dimensional crossover and confinement resonances. Helpful background. Luttinger liquids supply the full operator dictionary.

For NN bosons on a ring of length LL,

H=12mj=1Nxj2+g1Di<jδ(xixj),n=NL,γ=mg1Dn>0.H=-\frac{1}{2m}\sum_{j=1}^N\partial_{x_j}^2 +g_{1\mathrm D}\sum_{i<j}\delta(x_i-x_j), \qquad n=\frac NL, \qquad \gamma=\frac{mg_{1\mathrm D}}{n}>0.

The Bethe-ansatz solution is exact in the continuum model Lieb and Liniger 1963, pp. 1605–1616. Its ground-state energy density has controlled limits

EVEL{g1Dn22(14γ3π+),γ1,π2n36m(14γ+),γ1.\frac EV\equiv\frac EL \simeq \begin{cases} \dfrac{g_{1\mathrm D}n^2}{2}\left(1-\dfrac{4\sqrt\gamma}{3\pi}+\cdots\right),&\gamma\ll1,\\[6pt] \dfrac{\pi^2n^3}{6m}\left(1-\dfrac4\gamma+\cdots\right),&\gamma\gg1. \end{cases}

The strong-coupling leading term is the energy of spinless free fermions. Girardeau’s mapping multiplies a fermion Slater determinant by a sign function, preserving Ψ2|\Psi|^2 and hence density observables while restoring bosonic symmetry Girardeau 1960, pp. 516–523.

At energies below the microscopic curvature scale,

HLL=v2πdx[K(xθ)2+K1(xϕ)2].H_{\mathrm{LL}}=\frac{v}{2\pi}\int\mathrm dx \left[K(\partial_x\theta)^2+K^{-1}(\partial_x\phi)^2\right].

Galilean invariance gives vK=πn/mvK=\pi n/m. For repulsive contact bosons, Kπ/γK\simeq\pi/\sqrt\gamma at weak coupling and K1K\to1 in the Tonks limit. Consequently the one-body correlator decays as g1(x)x1/(2K)g_1(x)\sim|x|^{-1/(2K)}, while the leading 2πn2\pi n density oscillation decays as x2K|x|^{-2K}. Compressibility fixes the other invariant combination, K=πn/(mv)K=\pi n/(m v).

At every T>0T>0, correlations cross from algebraic to exponential beyond the thermal length v/Tv/T. A trap produces a spatially varying γ(x)\gamma(x); local-density averaging is controlled only when the density varies slowly compared with the correlation length. Integrability-breaking interactions and losses limit exact Bethe-ansatz predictions.

Use vK=πn/mvK=\pi n/m to check the Tonks limit.

Solution

Free spinless fermions have v=vF=πn/mv=v_F=\pi n/m. Therefore K=1K=1, consistent with the strong-coupling limit and with the exponents above. This check concerns long-distance correlations, not exchange statistics.

  • Marcos Girardeau, “Relationship between Systems of Impenetrable Bosons and Fermions in One Dimension,” Journal of Mathematical Physics 1 (1960) 516–523, doi:10.1063/1.1703687.
  • Elliott H. Lieb and Werner Liniger, “Exact Analysis of an Interacting Bose Gas. I. The General Solution and the Ground State,” Physical Review 130 (1963) 1605–1616, doi:10.1103/PhysRev.130.1605.