Skip to main content
Springer logoLink to Springer
. 2021 Apr 16;22(7):2283–2353. doi: 10.1007/s00023-021-01031-6

The Dilute Fermi Gas via Bogoliubov Theory

Marco Falconi 1, Emanuela L Giacomelli 2, Christian Hainzl 2, Marcello Porta 3,✉
PMCID: PMC8550787  PMID: 34720695

Abstract

We study the ground state properties of interacting Fermi gases in the dilute regime, in three dimensions. We compute the ground state energy of the system, for positive interaction potentials. We recover a well-known expression for the ground state energy at second order in the particle density, which depends on the interaction potential only via its scattering length. The first proof of this result has been given by Lieb, Seiringer and Solovej (Phys Rev A 71:053605, 2005). In this paper, we give a new derivation of this formula, using a different method; it is inspired by Bogoliubov theory, and it makes use of the almost-bosonic nature of the low-energy excitations of the systems. With respect to previous work, our result applies to a more regular class of interaction potentials, but it comes with improved error estimates on the ground state energy asymptotics in the density.

Introduction

In this paper, we consider interacting, spin 1/2 fermions, in three dimensions, in the thermodynamic limit. We will focus on the ground state energy of the system, for positive and short-ranged interaction potentials. Let ρσ be the density of particles with spin-up, σ=↑, or spin-down, σ=↓. Let e(ρ↑,ρ↓) be the ground state energy density of the system, in the thermodynamic limit. We will be interested in the dilute regime, corresponding to ρσ≪1. It is well known that, in units such that ħ=1 and setting the masses of the particles to be equal to 1/2:

e(ρ↑,ρ↓)=35(6π2)23(ρ↑53+ρ↓53)+8πaρ↑ρ↓+o(ρ2). 1.1

The first term in the right-hand side of Eq. (1.1) is purely kinetic, and its ρ5/3-dependence is a consequence of the fermionic nature of the wave function. It is easy to find a fermionic state that reproduces the correct ρ5/3 dependence of the energy; this is the free Fermi gas, i.e., the fermionic state that minimizes the total kinetic energy of the systems, in a way compatible with Pauli principle.

The effect of the interaction is visible at the next order; denoting by V the two-body potential, the constant a in Eq. (1.1) is the scattering length of the potential. For small potentials, it can be computed as a perturbative expansion in V, via the Born series. It is easy to check that taking the free Fermi gas as a trial state for the many-body problem, the ρ2-dependence of the ground state energy is off by an order 1 multiplicative constant: instead of 8πa one finds V^(0), which is strictly larger than 8πa. To reproduce the correct dependence of the energy in the interaction, one has to understand the effect of correlations in the fermionic ground state, which is not an easy task even from the point of view of an upper bound.

The first proof of (1.1) has been given by Lieb, Seiringer and Solovej in an important work [25]. The proof of [25] covers a large class of positive two-body potentials, including the case of hard spheres. The result of [25] has then been extended by Seiringer to the computation of the thermodynamic pressure for positive temperature Fermi gases [32]. Concerning interacting lattice fermions (Hubbard model), the analogue of Eq. (1.1) follows from the upper bound of Giuliani [18] and from the lower bound of Seiringer and Yin [33].

For bosonic systems, in a seminal paper [26] Lieb and Yngvason proved that the ground state energy density of the dilute Bose gas is, assuming the particles to be spinless:

e(ρ)=4πaρ2+o(ρ2). 1.2

In this expression, the interaction determines the ground state energy at leading order, in contrast to (1.1). This is consistent with the fact that bosons tend to minimize the energy occupying the lowest momentum state, which gives no contribution to the ground state energy. This is of course forbidden for fermions, due to Pauli principle. The result of [26] has been recently improved by Fournais and Solovej in [17]. The work [17] obtained a more refined asymptotics for the ground state energy density, from the point of view of a lower bound. Combined with the upper bound of Yau and Yin in [35], see also [2] for a streamlined proof, the work [17] determined the next-order correction to the ground state energy of dilute bosons and put on rigorous grounds the celebrated Lee–Huang–Yang formula.

Comparing Eq. (1.1) with Eq. (1.2), one is naturally tempted to think the low energy excitations around the free Fermi gas as pairs of fermions, which can be described by emergent bosonic particles, whose ground state energy reconstructs the 8πaρ↑ρ↓ term in (1.1). (The extra factor 2 is due to the spin degrees of freedom.) The main motivation of the present paper is to make this intuition mathematically precise.

For the bosonic problem, a natural trial state that captures the correct dependence of the ground state energy on the scattering length is provided by a suitable unitary transformation, a Bogoliubov rotation, of a coherent state, [16]. Interestingly, for small potentials, the energy of this trial state also reproduces the Lee–Huang–Yang formula for the next-order correction to the energy [16, 27, 28], up to higher-order terms in the interaction. In this paper, we introduce the fermionic analogue of such transformations, roughly by considering pairs of fermions as effective bosons. The main difficulty we have to face is that, in the language of second quantization, quadratic expressions in the bosonic creation and annihilation operators become quartic in terms of the fermionic operators. As a consequence, the nice algebraic properties of Bogoliubov transformations are only approximately true, in the fermionic setting; quantifying the validity of this approximation is a nontrivial task, and it is the main technical challenge faced in the present paper.

The main application of our method is a new proof of (1.1). Our result comes with a substantial improvement of the error estimate. However, it is restricted to more regular interaction potentials with respect to [25]. In particular, the result of [25] includes the case of hard spheres, which we cannot cover at the moment. We believe that a larger class of interactions could be treated by approximation arguments, but we have not tried to extend the result in this direction. Nevertheless, we think that our approach is conceptually simple, and that it gives a new point of view on dilute Fermi gases. That said, our paper is significantly longer than [25]; the length is partially motivated by the fact that our manuscript does not rely on any prior work: the technical tools needed for our analysis are all developed here.

Our method borrows ideas from a series of recent, groundbreaking works of Boccato, Brennecke, Cenatiempo and Schlein [10–14]. There, Bogoliubov theory for interacting Bose gases in the Gross–Pitaevskii regime has been put on rigorous grounds, and it has been used to obtain sharp asymptotics on the ground state energy and on the excitation spectrum. Concerning the energy asymptotics of interacting fermions in the mean-field regime, the first rigorous result about the correlation energy, defined as the difference between the many-body and Hartree–Fock ground state energies, has been obtained in [22]. In [22], the correlation energy has been rigorously computed for small potentials via upper and lower bounds, that agree at second order in the interaction. The proof is based on rigorous second-order perturbation theory, first developed in [19, 20]. The method that we introduce in the present paper is related to the bosonization approach of [5, 6]. The method of [5, 6] allowed to compute the correlation energy of weakly interacting, mean-field fermionic systems, at all orders in the interaction strength. The result of [5, 6] confirmed the prediction of the random phase approximation, see [3] for a review. Both [5, 6, 22] make use of Fock space methods and fermionic Bogoliubov transformations, extending ideas previously introduced in the context of many-body fermionic dynamics [4, 7–9, 29].

A key technical ingredient of [5, 6] is the localization of the low energy excitations around the Fermi surface in terms of suitable patches, where the quasi-particle dispersion relation can be approximated by a linear one. This is not needed in the dilute regime considered here, due to the fact that the Fermi momentum is much smaller than the typical momentum exchanged in the two-body scattering. Another difference with respect to [5, 6] is that here we consider interacting systems in the thermodynamic limit; controlling this limit is nontrivial, due to the slow decay of the correlations for the free Fermi gas, which plays the role of reference state in our analysis, and of the solution of the scattering equation. Although the mean-field regime and the dilute regime are somewhat opposite, we find it remarkable that similar bosonization ideas apply in both cases.

As a future perspective, we think that the method presented in this paper might provide a good starting point for the derivation of more refined energy asymptotics, by importing tools that have been developed in the last decade for interacting bosons. An outstanding open problem is to prove the fermionic analogue of the Lee–Huang–Yang formula, due to Huang and Yang in [23], which gives the next-order correction to the ground state energy of dilute fermions, of order ρ7/3 (in three dimensions).

The paper is organized as follows. In Sect. 2 we define the model and state our main result, Theorem 2.1. In Sect. 3 we formulate the problem in Fock space, and we introduce fermionic Bogoliubov transformations, which will allow to extract the ρ5/3 dependence of the ground state energy, and part of the ρ2 dependence. In Sect. 4 we define the fermionic analogue of the bosonic Bogoliubov transformation, called correlation structure, that will allow us to compute the ground state energy at order ρ2; see Sect. 4.1 for a heuristic discussion. Section 5 is the main technical section of the paper; here, we discuss the properties of the correlation structure that mimic the algebraic properties of bosonic Bogoliubov transformations at leading order in the density. In Sect. 6 we use the discussion of Sect. 5 to prove a lower bound for the ground state energy that displays the correct dependence of the scattering length at order ρ2. Then, in Sect. 7 we conclude the proof of Theorem 2.1 by proving a matching upper bound, by the choice of a suitable trial state. Finally, in Appendix 7 we collect properties of the solution of the scattering equation that we shall use in our proofs; in Appendix 7 we prove some technical estimates for almost-bosonic operators; and in Appendix 7 we collect technical estimates on the infrared and ultraviolet regularizations of various expressions appearing in our proofs.

Main Result

We consider a system of N interacting, spinning fermions in a cubic box ΛL=[0,L]3, with periodic boundary conditions. The Hamiltonian of the model acts on L2(ΛL;C2)⊗N, and it is given by:

HN=-∑i=1NΔxi+∑i<j=1NV(xi-xj), 2.1

with Δxi the Laplacian acting on the i-th particle, and V the pair interaction potential. We shall suppose that V is the ‘periodization’ on ΛL of a potential V∞ on R3, compactly supported and regular enough:

V(x-y)=1L3∑p∈2πLZ3eip·(x-y)V^∞(p), 2.2

with V^∞(p)=∫R3dxe-ip·xV∞(x). We shall denote by Nσ the number of particles with a given spin σ∈{↑,↓}, and we shall set N=N↑+N↓. We shall require the wave function of the system, on which the Hamiltonian acts, to be antisymmetric separately in the first N↑ variables, and in the second N↓ variables. That is, the space of allowed wave functions is h(N↑,N↓):=La2(ΛLN↑)⊗La2(ΛLN↓), with La2(ΛLNσ)=L2(ΛL)∧Nσ the antisymmetric sector of L2(ΛL)⊗Nσ. We will focus on the ground state energy of the system:

EL(N↑,N↓)=infΨ∈h(N↑,N↓)⟨Ψ,HNΨ⟩⟨Ψ,Ψ⟩. 2.3

By translation invariance of the Hamiltonian, the energy is extensive in the system size. Thus, let us define the ground state energy density as:

eL(ρ↑,ρ↓):=EL(N↑,N↓)L3. 2.4

Let ρσ=Nσ/L3 be the density of particles with spin σ, and let ρ=ρ↑+ρ↓ be the total density. We shall be interested in the thermodynamic limit, meaning Nσ,L→∞, with ρσ fixed. The existence of the limit, and the independence of the limit from the choice of the boundary conditions, is well known [30, 31]. We shall focus on the dilute regime, corresponding to ρ≪1. The next theorem is our main result.

Theorem 2.1

Let V∈C∞(ΛL), compactly supported, V≥0. There exists L0>0 large enough such that for L≥L0 the following holds:

eL(ρ↑,ρ↓)=35(6π2)23(ρ↑53+ρ↓53)+8πaρ↑ρ↓+rL(ρ↑,ρ↓), 2.5

where a is the scattering length of the potential V, and for some constant C only dependent on V:

-Cρ2+ξ2≤rL(ρ↑,ρ↓)≤Cρ2+ξ1 2.6

with ξ1=29 and ξ2=19.

Remark 2.2

  • (i)

    As discussed in the introduction, the result is not new. The first proof of (2.5) has been given by Lieb, Seiringer, Solovej in [25]. The extension to positive temperature has been obtained in [32]. The analogue of (2.5) for the Hubbard model follows from the combination of [18, 33].

  • (ii)

    With respect to [25], our result is restricted to smooth interaction potentials. However, our result comes with improved error estimates; in [25], ξ1=2/27 and ξ2=1/39.

  • (iii)

    As the inspection of the proof shows, the statement of the main result could actually be easily extended to potentials V∈Ck(ΛL) for large enough k. To avoid unnecessary complications, we prefer to state the result in a more restrictive setting.

The rest of the paper is devoted to the proof of Theorem 2.1.

Second Quantization

Fock Space Representation

In the following, it will be convenient to work in a setting in which the number of particles is not fixed. To this end, we define the fermionic Fock space as:

F=⨁n≥0F(n),F(n)=L2(ΛL;C2)∧n 3.1

with the understanding that F(0)=C. Thus, a given element ψ∈F is an infinite sequence of fermionic wave functions, ψ=(ψ(0),ψ(1),…,ψ(n),…) with ψ(n)∈F(n), ψ(n)≡ψ(n)((x1,σ1),…,(xn,σn)) and (x,σ)∈ΛL×{↑,↓}. An important example of vector in the Fock space is the vacuum vector Ω, describing the zero particle state:

Ω=(1,0,0,…,0,…). 3.2

Next, it is convenient to introduce the fermionic creation/annihilation operators, as follows. For f∈L2(ΛL;C2)≃L2(ΛL)⊕L2(ΛL), f=(f↑,f↓), the fermionic annihilation operator a(f):F(n)→F(n-1) and creation operator a∗(f):F(n)→F(n+1) are defined as:

(a(f)ψ)(n)((x1,σ1),…,(xn,σn))=n+1∑σ=↑↓∫ΛLdxfσ(x)¯ψ(n+1)((x,σ),(x1,σ1),…,(xn,σn))(a∗(f)ψ)(n)((x1,σ1),…,(xn,σn))=1n∑j=1n(-1)j+1fσj(xj)ψ(n-1)((x1,σ1),…,(xj-1,σj-1),(xj+1,σj+1),…,(xn,σn)). 3.3

The above definitions are complemented by the requirement that the operator a(f) annihilates the Fock space vacuum, a(f)Ω=0. Definition (3.3) implies that a(f)∗=a∗(f), and that:

{a(f),a(g)}={a∗(f),a∗(g)}=0,{a(f),a∗(g)}=⟨f,g⟩L2(ΛL;C2) 3.4

where ⟨f,g⟩L2(ΛL;C2)=∑σ=↑↓∫ΛLdxfσ(x)¯gσ(x). As a consequence of the canonical anticommutation relations (3.4), we have:

‖a(f)‖≤‖f‖L2(ΛL;C2),‖a∗(g)‖≤‖g‖L2(ΛL;C2). 3.5

It will also be convenient to represent the creation/annihilation operators in terms of the operator-valued distributions ax,σ∗, ax,σ,

a(f)=∑σ=↑↓∫ΛLdxax,σfσ(x)¯,a∗(g)=∑σ=↑↓∫ΛLdxax,σ∗gσ(x), 3.6

where, formally, ax,σ=a(δx,σ). We used the notation δx,σ(y,σ′)=δσ,σ′δ(x-y), with δσ,σ′ the Kronecker delta, and δ(x-y) the Dirac delta distribution, periodic over ΛL:

δ(x-y)=1L3∑k∈2πLZ3eik·(x-y). 3.7

It will also be convenient to introduce momentum-space fermionic creation and annihilation operators. Let fk(x)=L-3/2eik·x, for k∈(2π/L)Z3. Then:

a^k,σ≡aσ(fk)=1L32∫ΛLdxax,σe-ik·x,a^k,σ∗=aσ(fk)∗. 3.8

These relations can be inverted as follows, for all x∈ΛL:

ax,σ=1L32∑k∈2πLZ3eik·xa^k,σ. 3.9

We then define the number operator N as:

N=∑σ=↑↓∫ΛLdxax,σ∗ax,σ≡∑σ=↑↓∑k∈2πLZ3a^k,σ∗a^k,σ. 3.10

The operator N counts the number of particles in a given sector of the fermionic Fock space, (Nψ)(n)=nψ(n). We shall also define the number operator associated to particles with a given spin σ as:

Nσ=∫ΛLdxax,σ∗ax,σ. 3.11

We shall say that ψ∈F is an N-particle state if Nψ=Nψ. Also, we shall say that an N-particle state ψ, with N=N↑+N↓, has Nσ particles with spin σ if Nσψ=Nσψ. We shall denote by F(N↑,N↓)⊂F the set of such states. Let us now rewrite the ground state energy of the system in the language of second quantization. We define the second-quantized Hamiltonian as:

H=∑σ=↑↓∫ΛLdx∇xax,σ∗∇xax,σ+12∑σ,σ′=↑↓∫ΛL×ΛLdxdyV(x-y)ax,σ∗ay,σ′∗ay,σ′ax,σ. 3.12

It is not difficult to check that (Hψ)(n)=Hnψ(n), for n≥1. By the spin independence of the n-particle Hamiltonian Hn, we rewrite the ground state energy (2.3) as:

EL(N↑,N↓)=infψ∈F(N↑,N↓)⟨ψ,Hψ⟩⟨ψ,ψ⟩. 3.13

Equation (3.13) is a convenient starting point for our analysis.

Fermionic Bogoliubov Transformations

The Free Fermi Gas

A simple upper bound for the ground state energy is obtained taking as a trial state the Slater determinant that minimizes the kinetic energy, for given N↑, N↓. We shall refer to this state as the free Fermi gas (FFG). Explicitly,

ΨFFG((xi,↑}i=1N↑,{yj,↓}j=1N↓)=1N↑!1N↓!(detfki↑(xj))1≤i,j≤N↑(detfki↓(yj))1≤i,j≤N↓, 3.14

where fkσ(x)≡fk(x), with fk(x)=L-32eik·x and k∈BFσ, with BFσ the Fermi ball:

BFσ={k∈2πLZ3||k|≤kFσ}, 3.15

where the Fermi momentum kFσ is chosen so that Nσ=|BFσ|. Of course, this is not possible for all values of Nσ. We shall only consider values of Nσ such that the Fermi ball is completely filled; i.e., for which there exists kFσ so that Nσ=|BFσ|. This is not a loss of generality, by the existence of the thermodynamic limit, and since the densities ρσ=Nσ/L3 obtained in this way are dense in R+ as L→∞. Notice that, for fixed density ρσ, kFσ=(6π2)1/3ρσ1/3+o(1) as L→∞.

No repetition occurs in the momenta involved in the definition of each determinant in the right-hand side of (3.14); otherwise, the wave function would be exactly zero, by antisymmetry (Pauli principle). The state (3.14) turns out to be equal to the fermionic ground state of the total kinetic energy operator -∑j=1NΔxj, on h(N↑,N↓). The total kinetic energy density of such state is:

⟨ΨFFG,-∑j=1NΔxjΨFFG⟩L3=1L3∑σ∑k∈BFσ|k|2=35(6π2)23(ρ↑53+ρ↓53)+O(L-1), 3.16

where the error term denotes contribution bounded as CL-1 for L large enough (it is the error term arising from replacing the Riemann sum in the first line by an integral). The same state allows to obtain a simple upper bound for the ground state energy of the interacting system. It is convenient to introduce the fully antisymmetrized version of the ΨFFG, as:

ΦFFG(x1,…,xN)=1N!det(fiσi(xj))1≤i,j≤N, 3.17

with the understanding that σi=↑ for i∈[1,N↑] and σi=↓ for i∈[N↑+1,N]. The orbitals satisfy the orthogonality condition ⟨fkσ,fk′σ′⟩=δσ,σ′δk,k′. In the Fock space language, the state (3.17) can also be represented as (up to an overall sign):

ΦFFG=∏σ=↑,↓∏k∈BFσa^k,σ∗Ω. 3.18

Being the Hamiltonian spin independent:

⟨ΦFFG,HNΦFFG⟩=⟨ΨFFG,HNΨFFG⟩. 3.19

Eq. (3.17) is an example of quasi-free state, for which all correlation functions can be computed starting from the reduced one-particle density matrix:

ωσ,σ′(x,x′):=⟨ΦFFG,ax′,σ′∗ax,σΦFFG⟩=δσ,σ′∑k∈BFσ1L3eik·(x-x′). 3.20

Eq. (3.20) defines the integral kernel of an operator ω:L2(ΛL;C2)→L2(ΛL;C2), such that ω=ω2=ω∗, trω=N. In Fourier space, ω^σ,σ(k) is the characteristic function of the Fermi ball BFσ. All higher-order density matrices of the system can be computed starting from ω, via the fermionic Wick rule. In particular, the energy of ΦFFG only depends on ω:

⟨ΦFFG,HNΦFFG⟩=EHF(ω) 3.21

where EHF(ω) is the Hartree-Fock energy functional:

EHF(ω)=-trΔω+12∑σ,σ′=↑↓∫ΛL×ΛLdxdyV(x-y)(ωσ,σ(x;x)ωσ′,σ′(y;y)-|ωσ,σ′(x;y)|2). 3.22

The first term reproduces the kinetic energy of the free Fermi gas, Eq. (3.16). The second term, called the direct term, only depends on the density of the system, ωσ,σ(x;x)=ρσ:

12∑σ,σ′=↑,↓∫ΛL×ΛLdxdyV(x-y)ωσ,σ(x;x)ωσ′,σ′(y;y)=L32∑σ,σ′V^(0)ρσρσ′. 3.23

The last term, called the exchange term, can be computed at leading order in the density:

-12∑σ,σ′=↑,↓∫ΛL×ΛLdxdyV(x-y)|ωσ,σ′(x;y)|2=-12∑σ,σ′δσ,σ′L3∑k,k′∈BFσV^(k-k′)=-12∑σL3V^(0)ρσ2+O(ρ7/3), 3.24

where we used that if k,k′∈BFσ then |k-k′|≤Cρ1/3, which implies V^(k-k′)=V^(0)+O(ρ1/3). By the variational principle, we get, putting (3.16), (3.23), (3.24) together, for L large enough:

EL(N↑,N↓)L3≤EHF(ω)L3=35(6π2)23(ρ↑53+ρ↓53)+V^(0)ρ↑ρ↓+O(ρ73). 3.25

In Eq. (3.25), the effect of the interaction is only visible via the average of the potential, V^(0)=∫ΛLdxV(x). The mismatch between (2.5) and (3.25) will be due to the correlations between the particles in the many-body ground state, which are absent in the free Fermi gas.

Fermionic Bogoliubov Transformation

In this section, we shall introduce a suitable unitary transformation in Fock space that will allow us to efficiently compare the many-body ground state energy with the energy of the free Fermi gas.

Given the reduced one-particle density matrix of the free Fermi gas, ωσ,σ′=δσ,σ′∑k∈BFσ|fk⟩⟨fk|, we define the operators u:L2(ΛL;C2)→L2(ΛL;C2) and v:L2(ΛL;C2)→L2(ΛL;C2) as:

