Zero-temperature equation of state of a two-dimensional bosonic quantum fluid with finite-range interaction
Andrea Tononi

TL;DR
This paper derives the zero-temperature equation of state for a two-dimensional bosonic quantum fluid with finite-range interactions, using a hydrodynamic approach and regularization techniques to handle divergences.
Contribution
It introduces a method to calculate the equation of state for 2D bosonic systems with finite-range interactions, including regularization of divergences.
Findings
Derived the 2D equation of state for finite-range interactions.
Calculated superfluid equations of motion at zero temperature.
Regularized ultraviolet divergences using an improved dimensional regularization.
Abstract
We derive the two-dimensional equation of state for a bosonic system of ultracold atoms interacting with a finite-range effective interaction. Within a functional integration approach, we employ an hydrodynamic parametrization of the bosonic field to calculate the superfluid equations of motion and the zero-temperature pressure. The ultraviolet divergences, naturally arising from the finite-range interaction, are regularized with an improved dimensional regularization technique.
Click any figure to enlarge with its caption.
Figure 1Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Abstract
We derive the two-dimensional equation of state for a bosonic system of ultracold atoms interacting with a finite-range effective interaction. Within a functional integration approach, we employ an hydrodynamic parametrization of the bosonic field to calculate the superfluid equations of motion and the zero-temperature pressure. The ultraviolet divergences, naturally arising from the finite-range interaction, are regularized with an improved dimensional regularization technique.
keywords:
Bose-Einstein condensation, ultracold atoms, finite-range, equation of state, two-dimensional
\articlenumber
x \doinum10.3390/—— \pubvolumexx
\TitleZero-temperature equation of state of a two-dimensional bosonic quantum fluid with finite-range interaction \AuthorAndrea Tononi 1 \AuthorNamesAndrea Tononi
\corresCorrespondence: [email protected]
1 Introduction
A fluid perspective on the study of bosonic gases made of ultracold atoms may find an origin in the pioneering work of Lev Landau landau1941 , who correctly described the superfluid behavior of He-4 observed in the experiments kapitza1938 . From those years, several technical advances allowed a precise experimental control of the atomic gases, culminating in the achievement of Bose-Einstein condensation in 1995 anderson1995 ; davis1995 ; hulet1995 . Despite the rich phenomenology deriving from the variety of different trapping potentials dalfovo1999 , the theoretical and experimental study of uniform gases gives a fundamental insight into the intrinsic properties of the condensates. Particularly interesting is the case of two spatial dimensions, in which the quantum and thermal fluctuations play a fundamental role merminwagner ; hohenberg1967 , justifying the necessity of a beyond mean field theory. Historical results for a two-dimensional Bose gas were obtained by Schick, who calculated the thermodynamics of a gas of hard-spheres schick1971 , improved by Popov derivation of the equation of state for a weakly-interacting superfluid popov1972 . Recent works provide an extension of Popov approach pastukhov2018 , while the nonuniversal corrections to the equation of state in , arising from a finite-range interaction between the atoms, have been studied salasnich2017 ; beane . Thank to the tunability of interparticle interactions, it is possible investigate the static and dynamical properties of homogeneous quantum fluids in -spatial dimensions in regimes where finite-range corrections are relevant braaten ; salasnichcappellaro ; cappe . In this work, we provide an alternative derivation of the zero-temperature equation of state by adopting an explicit superfluid parametrization of the bosonic field. In particular, we develop an improved dimensional regularization technique to regularize the zero-temperature pressure of a bosonic quantum fluid, whose particles interact with a finite-range interaction.
2 Zero-temperature equation of state of a two-dimensional
bosonic quantum fluid
2.1 Superfluid parametrization of the bosonic field.
We introduce the Euclidean Lagrangian of a uniform quantum fluid of bosonic particles with mass , described by the complex field , namely nagaosa
[TABLE]
where is Planck constant, is the chemical potential and we suppose that the particles interact with the isotropic two-body potential . The imaginary time is introduced for uniformity with a functional integration approach, but real time can be recovered in any moment performing the Wick rotation . According to the least action principle, the Euler-Lagrange equations of the system are obtained as the functional derivative of the action , which reads
[TABLE]
where is the volume in dimensions containing the particles and , with the absolute temperature and the Boltzmann constant. Until the end of this paper, for reasons connected to the dimensional regularization of the final results, we will not fix explicitly the spatial dimension to . The minimization of the action of Eq. (2) gives the Gross-Pitaevski equation for the complex field , which constitutes the macroscopic wavefunction of the condensate leggett . In this work, however, we adopt a superfluid perspective through the following phase-amplitude parametrization of the bosonic field salasnichlaser
[TABLE]
where is a real field describing the system local density and is the phase field, which must be included due to the complex nature of the order parameter . This field transformation allows us to introduce the superfluid velocity , which is proportional to the gradient of the phase, namely
[TABLE]
We emphasize that the phase field is defined in the compact interval and is therefore periodic of : this fact constitutes the origin of many topological phenomena in condensed-matter physics. Indeed, here we focus on two-dimensional systems, where the singularities of the phase field
- the vortices - are responsible for the Berezinski-Kosterlitz-Thouless (BKT) transition berezinski1971 ; kosterlitz1973 . However, in the following we will study only the zero-temperature properties, for which the vortex-antivortex phenomenology does not play a fundamental role and can be neglected. We will then assume that the domain of definition of the phase field can be extended to and that its spatial and time derivatives are well defined everywhere. In this case, the superfluid flow is irrotational, thus it has zero vorticity
[TABLE]
We now substitute the parametrization of Eq. (3) in the Lagrangian (1), obtaining
[TABLE]
where we omit for simplicity the dependence of the fields on their coordinates . The minimization of the action (2), which now becomes a functional of and : , leads to the Euler-Lagrange equations for these fields. Recovering the real time , we get the hydrodynamic equations
[TABLE]
and
[TABLE]
which are the continuity equation and the equation of motion of a superfluid with velocity and number density . Notice that, inside the parenthesis, Eq. (8) contains the quantum pressure term: if the density of the fluid is slowly varying and this contribution can be neglected, Eq. (8) reduces to the familiar Euler equation of motion for an irrotational fluid without viscosity. For a self-consistent derivation of these equations from the Gross-Pitaevski equation we refer the reader to Ref. coste .
2.2 Zero-temperature equation of state.
We now adopt the superfluid parametrization of Eq. (3) to derive the zero-temperature equation of state of the quantum fluid, namely a relation at between the pressure and the chemical potential . For the finite-range interaction, an explicit implementation of this relation will be given in the next section.
In the grand canonical ensemble we calculate the pressure of the bosonic fluid as , where is the grand potential
[TABLE]
and is the grand canonical partition function, which, within a functional integration perspective, can be calculated as
[TABLE]
To perform the explicit functional integration of the Lagrangian (6), we rewrite the local density field as
[TABLE]
where is the condensate density of the system in the broken-symmetry phase and is a real field describing the density fluctuations.
We substitute the field transformation (11) in the Lagrangian of Eq. (6), obtaining
[TABLE]
where we keep only terms up to second order in the fluctuation fields and , thus making a Gaussian (one-loop) approximation.
Considering the Lagrangian of Eq. (12) inside the action , which now becomes the functional , it is particularly convenient to express it in terms of the Fourier series of the fluctuation fields, namely
[TABLE]
where are the bosonic Matsubara frequencies. Notice that, since we are supposing that the phase field is defined on , its Fourier components are non-numerable and can assume continuous values, thus they can be treated like ordinary functional integral variables. The action in the Fourier space is obtained by simply substituting these expressions in and using the definition of the -dimensional delta function. Moreover, we also substitute the Fourier series of the real space interaction potential and we define with the zero-range interaction strength . In this way, the action can be rewritten as the sum of two contributions
[TABLE]
The first is the action of the homogeneous system , namely
[TABLE]
which does not depend on the functional integration variables: using Eqs. (9) and (10) one can employ to calculate , the mean field contribution to the grand potential
[TABLE]
The second contribution to the action is the Gaussian action , which is given by
[TABLE]
where, for simplicity of notation, we define and . Since is quadratic in the fluctuation fields and , one can rewrite it in the following matricial form
[TABLE]
where , the inverse of the propagator, is the matrix
[TABLE]
The functional integral of the real fluctuation fields and can be performed explicitly altland2010 , obtaining the corresponding Gaussian grand canonical partition function as
[TABLE]
which, considering the definition of the grand potential of Eq. (9), leads to the Gaussian contribution to the grand potential
[TABLE]
Here, we find the gapless excitation spectrum of the quantum fluid in the form
[TABLE]
where, within a perturbative approach, is determined by the saddle point condition , which leads to
[TABLE]
and whose substitution in the excitation spectrum gives , the renowned Bogoliubov spectrum bogoliubov1947
[TABLE]
The sum over the Matsubara frequencies in the Gaussian grand potential of Eq. (21) can be performed according to the prescriptions described in the Appendix, obtaining the grand potential as the sum of three contributions
[TABLE]
where due to Eqs. (16) and (23), and
[TABLE]
is the zero-temperature Gaussian grand potential encoding quantum fluctuations, while
[TABLE]
is the finite-temperature Gaussian grand potential, encoding thermal fluctuations. Finally, we explicitly write the zero-temperature equation of state, namely we calculate the pressure as the opposite of the grand potential of Eq. (25) at :
[TABLE]
In the thermodynamic limit of , the sum over can be rewritten as a -dimensional integral in momentum space , and, substituting again the Bogoliubov spectrum (24), the equation of state becomes
[TABLE]
where the integral can be calculated after the explicit choice of .
2.3 Explicit implementation for finite-range interaction.
We now provide an explicit implementation of the zero-temperature equation of state (29) for a bosonic quantum fluid of particles interacting with the finite-range effective interaction
[TABLE]
where is the usual zero-range interaction coupling, and
[TABLE]
is the first nonzero correction in the gradient expansion of an isotropic interaction potential . At zero temperature, we expect that the finite-range corrections to the equation of state are detectable, but small with respect to the zero-range result of Ref. salasnich2016 . By using scattering theory in two spatial dimensions, these couplings can be linked with the s-wave scattering length and the characteristic range of the real interatomic two-body interaction tononi ; astrakharchik2009 ; salasnich2017
[TABLE]
where is the number density of the system in .
The equation of state (29) becomes, with the finite-range interaction of Eq. (30)
[TABLE]
where we define the zero temperature Gaussian pressure as
[TABLE]
with
[TABLE]
Since the integrand function depends only on the modulus of the momentum , we rewrite the integral in using -dimensional spherical coordinates, namely
[TABLE]
where is the solid angle in -dimensions and is the Euler Gamma function. In order to integrate this equation, we introduce the adimensional variable , obtaining
[TABLE]
As a consequence of the substitution of the real interatomic potential with an effective interaction, the zero-temperature Gaussian pressure is ultraviolet divergent. In our framework, an efficient way to regularize is constituted by the technique of dimensional regularization thooft1972 . The basic idea of this approach is to rewrite a diverging integral in terms of the Euler beta and gamma functions, whose integral representation for is given by
[TABLE]
[TABLE]
Thank to the properties and , one can extend the domain of definition of the gamma and beta functions by analytic continuation of their arguments also to negative values, which usually appear in many physical problems. However, despite this dimensional regularization procedure can be successfully used to regularize many ultraviolet diverging integrals, in our peculiar two-dimensional case the procedure described above would lead to a result containing the gamma function evaluated for negative integer values, which is again a diverging quantity. To avoid this residual divergence, we extend the dimension of the system to the complex value , and we formally perform the integration of Eq. (37). We obtain
[TABLE]
in which the wavevector is introduced for dimensional reasons. Notice how in and for the Gaussian pressure is still divergent. To regularize it, we rely on the following small- expansion of the gamma function kleinert2001
[TABLE]
where is the digamma function and is its derivative. Moreover, we express the exponentiation of a generic coefficient for as
[TABLE]
With this recipe, the Gaussian pressure in gives
[TABLE]
where is the Euler-Mascheroni constant. Finally, we delete the divergence in the square bracket zeidler2009 and we rewrite the zero-temperature equation of state of Eq. (29) as
[TABLE]
where we define the energy cutoff as
[TABLE]
The equation of state (44) improves the one derived for bosons with a zero-range interaction popov1972 by Popov, whose result can be reproduced by setting , i.e. . We emphasize that, with a precise tuning of the interparticle interaction (see Ref. salasnich2017 for a detailed discussion), the finite-range corrections derived within our Gaussian approximation become larger than the zero-range beyond-Gaussian ones obtained by Mora and Castin moracastin . For weakly-interacting bosons with , where is the two-dimensional s-wave scattering length, we expect that the nonuniversal corrections of Eq. (44) arise for , where is the characteristic range of the interaction. In this intermediate regime the neglection of higher order terms in the gradient expansion of Eq. (30) is justified but, at the same time, the finite-range contributions are of comparable size to the zero-range ones.
3 Conclusions
In this work we derive the two-dimensional zero-temperature equation of state for a bosonic quantum fluid with a generic isotropic interaction. The superfluid perspective is emphasized by performing the Gaussian functional integration within a phase-amplitude parametrization of the complex order parameter. For a system with zero-range interaction, we reproduce the classical result by Popov. Nonetheless, we apply a novel dimensional regularization recipe to reproduce the nonuniversal corrections for a finite-range interaction potential. We expect that, with a fine tuning of the experimental interaction parameters, the finite-range correction produce sizable corrections to the thermodynamics of the weakly-interacting superfluid. Our derivation of the zero-temperature equation of state is valid also for other interparticle interactions. In particular, the previous results can be extended for a quasi-two-dimensional system of dipolar bosons whose polarization direction is perpendicular to the plane of confinement. For a generic orientation, however, it is necessary to consider the dependence of the interaction on the in-plane angle between the particles and to include it consistently in the dimensional regularization procedure.
4 Appendix
We illustrate here the procedure to calculate the summation over the bosonic Matsubara frequencies , which are defined as
[TABLE]
where are integer numbers. The most common sum that one has to perform is in the form
[TABLE]
Using the properties of the logarithm and considering that the summation involves all integers, both positive and negative, can also be rewritten in the useful form
[TABLE]
Taking the derivative of with respect to in the Eq. (47) we get
[TABLE]
In the zero temperature limit, the difference
[TABLE]
becomes infinitesimal and we can substitute the sum over with an integral over , obtaining
[TABLE]
which is the zero-temperature contribution to . If the temperature is relatively low, but non-zero, we cannot substitute the sum in Eq. (49) with an integral, but we can rewrite it as
[TABLE]
and, using the identity
[TABLE]
we obtain
[TABLE]
We integrate this equation on and, setting the arbitrary constant resulting from the indefinite integral to zero (it is not dependent on physical parameters), we finally obtain the result of the summation over the Matsubara frequencies
[TABLE]
which is used in this article to obtain Eq. (21).
Acknowledgements.
The author thanks Luca Salasnich and Alberto Cappellaro for useful discussions and suggestions. \conflictofinterests“The author declares no conflict of interest.”
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1(1) Landau, L. D. Theory of the Superfluidity of Helium II. Phys. Rev. 1941 , 60 , 356-358.
- 2(2) Kapitza, P. Viscosity of Liquid Helium below the λ 𝜆 \lambda -Point. Nature 1938 , 141 , 74.
- 3(3) Anderson, M. H.; Ensher, J. R.; Matthews, M. R.; Wieman, C. E.; Cornell, E. A.; Observation of Bose-Einstein Condensation in a Dilute Atomic Vapor. Science 1995 , 269 , 5221.
- 4(4) Davis, K. B.; Mewes, M. -O.; Andrews, M. R.; van Druten, N. J.; Durfee, D. S.; Kurn, D. M.; Ketterle, W. Bose-Einstein Condensation in a Gas of Sodium Atoms. Phys. Rev. Lett. 1995 , 75 , 3969.
- 5(5) Bradley, C. C.; Sackett, C. A.; Tollett, J. J.; Hulet, R. G. Evidence of Bose-Einstein Condensation in an Atomic Gas with Attractive Interactions. Phys. Rev. Lett. 1995 , 75 , 1687.
- 6(6) Dalfovo, F.; Giorgini, S.; Pitaevskii, L. P.; Stringari, S. Theory of Bose-Einstein condensation in trapped gases. Rev. Mod. Phys. 1999 , 71 , 463.
- 7(7) Mermin, N. D.; Wagner, H. Absence of Ferromagnetism or Antiferromagnetism in One- or Two-Dimensional Isotropic Heisenberg Models. Phys. Rev. Lett. 1966 , 17 , 1133.
- 8(8) Hohenberg, P. C. Existence of long-range order in one and two dimensions. Phys. Rev. 1967 , 158 , 383.
