This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

Universality in one-dimensional fermions at finite temperature:
Density, pressure, compressibility, and contact

M. D. Hoffman    P. D. Javernick    A. C. Loheac    W. J. Porter    E. R. Anderson    J. E. Drut Department of Physics and Astronomy, University of North Carolina, Chapel Hill, North Carolina 27599-3255, USA
Abstract

We present finite-temperature, lattice Monte Carlo calculations of the particle number density, compressibility, pressure, and Tan’s contact of an unpolarized system of short-range, attractively interacting spin-1/2 fermions in one spatial dimension, i.e., the Gaudin-Yang model. In addition, we compute the second-order virial coefficients for the pressure and the contact, both of which are in excellent agreement with the lattice results in the low-fugacity regime. Our calculations yield universal predictions for ultracold atomic systems with broad resonances in highly constrained traps. We cover a wide range of couplings and temperatures and find results that support the existence of a strong-coupling regime in which the thermodynamics of the system is markedly different from the non-interacting case. We compare and contrast our results with identical systems in higher dimensions.

pacs:
67.85.Lm, 05.30.Fk, 74.20.Fg

I Introduction

Universal aspects of strongly coupled nonrelativistic many-body systems have been in the spotlight for the last decade. The realization and manipulation of these systems in the form of ultracold atomic clouds close to broad Feshbach resonances RevExp , followed by the enhanced understanding of their universality in terms of underlying conformal invariance, equations of state, and the Tan relations RevTheory , have clarified the central role of these simple systems for many-body quantum mechanics across all of physics. Broad resonances in dilute gases result in effective short-range interactions, such that the thermodynamics is universal Universality , in the sense that the only significant dynamical scale is the ss-wave scattering length, and the thermal behavior is otherwise insensitive to the microscopic details of the system.

Interest in the one-dimensional (1D) version of these systems has existed in the area of condensed matter for a long time (see, e.g. Giamarchi ), as many of these systems display quantum phase transitions, conformal invariance, and in some cases are exactly solvable (at zero temperature). Remarkably, 1D problems have also been studied in nuclear physics, where model calculations that resemble nuclear systems have often been performed (see, e.g., NegeleAlexandrouModel ; Alexandrou ), both for insight into the physics as well as to develop new many-body methods JurgensonFurnstahl .

In spite of such broad interest, a precise characterization of unpolarized attractively interacting fermions in 1D (e.g., in terms of the thermal equation of state and the contact) remains surprisingly absent from the literature. Such a characterization is simultaneously a prediction for ultracold-atom experiments and a benchmark for many-body methods. In contrast, there exists a considerable body of literature related to polarized Fermi gases in 1D, which are particularly interesting in connection with exotic superfluid phases that may appear at low temperatures. Most of that work focuses on the ground-state problem, which can be exactly solved via the Bethe ansatz (we return to this below); a recent, thorough review can be found in Ref. BetheAnsatzReview .

In this work we study the thermodynamics of unpolarized spin-1/21/2 fermions with a contact interaction, i.e., the Gaudin-Yang model GaudinYang ,

H^=22mii2i<jgδ(xixj),\hat{H}=-\frac{\hbar^{2}}{2m}\sum_{i}\nabla_{i}^{2}-\sum_{i<j}g\delta(x_{i}-x_{j}), (1)

where the sums are over all particles. We cover weakly to strongly coupled regimes, as well as a wide range of temperatures, and show lattice Monte Carlo results for the particle number density nn, pressure PP, compressibility κ\kappa, and Tan’s contact 𝒞\mathcal{C} Tan . Furthermore, we use exact diagonalization on the lattice to obtain the second-order virial coefficient for the pressure b2b_{2}, for which we also present analytic continuum results. Using the same analysis, we obtain analytic and numerical answers for the leading-order coefficient for the contact c2c_{2}.

II Many-body method, scales and dimensionless parameters