uσ,σ′(x;y)=δσ,σ′δ(x-y)-ωσ,σ′(x;y),vσ,σ′(x;y)=δσ,σ′∑k∈BFσ|fk¯⟩⟨fk|. 3.26

The symbol δ(x-y) denotes the periodic Dirac delta distribution on ΛL, see Eq. (3.7). Clearly,

uv¯=0,v¯v=ω. 3.27

By the Shale–Stinespring theorem, see [34] for a pedagogical introduction to the topic, there exists a unitary operator R:F→F such that the following holds.

  • (i)
    The vector RΩ is an N-particle state, which reproduces the Slater determinant ΦFFG, Eq. (3.17):
    (RΩ)(n)=0unlessn=N,in which case(RΩ)(N)=ΦFFG. 3.28
  • (ii)
    The map R:F→F implements the following transformation in Fock space:
    R∗a(f)R=a(uf)+a∗(v¯f¯),for allf∈L2(ΛL;C2). 3.29
    Equivalently,
    R∗ax,σR=aσ(ux)+aσ∗(v¯x), 3.30
    where setting uσ,σ≡uσ, vσ,σ≡vσ, and ux(y)≡u(x;y), vx(y)≡v(x;y):
    aσ(ux)=∫dyay,σuσ(y;x)¯,aσ∗(v¯x)=∫dyay,σ∗vσ(y;x)¯. 3.31
    Let a^k,σ=aσ(fk), recall Eq. (3.8). Then, the transformation (3.29) reads:
    R∗a^k,σR=a^k,σifk∉BFσa^k,σ∗ifk∈BFσ. 3.32
    Thus, Eq. (3.29) can be seen as implementing a particle-hole transformation. By the unitarity of R, Eq. (3.32) also implies that R∗a^k,σR=Ra^k,σR∗.

The operator R is a Bogoliubov transformation, see [1, 34] for reviews. The property (i) immediately implies:

⟨RΩ,HRΩ⟩=EHF(ω). 3.33

Instead, property (ii) allows to compare the energy of any state in the fermionic Fock space, with the energy of the free Fermi gas. This is the content of the next proposition. From now on, we shall simply write ∑σ for ∑σ=↑↓ and ∫dx for ∫ΛLdx.

Proposition 3.1

Let ψ∈F be a normalized state, such that ⟨ψ,Nσψ⟩=Nσ and N=N↑+N↓. Then:

  • (i)
    The following identity holds true:
    ⟨ψ,Hψ⟩=EHF(ω)+⟨R∗ψ,H0R∗ψ⟩+⟨R∗ψ,XR∗ψ⟩+⟨R∗ψ,QR∗ψ⟩ 3.34
    where the operators H0, X are given by:
    H0=∑k,σ||k|2-μσ|a^k,σ∗a^k,σ,μσ=(kFσ)2,X=∑σ∫dxdyV(x-y)ωσ(x-y)(aσ∗(ux)aσ(uy)-aσ∗(v¯y)aσ(v¯x)). 3.35
    The operator Q can be written as Q=∑i=14Qi with:
    Q1=12∑σ,σ′∫dxdyV(x-y)aσ∗(ux)aσ′∗(uy)aσ′(uy)aσ(ux)Q2=12∑σ,σ′∫dxdyV(x-y)[aσ∗(ux)aσ∗(v¯x)aσ′(v¯y)aσ′(uy)-2aσ∗(ux)aσ′∗(v¯y)aσ′(v¯y)aσ(ux)+aσ′∗(v¯y)aσ∗(v¯x)aσ(v¯x)aσ′(v¯y)]Q3=-∑σ,σ′∫dxdyV(x-y)[aσ∗(ux)aσ′∗(uy)aσ∗(v¯x)aσ′(uy)-aσ∗(ux)aσ′∗(v¯y)aσ∗(v¯x)aσ′(v¯y)]+h.c.Q4=12∑σ,σ′∫dxdyV(x-y)aσ∗(ux)aσ′∗(uy)aσ′∗(v¯y)aσ∗(v¯x)+h.c. 3.36
  • (ii)
    The following inequality holds true:
    ⟨ψ,Hψ⟩≥EHF(ω)+⟨R∗ψ,H0R∗ψ⟩+⟨R∗ψ,XR∗ψ⟩+⟨R∗ψ,Q~R∗ψ⟩, 3.37
    where Q~=∑i=14Q~i and:
    Q~1=12∑σ≠σ′∫dxdyV(x-y)aσ∗(ux)aσ′∗(uy)aσ′(uy)aσ(ux)Q~2=12∑σ≠σ′∫dxdyV(x-y)[aσ∗(ux)aσ∗(v¯x)aσ′(v¯y)aσ′(uy)-2aσ∗(ux)aσ′∗(v¯y)aσ′(v¯y)aσ(ux)+aσ′∗(v¯y)aσ∗(v¯x)aσ(v¯x)aσ′(v¯y)]Q~3=-∑σ≠σ′∫dxdyV(x-y)[aσ∗(ux)aσ′∗(uy)aσ∗(v¯x)aσ′(uy)-aσ∗(ux)aσ′∗(v¯y)aσ∗(v¯x)aσ′(v¯y)]+h.c.Q~4=12∑σ≠σ′∫dxdyV(x-y)aσ∗(ux)aσ′∗(uy)aσ′∗(v¯y)aσ∗(v¯x)+h.c. 3.38
Remark 3.2

The operator H0 describes the kinetic energy of the quasi-particle excitations around the Fermi energy μ. The operator X describes the interaction of quasi-particles inside the Fermi ball or outside the Fermi ball with the filled Fermi sea. The operator Q collects all the possible two-body scattering processes, for particles with momenta in the Fermi ball, outside the Fermi ball, or between them.

Proof

(i) To prove this identity, we transformed each fermionic operator according to (3.30) and we put the resulting expression into normal order, using the canonical anticommutation relations (3.4) and the properties (3.27). The details of the computation have been given already in a number of places and hence will be omitted; see for instance [4–7, 22].

(ii) Firstly, let us remark that the only difference between Q and Q~ is that in the latter the sums over σ,σ′ are restricted to σ≠σ′. We use that:

⟨ψ,Hψ⟩=∑σ∫dx‖∇ax,σψ‖2+12∑σ≠σ′∫dxdyV(x-y)‖ax,σay,σ′ψ‖2+12∑σ∫dxdyV(x-y)‖ax,σay,σψ‖2≥∑σ∫dx‖∇ax,σψ‖2+12∑σ≠σ′∫dxdyV(x-y)‖ax,σay,σ′ψ‖2, 3.39

and then we repeat the proof of (i) for the right-hand side of (3.39). □

If ψ is energetically close to the ground state, the state R∗ψ is expected to have ‘few particles’, that is much less that ρL3. On these states, the energetic contribution due to X is subleading with respect to ρ2L3, as we shall see. This is intuitively due to the fact that the filled Fermi sea has density ρ, while the density of particles in R∗ψ is much less than ρ. Instead, the terms ⟨R∗ψ,H0R∗ψ⟩, ⟨R∗ψ,QR∗ψ⟩ give a contribution to the ground state energy of order L3ρ2, which will allow to reconstruct the scattering length in the final result (2.5). Before proving this, let us establish some useful estimates for the various terms arising in (3.34) that will allow us to identify terms that are subleading with respect to L3ρ2.

Proposition 3.3

Under the assumptions of Theorem 2.1, the following holds.

  1. The operator X satisfies the bound:
    |⟨ψ,Xψ⟩|≤Cρ⟨ψ,Nψ⟩. 3.40
  2. The operators Q1, Q~1 are nonnegative.

  3. The operators Q2, Q~2 satisfy the bounds:
    |⟨ψ,Q2ψ⟩|≤Cρ⟨ψ,Nψ⟩,|⟨ψ,Q~2ψ⟩|≤Cρ⟨ψ,Nψ⟩. 3.41
  4. The operators Q3, Q~3 satisfy the bounds, for any α≥0:
    |⟨ψ,Q3ψ⟩|≤ρα⟨ψ,Q1ψ⟩+Cρ1-α⟨ψ,Nψ⟩,|⟨ψ,Q~3ψ⟩|≤ρα⟨ψ,Q~1ψ⟩+Cρ1-α⟨ψ,Nψ⟩. 3.42
    Furthermore, suppose that ψ is a Fock space vector such that ψ(n)=0 unless n=4k for k∈N. Then:
    ⟨ψ,Q3ψ⟩=0,⟨ψ,Q~3ψ⟩=0. 3.43
  5. The operators Q4, Q~4 satisfy the bounds, for any δ>0:
    |⟨ψ,Q4ψ⟩|≤δ⟨ψ,Q1ψ⟩+Cδρ2L3‖ψ‖2,|⟨ψ,Q~4ψ⟩|≤δ⟨ψ,Q~1ψ⟩+Cδρ2L3‖ψ‖2. 3.44
Proof

We shall only prove the statements for the Qi operators; the analogous statements for the Q~i operators are proven in exactly the same way.

Proof ofa)._ We have, using the notation ‖ωσ,x‖∞=supy|ωσ(x;y)|:

|⟨ψ,Xψ⟩|≤∑σ‖ωσ,x‖∞∫dxdyV(x-y)(‖aσ(ux)ψ‖2+‖aσ(v¯x)ψ‖2)≤ρ‖V‖1⟨ψ,Nψ⟩ 3.45

where we used that ‖ωσ,x‖∞≤ρσ, and that:

∫dx‖aσ(ux)ψ‖2=∑k∉BFσ⟨ψ,a^k,σ∗a^k,σψ⟩,∫dx‖aσ(v¯x)ψ‖2=∑k∈BFσ⟨ψ,a^k,σ∗a^k,σψ⟩, 3.46

from which the final bound in (3.45) immediately follows (recall the expression for the number operator, (3.10)).

Proof ofb)._ We have:

⟨ψ,Q1ψ⟩=12∑σ,σ′∫dxdyV(x-y)‖aσ(ux)aσ′(uy)ψ‖2≥0, 3.47

where we used that V(x-y)≥0.

Proof ofc)._ We have:

|∑σ,σ′∫dxdyV(x-y)⟨ψ,aσ∗(ux)aσ∗(v¯x)aσ′(v¯y)aσ′(uy)ψ⟩|≤∑σ,σ′∫dxdyV(x-y)‖vσ,x‖2‖vσ′,y‖2‖aσ(ux)ψ‖‖aσ′(uy)ψ‖≤Cρ∑σ,σ′∫dxdyV(x-y)‖aσ(ux)ψ‖2≤Cρ‖V‖1⟨ψ,Nψ⟩. 3.48

The second inequality follows from Cauchy–Schwarz inequality and:

‖vσ,x‖22=∫dy|vσ(x;y)|2=ωσ(x;x)=ρσ. 3.49

The last inequality follows from:

∑σ∫dx‖aσ(ux)ψ‖2≤⟨ψ,Nψ⟩. 3.50

The other two terms in the definition of Q2 are estimated in exactly the same way.

Proof ofd)._ Consider the first contribution to Q3. We write:

|∑σ,σ′∫dxdyV(x-y)⟨ψ,aσ∗(ux)aσ′∗(uy)aσ∗(v¯x)aσ′(uy)ψ⟩|≤ρα8∑σ,σ′∫dxdyV(x-y)‖aσ(ux)aσ′(uy)ψ‖2+2ρα∑σ,σ′∫dxdyV(x-y)‖aσ∗(v¯x)aσ′(uy)ψ‖2≤ρα4⟨ψ,Q1ψ⟩+C‖V‖1ρ1-α⟨ψ,Nψ⟩, 3.51

by Cauchy–Schwarz inequality and ‖vσ,x‖2≤ρ12. Consider now the second contribution to Q3. We have:

|∑σ,σ′∫dxdyV(x-y)⟨ψ,aσ∗(ux)aσ′∗(v¯y)aσ∗(v¯x)aσ′(v¯y)ψ⟩|≤∑σ,σ′∫dxdyV(x-y)‖vσ′,y‖2‖vσ,x‖‖aσ(ux)ψ‖‖aσ′(v¯y)ψ‖≤Cρ‖V‖1⟨ψ,Nψ⟩, 3.52

again by Cauchy–Schwarz inequality and ‖vσ,x‖2≤ρ12. The remaining terms in the definition of Q3 are estimated in exactly the same way. Let us now prove the identities (3.43). Consider the first; the proof of the second is identical. Let ψ be such that ψ(n)=0 unless n=4k for k∈N. Let φ=Q3ψ. Then, φ is a Fock space vector such that φ(n)=0 unless n=4k+2 for k∈N. Since 4k+2 is not a multiple of 4, ⟨ψ,φ⟩=∑n≥0⟨ψ(n),φ(n)⟩=0.

Proof ofe)._ Consider the first contribution to Q4. We write, by Cauchy–Schwarz inequality, for δ>0:

|∑σ,σ′∫dxdyV(x-y)⟨ψ,aσ∗(ux)aσ′∗(uy)aσ′∗(v¯y)aσ∗(v¯x)ψ⟩|≤∑σ,σ′∫dxdyV(x-y)[δ2‖aσ(ux)aσ′(uy)ψ‖2+12δ‖aσ′∗(v¯y)aσ∗(v¯x)ψ‖2]≤δ⟨ψ,Q1ψ⟩+Cδρ2L3‖ψ‖2. 3.53

The other contribution to Q4 is bounded in the same way. This concludes the proof of Proposition 3.3. □

In order to make good use of the above estimates, we need a priori information on the size of the expectation of the number operator, on states that are close enough to the ground state of the system. We shall refer to these states as approximate ground states

Definition 3.4

(Approximate ground state) Let ψ∈F be a normalized state, such that ⟨ψ,Nσψ⟩=Nσ and N=N↑+N↓. Suppose that:

|⟨ψ,Hψ⟩-∑σ=↑↓∑k∈BFσ|k|2|≤CL3ρ2. 3.54

Then, we shall say that ψ is an approximate ground state of H.

We will first get an a priori estimate on the relative kinetic energy operator H0. Afterward, we will show how to get information on the number operator from this a priori bound.

Lemma 3.5

(A priori estimate for H0). Under the assumptions of Theorem 2.1, the following holds. Suppose that ψ is an approximate ground state. Then:

⟨R∗ψ,H0R∗ψ⟩≤CL3ρ2. 3.55
Proof

By the positivity of the interaction,

⟨ψ,Hψ⟩≥∑σ=↑↓∑k∈2πLZ3|k|2⟨ψ,a^k,σ∗a^k,σψ⟩=∑σ=↑↓∑k∈2πLZ3|k|2⟨R∗ψ,R∗a^k,σ∗a^k,σRR∗ψ⟩=∑σ=↑↓∑k∈BFσ|k|2+∑σ=↑↓∑k∉BFσ|k|2⟨R∗ψ,a^k,σ∗a^k,σR∗ψ⟩-∑σ=↑↓∑k∈BFσ|k|2⟨R∗ψ,a^k,σ∗a^k,σR∗ψ⟩, 3.56

where the last step follows from (3.32). We then rewrite the last two terms as:

∑σ=↑↓∑k∉BFσ(|k|2-μσ)⟨R∗ψ,a^k,σ∗a^k,σR∗ψ⟩-∑σ=↑↓∑k∈BFσ(|k|2-μσ)⟨R∗ψ,a^k,σ∗a^k,σR∗ψ⟩+∑σ=↑↓μσ[∑k∉BFσ⟨R∗ψ,a^k,σ∗a^k,σR∗ψ⟩-∑k∈BFσ⟨R∗ψ,a^k,σ∗a^k,σR∗ψ⟩]≡⟨R∗ψ,H0R∗ψ⟩+∑σ=↑↓μσ[∑k∈2πLZ3⟨ψ,a^k,σ∗a^k,σψ⟩-Nσ]. 3.57

To reconstruct the kinetic energy operator H0, we used that if k∉BFσ then |k|2-μσ≥0, while if k∈BFσ then |k|2-μσ≤0. To obtain the term in the square brackets, we used again the properties of the Bogoliubov transformation (3.32). The term in the brackets vanishes, by the assumptions on the state. The bound (3.56), combined with the assumption (3.54), implies the final claim. □

We are now ready to prove an a priori estimate on the number operator. To do so, the following lemma will play an important role.

Lemma 3.6

Let α≥23. The following bound holds true:

⟨ψ,Nψ⟩≤CL3ρ13+α‖ψ‖2+1ρα⟨ψ,H0ψ⟩. 3.58
Proof

We write:

N=∑σ∑ka^σ,k∗a^σ,k=∑σ∑k:|k2-μσ|≤ραa^σ,k∗a^σ,k+∑σ∑k:|k2-μσ|>ραa^σ,k∗a^σ,k≡N<+N>, 3.59

For the first term, we use that:

⟨ψ,N<ψ⟩=∑σ∑k:|k2-μσ|≤ρα‖a^σ,kψ‖2≤CL3ρ13+α‖ψ‖2, 3.60

where the last inequality follows from the boundedness of the fermionic operators and from the estimate (recall that α≥2/3):

1L3∑k:|k2-μσ|≤ρα1≤C∫dkχ(|k2-μσ|≤ρα)≤C∫dkχ(ρ13(1-ρα-23)≤|k|≤ρ13(1+ρα-23))≤Cρ13+α. 3.61

For the second term, we use that:

⟨ψ,N>ψ⟩=∑σ∑k:|k2-μσ|>ρα‖a^σ,kψ‖2≤1ρα∑k,σ|k2-μσ|>ρα|k2-μσ|‖a^σ,kψ‖2≤1ρα⟨ψ,H0ψ⟩. 3.62

This concludes the proof. □

Corollary 3.7

(A priori estimate for N). Under the assumptions of Lemma 3.5, the following holds:

⟨R∗ψ,NR∗ψ⟩≤CL3ρ76. 3.63
Proof

The bound follows from Eqs. (3.58), (3.55), after optimizing over α. □

Remark 3.8

(Condensation estimate.) It is well known that the estimate (3.63) can be used to control the difference between the reduced one-particle density matrix of ψ and the reduced one-particle density matrix of the free Fermi gas, see, e.g., [7]. Let γψ(1) be the reduced one-particle density matrix of ψ,

γσ,σ′(1)(x;y)=⟨ψ,ay,σ′∗ax,σψ⟩. 3.64

Then, the bound (3.63) implies that, for an approximate ground state ψ:

trγψ(1)(1-ω)≤CL3ρ76. 3.65

This ‘condensation estimate’ is not new: it was an important ingredient of the analysis of [25]. One of the reasons for our improved error estimates in Theorem 2.1 is that we will be able to improve the bound (3.65), see Remark 6.3.

We conclude this section by discussing an a priori estimate for the operator Q1, arising after conjugating the Hamiltonian with the fermionic Bogoliubov transformation.

Lemma 3.9

(A priori estimate for Q1). Under the assumptions of Theorem 2.1, the following is true. Suppose that ψ an approximate ground state. Then:

⟨R∗ψ,Q1R∗ψ⟩≤CL3ρ2,⟨R∗ψ,Q~1R∗ψ⟩≤CL3ρ2. 3.66
Proof

From the estimates for X, Q2, Q3, Eqs. (3.40), (3.41) and (3.42), we get:

⟨ψ,Hψ⟩≥EHF(ω)+⟨R∗ψ,H0R∗ψ⟩+(1-Cρα)⟨R∗ψ,Q1R∗ψ⟩+⟨R∗ψ,Q4R∗ψ⟩+E(ψ), 3.67

with

|E(ψ)|≤Cρ1-α⟨R∗ψ,NR∗ψ⟩. 3.68

Eq. (3.68) together with the bound ±Q4≤δQ1+(C/δ)L3ρ2, Eq. (3.44), imply, taking, e.g., α=1/12:

⟨ψ,Hψ⟩≥EHF(ω)+⟨R∗ψ,H0R∗ψ⟩+(1-Cδ)⟨R∗ψ,Q1R∗ψ⟩-CδL3ρ2. 3.69

Taking δ>0 small enough, the final claim follows from assumption (3.54), from the explicit expression of EHF(ω), Eq. (3.25) and from the positivity of H0. The inequality for Q~1 follows immediately, since Q1≥Q~1. □

The Correlation Structure

Heuristics

Here, we shall give the intuition behind the method developed in the rest of the paper. Recall the expression for the many-body energy, after conjugating with the Bogoliubov transformation:

⟨ψ,Hψ⟩=EHF(ω)+⟨R∗ψ,(H0+Q1+Q4)R∗ψ⟩+E1(ψ). 4.1

If ψ is an approximate ground state, the error term E1(ψ) is subleading with respect to ρ2, as a consequence of the estimates proven in the previous section. For the sake of the following heuristic discussion, we shall neglect it. The operator Q4 can be rewritten as:

Q4=12∑σ,σ′1L3∑pV^(p)b^p,σb^-p,σ′+h.c., 4.2

with:

b^p,σ=∫dxeip·xaσ(ux)aσ(v¯x)=∑k:k+p∉BFσk∈BFσa^k+p,σa^k,σ. 4.3

The b, b∗ operators turn out to behave as ‘bosonic’ operators, if evaluated on states with few particles. To begin, notice that, denoting by δk,k′ the Kronecker delta:

[b^p,σ,b^q,σ′∗]=δp,qδσ,σ′|BFσ|-δσ,σ′∑k,k′∈BFσk+p,k′+q∉BFσ(a^k′+q,σ′∗a^k+p,σδk,k′+a^k′,σ′∗a^k,σδk+p,k′+q) 4.4

and [b^p,σ,b^q,σ′]=0. In particular, on states ψ that contain ‘few’ particles, L-3⟨ψ,Nψ⟩=o(ρ):

L-3⟨ψ,[b^p,σ,b^q,σ′∗]ψ⟩=δp,qδσσ′ρσ+o(ρ),⟨ψ,[b^p,σ,b^q,σ′]ψ⟩=0. 4.5

Equation (4.5) suggest that, on states with ‘few’ particles, the operators bp,σ, bq,σ′∗ satisfy approximate canonical commutation relations. Therefore, Q4 is quadratic on these pseudo-bosonic operators, which suggests that one might attempt to evaluate its energetic contribution to the ground state energy via diagonalization. Unfortunately, the H0, Q1 operators do not have this structure. Nevertheless, if evaluated on a suitable class of states, they behave as quadratic bosonic operators, as we shall see below. For instance, consider H0. Let us rescale the b operators so that they satisfy (approximate) canonical commutation relations, by setting c^p,σ=ρσ-1/2b^p,σ. One has:

