Abstract
We consider a model of fermions interacting via point interactions, defined via a certain weighted Dirichlet form. While for two particles the interaction corresponds to infinite scattering length, the presence of further particles effectively decreases the interaction strength. We show that the model becomes trivial in the thermodynamic limit, in the sense that the free energy density at any given particle density and temperature agrees with the corresponding expression for non-interacting particles.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Due to their relevance for cold-atom physics [27], quantum-mechanical models of particles with zero-range interactions have recently received a lot of attention. Of particular interest is the unitary limit of infinite scattering length, where one has scale invariance due to the lack of any intrinsic length scale (see, e.g., [3, 4, 11, 12, 25]). Despite some effort [5,6,7, 9, 21], it remains an open problem to establish the existence of a many-particle model with two-body point interactions. Such a model is known to be unstable in the case of bosons (a fact known as Thomas effect [3, 5, 24], closely related to the Efimov effect [8, 22, 26]) and hence can only exist for fermionic particles. In contrast, the two-body problem is completely understood and point interactions can be characterized via self-adjoint extensions of the Laplacian on \(\mathbb {R}^3{\setminus } \{0\}\) (see [1] for details). These self-adjoint extensions can be interpreted as corresponding to an attractive point interaction, parametrized by the scattering length a, with interaction strength increasing with 1/a. For non-positive scattering length, \(a \le 0\), the attraction is too weak to support bound states, while there exists a negative energy bound state for \(a>0\).
In the case of non-positive scattering length, \(a\le 0\), corresponding to the absence of two-body bound states, point interactions can alternatively be defined via the quadratic form
The unitary limit corresponds to \(a^{-1} = 0\). Recall that the scattering length is defined (see, e.g., [14, Appendix C]) via the asymptotic behavior of the solution to the zero-energy scattering equation, which in this case is simply equal to \(|x|^{-1} - a^{-1}\), corresponding to \(f\equiv 1\). To see that (1.1) corresponds to a point interaction at the origin, note that an integration by parts shows that
for any \(\epsilon >0\). The last term vanishes as \(\epsilon \rightarrow 0\) if f vanishes faster than \({|x|^{1/2}}\) at the origin.
We consider here a many-body generalization of (1.1), which was introduced in [2]. It has the advantage of being manifestly well defined, via a non-negative Dirichlet form. As already noted above, in general it is notoriously hard to define many-body systems with point interactions, see [5,6,7, 9, 21], due to the inherent instability problems. The model under consideration here was studied in [10], where it was shown to satisfy a Lieb–Thirring inequality, i.e., the energy can be bounded from below by a semiclassical expression of the form \(C \int \rho (x)^{5/3}\mathrm {d}x\), with \(\rho \) the particle density and C a positive constant. Up to the value of C, this is the same as the inequality for non-interacting fermions used by Lieb and Thirring [15, 16] in their proof of stability of matter. (For other recent work on Lieb–Thirring inequalities for interacting particles, see [17,18,19,20].)
The model considered here has the disadvantage that the interaction is not purely two-body, however. In fact, it is a full many-body interaction, its strength depends on the position of all the particles and is weakened due to their presence. We shall show here that the effects of the interaction actually disappear in the thermodynamic limit, and the thermodynamic free energy density agrees with the one for non-interacting fermions.
In the next section, we shall introduce the model and explain our main results. The rest of the paper is devoted to their proof.
2 Model and main results
For \(N\ge 2\), \({\vec x} =(x_1,\dots ,x_N) \in \mathbb {R}^{3N}\), let \(g : \mathbb {R}^{3N}\rightarrow \mathbb {R}\) denote the function
We consider fermions with \(q\ge 1\) internal (spin) states, described by wave functions in the subspace \(\mathcal {A}_q^N \subset L^2( (\mathbb {R}^3 \times \{1,\dots ,q\})^N,g(\vec x)^2 \mathrm {d}\vec x)\) of functions that are totally antisymmetric with respect to permutations of the variables \(y_i = (x_i, \sigma _i)\), where \(x_i\in \mathbb {R}^3\) and \(\sigma _i\in \{1,\dots , q\}\). For \(\psi \in \mathcal {A}_q^N\), our model is defined via the quadratic form
where \(\nabla _i\) stands for the gradient with respect to \(x_i \in \mathbb {R}^3\), and we introduced the shorthand notation \(\int \dots \mathrm {d}\vec y = \sum _{\vec \sigma } \int \dots \mathrm {d}\vec x\) with \(\vec \sigma = (\sigma _1,\dots ,\sigma _N)\). Since g is a harmonic function away from the planes \(\{x_i=x_j\}\) of particle intersection, an integration by parts as in (1.2) shows that (2.2) corresponds to a model of point interactions, as \(\mathcal E_g(\psi ) = \sum _{i=1}^N \int |\nabla _i g\psi |^2 \) in case \(\psi \) has compact support away from these planes. More generally, \(\mathcal E_g(\psi ) = \sum _{i=1}^N \int |\nabla _i g\psi |^2 \) holds if \(\psi \) vanishes faster than the square root of the distance to the planes of intersection, which is in particular the case for smooth and completely antisymmetric functions of the spatial variables. In other words, the model is trivial for \(q=1\).
For N particles in a cubic box \([0,L]^3 \subset \mathbb {R}^3\), the free energy at temperature \(T = \beta ^{-1} >0\) is defined as usual as:
where \(H_g\) denotes the operator defined by the quadratic form (2.2), restricted to functions in \(\mathcal {A}_q^N\cap H^1(\mathbb {R}^{3N};g(\vec x)^2 \mathrm {d}\vec x)\) with support in \(([0,L]^3)^{ N}\). The latter restriction corresponds to choosing Dirichlet boundary conditions on the boundary of the cube \([0,L]^3\). Alternatively, one can use the variational principle [13, Lemma 14.1] to write the free energy as:
where \(\langle \,\cdot \,|\,\cdot \,\rangle _g\) denotes the inner product on \(L^2( (\mathbb {R}^3\times \{1,\dots ,q\})^N,g(\vec x)^2 \mathrm {d}\vec x)\),
and the supremum is over all finite sets of orthonormal functions in \(\mathcal {A}_q^N\) with support in \(([0,L]^3)^{ N}\). We are interested in the thermodynamic limit
where \(\rho >0\) denotes the particle density.
In the non-interacting case corresponding to taking \(g\equiv 1\), the free energy density can be evaluated explicitly, and is given by [23]
Our main result shows that the two functions, \(f_g\) and f, are actually identical.
Theorem 2.1
For any \(\beta >0\) and \(\rho >0\), and any \(q\ge 1\),
We shall actually prove a stronger result below, namely a lower bound on \(F_g(\beta ,N,L)\) for finite N which agrees with the corresponding expression for non-interacting particles, \(F(\beta ,N,L)\), to leading order in N, with explicit bounds on the correction term. Note that the corresponding upper bound is trivial, since for functions \(\phi \in C_0^\infty ((\mathbb {R}^{3}\times \{1,\dots ,q\})^N)\)
and hence \(F_g(\beta ,N,L)\le F(\beta ,N,L)\). Moreover, as already noted above one has \(F_g(\beta ,N,L)= F(\beta ,N,L)\) for \(q=1\), since functions in \(\mathcal {A}_1^N\) vanish whenever \(x_i=x_j\) for some \(i\ne j\). Hence, it suffices to consider the case \(q\ge 2\).
Theorem 2.1 also holds true for the ground state energy, i.e., \(\beta =\infty \), where \(f(\infty ,\rho ) = \frac{3}{5} (6\pi ^2/q)^{2/3} \rho ^{5/3}\). The proof of the equality (2.8) in this case is actually substantially easier, as the analysis of the entropy in Sect. 6 is not needed.
Intuitively, the result in Theorem 2.1 can be explained via a comparison of (2.2) with (1.1). Effectively, the scattering process between two particles, i and j, say, corresponds to a non-zero scattering length of the form
In the limit of large particle number, the sum of these other terms diverges, corresponding to an effective scattering length zero, i.e., no interactions.
A minor modification of the proof shows that Theorem 2.1 also holds for a model where the function 1/|x| in (2.1) is replaced by \(1/|x| - 1/a\) for \(a\le 0\), corresponding to a two-body interaction with negative scattering length a. This only increases the effective scattering length \(a_\mathrm{eff}\).
From Theorem 2.1, we conclude that the model (2.2) is not suitable to describe a gas of fermions with point interactions, as it becomes trivial in the thermodynamic limit. No non-trivial models that are proven to be stable for arbitrary particle number exist to this date, however. Such non-trivial models are not expected to be given by a Dirichlet form of the type (2.2), since such forms are naturally well defined even in the bosonic case, where point-interaction models are known to become unstable due to the Thomas effect [3, 5, 8, 22, 24, 26].
In the remainder of this paper, we shall give the proof of Theorem 2.1. We start with a short outline of the main steps in the next section.
3 Outline of the proof
In the first step in Sect. 4, we shall localize particles in small boxes. This part of the Dirichlet–Neumann bracketing technique is quite standard, but it does not directly allow us to reduce the problem to fewer particles, as the interactions depend on the location of all the particles, including the ones in different boxes. Still this step allows us to compare our model with the corresponding one for non-interacting fermions, by utilizing a suitable version of the Hardy inequality to quantify the effect of the deviation of the weight function g in (2.1) from being a constant. This analysis is done in Sect. 5. Note that the relevant constant to compare g with depends on the distribution of the particles in the various boxes, hence the importance of the first step. An important point in the analysis is a control on the particle number distribution, which is obtained in Proposition 5.4.
In Sect. 6, we shall give a rough bound on the entropy for large energy, which will allow us to conclude that to compute the free energy (2.4), it suffices to consider only states with energy \(E\lesssim N \ln N\). We do this by applying the localization technique to very small boxes, with side length decreasing with energy, in order to have to consider effectively only the ground states in each small box.
In the low energy sector, corresponding to energies \(E\lesssim N \ln N\), our bounds in Sect. 5 allow to make a direct comparison of our model with non-interacting fermions. This comparison is detailed in Sect. 7. For this purpose, we shall choose much larger boxes than in the previous step, very slowly increasing to infinity with N in order for finite size effects to vanish in the thermodynamic limit. Finally, Sect. 8 collects all the results in the previous sections to give the proof of Theorem 2.1.
Throughout the proof, we shall use the letter c for universal constants independent of all parameters, even though c might have different values at different occurrences. Similarly, we use \(c_\eta \) for functions of \( \eta = \beta \rho ^{2/3} \) that are uniformly bounded for \(\eta >\varepsilon \) for any \(\varepsilon >0\). Note that the free energy for noninteracting particles in (2.7) satisfies the scaling relation
and \(\eta \rightarrow \infty \) corresponds to the zero-temperature limit.
4 Particle localization in small boxes
Given an integer \(m\ge 2\), we shall divide the cube \([0,L]^3\) into \(M= m^3\) disjoint cubes of side length \(\ell = L/m\), denoted by \(\{B_i\}_{i=1}^{M}\). To obtain a lower bound on \(\mathcal E_g\), we introduce Neumann boundary conditions on the boundary of each box \(B_i\).
Specifically, given a vector \({\vec n}= \{ n_1,\dots ,n_M\}\) of nonnegative integers with \(\sum _{j=1}^M n_j = N\), let \(\mathcal {B}_\mathrm{sym}({\vec n}) \) denote the subset of \([0,L]^{3N}\) where exactly \(n_j\) particles are in \(B_j\), for all \(1\le j \le M\). More precisely, if
and, for general \(A \subset \mathbb {R}^{3N}\) and \(\pi \in S^N\) (the permutation group of N elements)
we have
Then, clearly
for almost every \(\vec x \in [0,L]^{3N}\). Correspondingly, one can write for any \(\psi \in \mathcal {A}_q^N\) supported in \([0,L]^{3N}\)
Note that each \(\psi ^{{\vec n}}\) is a function in \(\mathcal {A}_q^N\) with the property that it is non-zero only if exactly \(n_j\) particles are in \(B_j\) for any \(1\le j\le M\). In particular, the functions appearing in the decomposition on the right side of (4.5) all have disjoint support.
Conversely, given a set of functions \(\psi ^{{\vec n}} \in \mathcal {A}_q^N\) supported in \(\mathcal {B}_\mathrm{sym}({\vec n})\), we can define \(\psi \in \mathcal {A}_q^N\) via (4.5). Hence, there is a one-to-one correspondence between functions in \(\mathcal {A}_q^N\) and sets of functions \(\psi ^{{\vec n}}\). We now redefine our energy functional \(\mathcal E_g\) as:
This coincides with the definition (2.2) in case \(\psi \in H^1((\mathbb {R}^{3}\times \{1,\dots ,q\})^N, g(\vec x)^2 \mathrm {d}\vec x)\), but is more general since it allows for wave functions that are discontinuous at the boundaries of the \(B_j\), effectively introducing Neumann boundary conditions there.
Note that with the definition (4.6) above, we have
In particular, the corresponding operator is diagonal with respect to the direct sum decomposition of \(\mathcal {A}_q^N\) into functions supported on \(\mathcal {B}_\mathrm{sym}({\vec n})\), and hence the min–max principle implies the bound
where on the right side it is understood that each \(\psi _j^{{\vec n}}\) is supported in \(\mathcal {B}_\mathrm{sym}({\vec n})\).
As a final step in this section, we want to simplify the problem by getting rid of the antisymmetry requirement for particles localized in different boxes. There exists a simple isometry between functions \(\psi ^{{\vec n}}\) in \(\mathcal {A}_q^{N}\) and functions whose support is on the smaller set \({\mathcal {B}}({\vec n}) \) in (4.1), where \(x_1,\dots , x_{n_1} \in B_1\), \(x_{n_1+1},\dots ,x_{n_1+n_2} \in B_2\), etc., and which are antisymmetric only with respect to permutations of the \(y_i\) corresponding to \(x_i\) in the same box. This isometry is simply
Note that the normalization factor is chosen such that both sides have the same norm, and the left side can be obtained from the right by a suitable antisymmetrization over all variables \(y_i\). Moreover, both functions yield the same value when plugged into \({\mathcal {E}_g^\ell }\). Let \(\mathcal {A}_q^{N,\ell }({\vec n})\) denote the set \(\{ \chi _{\mathcal {B}({\vec n})} \psi \, : \, \psi \in \mathcal {A}_q^N\}\), i.e., functions supported in \({\mathcal {B}}({\vec n})\) that are antisymmetric in the variables corresponding to the same box. The bound (4.8) and the above observation imply that
5 Energy and norm bounds
Our goal in this next step is to derive a lower bound on \({\mathcal {E}_g^\ell }( \psi )\) for \(\psi \in \mathcal {A}_q^{N,\ell }({\vec n})\), i.e., functions supported in \({\mathcal {B}}({\vec n})\), and to compare the norm of such a \(\psi \) with the standard, unweighted \(L^2\) norm. For this purpose, we shall need a certain version of the Hardy inequality, which will be derived in the next subsection.
5.1 Hardy inequalities
Recall the usual Hardy inequality
for functions \(f\in \dot{H}^1(\mathbb {R}^3)\). We shall need a local version of (5.1) on balls.
Lemma 5.1
Let \(B_\ell \subset \mathbb {R}^3\) denote the open centered ball with radius \(\ell \). For any \(f \in H^1(B_\ell )\)
Proof
We apply the Hardy inequality (5.1) to the function \(h(x) = f(x) [1 - |x|/\ell ]_+\), where \([\,\cdot \,]_+\) denotes the positive part. For the right side of (5.1), we obtain
for any \(\varepsilon >0\). For the left side of (5.1), a simple Schwarz inequality yields
for \(\delta > 0\). In combination, we obtain the desired inequality (5.2) by choosing \(\varepsilon =1/6\) and \(\delta =2/3\). \(\square \)
For later use, we need a version of Lemma 5.1 on cubes with arbitrary location relative to the singularity.
Lemma 5.2
Let \(C_\ell = [0,\ell ]^3\). For any \(y\in \mathbb {R}^3\) and any \(f \in H^1(C_\ell )\),
with \(c_0\le 16\) and \(c_1\le 144\).
The stated bounds on the constants \(c_0\) and \(c_1\) are presumably far from optimal, but suffice for our purpose.
Proof
If \(y\not \in C_\ell \), we can replace it by the point in \(C_\ell \) closest to y. This can only increase the right side. Hence, we may assume that \(y\in C_\ell \). Let B denote the ball of radius \(\ell /2\) around y. Then
Define a function \(\tilde{f}\) by extending f to \([-\ell ,2\ell ]^3\) as
where
Then, \(\tilde{f} \in H^1([-\ell ,2\ell ]^3)\). Since \(B\subset [-\ell ,2\ell ]^3\), we get with the aid of the Hardy inequality (5.2) on B (with \(\ell /2\) in place of \(\ell \))
In the last step, we used that B intersects, besides \(C_\ell \), at most 7 other translates of \(C_\ell \), and that the intersection of B with these translates is, when reflected back to \(C_\ell \), contained in \(C_\ell \cap B\) (see Fig. 1). In combination, (5.6) and (5.9) imply (5.5). \(\square \)
5.2 A lower bound on \({\mathcal {E}_g^\ell }\)
Let \(\psi \) be an \(L^2((\mathbb {R}^3\times \{1,\dots , q\})^N, g(\vec x)^2 \mathrm {d}\vec y)\)-normalized function in \(\mathcal {A}_q^{N,\ell }({\vec n})\), defined just above (4.10). Let \(d_{jk}\) denote the distance between boxes \(B_j\) and \(B_k\). For \(\vec x \in \mathcal {B}({\vec n})\), we can bound
where
Here, \(m_k\) denotes the total number of particles in the 26 neighboring boxes of \(B_k\). The bound (5.10) immediately leads to the lower bound
for \(\psi \in \mathcal {A}_q^{N,\ell }({\vec n})\), where \(\mathcal E^\ell \) on the right side stands for the energy functional for noninteracting particles, corresponding to \(g\equiv 1\) in (4.6).
5.3 Bounds on norms
In the following, it will be necessary to compare the norm \(\Vert \, \cdot \, \Vert _g = \langle \, \cdot \, | \,\cdot \, \rangle _g^{1/2}\) with the standard \(L^2\) norm \(\Vert \,\cdot \,\Vert \) without weight. For \(\psi \in \mathcal {A}_q^{N,\ell }({\vec n})\), the bound (5.10) immediately implies the lower bound
To obtain a corresponding upper bound, we proceed as follows. For given i, corresponding to \(x_i \in B_k\) for some box \(B_k\), let \(\mathcal {N}[i]\) be the set of js with \(j\ne i\) such that \(x_j\) is either in the same box \(B_k\) or in one of the 26 neighboring boxes touching \(B_k\). With \(m_k\) as defined above, \(|\mathcal {N}[i]|= n_k+m_k-1\) for \(x_i\in B_k\). Then
for \(\vec x \in \mathcal {B}({\vec n})\). The Cauchy–Schwarz inequality implies
for any \(\varepsilon >0\), where V is defined in (5.11). In the last term, we use the Hardy inequality (5.5) for the integration over \(x_i\), and obtain
If we reinsert \(g(\vec x)^2\) into the last integrand using (5.10), we thus obtain the following lemma.
Lemma 5.3
For \(\psi \in \mathcal {A}_q^{N,\ell }({\vec n})\), we have the bounds
for any \(\varepsilon >0\), where \(K_\pm \) and V are defined in (5.11) and (5.14), respectively.
5.4 A bound on the number of particles in a box
Let again \(\psi \) be a wavefunction in \(\mathcal {A}_q^{N,\ell }({\vec n})\) and let us assume it is normalized, i.e., \(\Vert \psi \Vert _g = 1\). We have the following a priori bound.
Proposition 5.4
There exists a constant \(\kappa >0\) such that for any normalized \(\psi \in \mathcal {A}_q^{N,\ell }({\vec n})\) and any \(\ell >0\) we have
Here, \([\,\cdot \,]_+ = \max \{0,\,\cdot \,\}\) denotes the positive part. The bound (5.18) allows us to conclude that for all normalized \(\psi \in \mathcal {A}_q^{N,\ell }({\vec n})\) with \({\mathcal {E}_g^\ell }(\psi )< E\) we have \(n_j\le q\) for all j if we choose \(\ell \) such that \(E\ell ^2 q^{2/3}\le \kappa \). Furthermore, for large \(E\ell ^2\) we get the bound \(\max _j n_j \lesssim q^{2/5} (E\ell ^2)^{3/5}\).
Proof
We use Lemma 3 from [10] which states that for a subset \(A \subseteq \{1,\ldots ,N\}\) corresponding to particles \(x_k \in B_j\) for \(k\in A\),
for some \(\tilde{\kappa }> 0\) independent of A, \(\ell \) and \(\psi \). Here, \(\vec y_A\) is short for \(\{y_i\}_{i\in A}\). Integrating this over the \(\{y_j\}_{j\not \in A}\) and summing over j yield (5.18) with the exponent 5/3 replaced by 1, and \(\kappa = \tilde{\kappa }q^{2/3}\).
To raise the exponent from 1 to 5/3, we partition \(B_j\) into \(\mu ^3\) disjoint cubes \(\{C_k\}_k\) of side length \(\ell /\mu \) for some integer \(\mu \ge 1\). We use the identity
for \(\vec x_A\in B_j^{|A|}\), where \(Q^c\) denotes \(A {\setminus } Q\) and \(C_k^c =B_j{\setminus } C_k\). By plugging (5.20) into (5.19), we obtain
For the integration over \(\{y_s\}_{s\in Q}\) we can again use (5.19), with suitably rescaled variables to replace the integration over \(B_j\) with the one over \(C_k\). (Note that g is homogeneous of order \(-1\) and satisfies the simple scaling property \(g(\lambda \vec x) = \lambda ^{-1} g(\vec x)\) for \(\lambda >0\).) This yields the bound
In the last step, we used again the identity (5.20) as well as
Since the left side of (5.22) is obviously non-negative, we can replace \(|A| - \mu ^3 q\) by its positive part on the right side.
It remains to choose \(\mu \). If we ignore the restriction that \(\mu \ge 1\) is an integer, we would choose \(\mu = (2/5) (|A|/q)^{1/3}\) to obtain the desired coefficient \(\propto |A|^{5/3}/q^{2/3}\). It is easy to see that
for some universal constant \(c>0\). This proves the desired bound, with \(\kappa = \tilde{\kappa }c\). \(\square \)
6 A bound on the entropy
In this section, we shall use the estimates above to give a rough bound on
that is, the maximal number of orthonormal functions in \(\mathcal {A}_q^N\) with \(\mathcal E_g(\psi )< E\), for some (large) E. Its logarithm is, by definition, the entropy. Using the localization technique described in Sect. 4, the min–max principle implies that
where \(N_g^{\vec n}(E)\) is the maximal number of orthonormal functions in \(\mathcal {A}_q^{N,\ell }({\vec n})\) with \({\mathcal {E}_g^\ell }(\psi )<E\). Given E, we shall choose \(\ell \) small enough such \(E\ell ^2 q^{2/3}\le \kappa \), with \(\kappa \) the constant in Proposition 5.4. As remarked there, this implies that \(n_j \le q\) for all \(1\le j\le M\).
We will actually show that if \(E\ell ^2 \) is small enough, then the spectral gap for an excitation is larger than E, and hence \(N_g^{{\vec n}} (E)\) is simply equal to the dimension of the space of ground states.
Lemma 6.1
There exists a universal constant \(c >0\) such that if we choose \(E\ell ^2 \le c\), then
Proof
With the aid of (5.12), we have
for \(\psi \in \mathcal {A}_q^{N,\ell }({\vec n})\). The ground states of the operator corresponding to the quadratic form \(\mathcal E^\ell \) are all constant, i.e., they are simply products of anti-symmetric functions of the spin variables corresponding to each box, and have zero energy. The spectral gap above the ground state energy is given by \((\pi /\ell )^2\). With \(P_0\) denoting the projection in \(L^2({\mathcal {B}}({\vec n}),\mathrm {d}\vec y)\) onto the ground state space, we thus have
To bound the norm on the right side from below in terms of the weighted \(\Vert \,\cdot \,\Vert _g\) norm, we shall use Lemma 5.3. In (5.17), we can simply bound
to obtain
for any \(\varepsilon >0\) and any \(\psi \in \mathcal {A}_q^{N,\ell }({\vec n})\) with \({\mathcal {E}_g^\ell }(\psi )< E \Vert \psi \Vert _g^2\). If \(E\ell ^2\) is small, we can take \(\varepsilon =1\) to conclude that
Moreover, note that \(K_+ \le (1+2\sqrt{3}) K_-\), since \(d_{jk}>0\) actually implies \(d_{jk}\ge \ell \). We thus also have that
Applying this to \((1-P_0)\psi \) in (6.5) and inserting the resulting bound in (6.4), we obtain
Finally, note that the ground states of \({\mathcal {E}_g^\ell }\) and \(\mathcal E^\ell \) actually agree, up to a multiplicative normalization constant. Hence, if \(\psi \) is orthogonal to a ground state with respect to the inner product \(\langle \,\cdot \, | \, \cdot \, \rangle _g\), then
This concludes the proof. \(\square \)
In combination with (6.2), Lemma 6.1 yields the bound
for \(E\ell ^2\le c\). We recall that the number of boxes is \(M=(L/\ell )^3 = N/(\rho \ell ^3)\), which is large for \(E\ell ^2 \sim 1\) and \(E\gg L^{-2}\). Hence, we get the upper bound
for a suitable constant \(c>0\). This bound readily implies the following proposition.
Proposition 6.2
Let \(\{E_j\}_j\) denote the eigenvalues of the Hamiltonian \(H_g\) associated with the quadratic form \(\mathcal E_g\) in (2.2) on \(\mathcal {A}_q^N\). For given \(\eta = \beta \rho ^{2/3}\), there exists a \(c_\eta >0\) such that if \(\bar{E} \ge c_\eta \beta ^{-1} N \ln N\) then
Proof
We have
and, thus, the result follows if
for all \(k\ge 0\). Using the bound (6.13), one easily checks that this is the case under the stated condition on \(\bar{E}\) for suitable \(c_\eta \). \(\square \)
For evaluating the free energy, we can thus limit our attention to eigenvalues \(E_j\) satisfying \(\beta E_j \le c_\eta N \ln N\) for suitable \(c_\eta >0\). We shall show in the next section that in this low energy sector the eigenvalues are well approximated by the corresponding ones for non-interacting particles.
7 Comparison with non-interacting particles in the low-energy sector
We shall now investigate the bounds derived in Sect. 5 more closely and apply them to the low energy sector, where \(\mathcal E_g(\psi )\le E \Vert \psi \Vert _g^2\) for some \(E\lesssim N \ln N\). We again localize the particles into boxes, this time with much larger \(\ell \), however. We start with the estimate on the ratio of the norm \(\Vert \psi \Vert _g\) to the standard, non-weighted \(L^2\) norm \(\Vert \psi \Vert \).
Proposition 7.1
Let \(\psi \in \mathcal {A}_q^{N,\ell }({\vec n})\) satisfy \({\mathcal {E}_g^\ell }(\psi )\le E \Vert \psi \Vert _g^2\) for some E with \(E\ell ^2 \gtrsim 1\) for large N. Then
with
with \(K_-\) and V defined in (5.11).
We note that \(\delta \) is small if
which gives us freedom to choose \(\ell \) large while \(E \lesssim N \ln N\). We will choose \(\ell \sim N^{\nu }\) for rather small \(\nu \) below, in which case the first term in (7.2) will be dominating.
Proof
The first bound in (7.1) follows immediately (5.17). For the lower bound, we use
in (5.17), where we denote \(\bar{n} = \max _{j} n_j\). We can also bound \(V\le 27 \bar{n} N\) and
The second bound in (5.17), thus, becomes
for arbitrary \(\varepsilon >0\). By assumption \(E \ell ^2\) is not small, hence we have \(\bar{n} \le c q^{2/5} (E\ell ^2)^{3/5}\), as remarked after Proposition 5.4.
It remains to estimate the ratio \(K_-/K_+\). We distinguish the contribution to the sum coming from \(d_{jk} < r \sqrt{3}\ell \) and \(d_{jk}\ge r \sqrt{3}\ell \), respectively, for some large integer r to be chosen below. We have
By optimizing over r as well as \(\varepsilon \) and using that \(\bar{n} \le c q^{2/5} (E\ell ^2)^{3/5}\), we arrive at the desired result. \(\square \)
In combination with (5.12), Proposition 7.1 yields the lower bound
for \(\psi \in \mathcal {A}_q^{N,\ell }({\vec n})\) in the low energy sector \({\mathcal {E}_g^\ell }(\psi ) < E\). This allows us to compare our model directly with non-interacting particles. Note that the eigenfunctions of the operator corresponding to the quadratic form on the right side are tensor products over different boxes and, in particular, the eigenvalues are simply sums over the corresponding eigenvalues of free fermions in each box. The bound (7.8) does not directly give us lower bounds on the eigenvalues of \(H_g\), except for the lowest one, however. To complete the proof, we have to estimate the difference between the inner product \(\langle \,\cdot \,|\,\cdot \,\rangle _g\) and the standard inner product on \(L^2\), denoted by \(\langle \,\cdot \,|\,\cdot \,\rangle \) in the following.
We define the multiplication operator
which is larger or equal to 1 by (5.10). The bound (5.12) thus reads
where we introduced \(\phi = G \psi \) and denoted by H the Hamiltonian for non-interacting particles, i.e., the Laplacian on \({\mathcal {B}}({\vec n})\) with Neumann boundary conditions. Note that the orthogonality condition \(\langle \psi _j|\psi _k\rangle _g = 0\) is equivalent to \(\langle \phi _j|\phi _k\rangle =0\). Given some \(E_0>0\), we define the cutoff Hamiltonian
with \(\theta \) denoting the Heaviside step function. This is clearly a bounded operator with \(\Vert H_c \Vert \le E_0\). Obviously
which we further bound as:
Now
where we used \(G\ge 1\) in the first and Proposition 7.1 in the second step. We conclude that
under the conditions stated in Proposition 7.1.
8 Convergence of the free energy
We now have all the necessary tools to complete the proof of Theorem 2.1. Proposition 6.2 implies that if we choose \(\bar{E} = c_\eta \beta ^{-1} N \ln N\) for a suitable constant \(c_\eta >0\), then
Here, \(N_g(\bar{E})\) denotes the number of states with energy below \(\bar{E}\), which was estimated in (6.13). We can write, alternatively,
By localizing into small boxes of side length \(\ell \) with Neumann boundary conditions, as detailed in Sect. 4, we further have by the min–max principle
If we choose \(\bar{E} \ell ^2 \gtrsim 1\), we can apply the bound (7.15) from the previous subsection. It implies
with \(\delta \) defined in Proposition 7.1. If we choose \(E_0\) such that \(\bar{E} + 2 E_0 \delta ^{1/2} \le E_0\), which is possible for \(\delta <1/4\), we can drop the cutoff in \(H_c\) and replace \(H_c\) by H, the Laplacian on \((\bigcup _j B_j)^N\) with Neumann boundary conditions. To obtain an upper bound on (8.4), we can then further neglect the bound on \(\langle \phi _k| H |\phi _k\rangle \), and sum over all eigenvalues. We obtain
where \(F(\beta ,N,L,\ell )\) denotes the free energy of non-interacting fermions in \(\bigcup _j B_j\) (with Neumann boundary conditions on the boundaries of the \(B_j\)). In particular, in combination (8.1)–(8.5) imply
We will choose \(\ell \gtrsim 1\), in which case \(F(\beta ,N,L,\ell ) \sim N\) and hence the last term in (8.6) is, in fact, exponentially small in N, since \(\bar{E} \sim N \ln N\). To complete the proof, it suffices to observe that
which is an easy exercise. To minimize the total error, we shall choose
to obtain
This completes the proof of Theorem 2.1.
References
Albeverio, S., Gesztesy, F., Høegh-Krohn, R., Holden, H.: Solvable Models in Quantum Mechanics, 2nd edn. American Mathematical Society, Providence (2004)
Albeverio, S., Høegh-Krohn, R., Streit, L.: Energy forms, Hamiltonians, and distorted Brownian paths. J. Math. Phys. 18, 907–917 (1977)
Braaten, E., Hammer, H.W.: Universality in few-body systems with large scattering length. Phys. Rep. 428, 259–390 (2006)
Burovski, E., Prokof’ev, N., Svistunov, B., Troyer, M.: Critical temperature and thermodynamics of attractive fermions at unitarity. Phys. Rev. Lett. 96, 160402 (2006)
Correggi, M., Dell’Antonio, G., Finco, D., Michelangeli, A., Teta, A.: Stability for a system of \(N\) fermions plus a different particle with zero-range interactions. Rev. Math. Phys. 24, 1250017 (2012)
Correggi, M., Dell’Antonio, G., Finco, D., Michelangeli, A., Teta, A.: A class of Hamiltonians for a three-particle fermionic system at unitarity. Math. Phys. Anal. Geom. 18, Art. 32 (2015)
Dell’Antonio, G., Figari, R., Teta, A.: Hamiltonians for systems of \(N\) particles interacting through point interactions. Ann. Inst. Henri Poincare 60, 253–290 (1994)
Efimov, V.N.: Weakly-bound states of three resonantly-interacting particles. Sov. J. Nucl. Phys. 12, 589–595 (1971)
Finco, D., Teta, A.: Quadratic forms for the fermionic unitary gas model. Rep. Math. Phys. 69, 131–159 (2012)
Frank, R.L., Seiringer, R.: Lieb–Thirring inequality for a model of particles with point interactions. J. Math. Phys. 53, 095201 (2012)
Goulko, O., Wingate, M.: Thermodynamics of balanced and slightly spin-imbalanced Fermi gases at unitarity. Phys. Rev. A 82, 053621 (2010)
Jonsell, S., Heiselberg, H., Pethick, C.J.: Universal behavior of the energy of trapped few-boson systems with large scattering length. Phys. Rev. Lett. 89, 250401 (2002)
Lieb, E.H., Seiringer, R.: The Stability of Matter in Quantum Mechanics. Cambridge Univ. Press, Cambridge (2010)
Lieb, E.H., Seiringer, R., Solovej, J.P., Yngvason, J.: The Mathematics of the Bose Gas and its Condensation, Oberwolfach Seminars, vol. 34. Birkhäuser, Basel (2005)
Lieb, E.H., Thirring, W.: Bound for the kinetic energy of fermions which proves the stability of matter. Phys. Rev. Lett. 35, 687–689 (1975). [Errata ibid., 1116 (1975)]
Lieb, E.H., Thirring, W.: Inequalities for the moments of the eigenvalues of the Schrödinger Hamiltonian and their relation to Sobolev inequalities. In: Lieb, E.H., Simon, B., Wightman, A. (eds.) Studies in Mathematical Physics, pp. 269–303. Princeton University Press, Princeton (1976)
Lundholm, D., Nam, P.T., Portmann, F.: Fractional Hardy–Lieb–Thirring and related inequalities for interacting systems. Arch. Ration. Mech. Anal. 219, 1343–1382 (2016)
Lundholm, D., Portmann, F., Solovej, J.P.: Lieb–Thirring bounds for interacting Bose gases. Commun. Math. Phys. 335, 1019–1056 (2015)
Lundholm, D., Solovej, J.P.: Local exclusion and Lieb–Thirring inequalities for intermediate and fractional statistics. Ann. Henri Poincaré 15, 1061–1107 (2014)
Lundholm, D., Solovej, J.P.: Hardy and Lieb–Thirring inequalities for anyons. Commun. Math. Phys. 322, 883–908 (2013)
Moser, T., Seiringer, R.: Stability of a fermionic \(N+1\) particle system with point interactions. Preprint, arXiv:1609.08342
Tamura, H.: The Efimov effect of three-body Schrödinger operators. J. Funct. Anal. 95, 433–459 (1991)
Thirring, W.: Quantum Mathematical Physics, 2nd edn. Springer, Berlin (2002)
Thomas, L.H.: The interaction between a neutron and a proton and the structure of H3. Phys. Rev. 12, 903–909 (1935)
Werner, F., Castin, Y.: Unitary gas in an isotropic harmonic trap: symmetry properties and applications. Phys. Rev. A 74, 053604 (2006)
Yafaev, D.R.: On the theory of discrete spectrum of the three-particle Schrödinger operator. Mat. Sb. (N.S.) 94(136), 567–593 (1974)
Zwerger, W. (ed.).: The BCS–BEC Crossover and the Unitary Fermi Gas. Springer Lecture Notes in Physics, vol. 836. Springer, New York (2012)
Acknowledgements
Open access funding provided by Institute of Science and Technology (IST Austria). Financial support by the Austrian Science Fund (FWF), Project Nr. P 27533-N27, is gratefully acknowledged.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Moser, T., Seiringer, R. Triviality of a model of particles with point interactions in the thermodynamic limit. Lett Math Phys 107, 533–552 (2017). https://doi.org/10.1007/s11005-016-0915-x
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11005-016-0915-x