We employed a technique similar to that of Refs. BDM1 ; BDM2 ; EoSUFG2 but applied in 1D. The two-species fermion system is placed in a Euclidean space-time lattice of extent Nx×NτN_{x}\times N_{\tau} with periodic boundary conditions in the spatial direction and anti-periodic in the time direction. A Trotter-Suzuki decomposition of the Boltzmann weight is implemented, followed by a Hubbard-Stratonovich transformation, which allows us to write the grand-canonical partition function as a path integral over an auxiliary field. The path integral is evaluated using Metropolis-based Monte Carlo methods (see, e.g., Ref. Drut:2012md ). Throughout this work, we use units such that =m=kB=1\hbar=m=k_{B}=1, where mm is the mass of the fermions. The physical spatial extent of the lattice is L=NxL=N_{x}\ell, and we take =1\ell=1 to set the length and momentum scales. The extent of the temporal lattice is set by the inverse temperature β=1/T=τNτ\beta=1/T=\tau N_{\tau}. The time step τ=0.05\tau=0.05 (in lattice units) was chosen to balance temporal discretization effects with computational efficiency; in any case, those discretization effects are smaller than our statistical effects.

The physical input parameters are the inverse temperature β\beta, the chemical potential μ=μ=μ\mu=\mu_{\uparrow}=\mu_{\downarrow}, and the (attractive) coupling strength g>0g>0. From these, we form two dimensionless quantities: the fugacity and the dimensionless coupling, given by

z=exp(βμ)andλ2=βg2,z=\exp(\beta\mu)\ \ \ \ \ \text{and}\ \ \ \ \lambda^{2}=\beta g^{2}, (2)

respectively. In the grand-canonical ensemble, the density nn is an output variable, and therefore we use λ\lambda instead of the γ=g/n\gamma=g/n parameter often employed in 1D ground-state studies (see, e.g., Refs. Tokatly ; FuchsRecatiZwerger ).

Note that 1D fermions with a contact interaction are ultraviolet-finite, and as a consequence the bare coupling has a physical meaning. In the continuum limit, g=2/a0g=2/a_{0}, where a0a_{0} is the scattering length for the symmetric channel (see e.g. Ref. ScatteringIn1D ). Using zz and λ\lambda as parameters will facilitate the comparison with experiments, as well as with other theoretical approaches.

Lattice calculations of the kind we use are exact, up to statistical and systematic uncertainties. To address the former, we have taken 5000 de-correlated samples for each data point in the plots shown below, which yields a statistical uncertainty of order 34%3\!-\!4\%. To address the systematic effects, one must approach the continuum limit. Because one-dimensional problems are computationally inexpensive, it is possible to calculate in large lattices, from Nx=50N_{x}=50 to 100 and beyond. For such lattice sizes, the continuum limit is achieved by lowering the density while still remaining in the many-particle, thermodynamic regime. Operationally, this is accomplished by increasing the lattice parameter β\beta, ensuring that the thermal wavelength λT=2πβ\lambda_{T}=\sqrt{2\pi\beta} satisfies 1=λTL=Nx1=\ell\ll\lambda_{T}\ll L=\ell N_{x}; at fixed zz, this reduces the density. In our calculations, we have used λT3.57.0\lambda_{T}\simeq 3.5-7.0 and Nx=81N_{x}=81. We have then verified that our results collapse to the same (universal) curve when β\beta and gg are varied while λ2=βg2\lambda^{2}=\beta g^{2} is held fixed. This “collapse” takes place at different rates for different parameter values (see Appendix A for additional details). Lattice sizes larger than Nx=81N_{x}=81 are computationally more expensive but certainly feasible; however, we chose to fix that size and cover a wider region of parameter space instead. Because our study proceeded at constant λ\lambda, increasing β\beta implies reducing gg, which results in smaller uncertainties associated with the temporal lattice spacing τ\tau in the Trotter-Suzuki decomposition; these are expected to be of order 12%1\!-\!2\% (see e.g. Ref. BDM2 ).

III Results

We report our results in dimensionless form by displaying quantities in units of their non-interacting counterparts at the same value of the input parameters, or by scaling them by the appropriate power of the thermal wavelength λT=2πβ\lambda_{T}=\sqrt{2\pi\beta}. Among our results is the density equation of state n(λ,βμ)n(\lambda,\beta\mu), from which we obtain the pressure PP and the isothermal compressibility κ\kappa by integrating and differentiating, respectively, with respect to the chemical potential. Our last Monte Carlo result is Tan’s contact 𝒞\mathcal{C}, which we determine by computing the average interaction energy. In addition to these quantities, we use exact diagonalization to compute the second-order virial coefficient for the pressure and density, and the corresponding leading-order coefficient for the contact; for both of these we also provide analytic results.