[H0,c^q,σ∗]=ρσ-12∑k:k+q∉BFσk∈BFσ(||k+q|2-μσ|+||k|2-μσ|)a^k+q,σ∗a^k,σ∗=ρσ-12∑k:k+q∉BFσk∈BFσ(|k+q|2-|k|2)a^k+q,σ∗a^k,σ∗. 4.6

Being k inside the Fermi ball, |k|2≤Cρσ2/3. Thus, for |q|≫ρσ1/3, it makes sense to approximate:

[H0,cq,σ∗]≃|q|2cq,σ∗. 4.7

Let:

KB=1L3∑p,σ|p|2c^p,σ∗c^p,σ. 4.8

Considering the c operators as true bosonic operators, we see that KB satisfies the same (approximate) commutation relation as H0. This suggests that, on states with few bosons, the operators H0 and KB act similarly. For instance, consider a state with one boson, c^q,σ∗Ω. Then:

H0c^q,σ∗Ω=[H0,c^q,σ∗]Ω≃[KB,c^q,σ∗]Ω=KBc^q,σ∗Ω. 4.9

More generally, it is reasonable to expect that, on states R∗ψ with few particles:

⟨R∗ψ,H0R∗ψ⟩≃⟨R∗ψ,KBR∗ψ⟩. 4.10

Finally, consider now the Q1 operator. Again, Q1 is not quadratic in the pseudo-bosons. To understand its action in terms of pseudo-bosons, we rewrite it as:

Q1=12∑σ,σ′∫dxdyV(x-y)aσ∗(ux)aσ′∗(uy)aσ′(uy)aσ(ux)=12∑σ,σ′∫dxdyV(x-y)aσ∗(ux)aσ(ux)aσ′∗(uy)aσ′(uy)-12∑σ,σ′∫dxdyV(x-y)uσ(y,x)δσ,σ′aσ∗(ux)aσ′(uy)≡12L3∑pV^(p)DpD-p-12L3∑pV^(p)Ep, 4.11

where

Dp=∑σ∑k:k∉BFσk-p∉BFσa^k,σ∗a^k-p,σ,Ep=∑σ∑k:k∉BFσk-p∉BFσa^k,σ∗a^k,σ. 4.12

A simple computation shows that:

[Dp,c^q,σ∗]=ρσ-12∑k:k∈BFσk+q∉BFσk+q-p∉BFσak,σ∗ak+q-p,σ∗≃ρσ-12∑k:k∈BFσk+q-p∉BFσak,σ∗ak+q-p,σ∗≡c^q-p,σ∗. 4.13

In the last step we neglected the constraint k+q∉BFσ: this is reasonable, if |q|≫ρσ1/3. Thus, considering the c operators as true bosons, we see that Eq. (4.13) is the same commutation relation satisfied by replacing Dp with the operator:

Gp=1L3∑σ,qc^q-p,σ∗c^q,σ. 4.14

In the same spirit, it is not difficult to see that, for |q|≫ρσ1/3:

[Ep,c^q,σ∗]≃c^q,σ∗, 4.15

which is the same commutation relation satisfied replacing Ep by G0. All in all, we expect that, on states R∗ψ with few pseudo-bosonic excitations particles, with momenta |q|≫ρ1/3:

⟨ψ,Hψ⟩≃EHF(ω)+1L3∑p,σ|p|2⟨R∗ψ,c^p,σ∗c^p,σR∗ψ⟩+12L3∑p,σ,σ′ρσ12ρσ′12V^(p)⟨R∗ψ,(c^p,σc^-p,σ′+h.c.)R∗ψ⟩+12L9∑p,q,q′σ,σ′V^(p)⟨R∗ψ,c^q-p,σ∗c^q,σc^q′+p,σ′∗c^q′,σ′R∗ψ⟩-12L6∑p,q,σV^(p)⟨R∗ψ,c^q,σ∗c^q,σR∗ψ⟩. 4.16

Now, suppose that R∗ψ=Tξ, with ξ ‘close’ to the Fock space vacuum and:

T=exp1L3∑pρ↑12ρ↓12φ^(p)c^p,↑c^-p,↓-h.c., 4.17

for some even, real function φ^(p), to be chosen in a moment. Treating the c operators as true bosons, the operator T implements a bosonic Bogoliubov transformation. It acts as:

T∗cq,σT=cq,σ-ρσ12ρ-σ12φ^(q)c-q,-σ∗+o(ρ). 4.18

The state TΩ is a bosonic quasi-free state, and its energy can be computed via the bosonic Wick rule. We have:

1L3⟨TΩ,c^p,σ∗c^p,σTΩ⟩=ρσρ-σφ^(p)2+o(ρ2)1L3⟨TΩ,c^p,σc^-p,σ′TΩ⟩=-δσ,-σ′ρσ12ρ-σ12φ(p)+o(ρ)1L6⟨TΩ,c^q-p,σ∗c^q,σc^q′+p,σ′∗c^q′,σ′TΩ⟩=δp,0δq,q′δσ,σ′ρσρ-σφ(q)2+δq,q′+pδσ,σ′ρσρ-σφ(q)2+o(ρ2). 4.19

Supposing that R∗ψ≃TΩ one has, neglecting all o(ρ2) terms:

⟨R∗ψ,HR∗ψ⟩≃EHF(ω)+∑p,σρσρ-σ|p|2φ^(p)2-∑p,σρσρ-σV^(p)φ^(p)+12L3∑p,q,σρσρ-σV^(p)(φ^(q-p)φ^(-q)+φ^(q-p)2)-12L3∑p,q,σρσρ-σV^(p)φ^(q)2≡EHF(ω)+2L3ρ↑ρ↓e(φ) 4.20

where

e(φ):=1L3∑p(|p|2φ^(p)2-V^(p)φ^(p)+12(V^∗φ^)(p)φ^(p)). 4.21

We are interested in the value of φ that gives the smallest energy. The equation for the minimizer is:

2|p|2φ^(p)-V^(p)+(V^∗φ^)(p)=0. 4.22

The infinite volume counterpart of (4.22) is the zero energy scattering equation:

-Δf+12V∞f=0,f=1-φ, 4.23

with boundary condition f(x)→1 for |x|→∞. Recall that V on ΛL and V∞ on R3 are related by periodization, see Eq. (2.2). With a slight abuse of notation, we temporarily denote by φ^(p) the restriction to p∈2πLZ3 of the Fourier transform of the function φ(x) solving (4.23). One can show, see, e.g., Eq. (30) of [16], that this function satisfies Eq. (4.22) up to O(1/L). We shall neglect these error terms for the purpose of the present heuristic discussion. Thus, plugging φ^(p) in (4.21) we get, up to subleading error terms:

e(φ)=-12L3∑pV^(p)φ^(p), 4.24

hence:

⟨R∗ψ,HR∗ψ⟩L3=EHF(ω)L3-ρ↑ρ↓1L3∑pV^(p)φ^(p)+o(ρ2). 4.25

In conclusion, recalling the expression (3.25) for EHF(ω), for L large enough:

⟨R∗ψ,HR∗ψ⟩L3=35(6π2)23(ρ↑53+ρ↓53)+ρ↑ρ↓(V^(0)-1L3∑pV^(p)φ^(p))+o(ρ2). 4.26

The term in parenthesis can be rewritten as, for L→∞:

∫dxV∞(x)(1-φ(x))≡8πa, 4.27

where a is the scattering length of the potential V∞. This reproduces the main term in the final result (2.5). Even at the heuristic level, however, there is a problem: the operators H0, Q1, Q4 can be represented in terms of bosonic operators provided they act on states with few bosonic particles, with momenta |q|≫ρ1/3. The state TΩ is given by a superposition of states by an even number of bosons, with momenta in the support of φ^(p). Hence, to enforce the momentum constraint, we would like the function φ^(p) to be supported for |p|≫ρ1/3. We can achieve this by regularizing φ(x), so that it is supported on a ball of radius 1≪R≪ρ-1/3. Let φγ be the solution of the scattering equation in a ball B≡Bρ-γ(0)⊂R3 centered at zero and with radius ρ-γ with 0≤γ≤1/3, satisfying Neumann boundary conditions:

-Δ(1-φγ)+12V∞(1-φγ)=λγ(1-φγ),φγ=∇φγ=0on∂B, 4.28

with |λγ|≤Cρ3γ. See [15, 24] for the study of this equation, and Appendix 7 for a summary of results. For x∈B away from the support of V∞, the solution of (4.28) behaves as:

φγ(x)∼aγ|x|,with8πaγ=∫dxV(x)(1-φγ(x)). 4.29

The function φγ is extended to R3 by setting φγ(x)=0 for x∉B. To make it compatible with the periodic boundary conditions on ΛL, from now on we shall take φ as the periodization of φγ,

φ(x)=∑n∈Z3φγ(x+n1e1L+n2e2L+n3e3L). 4.30

Equivalently:

φ(x)=1L3∑p∈2πLZ3eip·xφ^γ(p), 4.31

where φ^γ(p)=∫R3dxe-ip·xφγ(x). Plugging the solution of this equation in e(φ), we obtain, as L→∞, using that in this limit φ(x)→φγ(x) pointwise:

e(φ)=-12∫dp(2π)3V^(p)φ^γ(p)+ρ3γ∫dp(2π)3φ^γ(p)(1-φ^γ(p)). 4.32

It is well known that |a-aγ|≤Cργ [15, 24], see Lemma A.1. Thus, the first term combined with the interaction energy of the free Fermi gas reproduces the scattering length, while the last term is bounded by:

|ρ3γ∫dp(2π)3φ^γ(p)(1-φ^γ(p))|≤ρ3γφγ(0)+ρ3γ‖φγ‖22≤Cρ2γ, 4.33

where we used that φγ(x)∼|x|-1 for large |x|, and that φγ(x) is compactly supported. This error term amounts to a small correction to the ground state energy, which does not affect the ρ2 term.

Remark 4.1

  • (i)

    As the above heuristics suggests, the choice γ=1/3 is expected to be the correct one in order to compute the ground state energy density with a O(ρ7/3) precision; this is the order of magnitude of the next correction to the ground state energy after 8πaρ↑ρ↓, [23].

  • (ii)

    As mentioned in the introduction, similar bosonization ideas have been recently used in order to prove the validity of the random phase approximation, for the ground state energy of interacting fermionic systems in the mean-field regime [5, 6]. There, the emergent bosonic degrees of freedom correspond to particle-hole excitations that are localized around suitable ‘patches’ on the Fermi surface (whose radius grows proportionally to N1/3), around which the kinetic energy operator H0 can be approximated by a linear dispersion for the bosonic modes.

Definition of the Correlation Structure

Here, we shall give a precise definition of the unitary operator T, introduced in the previous section. Before doing this, let us fix some notation that will be used in the rest of the paper.

Notations.

  • We shall denote by χ:R+→[0,1] a smooth, nonincreasing cutoff function such that χ(t)=1 for t≤1 and χ(t)=0 for t≥2. We shall also use the notation χc=1-χ.

  • We shall denote by C a general constant, possibly dependent on V, whose value might change from line to line.

  • We shall denote by Cβ a general prefactor of the form Cρ-cβ. We will not keep track of such ρ-dependence of the bounds. At the end, by taking the interaction potential regular enough, we will be able to consider β>0 arbitrarily small.

  • Unless otherwise stated, we shall use the notation ‖·‖p for ‖·‖Lp(ΛL).

  • We shall use the notations ∑σ for ∑σ=↑↓, ∫dx for ∫ΛLdx and ∑k for ∑k∈2πLZ3.

  • We shall denote by |·| the usual Euclidean distance on R3, and by |·|L the distance on the torus: |x-y|L=minn∈Z3|x-y-n1e1-n2e2-n3e3|, with {ei} the standard orthonormal basis of R3.

  • We shall use the notation ux, vx to denote the functions y↦ux(y)≡u(x;y), y↦vx(y)≡v(x;y).

  • We shall denote by eL a general finite size correction, subleading with respect to L3.

Let us introduce regularized versions of the operators u and of v, introduced in Sect. 3.2.2. We define:

vσ,σ′r=δσ,σ′L3∑kv^σr(k)|fk¯⟩⟨fk|,uσ,σ′r=δσ,σ′L3∑ku^σr(k)|fk⟩⟨fk|, 4.34

where v^σr(k), u^σr(k) are smooth, radial functions with the following properties. Let α=13+ϵ3, with ϵ>0, and let β>0, to be chosen later on:

v^σr(k)=1for|k|<kFσ-ρσα0for|k|≥kFσ,u^σr(k)=0for|k|≤kFσ1for2kFσ≤|k|≤32ρσ-β0for|k|≥2ρσ-β. 4.35

Concretely, we choose:

v^σr(k)=χ(|k|-(kFσ-2ρσα)ρσα),u^σr(k)=χ(ρσβ|k|)χc(|k|kFσ). 4.36

Notice that these regularized operators preserve the important orthogonality relation in Eq. (3.27):

urv¯r=0. 4.37

We shall also denote by ωr the regularized version of ω, ωr=vr¯vr. The reason for the smoothing in momentum space is to ensure fast decay in |x-y|L of kernels ωr(x;y) and ur(x;y) (this has to be compared with the nonintegrable decay of ω(x;y)). Such improved decay will play an important technical role in the definition of the almost-bosonic Bogoliubov transformation; we postpone the discussion after Definition 4.3. Notice that the definition of the operator ur also includes an ultraviolet regularization, for momenta ≥2ρ-β, which implies that |ur(x;y)| is bounded. For regular enough interaction potentials, the effect of this ultraviolet cutoff turns out to be negligible.

The next proposition collects useful bounds for the regularized kernels.

Proposition 4.2

(Bounds for the regularized kernels). For all n∈N and for L large enough:

‖ux,σr‖2≤Cρσ-3β2,‖vx,σr‖2≤ρσ12,‖ωx,σr‖1≤Cρσ-ϵ3,‖ux,σr‖1≤C. 4.38

Proof

The first two estimates of (4.38) easily follow from (4.35). Consider now the last two. Let us prove the estimate for ωr(x,y). (We shall omit the spin label for simplicity.) Let ω∞r(x,y) be the infinite volume limit of ωr(x,y). We have, performing the angular integration:

ω∞r(x,y)=∫d3kω^r(k)eik·(x-y)=4π|x-y|∫0∞dttω^r(t)sin(t|x-y|), 4.39

where we used that ω^r(k)≡ω^r(|k|). Recall that ω^r(|k|) is a smooth, compactly supported function, given by (v^r(k))2, Eq. (4.36). Using that sin(t|x-y|)=-|x-y|-1∂tcos(t|x-y|) and integrating by parts, we get:

ω∞r(x,y)=4π|x-y|2∫dt(ω^r(t)+t∂tω^r(t))cos(t|x-y|). 4.40

The first term in the integral is easily bounded by Cρ13|x-y|-2, using that ω^r(t) is bounded and supported for 0≤t≤Cρ13. The second term is supported for |t-Cρ13|≤Kρα, and in this domain |∂tω^r(t)|≤Cρ-α. Thus, the second term in the integral is also bounded by Cρ13|x-y|-2. All in all:

|ω∞r(x,y)|≤Cρ13|x-y|2. 4.41

Integrating by parts two more times, we get:

|ω∞r(x;y)|≤C|x-y|4∫dt(|∂t2ω^r(t)|+t|∂t3ω^r(t)|)≤Cρ13-2α|x-y|4; 4.42

we used that α≥1/3, to conclude that the last term in the right-hand side of the first line dominates over the first. Therefore, putting together (4.41), (4.42):

‖ω∞,xr‖1≤∫|y|≤ρ-αdyCρ13|y|2+∫|y|>ρ-αdyCρ13-2α|y|4≤Cρ13-α≡Cρ-ϵ3, 4.43

recall that α=13+ϵ3. To prove the estimate for ‖ωxr‖1, we write, for n≥0 large enough, independent of L, and for L large enough:

‖ωxr‖1≤‖ωxrχ(|·|L≤ρ-n)‖1+‖ωxrχ(|·|L>ρ-n)‖1≤‖ω∞,xrχ(|·|L≤ρ-n)‖1+‖(ωxr-ω∞,xr)χ(|·|L≤ρ-n)‖1+‖ωxrχ(|·|L>ρ-n)‖1≤Cρ-ϵ3. 4.44

To prove the last inequality, we used that, for any fixed x, |ω∞r(x)-ωr(x)|≤C/L. Also, we used that, by the smoothness of ω^r, ωr(x;y) decays faster than any power in |x-y|L (nonuniformly in ρ), which allows to control the last term in the second line. The proof of the last estimate in Eq. (4.38) is completely analogous, and we shall omit the details; the reason for the uniform bound in ρ is that the infrared part of u^r(k) is smoothened on scale ρ13 instead of ρ13+ϵ3. □

As suggested by the heuristic discussion in Sect. 4.1, in the following an important role will be played by the solution of the scattering equation (4.28). We shall denote by φ the periodization of φγ over ΛL, recall Eq. (4.31).

Definition 4.3

(The correlation structure). Let γ≥0, λ∈[0,1]. We define the unitary operator Tλ:F→F as:

Tλ:=eλ(B-B∗),B:=∫dzdz′φ(z-z′)a↑(uzr)a↑(v¯zr)a↓(uz′r)a↓(v¯z′r). 4.45

We shall also set T≡T1.

The operator Tλ is a regularized version of the operator introduced in Sect. 4.1. Notice that, despite the presence of two volume integrations, the B operator is bounded proportionally to L3: to see this, notice that the z,z′ variables satisfy |z-z′|L≤ρ-γ, due to the compact support of φ in ΛL. In particular, thanks to the estimate ‖φγ‖L1(R3)≤Cρ-2γ, see Appendix 7, and recalling (4.30), we have:

‖φ‖L1(ΛL)≤C‖φγ‖L1(R3)≤Cρ-2γ. 4.46

As it will be clear at the end of our analysis, this regularization will not affect the computation of the ground state energy density at order ρ2. The boundedness of B follows from the presence of the ultraviolet cutoff in the definition of ur. In fact, by (3.5) we have, recalling (4.38):

‖a(uxr)‖≤‖uxr‖2≤Cρ-3β2≤Cβ,‖a(v¯xr)‖≤‖v¯xr‖2≤Cρ12. 4.47

The operator Tλ plays the role of ‘almost-bosonic’ Bogoliubov transformation. The smoothing of the operators ur, vr is needed in order to control the error terms in (4.18). In order to estimate them uniformly in the volume, we will exploit the fast decay of the kernels ur(x;y), vr(x;y): this will allow us to avoid the accumulation of volume factors, paying the price of a small negative power of the density.

From a more conceptual viewpoint, these regularizations allow to make the action of Tλ quasi-local: informally, the unitary conjugation with Tλ of a Fock space operator localized in a region R of ΛL is an operator that lives in a bigger region R~, whose size is bounded uniformly in L (but not in ρ, in general).

Bounds on Interpolating States

Introduction

In this section, we shall propagate the a priori bounds on N, H0, Q1 proven in Sect. 3.2.2, over the states

ξλ:=Tλ∗R∗ψ, 5.1

with ψ being an approximate ground state, in the sense of Definition 3.4. One of the main results of the section will be that, for 5/18≤γ≤1/3, the following bounds hold true. Let λ∈[0,1]. Then:

⟨ξλ,Nξλ⟩≤CL32ρ16‖H012ξ1‖+CL3ρ2-γ,⟨ξλ,H0ξλ⟩≤CL3ρ2,⟨ξλ,Q1ξλ⟩≤CL3ρ2. 5.2

In particular, these bounds show that the a priori estimates of H0, Q1 on ξ0=R∗ψ, recall (3.55), (3.66), do not deterioriate over ξλ=Tλ∗R∗ψ, for λ∈[0,1]. Along the way, we shall prove a number of auxiliary results, that will play an important role in the computation of the ground state energy of the system, in Sects. 6, 7. More precisely, we will prove that:

ddλ⟨ξλ,H0ξλ⟩=-⟨ξλ,T1ξλ⟩+EH0(ξλ),ddλ⟨ξλ,Q1ξλ⟩=-⟨ξλ,T2ξλ⟩+EQ1(ξλ) 5.3

where EH0(ξλ), EQ1(ξλ) are two error terms, subleading with respect to L3ρ2, and T1, T2 are given by:

T1=-∫dxdyθ(|x-y|L<ρ-γ)(-2Δφ)(x-y)a↑(uxr)a↑(v¯xr)a↓(uyr)a↓(v¯yr)+h.c.T2=-∫dxdyV(x-y)φ(x-y)a↑(v¯xr)a↑(ux)a↓(v¯yr)a↓(uy)+h.c., 5.4

with θ(·) the characteristic function. The important point to notice here is that T1, T2 have the same ‘bosonic’ structure as Q~4. In particular, we will prove the following cancellation, using the fact that the function 1-φ solves the scattering equation:

⟨ξλ,(T1+T2+Q~4)ξλ⟩=o(L3ρ2). 5.5

The results (5.2)–(5.5) are the main technical ingredients needed in order to prove our main result, Theorem 2.1, in Sects. 6, 7.

Propagation of the Estimates: Preliminaries

To begin, let us start by propagating the a priori estimate for N. The propagation estimate we shall obtain below is not optimal; it will be improved at the end of the section. Nevertheless, Proposition 5.1 will be enough to propagate the a priori bounds for H0 and for Q1, which is our first task.

Proposition 5.1

(Propagation estimate for N). Let ψ∈F such that ‖ψ‖=1. Let γ≤1/2. Then, the following bound holds, for λ∈[0,1]:

|∂λ⟨ξλ,Nξλ⟩|≤C⟨ξλ,Nξλ⟩+CL3ρ2-γ. 5.6

Corollary 5.2

Let ψ be an approximate ground state. Then:

⟨ξλ,Nξλ⟩≤CL3ρ76. 5.7

Proof

Eq. (5.7) immediately follows from (5.6) and Grönwall lemma, recalling the a priori estimate ⟨ξ0,Nξ0⟩≤CL3ρ76, Eq. (3.63). □

Let us now discuss the proof of Proposition 5.1. The proof is based on the following lemma.

Lemma 5.3

Let g∈L1(ΛL)∩L2(ΛL), and let:

bz,σ=aσ(uzr)aσ(v¯zr),bσ(gz)=∫dz′g(z-z′)¯bz′,σ. 5.8

Then:

‖bσ(gz)‖≤Cβρ12‖g‖1,‖bσ∗(gz)‖≤Cβρ12‖g‖1 5.9

and:

‖bσ∗(gz)ψ‖≤‖bσ(gz)ψ‖+Cρ12‖g‖2‖ψ‖. 5.10

Proof

Consider the first of (5.9), the proof of the second is identical. The inequality simply follows from the boundedness of the fermionic operators:

