The Bose-gas phase-only action gives a thermal infrared integral and a zero-temperature equal-time integral . Thus an infinite uniform short-range interacting gas has no true finite-temperature condensate in , and the one-dimensional ground state also lacks true condensate long-range order. This does not exclude local density coherence, a finite-size condensate description or two-dimensional algebraic order and superfluidity.[ref]
Put and retain quadratic fluctuations in the smooth zero-winding sector. The quadratic density-phase action is
At wavelengths long compared with the healing length, drop the density-gradient term. Completing the square gives
The real Gaussian density integral, or its equivalent contour shift, contributes only a field-independent determinant. Absorb that normalization and the uniform saddle action into . To this quadratic long-wave accuracy,
The Gaussian extension of to the full real line is a fluctuation approximation around positive ; it is not an exact replacement of the global density constraint. The compact field's vortex/winding sectors also lie beyond this smooth-phonon integral.
The Bose-gas phase-only action is a continuum harmonic chain with Euclidean inverse propagator . Continuing to real frequency gives
Restoring gives for a wavenumber . This is the phonon branch of the Bogoliubov spectrum. Keeping the omitted density-gradient term replaces by and yields in the adopted units, so the full quadratic spectrum is with .
The phase-only action also tests the condensate assumption. At zero temperature its equal-time phase variance has an infrared contribution , logarithmically divergent in one dimension; at positive temperature the zero Matsubara mode gives , divergent in dimensions at or below two. Thus this same low-energy theory exposes the regimes where the mean-field condensate cannot describe true thermodynamic long-range order. It permits a finite infrared fluctuation at zero temperature for and at positive temperature for , within the remaining weak-coupling assumptions.
At wavelengths with , neglect the density-gradient term in the quadratic density-phase action. Complete the square in its remaining density terms:
The convergent Gaussian integral can be performed by a contour shift or by its Fourier-transform identity. Its determinant is independent of at this order. Combining that normalization with the saddle action into a constant gives
The saddle contribution to is ; the additional measure-dependent constant need not be assigned an invented numerical value. The density Gaussian extends the fluctuation integration beyond its exact positivity domain, which is justified only while fluctuations around are small. The smooth zero-winding assumption is also required as discussed above. A constant global phase zero mode gives a finite compact-group volume, handled separately from nonzero phonon modes.
Fourier transforming the Bose-gas phase-only action gives a kernel . Analytically continuing gives its real-frequency poles,
In the present units the excitation energy equals . Each real Fourier coordinate is a harmonic oscillator with inertia coefficient and spring coefficient , hence frequency equal to the square root of their ratio. This is the direct relation to a quantum harmonic chain. The mode is a gapless sound phonon; its finite speed reflects both the compressibility and the phase stiffness .
Retaining the density-gradient term provides a useful check. Its integration instead gives a temporal coefficient , so
This is the Bogoliubov spectrum. Its small- limit is the derived sound branch; at large within the contact model it crosses towards particle-like behaviour. The crossover in the squared dispersion is , precisely the scale beyond which the discarded density gradient is not small.
The same action checks the dimensional restriction in the saddle analysis. At nonzero temperature its zero Matsubara mode gives phase fluctuations proportional to ; at zero temperature integrating the frequency gives . Their infrared divergences invalidate uniform true long-range order for at nonzero temperature and for at zero temperature. The long-wave collective description can remain useful for correlations even where a global condensate saddle is not a literal symmetry-broken state. The contact coupling here is an effective low-energy parameter; this calculation does not determine ultraviolet renormalization or trap-specific surface modes.
Figure 1.
Original dimensionless Bogoliubov dispersion and its sound and particle limits
. Details.
Use the contact-interaction Bose-gas field integral for a homogeneous three-dimensional weakly interacting Bose gas with repulsive short-range interaction as the standard model. Let particle mass be , scattering length , physical coupling and gas parameter . These are symbolic model definitions, not supplied numerical parameters. The grand-canonical coherent-state integral has periodic fields and action
The contact term is the normal symbol of . In three dimensions a contact interaction needs a regulator and coupling matched to the measured scattering length; the displayed is the low-energy physical coupling. This field integral is useful because an ordered saddle and its quantum/thermal fluctuations follow from the same action.
Stationarity with respect to gives the imaginary-time Gross–Pitaevskii equation. A uniform saddle exists at with and condensate density . Its arbitrary phase reflects global symmetry; a selected condensate fixes a phase in the thermodynamic symmetry-breaking description. Write after choosing that phase. Linear terms vanish, and the quadratic part is
With and the Fourier convention , the paired quadratic kernel is
The one-half in the Nambu spinor action removes pair double counting. Analytic continuation of the inverse kernel gives the Bogoliubov dispersion
At high momentum it approaches the free-particle kinetic energy plus its mean-field shift. The crossover scale is the healing length . Gaussian integration adds a fluctuation determinant to the saddle free energy. Expressed using the physical three-dimensional coupling, its zero-temperature integrand can be regularized as ; the subtraction follows from renormalization of a three-dimensional dilute-gas contact coupling, not discarding an infinite answer arbitrarily. The thermal contribution is . A calculation beyond mean field must keep that matching and its thermodynamic derivatives consistent.
The density-phase action of a Bose gas makes the physical content clear, . Up to a periodic density total derivative, the long-wavelength quadratic action contains
number-phase conjugacy pairs the density fluctuation and phase in the quadratic density-phase action. Dropping the density-gradient term only in the long-wave limit and completing the density Gaussian square gives the Bose-gas phase-only action
This has the same sound pole. A term is also present before restricting to the smooth zero-winding sector; although locally a total derivative, it cannot in general be ignored in topologically nontrivial sectors. The density and phase variables describe the same coupled Bogoliubov branch, not a second independent massive particle simply because the density has a static restoring cost.[ref]
A phase gradient carries superflow . Its energy cost defines the superfluid number density. At leading mean-field order the stiffness uses , but condensate density and superfluid number density are different observables: for a Galilean-invariant continuum gas at zero temperature the latter is the full density even when interactions deplete the condensate. Bogoliubov coefficients give and a small zero-temperature depletion of relative order in three dimensions. Large depletion or strong long-wavelength phase fluctuations would invalidate the small-fluctuation saddle approximation.
The Landau criterion for creating excitations is for this homogeneous dispersion. Thus repulsion produces a linear sound mode and a positive critical velocity from the Landau criterion, whereas an ideal quadratic gas has zero value of this criterion. Vortices, obstacles and nucleation can reduce an actual flow threshold below ; the criterion alone is not a complete theory of metastable flow. At finite temperature thermal quasiparticles reduce the superfluid number density. Dimensionality and finite size also matter: the uniform three-dimensional weak-depletion condensate expansion must not be transferred unchanged to a one- or two-dimensional thermodynamic system. The field integral provides systematic corrections only within its dilute, stable and sufficiently weak-fluctuation regime.