III.1 Density

Refer to caption
Figure 1: (Color online) Density nn, in units of the density of the non-interacting system n0n_{0}, as a function of the dimensionless parameters βμ=lnz\beta\mu\!=\!\ln z and λ2=βg2\lambda^{2}\!=\!\beta g^{2}. From bottom to top, the coupling is λ=0.0,1.0,1.25,1.5,,2.5,2.75,3.0,3.1,3.2,,4.0\lambda\!=\!0.0,1.0,1.25,1.5,...,2.5,2.75,3.0,3.1,3.2,...,4.0. The dashed line joins the maxima at each λ\lambda.

In Fig. 1 we show the density nn as a function of the dimensionless parameters zz and λ\lambda, defined above. The non-interacting result is

n0λT=2πI1(z),n_{0}\lambda_{T}=\frac{2}{\sqrt{\pi}}I_{1}(z), (3)

where I1(z)=zdI0(z)/dzI_{1}(z)=z\,{dI_{0}(z)}/{dz}, and

I0(z)=𝑑xln(1+zex2).I_{0}(z)=\int_{-\infty}^{\infty}dx\ln(1+ze^{-x^{2}}). (4)

The solid curves in Fig. 1 correspond to a three-point moving average over an interpolation of the original Monte Carlo data. The error bars represent the difference between the original data and the moving average. For all λ>0\lambda>0 there exists a strongly coupled regime around βμ=lnz1\beta\mu=\ln z\simeq-1, where the deviation from the non-interacting system is maximal. This effect is more pronounced for larger λ\lambda. The locus of the maxima (indicated in Fig. 1 with a dashed line) can be shown to satisfy n0κ0=nκn_{0}\kappa_{0}=n\kappa, where κ\kappa is the isothermal compressibility of the system at finite λ\lambda and κ0\kappa_{0} is the noninteracting value.

These results are qualitatively similar to those of Ref. Enss2D . In that work, the density equation of state was computed for the two-dimensional (2D) system. The similarity can be traced back to the fact that in both cases a bound state is formed as soon as interactions are turned on, i.e. the unitary limit coincides with the non-interacting limit. Therefore, increasing βμ\beta\mu along the line of constant physics (i.e. fixed λ\lambda) ultimately leads to a weak-coupling regime in 1D and 2D. In three dimensions (3D), however, the analogous path drives the system deep into the non-trivial unitary limit. References EoSUFG1 ; EoSUFG2 , for instance, do not see a peak in n/n0n/n_{0}, but rather a monotonically increasing function (see, e.g., Fig. 4(a) in Ref. EoSUFG1 , or Fig. 4 in Ref. EoSUFG2 ).

Table 1: Fit parameters for the density equation of state, using the functional form n/n0=1+α(βμ)γn/n_{0}=1+\alpha({\beta\mu})^{-\gamma}, second-order pressure virial coefficient b2b_{2}, and leading-order contact virial coefficient c2c_{2}, all as a function of the dimensionless coupling λ\lambda. For the non-interacting gas (λ=0\lambda=0), the virial coefficients are bn=(1)n+1n3/2b_{n}=(-1)^{n+1}n^{-3/2}.
λ\lambda b2(lattice)b_{2}\text{(lattice)} c2(lattice)c_{2}\text{(lattice)} α\alpha γ\gamma
0 0.35355-0.35355... 0 0.00.0 -
1.0 0.035-0.035 0.630.63 0.24(1)0.24(1) 0.46(6)0.46(6)
1.25 0.100.10 1.261.26 0.300(5)0.300(5) 0.47(4)0.47(4)
1.5 0.280.28 2.362.36 0.450(2)0.450(2) 0.53(9)0.53(9)
1.75 0.520.52 4.224.22 0.554(5)0.554(5) 0.56(9)0.56(9)
2.0 0.820.82 7.337.33 0.656(8)0.656(8) 0.59(2)0.59(2)
2.25 1.241.24 12.512.5 0.771(8)0.771(8) 0.61(6)0.61(6)
2.5 1.791.79 21.021.0 0.970(1)0.970(1) 0.66(1)0.66(1)
2.75 2.562.56 34.934.9 1.219(6)1.219(6) 0.70(1)0.70(1)
3.0 3.613.61 57.757.7 1.525(1)1.525(1) 0.76(1)0.76(1)