‖bσ(gz)ψ‖≤∫dz′|g(z-z′)|‖aσ(uz′r)aσ(v¯z′r)ψ‖≤∫dz′|g(z-z′)|‖uz′r‖2‖v¯z′r‖2‖ψ‖≤Cβ‖g‖1ρ12‖ψ‖. 5.11

Let us now prove (5.10). It is convenient to rewrite the first norm as:

‖bσ∗(gz)ξλ‖2=‖bσ(gz)ξλ‖2-⟨ξλ,[bσ∗(gz),bσ(gz)]ξλ⟩. 5.12

Let us compute the commutator. We get:

[bσ∗(gz),bσ(gz)]=∫dxdyg(z-x)g(z-y)¯[aσ∗(v¯xr)aσ∗(uxr),aσ(uyr)aσ(v¯yr)]=∫dxdyg(z-x)g(z-y)¯(aσ∗(v¯xr)[aσ∗(uxr),aσ(uyr)aσ(v¯yr)]+[aσ∗(v¯xr),aσ(uyr)aσ(v¯yr)]aσ∗(uxr))=∫dxdyg(z-x)g(z-y)¯(aσ∗(v¯xr)(ur)σ2(x;y)aσ(v¯yr)-aσ(uyr)ωσr(x;y)aσ∗(uxr)). 5.13

Putting the last term into normal order, we get:

[bσ∗(gz),bσ(gz)]=-∫dxdyg(z-x)g(z-y)¯ωσr(x;y)(ur)σ2(y;x)+∫dxdyg(z-x)g(z-y)¯(aσ∗(v¯xr)(ur)σ2(x;y)aσ(v¯yr)+aσ∗(uxr)ωσr(x;y)aσ(uyr)). 5.14

The last two terms are nonnegative. In fact:

∫dxdyg(z-x)g(z-y)¯⟨ξλ,aσ∗(v¯xr)(ur)σ2(x;y)aσ(v¯yr)ξλ⟩=∫dr〈ξλ,(∫dxg(z-x)aσ∗(v¯xr)uσr(x;r))(∫dyg(z-y)¯aσ(v¯yr)uσr(r;y))ξλ〉≥0, 5.15

and similarly:

∫dxdyg(z-x)g(z-y)¯⟨ξλ,aσ∗(uxr)ωσr(x;y)aσ(uyr)ξλ⟩=∫dr〈ξλ,(∫dxg(z-x)aσ∗(uxr)v¯σr(x;r))(∫dyg(z-y)¯aσ(uyr)vσr(r;y))ξλ〉≥0. 5.16

Therefore:

‖b↑∗(gz)ξλ‖2≤‖b↑(gz)ξλ‖2+∫dxdyg(z-x)g(z-y)¯ωσr(x;y)(ur)σ2(y;x). 5.17

The last term can be estimated as, using that (ur)2 satisfies the same estimates as ur, Eqs. (4.38):

|∫dxdyg(z-x)g(z-y)¯ωσr(x;y)(ur)σ2(y;x)|≤ρ∫dxdy|g(z-x)|2|(ur)σ2(y;x)|≤Cρ‖g‖22. 5.18

In conclusion:

‖b↑∗(gz)ξλ‖2≤‖b↑(gz)ξλ‖2+Cρ‖g‖22. 5.19

This concludes the proof. □

We are now ready to prove Proposition 5.1.

Proof

(of Proposition 5.1.) We compute:

∂λ⟨ξλ,Nξλ⟩=-⟨ξλ,[N,(B-B∗)]ξλ⟩=-4∫dzdz′φ(z-z′)⟨ξλ,a↑(uzr)a↑(v¯zr)a↓(uz′r)a↓(v¯z′r)ξλ⟩+c.c.. 5.20

Using the notation (5.8), we rewrite (5.20) as:

∂λ⟨ξλ,Nξλ⟩=-4∫dz⟨ξλ,b↑(φz)b↓,zξλ⟩+c.c.. 5.21

We then estimate:

|⟨ξλ,b↑(φz)b↓,zξλ⟩|≤‖b↑∗(φz)ξλ‖‖b↓,zξλ‖; 5.22

by Lemma 5.3, using that ‖φ‖2≤Cρ-γ2:

|⟨ξλ,b↑(φz)b↓,zξλ⟩|≤‖b↑(φz)ξλ‖‖b↓,zξλ‖+Cρ12-γ2‖b↓,zξλ‖. 5.23

Consider the first term in (5.23). We have, using that ‖φ‖1≤Cρ-2γ:

∫dz‖b↑(φz)ξλ‖‖b↓,zξλ‖≤Cρ∫dzdz′φ(z-z′)(‖a↑(uzr)ξλ‖2+‖a↓(uz′r)ξλ‖2)≤Cρ1-2γ⟨ξλ,Nξλ⟩. 5.24

Consider now the second term in (5.23). We have:

Cρ12-γ2∫dz‖b↓,zξλ‖≤CL32ρ1-γ2‖N12ξλ‖≤CL3ρ2-γ+⟨ξλ,Nξλ⟩. 5.25

All together:

∂λ⟨ξλ,Nξλ⟩≤Cρ1-2γ⟨ξλ,Nξλ⟩+CL3ρ2-γ+C⟨ξλ,Nξλ⟩. 5.26

The final claim follows from γ≤1/2. This concludes the proof. □

The next lemma will allow us to bound recurrent expressions in our computations. We shall use the short-hand notations ∂nv¯xr, ∂nuxr to denote the functions (in Eq. (5.27) x is fixed, y is the argument of the functions):

∂n∂yi1⋯∂yinv¯r(y;x),∂n∂yi1⋯∂yinur(y;x), 5.27

for some choice of indices i1,…,in (their values will be inessential for the bounds).

Lemma 5.4

Under the assumptions of Theorem 2.1, the following holds. Let n2∈N, and let ψ be an approximate ground state. Let γ≤7/18. Then:

|∫dxdyφ(x-y)⟨ξλ,a↑(uxr)a↑(∂n2v¯xr)a↓(uyr)a↓(v¯yr)ξλ⟩|≤CL32ρ1-γ2+n23‖N12ξλ‖|∫dxdyφ(x-y)⟨ξλ,a↑(∂uxr)a↑(∂n2v¯xr)a↓(uyr)a↓(v¯yr)ξλ⟩|≤CL32ρ1-γ2+n23(‖H012ξλ‖+ρ13‖N12ξλ‖).

We refer the reader to Appendix 7 for the proof. We shall use Lemma 5.4 to propagate the a priori estimates on ξ0=R∗ψ for H0, Q1 and Q~1, Eqs. (3.55), (3.66), to the interpolating states ξλ=Tλ∗R∗ψ, via a Grönwall-type argument. To do so, the next proposition will play an important role.

Proposition 5.5

(Propagation estimate for H0, Q1 - Part 1) Let γ≤7/18. Under the assumptions of Theorem 2.1 the following is true:

ddλ⟨ξλ,H0ξλ⟩=-⟨ξλ,T1ξλ⟩+EH0(ξλ),ddλ⟨ξλ,Q1ξλ⟩=-⟨ξλ,T2ξλ⟩+EQ1(ξλ),ddλ⟨ξλ,Q~1ξλ⟩=-⟨ξλ,T2ξλ⟩+EQ~1(ξλ) 5.28

where

T1=-∫dxdyθ(|x-y|L<ρ-γ)(-2Δφ)(x-y)a↑(uxr)a↑(v¯xr)a↓(uyr)a↓(v¯yr)+h.c.T2=-∫dxdyV(x-y)φ(x-y)a↑(v¯xr)a↑(ux)a↓(v¯yr)a↓(uy)+h.c., 5.29

and the error terms are bounded as, for 0≤η<min{γ,13}:

|EH0(ξλ)|≤CL32ρ43-γ2(‖H012ξλ‖+ρ13‖N12ξλ‖)|EQ~1(ξλ)|≤Cβρ1-2γ-η‖Q~112ξλ‖(‖H012ξλ‖+ρ5η2‖N12ξλ‖)+CL32ρ2-2γ‖Q~112ξλ‖|EQ1(ξλ)|≤Cβρ1-2γ-η‖Q~112ξλ‖(‖H012ξλ‖+ρ5η2‖N12ξλ‖)+CL32ρ2-2γ‖Q112ξλ‖. 5.30

Proof

Derivative of⟨ξλ,H0ξλ⟩_. We compute:

ddλ⟨ξλ,H0ξλ⟩=-⟨ξλ,[H0,B]ξλ⟩+c.c. 5.31

with

[H0,B]=∫dzdz′φ(z-z′)[H0,a↑(uzr)a↑(v¯zr)a↓(uz′r)a↓(v¯z′r)]. 5.32

We write the commutator as:

[H0,a↑(uzr)a↑(v¯zr)a↓(uz′r)a↓(v¯z′r)]=[H0,a↑(uzr)a↑(v¯zr)]a↓(uz′r)a↓(v¯z′r)+a↑(uzr)a↑(v¯zr)[H0,a↓(uz′r)a↓(v¯z′r)], 5.33

where recalling that H0=∑σ||k|2-μσ|a^k,σ∗a^k,σ, with μσ=(kFσ)2:

[H0,aσ(uzr)aσ(v¯zr)]=-aσ((-Δ-μσ)uzr)aσ(v¯zr)-aσ(uzr)aσ((Δ+μσ)v¯zr)=Δzaσ(uzr)aσ(v¯zr)-2aσ(uzr)aσ(Δv¯zr)-2aσ(∇uzr)aσ(∇v¯zr). 5.34

To write this identity, we used that ur(z′;z)≡ur(z-z′) and vr(z′;z)≡vr(z′+z); recall Definition (4.34). Hence, Δz′ur(z′;z)=Δzur(z′;z) and Δz′vr(z′;z)=Δzvr(z′;z). We define:

I=∫dzdz′φ(z-z′)Δz⟨ξλ,a↑(uzr)a↑(v¯zr)a↓(uz′r)a↓(v¯z′r)ξλ⟩+(↑,z)↔(↓,z′)II=-2∫dzdz′φ(z-z′)⟨ξλ,a↑(uzr)a↑(Δv¯zr)a↓(uz′r)a↓(v¯z′r)ξλ⟩+(↑,z)↔(↓,z′)III=-2∫dzdz′φ(z-z′)⟨ξλ,a↑(∇uzr)a↑(∇v¯zr)a↓(uz′r)a↓(v¯z′r)ξλ⟩+(↑,z)↔(↓,z′). 5.35

To estimate II and III, we shall use Lemma 5.4. We have:

|II|≤CL32ρ53-γ2‖N12ξλ‖|III|≤CL32ρ43-γ2(‖H012ξλ‖+ρ13‖N12ξλ‖). 5.36

Consider now I. We rewrite it as:

I=∫|z-z′|L≤ρ-γdzdz′φ(z-z′)(Δz+Δz′)⟨ξλ,a↑(uzr)a↑(v¯zr)a↓(uz′r)a↓(v¯z′r)ξλ⟩. 5.37

The condition on the integration domain follows from the fact that φ is the periodization of φγ, Eq. (4.30), which is compactly supported in the ball B of radius ρ-γ, Eq. (4.28). Therefore, using that φγ=∇φγ=0 on ∂B, we can integrate by parts in Eq. (5.37), without producing boundary terms. This is the point of our analysis where we take advantage of the Neumann boundary conditions of the scattering equation. We have:

I=∫dzdz′θ(|z-z′|L<ρ-γ)(2Δφ)(z-z′)⟨ξλ,a↑(uzr)a↑(v¯zr)a↓(uz′r)a↓(v¯z′r)ξλ⟩, 5.38

with θ(·) the characteristic function. All in all:

ddλ⟨ξλ,H0ξλ⟩=-⟨ξλ,T1ξλ⟩+EH0(ξλ), 5.39

where

T1=∫dxdyθ(|z-z′|L<ρ-γ)(2Δφ)(x-y)a↑(uxr)a↑(v¯xr)a↓(uyr)a↓(v¯yr)+h.c.

and EH0(ξλ) collects the error terms, produced by the contributions II and III. Thanks to the estimates in (5.36):

|EH0(ξλ)|≤CL32ρ43-γ2(‖H012ξλ‖+ρ13‖N12ξλ‖). 5.40

This concludes the proof of the first of Eq. (5.28).

Derivative of⟨ξλ,Q~1ξλ⟩_. We compute:

ddλ⟨ξλ,Q~1ξλ⟩=-⟨ξλ,[Q~1,B]ξλ⟩+c.c., 5.41

with

[Q~1,B]=12∑σ≠σ′∫dxdydzdz′V(x-y)φ(z-z′)[aσ∗(ux)aσ′∗(uy)aσ′(uy)aσ(ux),a↑(uzr)a↑(v¯zr)a↓(uz′r)a↓(v¯z′r)]. 5.42

We rewrite the commutator as:

[aσ∗(ux)aσ′∗(uy)aσ′(uy)aσ(ux),a↑(uzr)a↑(v¯zr)a↓(uz′r)a↓(v¯z′r)]=-[aσ∗(ux)aσ′∗(uy),a↑(uzr)a↓(uz′r)]a↑(v¯zr)a↓(v¯z′r)aσ′(uy)aσ(ux). 5.43

where

[aσ∗(ux)aσ′∗(uy),a↑(uzr)a↓(uz′r)]=aσ∗(ux)(δσ′↑uσ′r(z;y)a↓(uz′r)-δσ′↓uσ′r(z′;y)a↑(uzr))-aσ′∗(uy)(δσ↑uσr(z;x)a↓(uz′r)-δσ↓uσr(z′;x)a↑(uzr))+δσ↑δσ′↓uσr(z;x)uσ′r(z′;y)-δσ↓δσ′↑uσr(z′;x)uσ′r(z;y). 5.44

Consider the first term in the first line of Eq. (5.44). All the other terms in the first and second line of (5.44) give rise to contributions to (5.42) that can be estimated in exactly the same way. We have, recall the definition (5.8) of bσ(φz):

∫dxdydzdz′V(x-y)φ(z-z′)u↑r(z;y)⟨ξλ,a↓∗(ux)a↓(uz′r)a↑(v¯zr)a↓(v¯z′r)a↑(uy)a↓(ux)ξλ⟩≡-∫dxdydzV(x-y)u↑r(z;y)⟨ξλ,a↓∗(ux)b↓(φz)a↑(v¯zr)a↑(uy)a↓(ux)ξλ⟩=:A. 5.45

We then estimate, by Lemma 5.3:

|A|≤∫dxdydzV(x-y)|u↑r(z;y)|‖b↓∗(φz)a↓(ux)ξλ‖‖a↑(v¯zr)a↑(uy)a↓(ux)ξλ‖≤Cρ12∫dxdydzV(x-y)|u↑r(z;y)|‖b↓(φz)a↓(ux)ξλ‖‖a↑(uy)a↓(ux)ξλ‖+Cρ1-γ2∫dxdydzV(x-y)|u↑r(z;y)|‖a↓(ux)ξλ‖‖a↑(uy)a↓(ux)ξλ‖≡A1+A2. 5.46

To get the second inequality, we used the estimate (5.10), together with ‖a↑(v¯zr)‖≤Cρ12. Consider the term A2. By Cauchy–Schwarz inequality, using that ‖uyr‖1≤C:

|A2|≤Cρ1-γ2‖N12ξλ‖‖Q~112ξλ‖. 5.47

Consider now the term A1. Here, we split ux as ux<+ux>, with u^<(k) supported for |k|≤ρη, with η<min{γ,13} to be chosen later. Correspondingly:

A1≤Cρ12∫dxdydzV(x-y)|u↑r(z;y)|‖b↓(φz)a↓(ux<)ξλ‖‖a↑(uy)a↓(ux)ξλ‖+Cρ12∫dxdydzV(x-y)|u↑r(z;y)|‖b↓(φz)a↓(ux>)ξλ‖‖a↑(uy)a↓(ux)ξλ‖≡A1;1+A1;2. 5.48

Consider A1;1. Using that ‖ux<‖2≤Cρ3η2, we get:

|A1;1|≤Cρ12+3η2∫dxdydzV(x-y)|u↑r(z;y)|‖b↓(φz)ξλ‖‖a↑(uy)a↓(ux)ξλ‖≤Cρ1+3η2∫dxdydzdz′V(x-y)|u↑r(z;y)|φ(z-z′)·‖a↓(uzr)ξλ‖‖a↑(uy)a↓(ux)ξλ‖≤Cρ1+3η2-2γ‖N12ξλ‖‖Q~112ξλ‖, 5.49

where the last step follows from Cauchy–Schwarz inequality. Finally, consider A1;2. We have:

|A1;2|≤Cβρ1-2γ∫dxdydzV(x-y)|u↑r(z;y)|‖a↓(ux>)ξλ‖‖a↑(uy)a↓(ux)ξλ‖≤Cβρ1-2γ-η‖H012ξλ‖‖Q~112ξλ‖, 5.50

where the last step follows from Cauchy–Schwarz inequality, combined with:

∫dx‖a↓(ux>)ξλ‖2≤Cρ-2η⟨ξλ,H0ξλ⟩. 5.51

This inequality can be proven in a way completely analogous to (3.62). In fact:

∫dx‖aσ(ux>)ξλ‖2=∑k(u^σ>(k))2⟨ξλ,a^k,σ∗ak,σξλ⟩≤ρ-2η∑k|k|2(u^σ>(k))2⟨ξλ,a^k,σ∗ak,σξλ⟩≤Cρ-2η∑k||k|2-μσ|⟨ξλ,a^k,σ∗ak,σξλ⟩≤Cρ-2η⟨ξλ,H0ξλ⟩, 5.52

where we used that u^σ>(k) is supported for |k|≥ρη, that 0≤u^σ>(k)≤1, and that μσ≤Cρ23≪Cρ2η. Hence:

|A|≤Cβρ1-2γ-η‖Q~112ξλ‖(‖H012ξλ‖+ρ5η2‖N12ξλ‖). 5.53

The other three terms arising from the first two lines of the right-hand side of (5.44) can be estimated in exactly the same way.

Next, let us plug the last two terms in the right-hand side of Eq. (5.44) in Eq. (5.42). We get:

Imain=-∫dxdydzdz′V(x-y)φ(z-z′)u↑r(z;x)u↓r(z′;y)a↑(v¯zr)a↑(ux)a↓(v¯z′r)a↓(uy). 5.54

We shall use that u↑r(z;x) behaves as a delta function, to leading order in ρ. More precisely, we write:

uσr(z;x)=δσr(z;x)-νσ(z;x), 5.55

where νσ(z;x)≡νσ(z-x) with Fourier transform given by:

ν^σ(k)=1for0≤|k|≤kFσ0for|k|>2kFσ, 5.56

and it smoothly interpolates between 1 and 0 for kFσ≤|k|≤2kFσ. The function νσ,x(y) satisfies the bounds:

‖νσ,x‖1≤C,‖νσ,x‖∞≤Cρ. 5.57

Instead, δσr(z;x)≡δr(z-x), with:

δ^σr(k)=1for0≤|k|≤32ρ-β0for|k|≥2ρ-β 5.58

and it smoothly interpolates between 1 and 0 in the region (3/2)ρ-β≤|k|≤2ρ-β. The function δσ,xr(y) is an approximate Dirac delta function at x, such that

‖δσ,xr‖1≤C,‖δσ,xr‖∞≤Cρ-3β. 5.59

Let us perform the replacement (5.55) in Eq. (5.54). Consider the terms with one ν. We have:

∫dxdydzdz′V(x-y)φ(z-z′)|δσr(z;x)||νσ′(z′;y)|·|⟨ξλ,a↑(v¯zr)a↑(ux)a↓(v¯z′r)a↓(uy)ξλ⟩|≤C∫dxdyV(x-y)ρ2-2γ‖a↑(ux)a↓(uy)ξλ‖≤CL32ρ2-2γ‖Q~112ξλ‖. 5.60

Next, consider the terms with two ν. Proceeding as above we have:

∫dxdydzdz′V(x-y)φ(z-z′)|νσ(z;x)||νσ′(z′;y)|·|⟨ξλ,a(v¯zr)a↑(ux)a(v¯z′r)a↓(uy)ξλ⟩|≤C∫dxdyV(x-y)ρ2-2γ‖a↑(ux)a↓(uy)ξλ‖≤CL32ρ2-2γ‖Q~112ξλ‖. 5.61

Therefore, the main contribution to Eq. (5.54) is:

-∫dxdydzdz′V(x-y)φ(z-z′)δ↑r(z;x)δ↓r(z′;y)a↑(v¯zr)a↑(ux)a↓(v¯z′r)a↓(uy). 5.62

The next lemma will allow us to replace the approximate δ functions with true δ functions, up to a small error. This is one of the points where we use the regularity of the potential.

Lemma 5.6

Under the assumptions of Proposition 5.5, the following is true:

-∫dxdydzdz′V(x-y)φ(z-z′)δ↑r(z;x)δ↓r(z′;y)⟨ξλ,a↑(v¯zr)a↑(ux)a↓(v¯z′r)a↓(uy)ξλ⟩=-∫dxdyV(x-y)φ(x-y)⟨ξλ,a↑(v¯xr)a↑(ux)a↓(v¯yr)a↓(uy)ξλ⟩+E^Q~1(ξλ), 5.63

where, for all n≥4, taking V∈Ck with k large enough:

|E^Q~1(ξλ)|≤Cnρβ(n-3)(CL3ρ2+⟨ξλ,Q~1ξλ⟩). 5.64

The proof of Lemma 5.6 is deferred to Appendix 7. Putting together (5.53), (5.60), (5.61), (5.63) and recalling the definition of T2, Eq. (5.29), the claim follows. The proof of the statement about ⟨ξλ,Q1ξλ⟩ is exactly the same, and we shall omit the details. □

Scattering Equation Cancellation

The next result will imply an important cancellation that will be used to propagate the a priori bounds for H0, Q1, and to compute the ground state energy at order ρ2.

Proposition 5.7

(Scattering equation cancellation). Let:

Q~4r=∫dxdyV(x-y)a↑∗(uxr)a↓∗(uyr)a↓∗(v¯yr)a↑∗(v¯xr)+h.c.. 5.65

Let γ≤7/18. Under the assumptions of Theorem 2.1, the following holds:

⟨ξλ,(T1+T2+Q~4r)ξλ⟩=λγ∫dxdyθ(|x-y|L<ρ-γ)(1-φ(x-y))·⟨ξλ,(a↑(v¯xr)a↑(uxr)a↓(v¯yr)a↓(uyr)+h.c.)ξλ⟩+ET2(ξλ) 5.66

with |λγ|≤Cρ3γ and, for δ>0 and L large enough:

|ET2(ξλ)|≤CL32ρ32‖N12ξλ‖. 5.67

Moreover:

