Specific heat of a fermionic atomic cloud in the bulk and in traps Aurel Bulgac,, Joaquin E. Drut, Piotr Magierski University of Washington, Seattle, WA Also in Warsaw
Outline Some general remarks Path integral Monte Carlo for many fermions on the lattice at finite temperatures and bulk finite T properties Specific heat of fermionic clouds in traps Conclusions
Superconductivity and superfluidity in Fermi systems 20 orders of magnitude over a century of (low temperature) physics Dilute atomic Fermi gases T c 10-12 10-9 ev Liquid 3 He T c 10-7 ev Metals, composite materials T c 10-3 10-2 ev Nuclei, neutron stars T c 105 10 6 ev QCD color superconductivity T c 107 10 8 ev units (1 ev 10 4 K)
A little bit of history
Bertsch Many-Body X challenge, Seattle, 1999 What are the ground state properties of the many-body system composed of spin ½ fermions interacting via a zero-range, range, infinite scattering-length contact interaction. Why? Besides pure theoretical curiosity, this problem is relevant t to neutron stars! In 1999 it was not yet clear, either theoretically or experimentally, whether such fermion matter is stable or not! A number of people argued that under such conditions fermionic matter is unstable. - systems of bosons are unstable (Efimov effect) - systems of three or more fermion species are unstable (Efimov effect) Baker (winner of the MBX challenge) concluded that the system is stable. See also Heiselberg (entry to the same competition) Carlson et al (2003) Fixed-Node Green Function Monte Carlo and Astrakharchik et al. (2004) FN-DMC provided the best theoretical estimates for the ground state energy of such systems. Thomas Duke group (2002) demonstrated experimentally that such systems are (meta)stable.
Bertsch s regime is nowadays called the unitary regime The system is very dilute, but strongly interacting! n r 3 0 1 r 0 n a 3 1 n-1/3 1/3 λ F /2 a n - number density r 0 - range of interaction a - scattering length
Expected phases of a two species dilute Fermi system BCS-BEC BEC crossover High T, normal atomic (plus a few molecules) phase T Strong interaction weak interactions weak interaction BCS Superfluid a<0 no 2-body bound state Molecular BEC and Atomic+Molecular Superfluids a>0 shallow 2-body bound state halo dimers 1/a
Early theoretical approach to BCS-BEC BEC crossover Dyson (?), Eagles (1969), Leggett (1980) ( k k k k ) gs = u +v a a vacuum BCS wave function k m π 1 1 = ε 2 4 k 2 k 2Ek a 8 e 2 ε F exp π 2k a F gap equation ε µ k n = 2 1 number density equation k E k pairing gap 2 2 E k = ( ε k µ ) + quasi-particle energy ε k 2 2 k 2 2 2 1 ε µ k =, u k + v k = 1, v k= 1 2m 2 E k 2 2 2 2 3 total k = F + π a +... k n, n = F 2 E 3 3 N 5 2m m 8µ 3π Neglected/overlooked
Consequences: Usual BCS solution for small and negative scattering lengths, with exponentially small pairing gap For small and positive scattering lengths this equations describe a gas a weakly repelling (weakly bound/shallow) molecules, essentially all at rest (almost pure BEC state) Ψ ( r, r, r, r,...) A [ ϕ( r ) ϕ( r )...] 1 2 3 4 12 34 In BCS limit the particle projected many-body wave function has the same structure (BEC of spatially overlapping Cooper pairs) For both large positive and negative values of the scattering length these equations predict a smooth crossover from BCS to BEC, from a gas of spatially large Cooper pairs to a gas of small molecules
What is wrong with this approach: The BCS gap (a<0 and small) is overestimated, thus the critical temperature and the condensation energy are overestimated as well. In BEC limit (a>0 and small) the molecule repulsion is overestimated The approach neglects of the role of the meanfield (HF) interaction, which is the bulk of the interaction energy in both BCS and unitary regime All pairs have zero center of mass momentum, which is reasonable in BCS and BEC limits, but incorrect in the unitary regime, where the interaction between pairs is strong!!! (this situation is similar to superfluid 4 He) Ψ ( r, r, r, r,...) A [ ϕ( r ) ϕ( r )...] 1 2 3 4 12 34 Fraction of non-condensed pairs (perturbative( result)!?! n n ex 0 8 3 n = na m mm, nm=, amm 0.6 a 3 π 2
From a talk of Stefano Giorgini (Trento)
What is the best theory for the T=0 case?
Fixed-Node Green Function Monte Carlo approach at T=0 8 π BCS ε exp 2 F e 2kFa 7/3 2 π Gorkov ε F exp e 2kFa Carlson et al. PRL 91, 050401 (2003) Chang et al. PRA 70, 043602 (2004) Astrakharchik et al.prl 93, 200404(2004)
Even though two atoms can bind, there is no binding among dimers! Fixed node GFMC results, J. Carlson et al. (2003)
Theory for fermions at T >0 in the unitary regime Put the system on a spatio-temporal lattice and use a path integral formulation of the problem
A short detour Let us consider the following one-dimensional Hilbert subspace (the generalization to more dimensions is straightforward) P 2 = P projector in this Hilbert subspace π sin π l ( x y) dk xpy exp[ ikx ( y)] l = =, π 2 π π( x y) l ( ) ( x) = P δ x x, = ( x ) = ( x ) = K α α α β α β β α α αβ δ sin π N ( x nl) ψ( x) = c ( x) O(exp( cn)) ( nl) l α α + ψ π α = 1 n ( x nl) l 1 1 c = dx ( x) ψ( x) = ψ( x ), x = nl α K α K α α α α Littlejohn et al. J. Chem. Phys. 116,, 8691 (2002)
Schroedinger equation N ψ ( x) = d F ( x) + O(exp( cn)) α = 1 α α 1 F ( x) = ( x), x = nl, F F = δ K α α α α β αβ α β F T F + V( x ) δ d = Ed α β α αβ β α
k y π/l Momentum space π/l k x 2π/L 2 2 π εf,, T 2 2 ml 2 2 2 π δε > 2 ml 2 2 2 π εf, 2 ml ξ L = 2π δ p > L N l s
Grand Canonical Path-Integral Monte Carlo 2 2 ˆ ˆ ˆ 3 3 H = T + V = d x ψ ( x) ψ ( ) ψ ( ) ψ ( ) ˆ ( ) ˆ ( ) x + x x g 2 2 d x n x n x m m ˆ 3 N = d x nˆ ( x) + nˆ ( x), ˆ ( ) = ψ ( ) ψ ( ), =, ns x s x s x s Trotter expansion (trotterization( of the propagator) ( ) ( ) Z( β) = Tr exp β Hˆ µ Nˆ = Tr { exp τ Hˆ µ ˆ } Nτ 1 N, β = = T N τ τ ( ) 1 ET ( ) = Tr Hˆ exp β Hˆ µ Nˆ ZT ( ) ( ) 1 NT ( ) = Tr Nˆ exp β Hˆ µ Nˆ ZT ( ) No approximations so far, except for the fact that the interaction is not well defined!
Recast the propagator at each time slice and put the system on a 3d-spatial lattice, in a cubic box of side L=N s l,, with periodic boundary conditions 3 ( Hˆ Nˆ) ( Tˆ Nˆ) Vˆ ( Tˆ Nˆ) O exp τ µ exp τ µ / 2 exp( τ )exp τ µ / 2 + ( τ ) Discrete Hubbard-Stratonovich transformation ˆ 1 exp( τv ) = 1 + σ ( ) ˆ ( ) 1 σ ( ) ˆ ± + ± ( ), = exp( τ ) 1 2 x An x x An x A g x σ ( x ) =± 1 ± σ-fields fluctuate both in space and imaginary time m 1 mkc π = +, k < 2 2 2 c 4π a g 2π l Running coupling constant g defined by lattice
n(k) How to choose the lattice spacing and the box size 2π/L L box size l - lattice spacing k max =π/l k
ZT ( ) = Dσ( x, τ) Tr Uˆ ({ σ}) x, τ ˆ({ σ}) = T exp{ τ[ hˆ({ σ }) µ ]} τ τ One-body evolution operator in imaginary time ET ( ) = x, τ Dσ(,)Tr x τ Uˆ ({ σ}) Tr HU ˆˆ({ σ}) ZT ( ) Tr Uˆ ({ σ}) Uˆ σ = + Uˆ σ = S σ > 2 Tr ({ }) {det[1 ({ })]} exp[ ({ })] 0 No sign problem! Uˆ({ σ }) n (, x y) = n (, x y) = * exp( ik x) ϕ () x ( ), ( ) k 1 + Uˆ ϕ y ϕ x = l k kl, < k ({ σ} ) V c All traces can be expressed through these single-particle density matrices k l
More details of the calculations: Lattice sizes used from 6 3 x 300 (high Ts) to 6 3 x 1361 (low Ts) 8 3 running (incomplete, but so far no surprises) and larger sizes to come Effective use of FFT(W) makes all imaginary time propagators diagonal (either in real space or momentum space) and there is no need to store large e matrices Update field configurations using the Metropolis importance sampling algorithm Change randomly at a fraction of all space and time sites the signs s the auxiliary fields σ(x, (x,τ)) so as to maintain a running average of the acceptance rate between 0.4 and 0.6 Thermalize for 50,000 100,000 MC steps or/and use as a start-up field configuration a σ(x, (x,τ)-field configuration from a different T At low temperatures use Singular Value Decomposition of the evolution operator U({σ}) to stabilize the numerics Use 100,000-2,000,000 σ(x, (x,τ)- field configurations for calculations MC correlation time 250 300 time steps at T T c
a = ± Superfluid to Normal Fermi Liquid Transition Normal Fermi Gas (with vertical offset, solid line) Bogoliubov-Anderson phonons and quasiparticle contribution (dot-dashed dashed lien ) 4 3 3π T Ephonons( T) = εfn, ξ 0.44 3/2 s 5 16ξs εf 3 3 5 2π T E ( T) = ε N exp T quasi-particles F 4 5 2 ε F 7/3 2 π = ε F exp e 2 kfa 4 Bogoliubov-Anderson phonons contribution only (little crosses) People never consider this??? Quasi-particles contribution only (dashed line) µ - chemical potential (circles)
S E µ 3 T E = µ N - PV + TS = εf ( n) N e = ε( n) nv 5 εf ( n) 3 2 2 N kf kf n = =, ε ( ) 2 F n = V 3π 2m 5 en ( ) µ 3 T 2 S = N = Nσ, P = e( n) n T ε F ( n) 3
Specific heat of a fermionic cloud in a trap At T << T c only the Bogoliubov-Anderson modes in a trap are excited 4 ω In a spherical trap Ω nl = ω nn ( + l+ 2) + l ( 2 n+ l) 3 3 In an anisotropic trap 1 Ω( nx, ny, nz) ( nx + ny) ω + nzω 3
Now we can estimate E(T) ( nx, ny nz) ( n n n ) ' Ω, 1 Es ( T) Egs +, β = nx, ny, nz exp β x, y, z 1 T Ω 1 Ω( nx, ny, nz) ( nx + ny) ω + nzω 3 ω exp ( β ω ), T ω 2 2 3π T Es ( T) Egs +, ω T ω 6 ω 3/2 4 4 3 π T ω T T 3 2 c 30 ωω
The previous estimate used an approximate collective spectrum. Let us use the exact one for spherical traps: 4 4n Ω nl = ω nn ( + l+ 2) + l Ω surf = ω 1 + l 3 3 nl, ( 2l 1) β [ Ω ] ω( 3N ) 4/3 5 ' + Ω ξs nl Es ( T) Egs + + 142 exp 1 4 nl T 4 4 ω 1/2 4n 3/2 ωl 4n Es ( T) Egs + 2ω 1 + dl l exp 1+ n= 0 3 T 3 ω( 3N ) 4/3 5 ξs + 140 4 T 4 4 ω The last estimate includes only the surface modes
Let us try to estimate the contribution from surface modes in a deformed trap (only n=0 modes): 2 FS ( ) Ω surf ( S) = k, F( S) = U( r) m 2 mω ( 2 2 2 2 Ur () = x + y + λ z ) 2 S E ( T) s E + gs 2 dsd k 2 ( π ) Ω surf ( S) 2 exp β Ωsurf ( S) 1 4/3 5 2 ξs ω( N ) T λ 4 4 2 ω λ λ 3 96 arctan 1 + 4 1
Let us estimate the maximum temperature for which this formula is reasonable: 2 T 2 l < lmax s N ω ξ ( 24 ) ω( 3N ) 2/3 4/3 ξs 5/2 s( ) < + 140ωξs 24 E T 4 ( N) 5/3 5 ξsω( 3N) T ξsω( 3N) 4 4 4 ω 4 4/3 4/3 5/2 s( ) 35 > 35ωξs 24 FT ( N) 5/3 F ( T) n ξ ω( ) π n 4/3 2 2/3 2 3 N (3 N) T 4 6ξ ω 1/2 n
Conclusions Fully non-perturbative calculations for a spin ½ many fermion system in the unitary regime at finite temperatures are feasible and apparently the system undergoes a phase transition in the bulk at a T c = 0.22 (3) ε F (One variant of the fortran 90 program, version in matlab, has about 500 lines, and it can be shortened also. This is about as long as a PRL!) Below the transition temperature both phonons and fermionic quasiparticles contribute almost equaly to the specific heat. In more than one way the system is at crossover between a Bose and Fermi systems In a trap the surface modes seem to affect significantly the thermodynamic properties of a fermionic atomic cloud