To characterize the approach to the non-interacting limit in the region βμ>0\beta\mu>0, we performed fits to the density using the (purely phenomenological) functional form

n/n0=1+α(βμ)γ,{n}/{n_{0}}=1+\alpha({\beta\mu})^{-\gamma}, (5)

where α,γ\alpha,\gamma are functions of λ\lambda, as shown in Table 1. For βμ0\beta\mu\ll 0, the virial expansion is applicable, for which

nλT/2=z+2b2z2+3b3z3+,{n\lambda_{T}}/{2}=z+2b_{2}z^{2}+3b_{3}z^{3}+\cdots, (6)

and the factor of 1/21/2 on the left-hand side comes from the number of fermion species. In Table 1 we show the virial coefficient b2b_{2} obtained by exact diagonalization of the two-body problem on the lattice. The exact result for b2b_{2} in the continuum limit, obtained by the same methods utilized in 3D (see e.g. Refs. HoMueller ; LeeSchaefer ), is

b2=12+eλ2422[1+erf(λ/2)],b_{2}=-\frac{1}{\sqrt{2}}+\frac{e^{\frac{\lambda^{2}}{4}}}{2\sqrt{2}}\left[1+\text{erf}(\lambda/2)\right], (7)

where erf(x)\text{erf}(x) is the error function. From the above data, we determine other thermodynamic quantities, which furnish a prediction for ultracold atom experiments.

III.2 Temperature scale

Having the density as a function of βμ\beta\mu at our disposal, we can determine the temperature scale in a different convention which is often used, namely T/εFT/\varepsilon_{F}, where εF=kF2/2\varepsilon_{F}=k_{F}^{2}/2 and kF=πn/2k_{F}=\pi n/2. In Fig. 2 we show our results for T/εFT/\varepsilon{}_{F} as a function of the dimensionless coupling kFa0k_{F}a_{0}, for each value of λ\lambda. This graph should be understood as a parametric plot: both axes depend on βμ\beta\mu implicitly through nn, at fixed λ\lambda. As can be appreciated from this plot, for each λ\lambda our results cover a range in T/εFT/\varepsilon_{F} that goes from below 0.10.1 all the way to beyond 1.51.5 (for display purposes, Fig. 2 does not show the full upper region of the T/εFT/\varepsilon_{F} axis, which corresponds to large, negative βμ\beta\mu).

Refer to caption
Figure 2: (Color online) Temperature scale, in units of εF\varepsilon_{F}, as a function of the coupling kFa0k_{F}a_{0}. Here, kF=πn/2k_{F}=\pi n/2, where nn is the total density, and εF=kF2/2\varepsilon_{F}=k_{F}^{2}/2. The dashed line connects the βμ=0\beta\mu=0 points for each value of λ\lambda. The βμ>0\beta\mu>0 (<0<0) points lie to the right (left) of the dashed line.

III.3 Pressure and compressibility

It is straightforward to obtain an estimate for the pressure by integrating nλTn\lambda_{T} over logz=βμ\log z=\beta\mu. We take the z=0z=0 limit (i.e., βμ\beta\mu\to-\infty) as a reference point. In practice, we verify that the data heals (within statistical uncertainties) to the virial expansion at low zz, and use that result (at second order) to complete the integration to z=0z=0. In that limit the pressure vanishes, such that

PλT3=2πβμnλTd(βμ).P\lambda_{T}^{3}=2\pi\int_{-\infty}^{\beta\mu}{n\lambda_{T}}\;d(\beta\mu)^{\prime}. (8)

The results for PP, in units of the non-interacting pressure P0P_{0}, are shown in Fig. 3. Note that P0λT3=16πI0(z)P_{0}\lambda_{T}^{3}=\sqrt{16\pi}I_{0}(z), where I0(z)I_{0}(z) is given above.

Refer to caption
Figure 3: (Color online) Pressure in units of its non-interacting counterpart, as a function of the dimensionless parameters βμ=lnz\beta\mu=\ln z and λ2=βg2\lambda^{2}=\beta g^{2}, obtained by βμ\beta\mu-integration of the density (see Eq. 8). The values of λ\lambda shown in this plot are the same as in Fig. 1.