λγ∫dxdyθ(|x-y|L<ρ-γ)(1-φ(x-y))·|⟨ξλ,(a↑(v¯xr)a↑(uxr)a↓(v¯yr)a↓(uyr)+h.c.)ξλ⟩|≤CL32ρ1+3γ2‖N12ξλ‖. 5.68

Proof

Let T2r be the operator obtained from T2 after replacing all u with ur. The error term ET2(ξλ) takes into account the difference ⟨ξλ,(T2-T2r)ξλ⟩. We postpone its estimate (5.67) to Appendix 7.

Recall the notation bx,σ=aσ(uxr)aσ(v¯xr), Eq. (5.8). We then have, using that by the compact support of the potential V(x)≡V(x)θ(|x|L<ρ-γ):

⟨ξλ,(T1+T2r+Q~4r)ξλ⟩=∫dxdyθ(|x-y|L<ρ-γ)(2Δφ(x-y)+V(x-y)(1-φ(x-y)))·⟨ξλ,bx,↑by,↓ξλ⟩+c.c.≡2∫dxdyθ(|x-y|L<ρ-γ)(-Δf(x-y)+12V(x-y)f(x-y))·⟨ξλ,bx,↑by,↓ξλ⟩+c.c., 5.69

with f=1-φ. Recall that φ is the periodization of φγ, the solution of the Neumann problem (4.28), over ΛL: φ(x)=∑n∈Z3φγ(x+n1e1L+n2e2L+n3e3L). The function φγ(x) is compactly supported in R3, with support in B={x∈R3∣|x|≤ρ-γ}. Thus, up to a boundary term we can replace f with fγ=1-φγ:

∫ΛL×ΛLdxdyθ(|x-y|L<ρ-γ)(-Δf(x-y)+12V(x-y)f(x-y)).⟨ξλ,bx,↑by,↓ξλ⟩=∫Λ~L×Λ~Ldxdyθ(|x-y|L<ρ-γ)(-Δfγ(x-y)+12V∞(x-y)fγ(x-y)).⟨ξλ,bx,↑by,↓ξλ⟩+eL 5.70

where Λ~L=[ρ-γ,L-ρ-γ]3, and eL is a boundary term:

|eL|≤CL2ρ-4γ(‖θ(|·|L<ρ-γ)Δφ‖∞+‖φ‖∞)ρ-3β+1. 5.71

In Eq. (5.70), recall that V is the periodization of V∞, Eq. (2.2). Therefore, using that fγ solves the scattering equation in a ball of radius ρ-γ, Eq. (4.28), we easily get:

⟨ξλ,(T1+T2r+Q~4r)ξλ⟩=2λγ∫Λ~L×Λ~Ldxdyθ(|x-y|L<ρ-γ)fγ(x-y)⟨ξλ,(bx,↑by,↓+h.c.)ξλ⟩+eL=2λγ∫ΛL×ΛLdxdyθ(|x-y|L<ρ-γ)f(x-y)⟨ξλ,(bx,↑by,↓+h.c.)ξλ⟩+eL, 5.72

up to a redefinition of the boundary term (still satisfying (5.71)). To conclude, we estimate the integral using Lemma 5.3, setting g(x)=λγθ(|x|L<ρ-γ)f(x). We shall use that:

‖g‖1≤C,‖g‖2≤Cρ3γ2. 5.73

We get, thanks to Lemma 5.3:

|∫dxdyg(x-y)⟨ξλ,a↑(v¯xr)a↑(uxr)a↓(v¯yr)a↓(uyr)ξλ⟩|≤∫dy‖b↑∗(gy)ξλ‖‖b↓,yξλ‖≤∫dy‖b↑(gy)ξλ‖‖b↓,yξλ‖+Cρ‖g‖2∫dy‖a↓(uy)ξλ‖≤Cρ∫dxdy|g(x-y)|‖a↑(ux)ξλ‖‖a↓(uy)ξλ‖+CL32ρ1+3γ2‖N12ξλ‖. 5.74

Thus, by Cauchy–Schwarz inequality, using that ‖g‖1≤C:

|∫dxdyg(x-y)⟨ξλ,a↑(v¯xr)a↑(uxr)a↓(v¯yr)a↓(uyr)ξλ⟩|≤Cρ⟨ξλ,Nξλ⟩+CL32ρ1+3γ2‖N12ξλ‖≤CL32ρ1+3γ2‖N12ξλ‖, 5.75

where in the last step we used the propagation of the a priori estimate for the number operator, and the assumption γ≤7/18. This concludes the proof. □

Propagation of the Estimates

We now have all the ingredients needed in order to propagate the a priori estimates for H0 and for Q1.

Proposition 5.8

(Propagation estimate for H0, Q1 - Part 2.). Let 5/18≤γ≤1/3. Under the assumptions of Theorem 2.1 the following is true. For all λ∈[0,1]:

⟨ξλ,H0ξλ⟩≤CL3ρ2,⟨ξλ,Q1ξλ⟩≤CL3ρ2,⟨ξλ,Q~1ξλ⟩≤CL3ρ2. 5.76

Proof

The last bound immediately follows from the second, using that Q~1≤Q1. Let us prove the first two bounds. Using Eqs. (5.28), we get:

ddλ⟨ξλ,(H0+Q1)ξλ⟩=-⟨ξλ,(T1+T2)ξλ⟩+EH0(ξλ)+EQ1(ξλ)=-⟨ξλ,(T1+T2+Q~4r)ξλ⟩+⟨ξλ,Q~4rξλ⟩+EH0(ξλ)+EQ1(ξλ). 5.77

As proven in Appendix 7:

|⟨ξλ,(Q~4-Q~4r)ξλ⟩|≤Cδρ2+ϵ3+δ⟨ξλ,Q~1ξλ⟩. 5.78

Also, thanks to (3.44):

±Q~4≤δQ~1+(C/δ)L3ρ2. 5.79

Therefore, using that Q~1≤Q1:

ddλ⟨ξλ,(H0+Q1)ξλ⟩≤-⟨ξλ,(T1+T2+Q~4r)ξλ⟩+C⟨ξλ,Q1ξλ⟩+CL3ρ2+EH0(ξλ)+EQ1(ξλ). 5.80

To estimate the various terms, we shall use the bounds of Propositions 5.5, 5.7. We have, for 5/18≤γ≤1/3, from Eqs. (5.67), (5.68):

|⟨ξλ,(T1+T2+Q~4r)ξλ⟩|≤CL32ρ1+3γ2‖N12ξλ‖≤CL3ρ2, 5.81

where we used the propagation of the a priori estimate for number operator, Eq. (5.6). The bound (5.81) is the only point where we need the lower bound on γ.

Consider now EH0(ξλ). We have, from the first bound in (5.30):

EH0(ξλ)≤CL32ρ76‖H012ξλ‖+CL32ρ32‖N12ξλ‖≤C⟨ξλ,H0ξλ⟩+CL3ρ2, 5.82

where we used again the propagation of the apriori estimate for number operator (5.7). Also, from the third of (5.30), it is not difficult to see that, for 43γ-718<η<γ (which is a nonempty set for η, since γ≤1/3), and for β small enough:

EQ1(ξλ)≤C⟨ξλ,(H0+Q1)ξλ⟩+CL3ρ2. 5.83

The final claim follows from Eqs. (5.80)–(5.83), together with Grönwall lemma. □

Let us rewrite the bounds of Propositions 5.5, 5.7, using the propagation of the a priori estimates (5.76). We have, for 5/18≤γ≤1/3 and η<γ:

|EH0(ξλ)|≤CL3ρ73-γ2+CL32ρ53-γ2‖N12ξλ‖|EQ~1(ξλ)|≤CβL3ρ3-2γ-η+CβL32ρ2+3η2-2γ‖N12ξλ‖|EQ1(ξλ)|≤CβL3ρ3-2γ-η+CβL32ρ2+3η2-2γ‖N12ξλ‖, 5.84

and:

|⟨ξλ,(T1+T2+Q~4r)ξλ⟩|≤CL32ρ1+3γ2‖N12ξλ‖. 5.85

The reason why we kept the dependence on the number operator is that the estimate on ‖N12ξλ‖ obtained propagating the a priori bound for N on ξ0 is not optimal, in contrast to the estimates for H0 and Q1. We shall conclude the section by proving an improved version of the bound for the number operator.

Proposition 5.9

(Improved a priori estimate for the number operator). Let γ≤1/2. We have:

⟨ξλ,Nξλ⟩≤CL32ρ16‖H012ξ1‖+CL3ρ2-γ. 5.86

Proof

Lemma 5.1, together with Gronwall lemma, immediately implies:

⟨ξλ,Nξλ⟩≤⟨ξ1,Nξ1⟩+CL3ρ2-γ. 5.87

To estimate ⟨ξ1,Nξ1⟩ in terms of the kinetic energy, we use Lemma 3.6:

⟨ξλ,Nξλ⟩≤CL3ρ13+α+1ρα⟨ξ1,H0ξ1⟩+CL3ρ2-γ. 5.88

We choose α such that:

ρ13+α=max{1L3ρα⟨ξ1,H0ξ1⟩,ρ2-γ}. 5.89

By doing so, we get:

⟨ξλ,Nξλ⟩≤CL32ρ16‖H012ξ1‖+CL3ρ2-γ. 5.90

□

Improved bounds for the error terms. To conclude the section, let us reexpress the bounds (5.84), (5.85) in view of the improved estimate (5.86). Take 5/18≤γ≤1/3, in order to be able to use the propagation of the a priori estimates (5.8). The bound (5.86) implies:

‖N12ξλ‖≤CL34ρ112‖H012ξ1‖12+CL32ρ1-γ2. 5.91

Plugging this bound in the first of (5.84), we get, for 0<δ<1:

|EH0(ξλ)|≤CL3ρ73-γ2+CL94ρ74-γ2‖H012ξ1‖12≤CδL3ρ73-2γ3+δ⟨ξ1,H0ξ1⟩, 5.92

where in the last step we used Young’s inequality |ab|≤Cpq(|a|p+|b|q) with 1/p+1/q=1, with p=4 and q=4/3. Similarly, using the bound (5.91) in the second of (5.84):

|EQ~1(ξλ)|≤CβL3ρ3-2γ-η+CβL3ρ3+3η2-5γ2+CβL94ρ2512+3η2-2γ‖H012ξ1‖12≤CβL3ρ3-2γ-η+CβL3ρ3+3η2-5γ2+Cβ,δL3ρ259+2η-83γ+δ⟨ξ1,H0ξ1⟩. 5.93

For η≤49+γ3, which is implied by η<γ and γ≤1/3:

|EQ~1(ξλ)|≤CβL3ρ3-2γ-η+Cβ,δL3ρ259+2η-83γ+δ⟨ξ1,H0ξ1⟩≤CβL3ρ7927-209γ+δ⟨ξ1,H0ξ1⟩, 5.94

where in the last step we optimized over η, η=227+29γ, which is strictly less than 49+γ3. The same bound holds for |EQ1(ξλ)|. Finally, for γ≤1/3, plugging the bound (5.91) in (5.85):

|⟨ξλ,(T1+T2+Q~4r)ξλ⟩|≤CL3ρ2+γ+CL94ρ1312+3γ2‖H012ξ1‖12≤CδL3ρ139+2γ+δ⟨ξ1,H0ξ1⟩. 5.95

These bounds will play an important role in the proof of the lower bound for the ground state energy, discussed in the next section.

Lower Bound on the Ground State Energy

In this section, we shall prove the lower bound for the ground state energy of the dilute Fermi gas. In what follows, ψ will be approximate ground state, in the sense of Definition 3.4. In the following we shall always assume that 5/18≤γ≤1/3, which is the range of values of γ for which the estimates (5.91)–(5.95) hold.

The starting point is, recall Proposition 3.1 and the bounds of Proposition 3.3:

⟨ψ,Hψ⟩≥EHF(ω)+⟨ξ0,(H0+Q~1+Q~4)ξ0⟩+E1(ψ), 6.1

where the error term E1(ψ) is bounded as:

|E1(ψ)|≤Cρα⟨ξ0,Q~1ξ0⟩+Cρ1-α⟨ξ0,Nξ0⟩. 6.2

From the estimate (5.86) for the number operator, together with the a priori estimate (3.66) for Q~1, we get, optimizing over α, α=1/9:

|E1(ψ)|≤CδL3ρ2+19+δ⟨ξ1,H0ξ1⟩. 6.3

To extract the correlation energy at order ρ2, we shall use an interpolation argument. We write:

⟨ξ0,(H0+Q~1+Q~4)ξ0⟩=⟨ξ1,(H0+Q~1)ξ1⟩-∫01dλddλ⟨ξλ,(H0+Q~1)ξλ⟩+⟨ξ0,Q~4ξ0⟩=⟨ξ1,(H0+Q~1)ξ1⟩+∫01dλ⟨ξλ,(T1+T2)ξλ⟩+⟨ξ0,Q~4ξ0⟩+E2(ψ), 6.4

where the T1,T2 operators are defined in (5.29) and, thanks to the bounds (5.92), (5.94):

|E2(ψ)|≤maxλ∈[0;1]|EH0(ξλ)|+maxλ∈[0;1]|EQ~1(ξλ)|≤Cδρ73-2γ3+δ⟨ξ1,H0ξ1⟩, 6.5

where we used the condition γ≤1/3. Next, in order to make use of the cancellation due to the scattering equation, we rewrite:

⟨ξ0,(H0+Q~1+Q~4)ξ0⟩=⟨ξ1,(H0+Q~1)ξ1⟩+∫01dλ⟨ξλ,(T1+T2+Q~4r)ξλ⟩-∫01dλ⟨ξλ,Q~4rξλ⟩+⟨ξ0,Q~4ξ0⟩+E2(ψ),≡⟨ξ1,(H0+Q~1)ξ1⟩-∫01dλ⟨ξλ,Q~4rξλ⟩+⟨ξ0,Q~4ξ0⟩+E3(ψ)+E2(ψ), 6.6

where, using (5.95):

|E3(ψ)|≤maxλ∈[0;1]|⟨ξλ,(T1+T2+Q~4r)ξλ⟩|≤CδL3ρ139+2γ+δ⟨ξ1,H0ξ1⟩. 6.7

Let us now consider the second and third term in Eq. (6.6). We rewrite it as:

-∫01dλ⟨ξλ,Q~4rξλ⟩+⟨ξ0,Q~4ξ0⟩=⟨ξ1,(Q~4-Q~4r)ξ1⟩-∫01dλddλ⟨ξλQ~4ξλ⟩+∫01dλ∫λ1dλ′ddλ′⟨ξλ′,Q~4rξλ′⟩≡E4(ψ)-∫01dλddλ⟨ξλQ~4ξλ⟩+∫01dλ∫λ1dλ′ddλ′⟨ξλ′,Q~4rξλ′⟩, 6.8

where, as proven in Appendix 7:

|E4(ψ)|=|⟨ξ1,(Q~4-Q~4r)ξ1⟩|≤CδL3ρ2+ϵ3+δ⟨ξ1,Q~1ξ1⟩+CL32ρ32‖N12ξ1‖≤CδL3ρ2+ϵ3+δ⟨ξ1,Q~1ξ1⟩+CδL3ρ2+19+δ⟨ξ1,H0ξ1⟩, 6.9

where in the last step we proceeded as for (6.7) with γ=1/3, recall (5.85), (5.95). The correlation energy at order ρ2 arises from the last two terms in Eq. (6.8). We will prove that:

ddλ⟨ξλ,Q~4ξλ⟩=2L3ρ↑ρ↓∫dxV(x)φ(x)+subleading terms.ddλ⟨ξλ,Q~4rξλ⟩=2L3ρ↑ρ↓∫dxV(x)φ(x)+subleading terms. 6.10

The explicit terms are precisely what we need to compute the ground state energy at order ρ2. The quantitative version of the statement (6.10) is the content of the next proposition.

Proposition 6.1

(Extracting the correlation energy). Under the assumptions of Theorem 2.1 the following holds. Let ψ be an approximate ground state. Take 518≤γ≤13, ϵ≥0 and 16+ϵ12<γ. Then:

ddλ⟨ξλ,Q~4rξλ⟩=2ρ↑rρ↓r∫dxdyV(x-y)φ(x-y)+EQ~4r(ξλ)ddλ⟨ξλ,Q~4ξλ⟩=2ρ↑rρ↓r∫dxdyV(x-y)φ(x-y)+EQ~4(ξλ), 6.11

where, for any 0<δ<1:

|EQ~4r(ψ)|≤CL3ρ73+Cβ,αL3ρ269-43γ-718ϵ+δ⟨ξ1,H0ξ1⟩|EQ~4(ψ)|≤CL3ρ73+Cβ,αL3ρ269-43γ-718ϵ+δ⟨ξ1,H0ξ1⟩. 6.12

Remark 6.2

(Notations.). Unless otherwise stated, with a slight abuse of notation in the following we will use the notation ur(x;y) to denote the function (ur)2(x;y). The two functions satisfy the same estimates, recall Proposition 4.2.

Proof

We shall only discuss the proof of the statement concerning Q~4r, the one for Q~4 being completely analogous (it is actually simpler). We write:

ddλ⟨ξλ,Q~4rξλ⟩=⟨ξλ,[Q~4r,B]ξλ⟩+c.c., 6.13

where

[Q~4r,B]=12∑σ≠σ′∫dxdydzdz′V(x-y)φ(z-z′)[aσ∗(uxr)aσ′∗(uyr)aσ′∗(v¯yr)aσ∗(v¯xr),a↑(uzr)a↑(v¯zr)a↓(uz′r)a↓(v¯z′r)].

We rewrite the commutator as:

[aσ∗(uxr)aσ′∗(uyr)aσ′∗(v¯yr)aσ∗(v¯xr),a↑(uzr)a↑(v¯zr)a↓(uz′r)a↓(v¯z′r)]=-aσ∗(uxr)aσ′∗(uyr)[aσ′∗(v¯yr)aσ∗(v¯xr),a↑(v¯zr)a↓(v¯z′r)]a↑(uzr)a↓(uz′r)-a↑(v¯zr)a↓(v¯z′r)[aσ∗(uxr)aσ′∗(uyr),a↑(uzr)a↓(uz′r)]aσ′∗(v¯yr)aσ∗(v¯xr). 6.14

As it will be clear, the only terms contributing at the order ρ2 will be those antinormal ordered, which arise from the last line. The first contribution in the right-hand side of Eq. (6.14) is partially normal ordered; as such, it will give rise to an error term. The commutator produces contractions between the fermionic operators; we have, omitting the spin label for simplicity:

[a∗(v¯yr)a∗(v¯xr),a(v¯zr)a(v¯z′r)]=a∗(v¯yr)ωr(x;z)a(v¯z′r)-a∗(v¯yr)ωr(x;z′)a(v¯zr)+a(v¯z′r)ωr(y;z)a∗(v¯xr)-a(v¯zr)ωr(y;z′)a∗(v¯xr). 6.15

These four terms give rise to contributions to (6.14) that will be estimated in exactly the same way (the lack of normal ordering in the last two terms in Eq. (6.15) will not matter). For instance, consider:

I:=∑σ≠σ′∫dxdydzdz′V(x-y)φ(z-z′)ω~r(z;y)⟨ξλ,aσ∗(uxr)aσ′∗(uyr)aσ∗(v¯xr)a↓(v¯z′r)a↑(uzr)a↓(uz′r)ξλ⟩.

To begin, we write:

I=I1+I2, 6.16

where I1 is obtained from I replacing uxr, uyr with ux, uy, and I2 is an error term. Let us first consider the term I1. To improve the estimate for this term, we shall study separately different contributions in momentum space. Let 0≤η<γ≤1/3, δ>1, to be chosen later. We write uzr=uz<+uz0+uz>, with:

u^♯(k)=u^r(k)χ♯(k),♯=<,0,>, 6.17

where

χ<(k)=χ(|k|ρη),χ0(k)=χ(|k|ρηδ)-χ(|k|ρη),χ>(k)=1-χ(|k|ρηδ). 6.18

Correspondingly, we write I1=I1<+I10+I1>. The key observation is that in each term I1♯ we can replace φ by φ♯, with φ^♯ with similar support properties as u♯. In fact, recalling that:

aσ(uzr)=∑kuσr(k)¯fk(z)¯a^k,σ, 6.19

with a^k,σ=aσ(fk) and fk(z)=L-3/2e-ik·z, we get:

∫dzφ(z-z′)ω~r(z;y)a↑(uzr)=1L32∑ku^↑r(k)¯a^k,↑∫dzeik·zφ(z-z′)ω~r(z;y), 6.20

where

∫dzeik·zφ(z-z′)ω~r(z;y)=1L3∑qφ^(k+q)ω^r(q)e-iz′·(k+q)e-iy·q. 6.21

Suppose that k∈suppu^♯r. Due to the fact that ω^r(q) is supported for |q|≤Cρ13 and that ρη≫ρ13, we can freely replace φ^(k+q) in Eq. (6.21) with:

φ^♯(k+q)=φ^(k+q)χ~♯(k+q), 6.22

with χ~♯ defined as:

χ~<(p)=χ(|k|2ρη),χ~0(p)=χ(|k|2ρηδ)-χ(2|k|ρη),χ~>(p)=χ(4ρβ|k|)-χ(2|k|ρηδ). 6.23

As discussed in Appendix 7:

‖φ<‖1≤Cρ-2γ|logρ|,‖φ0‖1≤Cρ-2η|logρ|,‖φ>‖1≤Cρ-2ηδ|logρ|. 6.24

The last two estimates improve on ‖φ‖1≤Cρ-2γ since η<γ. To estimate I1♯, we shall also use that:

‖uz<‖2≤Cρ3η2,‖uz0‖2≤Cρ3η2δ,‖uz>‖2≤Cβ. 6.25

The first two estimates are better than ‖uzr‖2≤Cβ. Moreover, we shall use that:

∫dz‖a(uz<)ξλ‖2≤C⟨ξλ,Nξλ⟩,∫dz‖a(uz0)ξλ‖2≤Cρ-2η⟨ξλ,H0ξλ⟩,∫dz‖a(uz>)ξλ‖2≤Cρ-2ηδ⟨ξλ,H0ξλ⟩. 6.26

EstimateforI1<._ Here, we replace φ with φ<. Also, using the fact that v^r(k) is supported for momenta |k|≤Cρ13, repeating an argument similar to the one of (6.20)–(6.23) but this time for the z′ integration, we can freely replace uz′r with u~z′<; in the following, we shall denote by u~z′♯ function whose Fourier transform has similar support properties as φ^♯, possibly replacing the factors 2 and 1/2 in Eq. (6.23) by 4 and 1/4. We then have:

|I1<|≤∑σ≠σ′∫dxdydzdz′V(x-y)|φ<(z-z′)||ω~r(z;y)|‖v¯xr‖2‖v¯z′r‖2‖uz<‖2‖aσ(ux)aσ′(uy)ξλ‖‖a↓(u~z′<)ξλ‖≤Cρ1+3η2∑σ≠σ′∫dxdydzdz′V(x-y)|φ<(z-z′)||ω~r(z;y)|·‖aσ(ux)aσ′(uy)ξλ‖‖a↓(u~z′<)ξλ‖≤C|logρ|ρ1+3η2-2γ-ϵ3‖Q~112ξλ‖‖N12ξλ‖, 6.27

the last step following from Cauchy–Schwarz inequality, combined with ‖φ<‖1≤Cρ-2γ, ‖ωr‖1≤Cρ-ϵ3.

EstimateforI10._ Here, we replace φ with φ0 and uz′r with u~z′0. We have:

|I10|≤∑σ≠σ′∫dxdydzdz′V(x-y)|φ0(z-z′)||ω~r(z;y)|‖v¯xr‖2‖v¯z′r‖2‖uz0‖2·‖aσ(ux)aσ′(uy)ξλ‖‖a↓(u~z′0)ξλ‖≤Cρ1+3η2δ∑σ≠σ′∫dxdydzdz′V(x-y)|φ0(z-z′)||ω~r(z;y)|·‖aσ(ux)aσ′(uy)ξλ‖‖a↓(u~z′0)ξλ‖≤C|logρ|ρ1+3η2δ-3η-ϵ3‖Q~12ξλ‖‖H012ξλ‖, 6.28

by Cauchy–Schwarz inequality, this time using that ‖φ0‖≤C|logρ|ρ-2η and the second of (6.26).

EstimateforI1>._ Here, we replace φ with φ> and uz′r with u~z′>. We then have:

|I1>|≤∑σ≠σ′∫dxdydzdz′V(x-y)|φ>(z-z′)||ω~r(z;y)|‖v¯xr‖2‖v¯z′r‖2‖uz>‖2·‖aσ(ux)aσ′(uy)ξλ‖‖a↓(u~z′>)ξλ‖≤Cβρ∑σ≠σ′∫dxdydzdz′V(x-y)|φ>(z-z′)||ω~r(z;y)|·‖aσ(ux)aσ′(uy)ξλ‖‖a↓(u~z′>)ξλ‖≤Cβρ1-3ηδ-ϵ3‖Q~12ξλ‖‖H012ξλ‖, 6.29

again by CS inequality, using that ‖φ>‖≤C|logρ|ρ-2η/δ and the last of (6.26).

Puttingittogether:estimateforI1._ From (6.27), (6.28), (6.29), we get:

|I1|≤C|logρ|ρ1+3η2-2γ-ϵ3‖Q~112ξλ‖‖N12ξλ‖+C|logρ|ρ1+3η2δ-3η-ϵ3‖Q~12ξλ‖‖H012ξλ‖+Cβρ1-3ηδ-ϵ3‖Q~12ξλ‖‖H012ξλ‖. 6.30

The optimal value of δ is δ=3/2. For this value, using also the propagation of the a priori estimates for Q~1, H0, Eqs. (5.76), we get, for 0<α<1:

|I1|≤C|logρ|L32ρ2+3η2-2γ-ϵ3‖N12ξλ‖+CβL3ρ3-2η-ϵ3≤C|logρ|L3ρ3+3η2-52γ-ϵ3+CβL3ρ3-2η-ϵ3+CαL3|logρ|43ρ259+2η-83γ-4ϵ9+α⟨ξ1,H0ξ1⟩. 6.31

The last estimate follows after using the bound (5.86) for the number operator, and using Young’s inequality. For η≤1/3, the third term is bigger than the first. Hence:

|I1|≤CβL3ρ3-2η-ϵ3+CαL3|logρ|43ρ259+2η-83γ-4ϵ9+α⟨ξ1,H0ξ1⟩≤Cβ,αL3ρ269-43γ-718ϵ+α⟨ξ1,H0ξ1⟩, 6.32

where we optimized over η, η=118+2γ3+ϵ36, which is less γ for 16+ϵ12<γ. All the other contributions arising from the first line of (6.14) are estimated in this way.

EstimateforI2._ Consider now the term I2 in Eq. (6.16). As discussed in Appendix 7, this term satisfies the same estimate as I1:

|I2|≤Cβ,αL3ρ269-43γ-718ϵ+α⟨ξ1,H0ξ1⟩. 6.33

Othercontributionsto_(6.14). Consider now the second line of (6.14). We rewrite it as:

-a↑(v¯zr)a↓(v¯z′r)[aσ∗(uxr)aσ′∗(uyr),a↑(uzr)a↓(uz′r)]aσ′∗(v¯y)aσ∗(v¯x)=-aσ′∗(v¯y)aσ∗(v¯x)[aσ∗(uxr)aσ′∗(uyr),a↑(uzr)a↓(uz′r)]a↑(v¯zr)a↓(v¯z′r)-[aσ∗(uxr)aσ′∗(uyr),a↑(uzr)a↓(uz′r)][a↑(v¯zr)a↓(v¯z′r),aσ′∗(v¯yr)aσ(v¯xr)]. 6.34

Let us consider the first term in the right-hand side. We rewrite the commutator as, omitting the spin for simplicity:

[a∗(uxr)a∗(uyr),a(uzr)a(uz′r)]=a∗(uyr)ur(x;z)a(uz′r)-a∗(uyr)ur(x;z′)a(uzr)+a(uz′r)ur(y;z)a∗(uxr)-a(uzr)ur(y;z′)a∗(uxr). 6.35

The first two terms give rise to error terms of the form:

IIa=∫dxdydzdz′V(x-y)φ(z-z′)ur(y;z)·⟨ξλ,a∗(uxr)a∗(v¯y)a∗(v¯x)a(v¯zr)a(v¯z′r)a(uz′r)ξλ⟩. 6.36

We then get, using that ‖uyr‖1≤C:

|IIa|≤Cρ2∫dxdydzdz′V(x-y)φ(z-z′)|ur(y;z)|(‖a(uxr)ξλ‖2+‖a(uz′r)ξλ‖2)≤Cρ2-2γ⟨ξλ,Nξλ⟩. 6.37

To bound the error terms produced by the last two terms in (6.35), we normal order them. The normal ordered contribution can be estimated as IIa. The new contraction produces an error term of the form:

IIb=∫dxdydzdz′V(x-y)φ(z-z′)ur(y;z)ur(x;z′)⟨ξλ,a∗(v¯y)a∗(v¯x)a(v¯zr)a(v¯z′r)ξλ⟩. 6.38

We have, using that |φ(z-z′)|≤C:

|IIb|≤Cρ∫dxdydzdz′V(x-y)|ur(y;z)||ur(x;z′)|(‖a(v¯y)ξλ‖2+‖a(v¯z′r)ξλ‖2)≤Cρ⟨ξλ,Nξλ⟩. 6.39

This concludes the analysis of the error terms produced by the first term in the right-hand side of (6.34). We are left with the second term in (6.34), involving two commutators. We compute:

[aσ∗(uxr)aσ′∗(uyr),a↑(uzr)a↓(uz′r)]=δσ′,↑uσ′r(z;y)aσ∗(uxr)a↓(uz′r)-δσ′,↓uσ′r(z′;y)aσ∗(uxr)a↑(uzr)-δσ,↑uσr(z;x)aσ′∗(uyr)a↓(uz′r)-δσ,↓uσr(z′;x)aσ′∗(uyr)a↑(uzr),+δσ,↑δσ′,↓uσr(z;x)uσ′r(z′;y)-δσ,↓δσ′,↑uσr(z′;x)uσ′r(z;y) 6.40

and

[a↑(v¯zr)a↓(v¯z′r),aσ′∗(v¯yr)aσ∗(v¯x)]=δσ′,↑ωσ′r(z;y)aσ∗(v¯x)a↓(v¯z′r)-δσ′,↓ωσ′r(z′;y)aσ∗(v¯xr)a↑(v¯zr)+δσ,↑ωσr(z;x)aσ′∗(v¯yr)a↓(v¯z′r)-δσ,↓ωσr(z′;x)aσ′∗(v¯yr)a↓(v¯z′r)+δσ,↑δσ′,↓ωσr(z;x)ωσ′r(z′;y)-δσ,↓δσ′,↑ωσr(z′;x)ωσ′r(z;y). 6.41

The last two terms in (6.40) times the last two terms in (6.41) produce the explicit O(ρ2) term in the final claim. Summing also the complex conjugate, and using that φ(x)=φ(-x), we have:

Imain=∑σ≠σ′∫dxdydzdz′V(x-y)φ(z-z′)(δσ,↑δσ′,↓uσr(z;x)uσ′r(z′;y)-δσ,↓δσ′,↑uσr(z′;x)uσ′r(z;y))·(δσ,↑δσ′,↓ωσr(z;x)ωσ′r(z′;y)-δσ,↓δσ′,↑ωσr(z′;x)ωσ′r(z;y))=2∫dxdydzdz′V(x-y)φ(z-z′)u↑r(z;x)u↓r(z′;y)ω↑r(z;x)ω↓r(z′;y), 6.42

where in the last step we used that φ(x)=φ(-x). As proven in Appendix , thanks to the regularity of the potential, the function uσr(z;x) can be replaced by the Dirac delta δ(z-x), up to higher-order terms in the density:

Imain=2ρ↑rρ↓r∫dxdyV(x-y)φ(x-y)+Emain,|Emain|≤CL3ρ3-2γ. 6.43

All the other terms arising in the product of (6.40) and of (6.41) give rise to subleading contributions. For instance, a typical term is:

IIIa=∫dxdydzdz′V(x-y)φ(z-z′)ur(z;y)ωr(z;y)·⟨ξλ,a∗(uxr)a(uz′r)a∗(v¯xr)a(v¯z′r)ξλ⟩≡∫dxdydzdz′V(x-y)φ(z-z′)ur(z;y)ωr(z;y)·⟨ξλ,a∗(uxr)a∗(v¯xr)a(v¯z′r)a(uz′r)ξλ⟩, 6.44

where we used the orthogonality between ur and v¯r. Proceeding as for IIa, using that ‖uyr‖1≤C and that ‖ωyr‖∞≤Cρ, we get:

|IIIa|≤Cρ2-2γ⟨ξλ,Nξλ⟩. 6.45

Another typical term is:

IIIb=∫dxdydzdz′V(x-y)φ(z-z′)ωr(z;x)ωr(z′;y)ur(z;y)⟨ξλ,a∗(uxr)a(uz′r)ξλ⟩, 6.46

which we bound as:

|IIIb|≤Cρ2-2γ⟨ξλ,Nξλ⟩. 6.47

The last type of error term arising in the product of (6.40) and (6.41) is:

IIIc=∫dxdydzdz′V(x-y)φ(z-z′)ur(z;x)ur(z′;y)ωr(z;y)⟨ξλ,a∗(v¯xr)a(v¯z′r)ξλ⟩, 6.48

which we estimate as:

|IIIc|≤Cρ⟨ξλ,Nξλ⟩. 6.49

Conclusion. Putting together (6.32), (6.33), (6.37), (6.39), (6.43), (6.45)–(6.48), we have, using that ρ2-2γ≤ρ for γ≤1/2:

|EQ~4(ξλ)|≤Cρ⟨ξλ,Nξλ⟩+Cβ,αL3ρ269-43γ-718ϵ+α⟨ξ1,H0ξ1⟩≤CL3ρ73+Cβ,αL3ρ269-43γ-718ϵ+α⟨ξ1,H0ξ1⟩, 6.50

where in the last step we used the bound (5.86) for the number operator. This concludes the proof. □

Conclusion: proof of the lower bound. We are now ready to prove a lower bound for the ground state energy. We shall collect all the error terms, starting from Eq. (6.1). We have, for 0<α<1:

⟨ψ,Hψ⟩≥EHF(ω)-ρ↑ρ↓∫dxdyV(x-y)φ(x-y)+⟨ξ1,(H0+Q~1)ξ1⟩(1-α)-CαL3ρ2+19-CαL3ρ73-2γ3-CαL3ρ139+2γ-CαL3ρ2+ϵ3-CL3ρ73-Cβ,αL3ρ269-43γ-718ϵ, 6.51

where we also used that |ρσ-ρσr|≤ρ1+ϵ3. The integral in the right-hand side can be written as, up to a boundary term:

∫dxdyV(x-y)φ(x-y)=L3∫R3dxV∞(x)φγ(x)+eL, 6.52

with eL=O(L2). Recall that, Eq. (4.29):

8πaγ=∫R3dxV∞(x)(1-φγ(x)),|a-aγ|≤Cργ. 6.53

The optimal choice of parameters is:

ϵ=13,γ=13, 6.54

which fulfills the assumptions of Proposition 6.1. Taking 12≤α<1, we finally have, for L large enough:

⟨ψ,Hψ⟩L3≥35(6π2)23(ρ↑53+ρ↓53)+8πaρ↑ρ↓-CL3ρ2+19+⟨ξ1,(H0+Q~1)ξ1⟩(1-α). 6.55

This concludes the proof of the lower bound.

Remark 6.3

(Improved condensation estimate.). The inequality (6.55) can be used to prove an improved estimate for ⟨ξ1,H0ξ1⟩, for states ψ that are energetically close enough to the ground state. Let ψ be a fermionic state such that:

⟨ψ,Hψ⟩L3-35(6π2)23(ρ↑53+ρ↓53)+8πaρ↑ρ↓≤Cρ2+19. 6.56

As we will see in the next section, such states exists; in particular, the ground state satisfies the inequality (6.56). Eqs. (6.55), (6.56) imply:

⟨ξ1,H0ξ1⟩≤CL2ρ2+19; 6.57

plugging this bound in (5.86), we get, for γ=1/3:

⟨R∗ψ,NR∗ψ⟩≤CL3ρ119. 6.58

This inequality can be used to prove, see [7]:

trγψ(1)(1-ω)≤CL3ρ119. 6.59

This bound improves on the condensation estimate (3.65). The optimal condensation estimate is expected to be of order ρ43: this is consistent with the fact that the next-order correction to the ground state energy is of order ρ73, [23].

Upper Bound on the Ground State Energy

In this section, we shall conclude the proof of Theorem 2.1, by proving an upper bound on the ground state energy that matches the lower bound we obtained in Sect. 6, up to o(ρ2). This will be done taking the natural trial state ψ=RTΩ, with T the correlation structure defined in Sect. 4, for a suitable value of the parameter γ, to be optimized.

To begin, notice that ψ is an N-particle state, with N↑ particles with spin ↑ and N↓ particles with spin ↓. In fact, we can rewrite ψ as:

ψ=T~RΩ,T~:=eB~-B~∗,B~:=∫dzdz′φ(z-z′)a↑(uzr)a↑∗(v¯v¯zr)a↓(uz′r)a↓∗(v¯v¯z′r). 7.1

and [B~,Nσ]=0, with Nσ=∫dxax,σ∗ax,σ. Also, by the defining properties of fermionic Bogoliubov transformations (3.28), we know that RΩ is an N-particle state, with N↑ particles with spin ↑ and N↓ particles with spin ↓. Therefore:

Nσψ=NσT~RΩ=T~NσRΩ=Nσψ. 7.2

Moreover, being R and T unitary operators, ‖ψ‖=‖Ω‖=1.

To compute the energy of ψ, we shall rely on the estimates we have already proved for the lower bound. An important role in the upper bound is played by the following bound for the number operator, for γ≤1/2:

⟨ξλ,Nξλ⟩≤CL3ρ2-γ,ξλ:=T1-λΩ. 7.3

This bound follows from (5.86), using that now ξ1=Ω. Thanks to (7.3), it is not difficult to see that to prove the propagation of the estimates in Proposition 5.8 it is enough to assume γ≤1/3. The only point where we required a lower bound for γ is the estimate (5.81), which now holds for all γ, as it is clear from the bound (7.3).

By Propositions 3.1, 3.3, we have:

EL(N↑,N↓)≤EHF(ω)+⟨TΩ,H0TΩ⟩+⟨TΩ,XTΩ⟩+⟨TΩ,QTΩ⟩≤EHF(ω)+⟨TΩ,(H0+Q1+Q4)TΩ⟩+E1(ψ), 7.4

with:

|E1(ψ)|≤Cρ⟨TΩ,NTΩ⟩≤CL3ρ3-γ. 7.5

Here, we crucially used that the state ξ0=TΩ is such that ξ0(n)=0 unless n=4k for k∈N, and hence that:

⟨TΩ,Q3TΩ⟩=0, 7.6

recall Eq. (3.43). Consider now the ⟨TΩ,Q4TΩ⟩ term. We rewrite it as:

⟨TΩ,Q4TΩ⟩=⟨TΩ,Q~4TΩ⟩+⟨TΩ,Q^4TΩ⟩, 7.7

with Q^4 the contribution to Q4 with aligned spins,

Q^4=12∑σ∫dxdyV(x-y)aσ∗(ux)aσ∗(uy)aσ∗(v¯y)aσ∗(v¯x)+h.c.. 7.8

We claim that ⟨TΩ,Q^4TΩ⟩=0. To prove this, we shall use that TΩ and Q^4TΩ belong to different spin sectors, and hence, they are orthogonal vectors in the Fock space. Let S be the spin operator,

S=∑σσNσ,Nσ=∫dxax,σ∗ax,σ, 7.9

where we identify ↑≡+ and ↓≡-. Clearly, SΩ=0. Also, since [B,S]=0, we have [T,S]=0. Therefore, STΩ=0. At the same time,

S∫dxdyV(x-y)aσ∗(ux)aσ∗(uy)aσ∗(v¯y)aσ∗(v¯x)TΩ=∫dxdyV(x-y)aσ∗(ux)aσ∗(uy)aσ∗(v¯y)aσ∗(v¯x)(S+σ4)TΩ=σ4∫dxdyV(x-y)aσ∗(ux)aσ∗(uy)aσ∗(v¯y)aσ∗(v¯x)TΩ≠0. 7.10

Therefore, ⟨TΩ,Q^4TΩ⟩=0 by orthogonality between different spin sectors. We are then left with:

EL(N↑,N↓)≤EHF(ω)+⟨TΩ,(H0+Q1+Q~4)TΩ⟩+E1(ψ), 7.11

with E1(ψ) bounded as in (7.5). Proceeding exactly as in Sect. 6, Eq. (6.4), we get:

⟨TΩ,(H0+Q1+Q~4)TΩ⟩=∫01dλ⟨ξλ,(T1+T2)ξλ⟩+⟨ξ0,Q~4ξ0⟩+E2(ψ), 7.12

where E2(ψ) can be bounded as, for 0≤γ≤1/3, thanks to the estimates (5.84) and the bound (7.3) for the number operator:

|E2(ψ)|≤maxλ∈[0;1]|EH0(ξλ)|+maxλ∈[0;1]|EQ1(ξλ)|≤CL3ρ73-γ2+CβL3ρ3-115γ≤CL3ρ73-γ2. 7.13

To get the second inequality, we optimized over the parameter η appearing in the bound for EQ1(ξλ), η=γ5, and to get the third we used that γ≤1/3. Then we write, proceeding as in Eq. (6.6):

⟨TΩ,(H0+Q1+Q~4)TΩ⟩=-∫01dλ⟨ξλ,Q~4rξλ⟩+⟨ξ0,Q~4ξ0⟩+E3(ψ)+E2(ψ), 7.14

with:

|E3(ψ)|≤maxλ∈[0;1]|⟨ξλ,(T1+T2+Q~4r)ξλ⟩|≤CL3ρ2+γ, 7.15

where we used the estimate (5.85), and the bound for the number operator (7.3). Next, proceeding as in Eq. (6.8) we have:

-∫01dλ⟨ξλ,Q~4rξλ⟩+⟨ξ0,Q~4ξ0⟩=-∫01dλddλ⟨ξλQ~4ξλ⟩+∫01dλ∫λ1dλ′ddλ′⟨ξλ′,Q~4rξλ′⟩. 7.16

We compute the derivatives using Proposition 6.1. We obtain:

ddλ⟨ξλ,Q~4rξλ⟩=2ρ↑rρ↓r∫dxdyV(x-y)φ(x-y)+EQ~4r(ξλ)ddλ⟨ξλ,Q~4ξλ⟩=2ρ↑rρ↓r∫dxdyV(x-y)φ(x-y)+EQ~4(ξλ); 7.17

the bound for the error terms can be improved with respect to (6.11), making use of the estimate for the number operator (7.3). Inspection of the proof of Proposition 6.1 shows that the estimate for the error terms EQ~4r(ξλ), EQ~4(ξλ), are determined by the bound for the term I1 in the first line of Eq. (6.31):

|I1|≤CL32ρ2+3η2-2γ-ϵ3‖N12ξλ‖+CβL3ρ3-2η-ϵ3≤CβL3ρ3-107γ-ϵ3, 7.18

where in the last step we used the bound (7.3) and we optimized over η, η=57γ. Notice that, with respect to the original proof of Proposition 6.1, the optimal value of η is now independent of ϵ. We find:

|EQ~4r(ψ)|≤CβL3ρ3-107γ-ϵ3,|EQ~4(ψ)|≤CβL3ρ3-107γ-ϵ3. 7.19

With respect to the original proof of Proposition 6.1, the bound (7.19) holds for all ϵ≥0, as a consequence of the fact that the optimal value of η does not depend on ϵ.

Conclusion: proof of the upper bound. Putting together (7.11)–(7.19), we find, for 0≤γ≤1/3:

EL(N↑,N↓)≤EHF(ω)-ρ↑ρ↓∫dxdyV(x-y)φ(x-y)+CL3ρ2+ϵ3+CL3ρ2+γ+CL3ρ73-γ2+CβL3ρ3-107γ-ϵ3, 7.20

where we replaced ρσr with ρσ, thus giving rise to an error term O(ρ2+ϵ3). Using Eqs. (6.52), (6.53), we get, for L large enough:

EL(N↑,N↓)L3≤35(6π2)23(ρ↑53+ρ↓53)+8πaρ↑ρ↓+Cρ2+ϵ3+Cρ2+γ+Cρ73-γ2+Cβρ3-107γ-ϵ3.

The optimal value of ϵ is ϵ=32-157γ (recall that we are assuming γ≤1/3, so that ϵ≥0). For γ≤7/9, and for this choice of ϵ, ρ2+ϵ3 is smaller than ρ73-γ2. Therefore:

EL(N↑,N↓)L3≤35(6π2)23(ρ↑53+ρ↓53)+8πaρ↑ρ↓+Cρ2+γ+Cρ73-γ2. 7.21