By taking a derivative of nn one obtains the isothermal compressibility,

κ=βn2n(βμ)|β=λT32π(nλT)2(nλT)(βμ)|β.\kappa=\frac{\beta}{n^{2}}\left.\frac{\partial n}{\partial(\beta\mu)}\right|_{\beta}=\lambda^{3}_{T}\frac{\sqrt{2\pi}}{(n\lambda_{T})^{2}}\left.\frac{\partial(n\lambda_{T})}{\partial(\beta\mu)}\right|_{\beta}. (9)

We report this quantity in Fig. 4, in units of its non-interacting counterpart κ0\kappa_{0}, where (in dimensionless form) κ0λT3=π3/2(n0λT)2I2(z)\kappa_{0}\lambda_{T}^{-3}=\pi^{-3/2}(n_{0}\lambda_{T})^{-2}I_{2}(z), and I2(z)=zdI1(z)/dzI_{2}(z)=z\,{dI_{1}(z)}/{dz}. As expected, in the limits of large βμ\beta\mu (both positive and negative) κ\kappa tends to κ0\kappa_{0}. On the other hand, in the strongly interacting region κκ0\kappa\ll\kappa_{0}, i.e., the system is less compressible than in the non-interacting regime. We attribute this to the formation of localized di-fermion molecules and Pauli exclusion. Note that oscillations in these curves at large βμ\beta\mu reflect the inherent instability of calculating numerical derivatives (when coupled with the statistical uncertainty in nn), rather than a physical effect.

Refer to caption
Figure 4: (Color online) Isothermal compressibility in units of its non-interacting counterpart, as a function of the dimensionless parameters βμ=lnz\beta\mu=\ln z and λ2=βg2\lambda^{2}=\beta g^{2}. The values of λ\lambda shown in this plot are the same as in Fig. 1, but from top to bottom instead.

III.4 Contact

Knowing the density as detailed above, one may use the Maxwell relation to calculate the contact 𝒞\mathcal{C} from nn (see Refs. ThermoContact ; MaxwellContact1D ; Tan ), which in dimensionless form reads

z(β2𝒞)z|λ,T=λ222π(nλT)λ|z,T.z\left.\frac{\partial(\beta^{2}\mathcal{C})}{\partial z}\right|_{\lambda,T}=\frac{\lambda^{2}}{2\sqrt{2\pi}}\left.\frac{\partial(n\lambda_{T})}{\partial\lambda}\right|_{z,T}. (10)

Alternatively, one may use the interaction energy V^\langle\hat{V}\rangle. Starting from the definition in 1D,

𝒞=2βλT(βΩ)(a0/λT)|μ,T,{\mathcal{C}}=\frac{2}{\beta\lambda_{T}}\left.\frac{\partial(\beta\Omega)}{\partial(a_{0}/\lambda_{T})}\right|_{\mu,T}, (11)

where Ω\Omega is the grand thermodynamic potential, the contact can be shown, using the Feynman-Hellman theorem, to be given by

𝒞=gV^.{\mathcal{C}}=-{g}{\langle\hat{V}\rangle}. (12)

Note that 𝒞{\mathcal{C}} can be made dimensionless and intensive by multiplying it by λT4/L\lambda^{4}_{T}/L. On the other hand, the virial expansion for Ω\Omega reads βΩ=Q1(z+b2z2+b3z3+),-\beta\Omega=Q_{1}\left(z+b_{2}z^{2}+b_{3}z^{3}+\dots\right), where Q1=2L/λTQ_{1}=2L/\lambda_{T} is the single-particle partition function, and the virial coefficients bnb_{n} are the same as those for the density appearing in Eq. 6. Thus, the virial expansion for 𝒞\mathcal{C} takes the form

β𝒞=2λTQ1(c2z2+c3z3+),\beta{\mathcal{C}}=\frac{2}{\lambda_{T}}Q_{1}\left(c_{2}z^{2}+c_{3}z^{3}+\dots\right), (13)

where

cn=bn(a0/λT)=π2λ2bnλ.c_{n}=-\frac{\partial b_{n}}{\partial\left(a_{0}/\lambda_{T}\right)}=\sqrt{\frac{\pi}{2}}\lambda^{2}\frac{\partial b_{n}}{\partial\lambda}. (14)

Our definition for the cnc_{n} coefficients coincides with that of Ref. VignoloMinguzzi . From our calculation of the virial coefficient b2b_{2}, we obtain b2/λ{\partial b_{2}}/{\partial\lambda}; the resulting c2c_{2} is shown in Table 1. The exact continuum result (based on Eqs. 7 and 14) is

c2=λ24+π8eλ24λ3[1+erf(λ/2)].c_{2}=\frac{\lambda^{2}}{4}+\frac{\sqrt{\pi}}{8}e^{\frac{\lambda^{2}}{4}}\lambda^{3}\left[1+\text{erf}(\lambda/2)\right]. (15)
Refer to caption
Figure 5: (Color online) Tan’s contact 𝒞\mathcal{C}, scaled by βλT/(2Q1λ2)=πβ2/(2Lλ2)\beta\lambda_{T}/(2Q_{1}\lambda^{2})=\pi\beta^{2}/(2L\lambda^{2}) [see Eqs. (13) and (14)], as a function of βμ\beta\mu. The black line shows 𝒞\mathcal{C} in the absence of interactions. Inset: Zoom-in of main plot on the region 4.5βμ1.0-4.5\leq\beta\mu\leq-1.0, showing also the leading-order virial expansion. Both plots show data for λ=0.5,1.0,1.5,,4.0\lambda=0.5,1.0,1.5,...,4.0, which appear from bottom to top.

In Fig. 5 we show our results for the contact, including the leading-order virial expansion (inset). We show statistical error bars in the inset; in the main plot, the smoothness of the results across βμ\beta\mu indicate that the statistical effects are of the order of the size of the symbols. As seen in the inset, the data captures the correct asymptotic behavior at small zz for all λ\lambda, but the agreement slowly deteriorates at large λ\lambda, suggesting that the virial expansion breaks down earlier in that regime. For βμ1\beta\mu\gg 1 the contact satisfies

𝒞πβ2/(2Lλ2)=n^n^πβ/2ζ1βμ+ζ2,\mathcal{C}\pi\beta^{2}/(2L\lambda^{2})=\langle\hat{n}_{\downarrow}\hat{n}_{\uparrow}\rangle\pi\beta/2\to\zeta_{1}\beta\mu+\zeta_{2}, (16)

where we find ζ1=0.35(1)\zeta_{1}=0.35(1) is nearly λ\lambda-independent; it is in fact a feature of density-density correlations in the non-interacting gas that leaves an imprint at all couplings (see below). On the other hand, as is evident from the plot, ζ2\zeta_{2} is approximately linear in λ\lambda at large βμ\beta\mu [we find ζ2(λ)a+bλ\zeta_{2}(\lambda)\simeq a+b\lambda with a=0.34(1)a=-0.34(1) and b=0.701(5)b=0.701(5) at βμ=10\beta\mu=10]. Analytic estimates in the absence of interactions yield ζ1=1/π=0.318\zeta_{1}=1/\pi=0.318... and ζ2(βμ)1\zeta_{2}\propto(\beta\mu)^{-1}. Although much is known about 𝒞\mathcal{C} in various situations (see e.g. Ref. ContactReview for a review), the full temperature dependence in 1D shown here does not appear anywhere else in the literature, to the best of our knowledge.

IV Summary and Conclusions

We have performed a controlled, fully non-perturbative study of the thermodynamics of the Gaudin-Yang model (i.e., a one-dimensional, two-species Fermi system, with short-range, attractive interactions). We employed lattice Monte Carlo methods that have been successfully utilized before for similar studies, and discussed statistical and systematic uncertainties. We report here on several quantities, namely the density, pressure, contact, and leading virial coefficients, in all cases covering weakly to strongly coupled regimes (as characterized by values of the dimensionless parameter 0λ216.00\leq\lambda^{2}\leq 16.0), as well as low to high temperatures (as characterized by 5.0βμ8.0-5.0\leq\beta\mu\leq 8.0, which ranges from the semi-classical regime βμ<1.0\beta\mu<-1.0 to the deep quantum regime βμ>1.0\beta\mu>1.0, which we also display in terms of T/εFT/\varepsilon_{F}). Our results for the density equation of state display a behavior similar to that observed in 2D systems: A regime exists around βμ=lnz1\beta\mu=\ln z\simeq-1 in which deviations from the non-interacting case are maximal. As zz is increased from z1z\ll 1 (the semi-classical regime where the virial expansion is valid) this strongly coupled regime is (roughly) accompanied by the onset of quantum fluctuations at βμ=lnz0\beta\mu=\ln z\simeq 0.