Optimizing over γ, γ=2/9, we finally get:

EL(N↑,N↓)L3≤35(6π2)23(ρ↑53+ρ↓53)+8πaρ↑ρ↓+Cρ2+29. 7.22

This concludes the proof of the upper bound, and of Theorem 2.1. □

Acknowledgements

Marco Falconi, Emanuela L. Giacomelli and Marcello Porta acknowledge financial support from the Swiss National Science Foundation, for the project Mathematical Aspects of Many-Body Quantum Systems. Marcello Porta acknowledges financial support from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (ERC StG MaMBoQ, grant agreement n.802901). Marco Falconi has been supported by the European Research Council (ERC) under the European Unions Horizon 2020 research and innovation programme (ERC CoG UniCoSM, grant agreement n.724939). We thank Benjamin Schlein for useful discussions.

A Properties of the Scattering Equation

We start by recalling some useful properties of the solution of the scattering equation (4.28). We refer the reader to [15, 24] for more details.

Lemma A.1

Let V∈L∞(R3) be a nonnegative, compactly supported and spherically symmetric function, such that suppV⊂{x∈R3∣|x|≤R0}, for some R0>0. Let a be the scattering length of V. Let R>R0 and let fR be the ground state of the Neumann problem on the ball BR(0)={x∈R3∣|x|<R}:

-Δ+12VfR=ERfR, A.1

with boundary condition:

fR(x)=1,∇fR(x)=0,forx∈∂BR(0). A.2

For R sufficiently large, the following holds.

  • (i)
    We have:
    |ER-3aR-3|≤CR4. A.3
  • (ii)
    We have, for all x∈BR(0), for any n∈N, provided V∈Ck with k large enough:
    0≤fR(x)≤1,1-fR(x)≤C|x|+1,|∇nfR(x)|≤Cn. A.4
  • (iii)
    Let:
    aR=18π∫dxV(x)fR(x). A.5
    Then:
    |a-aR|≤CR. A.6

Remark A.2

Concerning the last bound in (A.4), one can also prove that the derivatives decay in |x|. We will not need such improvement. For n=1,2, this bound is proven in, e.g., [15]. For higher values of n, the bound follows from the bounds for n=1,2 and from the fact that fR solves the scattering equation. See also [21] for an explicit, nonperturbative expression of the scattering length a, in terms of the potential V.

In the following we shall denote by f=1-φ the extension to R3 of the Neumann solution of the scattering equation on the ball Bρ-γ(0), with γ>0 (that is, we will drop the γ symbol). Notice that the second bound in Eq. (A.4), together with the compact support in Bρ-γ(0), immediately implies:

‖φ‖1≤Cρ-2γ. A.7

In the proof of Proposition 6.1, an important role is played by cutoff versions of φ. We set:

φ♯(x)=1L3∑p∈2πLZ3eip·xφ^(p)χ~♯(p), A.8

with χ~♯(p) as in Eqs. (6.23). Notice that the functions φ♯ are no longer compactly supported. We shall assume that 0≤η<γ, which is the interesting choice of parameters for our analysis.

Lemma A.3

Let V be as in Lemma A.1. Then, for L large enough:

‖φ<‖1≤Cρ-2γ|logρ|,‖φ0‖1≤Cρ-2η|logρ|,‖φ>‖1≤Cρ-2ηδ|logρ|. A.9

Proof

In the following, we shall set B≡Bρ-γ(0). We shall only prove the first and the last inequality, the proof of the second one being analogous to the one of the third.

Bound forφ<_. It is convenient to write:

φ<(x)=φ≪(x)+φ~<(x), A.10

where

φ≪(x)=1L3∑p∈2πLZ3eip·xφ^(p)χ(|p|ργ)χ~<(p),φ~<(x)=1L3∑p∈2πLZ3eip·xφ^(p)(1-χ(|p|ργ))χ~<(p). A.11

Consider first φ≪(x). We have, for L large enough uniformly in x:

|φ≪(x)|≤C∫dp|φ^(p)|χ(|p|/ργ)≤Cργ. A.12

In fact, since |φ(x)|≤C(1+|x|)-1 and φ(x) is compactly supported in B,

|φ^(p)|≤∫dx|φ(x)|≤Cρ-2γ. A.13

Next, integrating by parts, for all n≥1, for L large enough uniformly in x:

|xk|Ln|φ≪(x)|≤C∫dp|∂pknφ^(p)χ(|p|/ργ)χ~<(p)|. A.14

Every derivative brings a factor ρ-γ. This is evident from the derivatives of the cutoff functions. Concerning φ^(p):

|∂pknφ^(p)|≤∫dx|xk|n|φ(x)|≤Cnρ-nγ-2γ, A.15

where in the last step we bounded every |xk| factor by ρ-γ, using the compact support of φ. Hence:

|xk|Ln|φ≪(x)|≤Cnρ-nγ+γ, A.16

which gives:

|φ≪(x)|≤Cnργ1+(ργ|x|L)n. A.17

This bound implies that

‖φ≪‖1≤Cρ-2γ. A.18

Let us now consider φ~<. We will prove decay estimates in configuration space using an integration by parts argument in momentum space. To efficiently estimate the derivatives of φ^(p), it is convenient to consider the scattering equation in Fourier space. We have, using that φ^(p)=∫Bdxeip·xφ(x), and recalling that φ(x) solves (4.28) for x∈B:

(|p|2-λγ)φ^(p)+12(V^(p)-(V^∗φ^)(p))=-λγ∫Bdxeip·x. A.19

To write Eq. (A.19), we used that both V(x) and φ(x) have compact support in B, and that φ=∇φ=0 on ∂B. We are interested in momenta |p| such that |p|2≥ρ2γ; this, together with the estimate |λγ|≤Cρ3γ, implies that (|p|2-λγ)>0. Therefore,

∂pknφ^(p)=∂pkn1|p|2-λγ(-12V^(p)+12(V^∗φ^)(p))-λγ∫Bdxeip·x). A.20

The derivatives of the first two terms in the brackets are bounded as, by the regularity of V^:

|∂pknV^(p)|≤Cn,|∂pkn(V^∗φ^)(p)|≤∫dx|x|n|V(x)||φ(x)|≤Cn. A.21

In the last inequality we used that 0≤φ(x)≤1, together with the compact support of V(x). Also,

|pk|n|V^(p)|≤Cn,|pk|n|(V^∗φ^)(p)|≤∫dx|∂xknV(x)φ(x)|≤Cn, A.22

where we used the fast decay of V^(p), implies by the regularity of V(x), and the fact that φ(x) is regular in the support of V. Consider now the last term in the brackets. We compute:

∫Bdxeip·x=2π∫0ρ-γdtt2∫-11dαeit|p|α=2π∫0ρ-γdtt22t|p|sint|p|=4π|p|3∫0|p|ρ-γdttsint=4π|p|3(-|p|ρ-γcos|p|ρ-γ+sin|p|ρ-γ). A.23

Combined with Eq. (A.20), this computation implies, for |p|≥1:

|∂pknφ(p)|≤Cρ2γ-nγ|p|4+Ck+n|p|k,for allk∈N. A.24

Let us now consider the regime ργ≤|p|≤1. Eq. (A.23) gives:

|∂pknλγ∫Bdxeip·x|≤Cnρ2γ-nγ|p|2; A.25

therefore, from Eq. (A.20) we get the bound, for ργ≤|p|≤1:

|∂pknφ^(p)|≤Cn|p|2(1|p|n+ρ2γ-nγ|p|2). A.26

For |p|≥ργ and n≥2, the second term dominates. Let us now use the bound (A.26) to prove decay estimates for φ~<. We have:

|φ~<(x)|≤∫dp|φ(p)|(1-χ(|p|/ργ))χ(|p|/ρη)≤Cρη. A.27

Also, for n≥1:

|xk|Ln|φ~<(x)|≤∫dp|∂pknφ(p)(1-χ(|p|/ργ))χ(|p|/ρη)|. A.28

Let n≥2. The bound (A.26) implies:

|xk|Ln|φ~<(x)|≤Cn∫ργ2ργdpρ-nγ|p|2+Cn∫dp1|p|2ρ2γ-nγ|p|2(1-χ(|p|/ργ))χ(|p|/ρη). A.29

The first term bounds the terms where at least one derivative hits the characteristic functions, while the second arises from the estimate (A.26). Therefore, for n≥2:

|xk|Ln|φ~<(x)|≤Cnρ-(n-1)γ=Cnρ-(n-1)γ-ηρη. A.30

All together, recalling (A.27), for n≥2:

|φ~<(x)|≤Cnρη1+(ρ(n-1)γ+ηn|x|L)n. A.31

To estimate ‖φ~<‖1, we write:

‖φ~<‖1≤‖φ~<χ(|·|Lργ)‖1+‖φ~<χc(|·|Lργ)‖1, A.32

and we shall study the two terms separately. Consider the first. Here, we use (A.31) with n=3. We get:

∫|x|L≤ρ-γdx|φ~<(x)|≤Cρηρ-3(2γ/3+η/3)|logρ|=Cρ-2γ|logρ|. A.33

Consider now the second term in (A.32). Here, we use (A.31) with n=4. We get:

∫|x|L>ρ-γdx|φ~<(x)|≤Cρηρ-3(3γ/4+η/4)11+ρ-γ+3γ/4+η/4≤Cρ-2γ. A.34

Therefore, (A.32), (A.33), (A.34) imply:

‖φ~<‖1≤Cρ-2γ|logρ|. A.35

Combined with (A.10), (A.18), we get:

‖φ<‖1≤Cρ-2γ|logρ|. A.36

This concludes the proof of the first of (A.9).

Boundforφ>_. Let us now prove the third estimate in (A.9). To do this, it is convenient to write, for n∈N large enough:

φ>(x)=χ(|x|L<ρ-n)φ>(x)+χ(|x|L≥ρ-n)φ>(x). A.37

For the second term, we use the nonoptimal bound |φ>(x)|≤Cmρ-3β-2γ/(1+(ργ|x|L)m), which can be proven as (A.17), to show that:

‖χ(|·|L≥ρ-n)φ>‖1≤C,fornlarge enough. A.38

Next, for the first term we approximate φ>(x) by its infinite volume counterpart φ>∞(x). We have:

‖χ(|·|L<ρ-n)φ>‖1≤‖χ(|·|L<ρ-n)φ>∞‖1+‖χ(|·|L<ρ-n)(φ>∞-φ>)‖1. A.39

Using that |φ>(x)-φ>∞(x)|≤C/L for fixed x, we have, for L large enough:

‖χ(|·|L<ρ-n)(φ>∞-φ>)‖1≤C. A.40

Therefore, for L large enough:

‖φ>‖1≤‖φ>∞‖1+C. A.41

Let us now focus on ‖φ>∞‖1. We use that:

φ>∞(x)=∫dpeip·xφ^(p)χ(ρβ|p|)(1-χ(|p|/ρη/δ))=4π|x|∫dttφ^(t)χ(ρβt)(1-χ(t/ρη/δ))sin(t|x|) A.42

where t≡|p|; in the last equality we used that, with a slight abuse of notation, φ(p)≡φ(|p|); we performed the angular integration. Therefore,

|x|nφ>∞(x)=4π∫dttφ^(t)χ(ρβt)(1-χ(t/ρη/δ))|x|n-1sin(t|x|). A.43

Using that |x|sin(t|x|)=-∂tcos(t|x|), |x|cos(t|x|)=∂tsin(t|x|), we get, integrating by parts:

|x|n|φ>∞(x)|≤4π∫dt|∂tn-1(tφ^(t)χ(ρβt)(1-χ(t/ρη/δ)))|, A.44

where we used that all boundary terms vanish thanks to the characteristic functions. We are interested in estimating the right-hand side of (A.44) for n=3 and for n=4. We have various cases, depending on which function the derivatives hit.

Consider the terms where at least one derivative hits χ(ρβt). Then, using that ∂kχ(ρβt)=ρkβχ(k)(ρβt), we see that t is forced to be O(ρ-β). Thanks to (A.24), it is not difficult to see that the resulting contribution to (A.44) is bounded uniformly in ρ.

Consider the case when all derivatives hit (1-χ(t/ρη/δ)). Then, from ∂tn-1(1-χ(t/ρη/δ))=-ρ-(n-1)ηδχ(k)(t/ρη/δ), using Eq. (A.26) we see that the resulting contribution is bounded as ρ-(n-1)ηδ. More generally, the same estimate holds true as long as the number of derivatives hitting tφ^(t) is less or equal than 2, and all the other derivatives hit (1-χ(t/ρη/δ)).

The only case left to consider is when n=4, and all the (n-1)=3 derivatives hit tφ^(t). Thanks to (A.26), we see that this contribution, after integrating for t≥ρ-η/δ, is bounded as ρ-2ηδρ-γ. In conclusion, for n=3,4:

|x|n|φ>∞(x)|≤C+Cρ-(n-1)ηδ+Cρ-2ηδρ-(n-3)γ≤Cρ-2ηδρ-(n-3)γ, A.45

where in the last step we used that n=3,4 and that η≤γ. Using also that |φ>∞(x)|≤∫dp|φ^>(p)|≤C, we get:

|φ>∞(x)|≤C1+(ρ2η/δ+(n-3)γn|x|)n,n=3,4. A.46

We are now ready to prove the second of (A.9). We write:

‖φ>∞‖1≤‖φ>∞χ(|·|L≤ρ-γ)‖1+‖φ>∞χ(|·|L>ρ-γ)‖1, A.47

and we estimate the two terms separately. For the first, we use (A.46) with n=3. We get:

‖φ>∞χ(|·|L≤ρ-γ)‖1≤Cρ-2ηδ|logρ|. A.48

For the second, we use (A.46) with n=4. We have:

‖φ>∞χ(|·|L>ρ-γ)‖1≤Cρ-3(2η/δ+γ4)11+ρ-γ+2η/δ+γ4≤Cρ-2ηδ. A.49

Therefore, (A.48), (A.49) imply:

‖φ>∞‖1≤Cρ-2ηδ|logρ|. A.50

Together with (A.41), this proves the last of (A.9). The proof of the second inequality in (A.9) is completely analogous to the one we just discussed, and we omit the details. □

B Proof of Lemma 5.4

Let us start from the first bound. We proceed in exactly the same way as for the proof of Lemma 5.3, with the only difference that v¯xr is replaced by ∂n2v¯xr, which satisfies the bound ‖∂n2v¯xr‖2≤Cρn23+12. Therefore, we get:

|∫dxdyφ(x-y)⟨ξλ,a↑(uxr)a↑(∂n2v¯xr)a↓(uyr)a↓(v¯yr)ξλ⟩|≤Cρ1-2γ+n23⟨ξλ,Nξλ⟩+CL32ρ1-γ2+n23‖N12ξλ‖≤CL32ρ1-γ2+n23‖N12ξλ‖. B.1

The second inequality follows from ‖N12ξλ‖≤CL32ρ712 (propagation of the a priori estimate) and from γ≤7/18. Let us now prove the second bound. We shall proceed as for the first bound. The only difference is that instead of the estimate (5.25) we use:

ρ12-γ2∫dx‖aσ(∂uyr)aσ(∂n3v¯yr)ξλ‖≤CL32ρ1-γ2+n23(∫dx‖aσ(∂uyr)ξλ‖2)12≤CL32ρ1-γ2+n23(‖H012ξλ‖+ρ13‖N12ξλ‖). B.2

The last inequality follows from:

∫dx‖aσ(∂uyr)ξλ‖2≤∑k|k|2‖a^k,σξλ‖2≤⟨ξλ,H0ξλ⟩+Cρ23⟨ξλ,Nξλ⟩. B.3

This concludes the proof of Lemma 5.4. □

C Regularizations

C.1 Proof of Lemma 5.6

Let R0 be such that suppV∞⊂BR0(0). We rewrite:

I=∫dxdydzdz′V(x-y)φ(z-z′)δ↑r(z;x)δ↓r(z′;y)·⟨ξλ,a↑(v¯zr)a↑(ux)a↓(v¯z′r)a↓(uy)ξλ⟩=∫dxdydzdz′V(x-y)φ(z-z′)χ(|z-z′|L/(8R0))δ↑r(z;x)δ↓r(z′;y)·⟨ξλ,a↑(v¯zr)a↑(ux)a↓(v¯z′r)a↓(uy)ξλ⟩+∫dxdydzdz′V(x-y)φ(z-z′)χc(|z-z′|L/(8R0))δ↑r(z;x)δ↓r(z′;y)·⟨ξλ,a↑(v¯zr)a↑(ux)a↓(v¯z′r)a↓(uy)ξλ⟩≡Ia+Ib, C.1

where we set χc=1-χ. Let us consider Ib. Recall that δ^r(p)=χ(ρβ|p|); therefore, a simple integration by parts argument shows that, for all n∈N:

|δr(z;x)|≤Cnρ-3β1+(ρ-β|z-x|L)n. C.2

We then have:

|Ib|≤Cρ∫dxdydzdz′V(x-y)φ(z-z′)χc(|z-z′|L/(8R0))|δ↑r(z;x)||δ↓r(z′;y)|‖a↑(ux)a↓(uy)ξλ‖≤Cρ1+β(n-3)∫dxdyV(x-y)‖a↑(ux)a↓(uy)ξλ‖≤Cnρβ(n-3)(CL3ρ2+⟨ξλ,Q~1ξλ⟩), C.3

where the second inequality follows from (C.2), and the last from Cauchy–Schwarz inequality. More precisely, to prove the first inequality we use that, for |x-y|L≤R0 (a constraint imposed by the compact support of V in ΛL):

∫dzdz′χc(|z-z′|L/(8R0))|δr(z;x)||δr(z′;y)|≤∫dzdz′(χc(|z-x|L/R0)+χc(|z′-y|L/R0))|δr(z;x)||δr(z′;y)|≤Cnρβ(n-3). C.4

Consider now the term Ia. We claim that, for any two vectors ξ,ψ∈F:

∫dzdz′φ(z-z′)χ(|z-z′|L/(8R0))δ↑r(z;x)δ↓r(z′;y)⟨ξλ,a↑(v¯zr)a↓(v¯z′r)ψ⟩=φ(x-y)χ(|x-y|L/(8R0))⟨ξ,a↑(v¯xr)a↓(v¯yr)ψ⟩+Ex,y(ξ,ψ), C.5

with, for all n≥4:

|Ex,y(ξ,ψ)|≤Cnρ1+β(n-3)‖ξ‖‖ψ‖, C.6

uniformly in x, y. To prove this, we proceed as follows. Let m(z-z′)=φ(z-z′)χ(|z-z′|L/(8R0)). Being supported away from |z-z′|L=ρ-γ, this function is Cn for any n∈N, provided (1+|p|k)V^(p)∈L∞ for k large enough. This follows from the fact that φγ solves the scattering equation inside the ball of radius ρ-γ; recall Lemma A.1. Therefore, a simple integration by parts argument shows that:

|m^(p)|≤Cn1+|p|nfor anyn∈N, C.7

provided V is regular enough. Next, we rewrite the approximate delta functions δσr as:

δσr(z;x)=δσ(z;x)-δσ>(z;x) C.8

where δ(·) is the periodic Dirac delta over ΛL, and δ^σ>(p)=1-χ(ρβ|p|). After performing the replacement in the left-hand side of (C.5), we get:

(C.6)=m(x-y)⟨ξ,a↑(v¯xr)a↓(v¯yr)ψ⟩+Ex,y(ξ,ψ) C.9

where the error term Ex,y(ξ,ψ) collects terms with at least one δ>. Let us estimate it. Consider the term with two δ>:

∫dzdz′m(z-z′)δ↑>(z;x)δ↓>(z′;y)⟨ξ,a↑(v¯zr)a↓(v¯z′r)ψ⟩=1L3∑q∈2πLZ3m^(q)∫dzdz′eiq·ze-iq·z′δ↑>(z;x)δ↓>(z′;y)⟨ξ,a↑(v¯zr)a↓(v¯z′r)ψ⟩. C.10

We rewrite the innermost integral as:

∫dzdz′dr1dr2eiq·ze-iq·z′δ↑>(z;x)δ↓>(z′;y)v↑r(r1;z)v↓r(r2;z′)⟨ξ,ar1,↑ar2,↓ψ⟩. C.11

Let us perform the z, z′ integrations. We have:

∫dzeiq·xδ↑>(z;x)v↑r(r1;z)=∫dzeiq·z∫dpeip·(z-x)δ^↑>(p)∫dp′eip′·(r1+z)v^↑r(p′)=∫dpe-ip·(x+r1)e-iq·r1δ^↑>(p)v^↑r(p+q)=:gx,q↑(r1). C.12

Similarly,

∫dze-iq·yδ↓>(z′;y)v↓r(r2;z′)=:gy,q↓(r2). C.13

These functions are in L2; in fact,

‖gx,qσ‖22≤∫dp|δ^↑>(p)v^↑r(p+q)|2≤Cρ. C.14

Also, notice that the p integration in the definition of gx,qσ is restricted to |p+q|≤kFσ (by the support properties of v^r(p+q)), and |p|≥Cρ-β (by the support properties of δ^>(p)). This implies that gx,qσ=0 unless |q|≥cρ-β; hence,

|∫dzdz′m(z-z′)δ↑>(z-x)δ↓>(z′-y)⟨ξ,a↑(v¯zr)a↓(v¯z′r)ψ⟩|=|1L3∑|q|≥cρ-βm^(q)⟨ξ,a↑(gx,q¯)a↓(gy,q¯)ψ⟩|≤Cρ∫|q|≥cρ-βdq|m^(q)|‖ξ‖‖ψ‖. C.15

Using the bound (C.7), we get:

|∫dzdz′m(z-z′)δ↑>(z-x)δ↓>(z′-y)⟨ξ,a↑(v¯zr)a↓(v¯z′r)ψ⟩|≤Cnρ1+(n-3)β‖ξ‖‖ψ‖, C.16

uniformly in x and y. To conclude, consider the remaining error terms, of the form:

∫dzdz′m(z-z′)δ(z-x)δ↓>(z′-y)⟨ξ,a↑(v¯zr)a↓(v¯z′r)ψ⟩=∫dz′m(x-z′)δ↓>(z′-y)⟨ξ,a↑(v¯xr)a↓(v¯z′r)ψ⟩. C.17

Proceeding as before, we estimate this term as:

|1L3∑q∈2πLZ3m^(q)eiq·x⟨ξ,a↑(v¯xr)a↓(gy,q¯)ψ⟩|≡|1L3∑|q|≥cρ-βm^(q)eiq·x⟨ξ,a↑(v¯xr)a↓(gy,q¯)ψ⟩|≤Cρ∫|q|≥cρ-βdq|m^(q)|‖ξ‖‖ψ‖≤Cnρ1+β(n-3)‖ξ‖‖ψ‖. C.18