Although certain 1D Fermi systems are exactly solvable via the Bethe ansatz BatchelorEtAl ; TakahashiBook , the latter is restricted to uniform systems in the ground state (or close to it BatchelorEtAlGaudinYang ). Indeed, finite temperature studies require the thermodynamic Bethe ansatz, which involves solving an infinite tower of coupled non-linear integral equations BatchelorEtAlGaudinYang . The necessary truncation of this tower leads to a potentially uncontrolled approximation, in contrast to the control over uncertainties present in the Monte Carlo techniques used here. Regardless, it is somewhat surprising that a thorough numerical characterization of this simple system, as a benchmark for many-body methods, is absent from the literature, to the best of our knowledge. To help remedy this situation as much as possible, we have aimed to characterize the universal thermodynamics of this system in detail.

Finally, our results constitute predictions for experiments with ultracold atoms in highly elongated optical traps. These are now realized using modulated potentials. Moreover, our results are universal in the sense that they apply to any unpolarized atomic gas in dilute regimes, where the interaction potential is well approximated by a contact interaction. As we show throughout all reported quantities, there is only one interaction parameter (i.e. λ\lambda) determining the thermodynamics. Our study is readily generalizable to a higher number of fermion species, which are expected to be experimentally available in the near future LargeNf .

Acknowledgements.
This material is based upon work supported by the National Science Foundation Graduate Research Fellowship Program under Grant No. DGE1144081, National Science Foundation Nuclear Theory Program under Grant No. PHY1306520 and National Science Foundation REU Sites Program under Grant No. ACI1156614.

Appendix A Systematics of the approach to the continuum limit

In this section we report briefly on the systematic effects resulting from performing calculations at finite β\beta. As mentioned in the main text, the continuum limit is approached in our method when β\beta\to\infty, and different quantities approach their limit at different rates, which also depend on the values of other input parameters (e.g. βμ\beta\mu). As we show in Figs. 6 and 7, the convergence to the large-β\beta limit improves as the difference between βμ\beta\mu and the βμ1\beta\mu\simeq-1 point (where the interaction and quantum effects dominate) increases. This is clearer at strong coupling (Fig. 7) than at weak coupling (Fig. 6); indeed, the latter is essentially converged already at β=4\beta=4, whereas the former still shows finite-β\beta effects even at β=8\beta=8 in some regions. From these graphs, we infer that the largest systematic uncertainties due to finite β\beta are on the order of 10%10\%. We stress that that is an upper bound for these systematic effects. Those effects are most prominent around the maximum in n/n0n/n_{0}; they are apparent for the strongest couplings we have studied (λ=4\lambda=4) and are small for weak coupling (λ=1\lambda=1).

Refer to caption
Figure 6: (Color online) Density nn, in units of the non-interacting density n0n_{0}, as a function of βμ\beta\mu at weak coupling (λ=1.0\lambda=1.0), for several values of β\beta. Finite-β\beta effects are small throughout the graph. Note the ranges in the xx and yy axes are different from those of Fig. 1.
Refer to caption
Figure 7: (Color online) Density nn, in units of the non-interacting density n0n_{0}, as a function of βμ\beta\mu at the strongest coupling in this study (λ=4.0\lambda=4.0), for several values of β\beta. Finite-β\beta effects are clearly visible, especially around the maximum. Note that the xx-axis range is different from that of Fig. 1, but the yy-axis is slightly extended.

References

  • (1) M. Inguscio, W. Ketterle, and C. Salomon (eds.), Ultracold Fermi Gases, in Proceedings of the International School of Physics “Enrico Fermi”, Course CLXIV, Varenna, June 20 – 30, 2006, (IOS, Amsterdam, 2008).
  • (2) I. Bloch, J. Dalibard, and W. Zwerger, Rev. Mod. Phys. 80, 885 (2008); S. Giorgini, L. P. Pitaevskii, and S. Stringari, ibid. 80, 1215 (2008).
  • (3) H. Heiselberg, Phys. Rev. A 63, 043606 (2001); T.-L. Ho, Phys. Rev. Lett. 92, 090402 (2004).
  • (4) T. Giamarchi, Quantum Physics in One Dimension, (Oxford University Press, Oxford, 2004).
  • (5) C. Alexandrou, J. Myczkowski, and J. W. Negele, Phys. Rev. C 39, 1076 (1989).
  • (6) C. Alexandrou, Phys. Lett. B 236, 125 (1990).
  • (7) E. D. Jurgenson, R. J. Furnstahl, Nucl. Phys. A 818, 152 (2009).
  • (8) X-W. Guan, M. T. Batchelor, and C. Lee Rev. Mod. Phys. 85, 1633 (2013).
  • (9) M. Gaudin, Phys. Lett. 24A, 55 (1967); C.N. Yang, Phys. Rev. Lett. 19, 1312 (1967).
  • (10) S. Tan, Ann. Phys. 323, 2952 (2008); ibid. 323, 2971 (2008); ibid. 323, 2987 (2008); S. Zhang, A. J. Leggett, Phys. Rev. A 77, 033614 (2008); F. Werner, ibid. 78, 025601 (2008); E. Braaten, L. Platter, Phys. Rev. Lett. 100, 205301 (2008); E. Braaten, D. Kang, L. Platter, ibid. 104, 223004 (2010).
  • (11) A. Bulgac, J. E. Drut, and P. Magierski, Phys. Rev. Lett. 96, 090404 (2006).
  • (12) A. Bulgac, J. E. Drut, and P. Magierski, Phys. Rev. A 78, 023625 (2008).
  • (13) J. E. Drut, T. A. Lähde, G. Wlazlowski, P. Magierski, Phys. Rev. A 85, 051601(R) (2012).
  • (14) J. E. Drut and A. N. Nicholson, J. Phys. G 40, 043101 (2013).
  • (15) I. V. Tokatly, Phys. Rev. Lett. 93, 090405 (2004).
  • (16) J. N. Fuchs, A. Recati, and W. Zwerger, Phys. Rev. Lett. 93, 090408 (2004).
  • (17) V. E. Barlette, M. M. Leite, S. K. Adhikari, Eur. J. Phys., 21 435 (2000).
  • (18) M. Bauer, M. M. Parish, T. Enss, Phys. Rev. Lett. 112, 135302 (2014).
  • (19) K. Van Houcke, F. Werner, E. Kozik, N. Prokofev, B. Svistunov, M. J. H. Ku, A. T. Sommer, L. W. Cheuk, A. Schirotzek, M. W. Zwierlein, Nat. Phys. 8, 366 (2012).
  • (20) T.-L. Ho and E. J. Mueller, Phys. Rev. Lett. 92, 160404 (2004).
  • (21) D. Lee and T. Schäfer, Phys. Rev. C 73, 015201 (2006).
  • (22) V. Romero-Rochin, arXiv:1012.0236.
  • (23) X. Guan, Int. J. Mod. Phys. B 28, 1430015 (2014).
  • (24) P. Vignolo, A. Minguzzi, Phys. Rev. Lett. 110, 020403 (2013).
  • (25) X.-J. Liu Phys. Rep. 524, 37 (2013).
  • (26) M. Takahashi, Prog. Theor. Phys. 44, 348 (1970); Thermodynamic of One-Dimensional Solvable Models (Cambridge University Press, Cambridge, 1999).
  • (27) M. T. Batchelor et al., J. Phys. Conf. Ser. 42, 5 (2006).
  • (28) X.-W. Guan, M. T. Batchelor, C.-H. Lee and M. Bortz, Phys. Rev. B 76, 085120 (2007); E. Zhao, X.-W. Guan, W. V. Liu, M. T. Batchelor, and M. Oshikawa, Phys. Rev. Lett. 103, 140404 (2009).
  • (29) M. A. Cazalilla, A. M. Rey, Rep. Progr. Phys. 77, 124401 (2014).