This concludes the proof of (C.5), (C.6). Let us now plug (C.5) into Ia. We have, using that by the support properties of V, V(x-y)χ(|x-y|L/(8R0))=V(x-y):

Ia=∫dxdyV(x-y)φ(x-y)⟨ξλ,a↑(v¯xr)a↑(ux)a↓(v¯yr)a↓(uy)ξλ⟩+I~a, C.19

where I~a is bounded as:

|I~a|≤Cnρ1+β(n-3)∫dxdyV(x-y)‖a↑(ux)a↓(uy)ξλ‖≤Cnρβ(n-3)(CL3ρ2+⟨ξλ,Q~1ξλ⟩). C.20

Putting together (C.1), (C.3), (C.20), we get:

I=∫dxdyV(x-y)φ(x-y)⟨ξλ,a↑(v¯xr)a↑(ux)a↓(v¯yr)a↓(uy)ξλ⟩+E^Q~1(ξλ)|E^Q~1(ξλ)|≤Cnρβ(n-3)(CL3ρ2+⟨ξλ,Q~1ξλ⟩), C.21

which concludes the of Lemma 5.6. □

C.2 Regularization of T2 and of Q~4

Regularization of T2. Let us start by discussing the regularization of T2, recall Eq. (5.29). We write

u^(k)=u^r(k)+α^(k)+δ^>(k), C.22

with α^(k) supported for kF≤|k|≤2kF and δ^>(k) supported for |k|≥ρ-β. Let T2r be the operator obtained from T2 replacing u by ur. We write:

T2-T2r=T2;a+T2;b, C.23

where T2;b contains at least one operator a(δx>), while T2;a contains at least one operator a(αx), and no operator a(δx>).

BoundforT2,β._ Let m(x-y)=V(x-y)φ(x-y). We claim that, omitting the spins for simplicity, for any ξ∈F and for L large enough:

‖∫dya(δy>)m(x-y)a(v¯yr)ξ‖≤Cnρβn‖ξ‖,for anyn∈Nlarge enough, C.24

provided (1+|p|k)V^∈L∞, for k large enough. This bound allows to prove that ⟨ξλ,T2;bξλ⟩ is small. For instance, consider (we omit the spin for simplicity):

I=∫dxdym(x-y)⟨ξλ,a(δx>)a(δy>)a(v¯x)a(v¯y)ξλ⟩. C.25

We have, from (C.24):

|I|≤∫dy‖(∫dxm(x-y)a(δx>)a(v¯x))a(δy>)a(v¯y)ξλ‖≤Cnρβn∫dy‖a(δy>)a(v¯y)ξλ‖≤Cnρβn+12L32‖N12ξλ‖, C.26

where in the last step we used ‖a(v¯y)‖≤Cρ12 and Cauchy–Schwarz inequality. The contribution to T2;b corresponding to the operators a(δx>), a(αy) can be estimated in exactly the same way, we omit the details. Using the propagation of the a priori estimate for the number operator, ‖N12ξλ‖≤CL32ρ712, we get:

|⟨ξλ,T2;bξλ⟩|≤CnL3ρβn+1312. C.27

Let us prove the bound (C.24). The statement is trivially true if m is replaced by a constant, by the orthogonality of δy> and of vyr. For nonconstant m, we proceed as follows.

We consider an operator w with integral kernel w(x;y)≡w(x-y), such that w^(k)=1 for |k|≤ρ1/3 and w^(k)=0 for |k|>2ρ1/3, and it smoothly interpolates between 1 and 0 for ρ1/3≤|k|≤2ρ1/3. Since v^r(k) is supported for |k|≤ρ13, we have vr=vrw. Hence:

a(v¯yr)=∫dza(v¯zr)w(y;z). C.28

Therefore,

∫dya∗(δy>)m(x-y)a(v¯yr)=∫dydza∗(δy>)m(x-y)w(y;z)a(v¯zr)≡∫dza∗(Ax,z)a(v¯zr) C.29

with:

Ax,z(r)=∫dyδ>(r;y)m(x-y)w(y;z). C.30

We will need estimates on the decay properties of this function. For L large enough, integration by parts gives:

|(x-z)m1(x-r)m2Ax,z(r)|≤∫dkdq|∂km2∂qm1m^(k-q)δ^>(k)w^(q)|.

Using that, for any n,m∈N:

|∂kmm^(k)|≤Cn+m1+|k|n+m,|∂kmw^(k)|≤Cmρ-m3χ(k∈suppw^),|∂kmδ^>(k)|≤Cmρβmχ(k∈suppδ^>) C.31

we get:

|(x-z)m1(x-r)m2Ax,z(r)|≤Cn,m1,m2∫∗dkdqρ-13(m1+m2)1+|k-q|n≤Cn,m1,m2ρ-13(m1+m2-3)ρβ(n-3), C.32

where the asterisk denotes the constraints q∈suppw^, k-q∈suppδ^>. This bound implies:

|Ax,z(r)|≤Cn,m1,m2ρβ(n-3)1+(ρ13|x-z|)m111+(ρ13|x-r|)m2. C.33

Therefore,

‖∫dya∗(δy>)m(x-y)a(v¯yr)φ‖≡‖∫dza∗(Ax,z)a(v¯zr)φ‖≤Cρ12∫dz‖Ax,z‖2‖‖φ‖2. C.34

Eq. (C.33) implies that, for all n∈N:

∫dz‖Ax,z‖2≤Cn,m1,m2∫dzρβ(n-3)-121+(ρ13|x-z|)m1≤Cn,m1,m2ρβ(n-3)-1. C.35

Taking n large enough, the claim (C.24) follows.

BoundforT2;a._ Consider:

I=∫dxdyV(x-y)φ(x-y)⟨ξλ,a↑(v¯xr)a↑(αx)a↓(v¯yr)a↓(uyr)ξλ⟩. C.36

The term corresponding to a(αx), a(αy) is estimated in exactly the same way. We have:

|I|≤C∫dxdyV(x-y)‖v¯xr‖2‖αx‖2‖v¯yr‖2‖a↓(ur)ξλ‖≤CL32ρ32‖N12ξλ‖≤CL32ρ32‖N12ξλ‖. C.37

All the other contributions to T2;a are bounded in the same way.

Conclusion. Putting together (C.27), (C.37), we have, taking n large enough in (C.27):

|⟨ξλ,(T2-T2r)ξλ⟩|≤CL32ρ32‖N12ξλ‖. C.38

Regularization of Q~4. We start by writing

v^(k)=v^r(k)+η^(k) C.39

with η^(k) supported for kF-ρα≤|k|≤kF and α=13+ϵ3, recall the definition of the correlation structure given in Sect. 4.2. Let Q~4;1r be the operator obtained from Q~4 after replacing all v by vr:

Q~4;1r=∫dxdyV(x-y)a↑∗(ux)a↓∗(uy)a↓∗(v¯yr)a↑∗(v¯xr) C.40

Also, recall that:

Q~4r=∫dxdyV(x-y)a↑∗(uxr)a↓∗(uyr)a↓∗(v¯yr)a↑∗(v¯xr). C.41

We set:

Q~4-Q~4;1r=Q~4;a. C.42

BoundforQ~4;a._ Recall (C.39). Consider the term:

I=∑σ≠σ′∫dxdyV(x-y)⟨ξλ,aσ(ux)aσ(η¯x)aσ′(uy)aσ′(v¯yr)ξλ⟩. C.43

Then:

|I|≤∑σ≠σ′∫dxdyV(x-y)(δ2‖aσ(ux)aσ′(uy)ξλ‖2+1δ‖η¯x‖22‖v¯y‖22)≤δ⟨ξλ,Q~1ξλ⟩+CδL3ρ2+ϵ3, C.44

where we used that ‖η¯x‖22≤Cρ23+α and α=13+ϵ3. All the other contributions to Q~4;a can be estimated in the same way. Hence:

|⟨ξλ,Q~4;aξλ⟩|≤Cδ⟨ξλ,Q~1ξλ⟩+CδL3ρ2+ϵ3. C.45

Conclusion. We write:

⟨ξλ,(Q~4-Q~4r)ξλ⟩=⟨ξλ,(Q~4-Q~4;1r)ξλ⟩+⟨ξλ,(Q~4;1r-Q~4r)ξλ⟩. C.46

The first term is bounded as in (C.45), while the second can be bounded exactly as ⟨ξλ,(T2-T2r)ξλ⟩. We get:

|⟨ξλ,(Q~4-Q~4r)ξλ⟩|≤|⟨ξλ,(Q~4-Q~4;1r)ξλ⟩|+|⟨ξλ,(Q~4;1r-Q~4r)ξλ⟩|≤Cδ⟨ξλ,Q~1ξλ⟩+CδL3ρ2+ϵ3+CL32ρ32‖N12ξλ‖. C.47

C.3 Proof of Eq. (6.33)

We write:

I2=I2;a+I2;b, C.48

where I2;b is obtained from I replacing at least one between a∗(ux),a∗(uy) with either a∗(δx>) or a∗(δy>), recall Eq. (C.22). The contribution of this term can be proven to be smaller than any power of ρβ, proceeding as for T2,β, and we shall omit the details. Consider now I2;a. One term contributing to I2;a is:

∑σ≠σ′∫dxdydzdz′V(x-y)φ(z-z′)ω~r(z;y)·⟨ξλ,aσ∗(αx)aσ′∗(uy)aσ∗(v¯xr)a↓(v¯z′r)a↑(uzr)a↓(uz′r)ξλ⟩. C.49

To estimate (C.49), we proceed exactly as for I1, recall Eqs. (6.27)–(6.32) The only difference is that now the estimate:

∫dxdyV(x-y)‖aσ(ux)aσ′(uy)ξλ‖2≤⟨ξλ,Q~1ξλ⟩≤CL3ρ2, C.50

is replaced by:

∫dxdyV(x-y)‖aσ(αx)aσ′(uy)ξλ‖2≤Cρ⟨ξλ,Nξλ⟩≤CL3ρ136, C.51

which is better than (C.50). In conclusion, we can estimate I2;a (in a nonoptimal way) using the same bound we obtained for I1, Eq. (6.31).

C.4 Proof of Eq. (6.43)

Here, we show how to go from (6.42) to (6.43). We rewrite u^σr(k)=χ(ρσβ|k|)-ν^σ(k), with ν^σ(k) smooth and such that ν^σ(k)=1 for |k|≤kFσ, ν^σ(k)=0 for |k|>2kFσ. Therefore, for all n∈N, its inverse Fourier transform νσ(x-y) decays as:

|νσ(x-y)|≤Cnρ1+ρn3|x-y|n. C.52

Furthermore, let δσr(x-y) be the inverse Fourier transform of χ(ρσβ|k|). We write δσr(x-y)=δ(x-y)-δσ>(x-y), with δ(x-y) the periodic Dirac delta and δ^σ>(x-y) supported for |k|≥2ρ-β. All together:

uσr(x;y)=δ(x-y)-δσ>(x-y)-νσ(x-y). C.53

We then get:

∫dxdydzdz′V(x-y)φ(z-z′)u↑r(z;x)u↓r(z′;y)ω↑r(z;x)ω↓r(z′;y)=ρ↑rρ↓r∫dxdyV(x-y)φ(x-y)+Ea+Eb C.54

where ρσr=ωσr(x;x). The term Ea collects terms with no δ> function and at least one ν function, while the term Eb collects terms with at least one δ> function. Consider Ea, and let us start from the terms with only one ν function:

∫dxdydzdz′V(x-y)φ(z-z′)ν↑(z;x)δ(z′-y)ω↑r(z;x)ω↓r(z′;y)=ρ↓r∫dxdydzV(x-y)φ(z-y)ν↑(z;x)ω↑r(z;x). C.55

We have, using ‖νx‖∞≤Cρ, ‖ωxr‖∞≤Cρ:

ρ↓r∫dxdydzV(x-y)φ(z-y)ν↑(z;x)ω↑r(z;x)≤CL3ρ3‖V‖1‖φ‖1≤CL3ρ3-2γ. C.56

Consider now the term with two ν functions. We get, using that ‖νσ‖1≤C:

|∫dxdydzdz′V(x-y)φ(z-z′)ν↑(z;x)ν↓(z′;y)ω↑r(z;x)ω↓r(z′;y)|≤CL3ρ3-2γ. C.57

Hence:

|Ea|≤CL3ρ3-2γ. C.58

Let us now consider Eb. Let us omit the spin for simplicity. To simplify the notation, in the following we shall set ∫dk(⋯)=L-3∑k(⋯). We start from the term:

I=∫dxdydzdz′V(x-y)φ(z-z′)δ>(z;x)δ>(z′;y)ωr(z;x)ωr(z′;y). C.59

We rewrite it in momentum space as:

I=L3∫dk1dk2dk3V^(k1+k3)φ^(-k1-k3)δ^>(k1)δ^>(k2)ω^r(k3)ω^r(-k1-k2-k3), C.60

which we estimate as, using that |k1+k3|≥Cρ-β by the support properties of ωr(k3) and of δ^>(k1):

|I|≤L3Cnρβn∫dk1dk2dk3χ(|k1+k3|≥Cρ-β)|φ^(k1+k3)|ω^r(k3)ω^r(-k1-k2-k3). C.61

To prove this estimate, we used that |V^(k)|≤Cn(1+|k|n)-1. Also, by the decay properties of φ^, Eq. (A.24):

∫dkχ(|k|≥Cρ-β)|φ^(k)|≤C. C.62

Finally, using also that ∫dkω^r(k)≤Cρ, we have:

|I|≤L3Cnρβn+2. C.63

Consider now the term:

II=∫dxdydzdz′V(x-y)φ(z-z′)δ>(z;x)ν(z′;y)ωr(z;x)ωr(z′;y)=L3∫dk1dk2dk3V^(k1+k3)φ^(-k1-k3)δ^>(k1)ν^(k2)ω^r(k3)ω^r(-k1-k2-k3). C.64

Using that |ν^(k2)|≤1, this term can be estimated exactly as I. In conclusion, for any n∈N, taking V regular enough:

|Eb|≤CnL3ρ2+nβ. C.65

Putting together (C.58), (C.65), we have:

|Ea|+|Eb|≤CL3ρ3-2γ. C.66

This concludes the proof of Eq. (6.43). □

Funding

Open access funding provided by Scuola Internazionale Superiore di Studi Avanzati - SISSA within the CRUI-CARE Agreement.

Footnotes

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

References

  • 1.Bach V, Lieb EH, Solovej JP. Generalized Hartree–Fock theory and the Hubbard model. J. Stat. Phys. 1994;76:3–89. doi: 10.1007/BF02188656. [DOI] [Google Scholar]
  • 2.Basti, G., Cenatiempo, S., Schlein, B.: A new second order upper bound for the ground state energy of dilute Bose gases. arXiv:2101.06222 [DOI] [PMC free article] [PubMed]
  • 3.Benedikter N. Bosonic collective excitations in Fermi gases. Rev. Math. Phys. 2020;32:2060009. [Google Scholar]
  • 4.Benedikter N, Jaksic V, Porta M, Saffirio C, Schlein B. Mean-field evolution of fermionic mixed states. Commun. Pure Appl. Math. 2016;69:2250–2303. doi: 10.1002/cpa.21598. [DOI] [Google Scholar]
  • 5.Benedikter N, Nam PT, Porta M, Schlein B, Seiringer R. Optimal upper bound for the correlation energy of a Fermi gas in the mean-field regime. Commun. Math. Phys. 2020;374:2097–2150. doi: 10.1007/s00220-019-03505-5. [DOI] [PMC free article] [PubMed] [Google Scholar]
  • 6.Benedikter, N., Nam, P.T., Porta, M., Schlein, B., Seiringer, R.: Correlation Energy of a Weakly Interacting Fermi Gas. Invent. Math. (to appear) [DOI] [PMC free article] [PubMed]
  • 7.Benedikter N, Porta M, Schlein B. Mean-field evolution of fermionic systems. Commun. Math. Phys. 2014;331:1087–1131. doi: 10.1007/s00220-014-2031-z. [DOI] [Google Scholar]
  • 8.Benedikter N, Porta M, Schlein B. Mean-field dynamics of fermions with relativistic dispersion. J. Math. Phys. 2014;55:021901. doi: 10.1063/1.4863349. [DOI] [Google Scholar]
  • 9.Benedikter, N., Porta, M., Schlein, B.: Effective Evolution Equations from Quantum Dynamics. SpringerBriefs in Mathematical Physics, vol. 7. Springer, Berlin (2016)
  • 10.Boccato C, Brennecke C, Cenatiempo S, Schlein B. Complete Bose-Einstein condensation in the Gross–Pitaevskii regime. Commun. Math. Phys. 2018;359:975–1026. doi: 10.1007/s00220-017-3016-5. [DOI] [Google Scholar]
  • 11.Boccato, C., Brennecke, C., Cenatiempo, S., Schlein, B.: The excitation spectrum of Bose gases interacting through singular potentials. J. Eur. Math. Soc. (2020). 10.4171/JEMS/966
  • 12.Boccato C, Brennecke C, Cenatiempo S, Schlein B. Bogoliubov Theory in the Gross-Pitaevskii limit. Acta Mathematica. 2019;222:219–335. doi: 10.4310/ACTA.2019.v222.n2.a1. [DOI] [Google Scholar]
  • 13.Boccato C, Brennecke C, Cenatiempo S, Schlein B. Optimal rate for Bose–Einstein condensation in the Gross–Pitaevskii regime. Commun. Math. Phys. 2019;359:1–85. [Google Scholar]
  • 14.Brennecke C, Schlein B. Gross–Pitaevskii dynamics for Bose–Einstein condensates. Anal. PDE. 2019;12:1513–1596. doi: 10.2140/apde.2019.12.1513. [DOI] [Google Scholar]
  • 15.Erdős L, Schlein B, Yau HT. Derivation of the Gross–Pitaevskii hierarchy for the dynamics of Bose–Einstein Condensate. Commun. Pure Appl. Math. 2006;59:1659–1741. doi: 10.1002/cpa.20123. [DOI] [Google Scholar]
  • 16.Erdős L, Schlein B, Yau HT. Ground-state energy of a low-density Bose gas: a second-order upper bound. Phys. Rev. A. 2008;78:053627. doi: 10.1103/PhysRevA.78.053627. [DOI] [Google Scholar]
  • 17.Fournais S, Solovej JP. The energy of dilute Bose gases. Ann. Math. 2020;2(192):893–976. doi: 10.4007/annals.2020.192.3.5. [DOI] [Google Scholar]
  • 18.Giuliani A. Ground state energy of the low density Hubbard model: an upper bound. J. Math. Phys. 2007;48:023302. doi: 10.1063/1.2437650. [DOI] [Google Scholar]
  • 19.Hainzl C. One non-relativistic particle coupled to a photon field. Ann. H. Poincaré. 2003;4:217–237. doi: 10.1007/s00023-003-0128-6. [DOI] [Google Scholar]
  • 20.Hainzl C, Seiringer R. Mass renormalization and energy level shift in non-relativistic QED. Adv. Theor. Math. Phys. 2002;6:847–871. doi: 10.4310/ATMP.2002.v6.n5.a3. [DOI] [Google Scholar]
  • 21.Hainzl C, Seiringer R. The BCS critical temperature for potentials with negative scattering length. Lett. Math. Phys. 2008;84:99–107. doi: 10.1007/s11005-008-0242-y. [DOI] [Google Scholar]
  • 22.Hainzl C, Porta M, Rexze F. On the correlation energy of interacting fermionic systems in the mean-field regime. Commun. Math. Phys. 2020;374:485–524. doi: 10.1007/s00220-019-03654-7. [DOI] [PMC free article] [PubMed] [Google Scholar]
  • 23.Huang K, Yang CN. Quantum-mechanical many-body problem with hard-sphere interaction. Phys. Rev. 1957;105:767–775. doi: 10.1103/PhysRev.105.767. [DOI] [Google Scholar]
  • 24.Lieb EH, Seiringer R, Solovej JP, Yngvason J. The Mathematics of the Bose Gas and Its Condensation. Basel: Birkhäuser; 2005. [Google Scholar]
  • 25.Lieb EH, Seiringer R, Solovej JP. Ground-state energy of the low-density Fermi gas. Phys. Rev. A. 2005;71:053605. doi: 10.1103/PhysRevA.71.053605. [DOI] [Google Scholar]
  • 26.Lieb EH, Yngvason J. Ground state energy of the low density bose gas. Phys. Rev. Lett. 1998;80:2504–2507. doi: 10.1103/PhysRevLett.80.2504. [DOI] [Google Scholar]
  • 27.Napiórkowski M, Reuvers R, Solovej JP. The Bogoliubov free energy functional I: existence of minimizers and phase diagram. Arch. Rational Mech. Anal. 2018;229:1037–1090. doi: 10.1007/s00205-018-1232-6. [DOI] [Google Scholar]
  • 28.Napiórkowski M, Reuvers R, Solovej JP. The Bogoliubov free energy functional II. The dilute limit. Commun. Math. Phys. 2018;360:347–403. doi: 10.1007/s00220-017-3064-x. [DOI] [Google Scholar]
  • 29.Porta M, Rademacher S, Saffirio C, Schlein B. Mean field evolution of fermions with Coulomb interaction. J. Stat. Phys. 2017;166:1345–1364. doi: 10.1007/s10955-017-1725-y. [DOI] [Google Scholar]
  • 30.Robinson, D.W.: The Thermodynamic Pressure in Quantum Statistical Mechanics. Springer Lecture Notes in Physics, vol. 9 (1971)
  • 31.Ruelle D. Statistical Mechanics. Rigorous Results. Singapore: World Scientific; 1999. [Google Scholar]
  • 32.Seiringer R. The thermodynamic pressure of a Dilute Fermi gas. Commun. Math. Phys. 2006;261:729–758. doi: 10.1007/s00220-005-1433-3. [DOI] [Google Scholar]
  • 33.Seiringer R, Yin J. Ground state energy of the low density Hubbard model. J. Stat. Phys. 2008;131:1139–1154. doi: 10.1007/s10955-008-9527-x. [DOI] [Google Scholar]
  • 34.Solovej, J.P.: Many Body Quantum Mechanics. Lecture Notes (2014). http://web.math.ku.dk/~solovej/MANYBODY/mbnotes-ptn-5-3-14.pdf
  • 35.Yau H-T, Yin J. The second order upper bound for the ground energy of a bose gas. J. Stat. Phys. 2009;136:453–503. doi: 10.1007/s10955-009-9792-3. [DOI] [Google Scholar]

Articles from Annales Henri Poincare are provided here courtesy of Springer

RESOURCES