Abstract
We consider the quantum mechanical many-body problem of a single impurity particle immersed in a weakly interacting Bose gas. The impurity interacts with the bosons via a two-body potential. We study the Hamiltonian of this system in the mean-field limit and rigorously show that, at low energies, the problem is well described by the Fröhlich polaron model.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and Main Results
1.1 The Polaron
The behavior of impurity particles interacting with a large background constitutes an important class of problems within condensed matter physics [1, 2]. Among these, one of the most prominent is the polaron problem, where one considers a quantum particle of mass M linearly coupled to a scalar boson field. For a translation invariant system, this corresponds to the formal Hamiltonian
where R denotes the position of the impurity particle, and k labels the momentum modes of the field. Moreover, \(P=-\mathrm {i}\nabla _R\) is the particle’s momentum operator in the canonical representation, and \(a^{\dagger }_k,a_k\) are the usual field mode creation and annihilation operators. They satisfy the canonical commutation relations \([a_k,a^{\dagger }_{k'}]=\delta _{k,k'}, [a_k, a_{k'}]=0\). The \(g_k\) are coefficients quantifying the coupling of the particle to the field, with \(*\) denoting the complex conjugate, and \(e_k\) is the free field dispersion relation. The natural domain of this Hamiltonian lies in the Hilbert space \(\mathcal {H}\otimes \mathcal {F}(\mathcal {K})\), where \(\mathcal {H}\) is the Hilbert space of the particle and \(\mathcal {K}\) is the Hilbert space of a single field mode, with \(\mathcal {F}(\mathcal {K})\) denoting the symmetric Fock space over \(\mathcal {K}\). \(\mathcal {K}\) and \(\mathcal {H}\) are appropriate \(L^2\) spaces, whose exact specification depends on the underlying physical situation; our choice thereof is discussed below.
The Hamiltonian (1.1) is commonly referred to as the Fröhlich Hamiltonian, as it was introduced by Fröhlich [3] in order to describe electronic motion in polar crystals. The polaron in this context refers to the picture of an electron dressed with the emerging optical phonons dragged along as it moves. Later, this concept was extended to include other phenomena related to mobile impurities coupled to excitations of the background, giving rise to interesting effects in many materials [2, 4, 5] which are still the subject of ongoing research [6, 7].
In this work, we are interested in a rigorous justification of the use of Hamiltonians of the type (1.1) as an effective description of a full quantum mechanical many-body problem. In the case of the original Fröhlich model this task seems too ambitious due to a complicated microscopic structure of the background (see, however, Lewin and Rougerie [8], where the classical approximation to the original polaron problem, the Pekar functional, is rigorously derived from a specific model of an electron moving through a quantum crystal). The applicability of the polaron picture is not limited to electrons in crystal lattices, however. In fact, recent progress in experiments with ultracold atoms opened the possibility of studying impurity atoms immersed in an environment consisting of many bosonic atoms at low temperatures, displaying Bose–Einstein condensation. As discussed below, at sufficiently low energies the excitations of the bosonic bath correspond to quantized acoustic phonons, and hence the Bose polaron corresponds to the impurity atom dressed with these phonons. We refer to Grusdt and Demler [9] for a review of recent theoretical progress concerning the application of Fröhlich Hamiltonians to these systems. As the mathematical description of cold Bose systems, and in particular the structure of their excitation spectra at low energies, have recently been studied rigorously in numerous works [10,11,12,13,14,15], we find it natural to provide a rigorous microscopic derivation of (1.1) based on these results.
1.2 The \(N+1\) Bose Gas
We consider a system of N bosons of mass 1/2 and one additional particle (of an unspecified type of statistics) of mass M, all confined to move on the unit torus in d dimensions, \(\mathbb {T}^d\).
Assumption 1
(Assumptions on the potentials) We assume that
-
1.
the bosons interact among themselves via a two-body potential \(v: \mathbb {T}^d\rightarrow \mathbb {R}\) which is bounded, Borel measurable, even and of positive type, i.e., all its Fourier coefficients \(v_p\) are nonnegative,
-
2.
the additional impurity particle interacts with the bosons via a real-valued two-body potential \(w: \mathbb {T}^d\rightarrow \mathbb {R}\), which is bounded, Borel measurable and even.
Note that no assumption is made on the Fourier coefficients \(w_p\) of w. Nevertheless w being even implies \(w_p=w_{-p}\in \mathbb {R}\). Without loss of generality, we may in addition assume that v and w are nonnegative, since they can be shifted by a constant otherwise.
The positions of the bosons are labeled by \(\lbrace x_i \rbrace _{i=1}^N, x_i\in \mathbb {T}^d\) and the position of the impurity by \(R\in \mathbb {T}^d\). The Hamiltonian of this system reads
where we introduced some coupling (\(\lambda \), \(\mu \)) and scaling (\(\eta \), \(\nu \)) parameters to be chosen. It acts on \(L^2(\mathbb {T}^d)\otimes \mathcal {H}_N\) with \(\mathcal {H}_N\) being the Hilbert space of square-integrable symmetric functions on \(\mathbb {T}^{dN}\). Here, \(\triangle _y\) denotes the d-dimensional Laplacian in the coordinate y acting on functions on the unit torus. The coupling parameters \(\lambda \) and \(\mu \) determine the strength of the potentials v and w (for the functional forms of v and w being fixed), whereas \(\eta \) and \(\nu \) determine the respective ranges (relative to the system size). They can be adjusted to consider various scaling regimes. The usual thermodynamic limit corresponds to the choice \(\eta \sim \nu \sim N^{1/d}\) and \(\lambda \sim \mu \sim N^{2/d}\). In contrast, we consider here the mean-field limit, where the interactions are weak and extend over the entire system. In particular, we choose \(\lambda =(N-1)^{-1}\), \(\mu =N^{-1/2}\), and \(\eta =\nu =1\). For systems without impurity, this was the scaling for which the first rigorous results on the excitation spectrum were obtained Seiringer [10], Lewin et al. [12], Grech and Seiringer [15] and Nam and Seiringer [16], and our analysis is based on them. The choice \(\mu = N^{-1/2}\) for the impurity–boson coupling turns out to be a natural in the analysis, compatible with the methods from Seiringer [10] and Lewin et al. [12] we use, as explained below (see, in particular, Remark 1.1). Therefore, from now on we consider the Hamiltonian
on \(L^2(\mathbb {T}^d)\otimes \mathcal {H}_N\), with v and w nonnegative 1-periodic functions satisfying Assumption 1.
1.2.1 Motivation of the Fröhlich Hamiltonian
With \(v_p\) and \(w_p\) denoting the Fourier coefficients of v and w, respectively, the second-quantized version of \(H_N\) in (1.3) reads
We defined the Hartree ground state energy
which captures the effect of interactions between particles in the \(p=0\) mode. The sums run over \((2\pi \mathbb {Z})^d\) with \(p= 0\) excluded. Here, \(a_p\) denotes the usual annihilation operator \(\mathcal {H}_N\rightarrow \mathcal {H}_{N-1}\) acting as
The second-quantized Hamiltonian (1.4) acts on \(L^2(\mathbb {T}^d)\otimes \mathcal {F}\), with \(\mathcal {F}\) the bosonic Fock space \(\mathcal {F}\) over \(L^2(\mathbb {T}^d)\), i.e., \(\mathcal {F}:=\bigoplus _{i=0}^{\infty }\mathcal {H}_i\) (with \(\mathcal {H}_0=\mathbb {C}\)). Actually, it preserves \(L^2(\mathbb {T}^d) \otimes \mathcal {H}_N\). For the system without impurity, it was predicted by Bogoliubov [17] that for sufficiently low energies, the excitation spectrum of \(H_N\) should be composed of elementary excitations, which are physically interpreted as quantized (acoustic) free phonons. This serves as the basis for the microscopic explanation of the onset of superfluid behavior in low-temperature bosonic systems. From the formal perspective, it provides a specific example of the emergence of an effective quantum field theoretical description of a many-body system. The low-energy effective theory is predicted to be that of the Hamiltonian
Here, \(b^{\dagger }_p=\alpha _p a^{\dagger }_p +\beta _p a_{-p}\) where \(\alpha _p, \beta _p\) are appropriate constants chosen such that \([b_p,b^{\dagger }_q]=\delta _{p,q}\). Explicitly, \(\alpha _p=(1-\gamma _p)^{-1/2}\) with \(\gamma _p=1+\frac{p^2-e_p}{v_p}\) and \(\beta _p=\gamma _p\alpha _p\). These algebraic relations are realized via a suitable unitary (Bogoliubov) transformation. From (1.7) we deduce that, for low energies, the excitation spectrum is expected to be composed of free bosonic quasi-particles with dispersion relation \(e_p\). In the mean-field scaling \(\lambda =(N-1)^{-1}\) considered here, one can prove [10] that \(e_p=\sqrt{p^4+2v_p p^2}\). Additionally, it can be shown that in this scaling the ground state energy equals \(\frac{1}{2}Nv_0+E^\mathrm{B}+o(1)\) with the constant \(E^\mathrm{B}\) equal to
The method employed by Bogoliubov leading to \(\mathbb {{H}}^\text {B}\) consists of the following steps:
-
1.
the operators \(a_0, a_0^{\dagger }\) are replaced by the number \(\sqrt{N}\),
-
2.
all the terms of higher order than quadratic in creation and annihilation operators that remain in the Hamiltonian are dropped.
This procedure is physically motivated by the expectation that for sufficiently small energies there is Bose–Einstein condensation in the system, that is, the \(p=0\) mode is occupied by an overwhelming fraction of particles. Whereas this has not been proven for a generic bosonic system with general interactions, the validity of the Bogoliubov approximation has been rigorously verified (in the case \(w\equiv 0\)) for a variety of assumptions on v [10, 12, 14, 15, 18]. The first such result [10] refers precisely to our conditions on v and, as already mentioned, the mean-field scaling \(\lambda =(N-1)^{-1}\), which corresponds to a very weak and long-ranged potential.
If one applies the Bogoliubov approximation to the Hamiltonian (1.4) with impurity, one expects that the system is, for small energies, effectively described by the Fröhlich Hamiltonian
By expressing the \(a_p\)’s in terms of the operators \(b_p, b^{\dagger }_{-p}\), we see that it equals
which belongs to the class of Hamiltonians defined in (1.1). The Hamiltonian \(\mathbb {H}^{\text {F}}\) acts on \(L^2(\mathbb {T}^d)\otimes \mathcal {F}_+\), where \(\mathcal {F}_+\) is the Fock space over the complement of the normalized constant function in \(L^2(\mathbb {T}^d)\), describing solely the \(p\ne 0\) modes of the field. In order to obtain (1.10) via a Bogoliubov approximation, we supplemented this procedure by additionally dropping, in the impurity–boson interaction, all the terms that are of higher order than linear in the creation and annihilation operators (after first replacing the \(a_0\) and its adjoint by \(\sqrt{N}\)), whereas we kept the quadratic terms in the boson–boson interaction. One of elements of our analysis below is the justification of this additional step while checking that the other steps, known to be rigorously justifiable in the mean-field case in the absence of an impurity, are still applicable. It is important, however, to realize that in some instances, especially when the impurity–boson interaction is strong, additional terms not present in the Fröhlich Hamiltonian (1.10) cannot be neglected [19,20,21].
1.3 Main Results
The interpretation of our main results, as stated below, is that the Fröhlich Hamiltonian (1.10) may indeed be seen as an effective low-energy, large N theory for the original model described by \(H_N\) in (1.3). Our analysis consists of a rigorous justification of the extended Bogoliubov approximation, based on suitable operator inequalities. It leads to two main theorems, the first of which concerns the excitation spectrum of \(H_N\).
1.3.1 Theorem 1: Convergence of Eigenvalues
Let us denote by \(e_i(A)\) the i-th eigenvalue resp. the i-th min–max value of an operator A, starting at \(i=0\). Our first Theorem states that as long as one considers the energy levels of \(H_N\) lying in a not too large window above the ground state, their values are provided by the corresponding eigenvalues of the Fröhlich Hamiltonian if N is sufficiently large. In particular, we provide explicit bounds on the size of that window as compared with N.
Theorem 1
Let \(H_N\) and \(\mathbb {H}^{\mathrm{F}}\) be defined by Eqs. (1.3) and (1.10), respectively, and let \(E_\mathrm{H}(N):=\frac{N}{2}v_0+\sqrt{N}w_0\). Assume that v and w satisfy Assumption 1. Then for all eigenvalues \(e_i(H_N)\) such that \(e_i(H_N)-e_0(H_N)\le \xi \) for some \(\xi \ge 1\) we have
for some constant \(C_{v,w}>0\) independent of the parameters \(\xi \) and N.
Remark 1.1
In the special case of the ground state energy, we have
The interaction with the impurity thus gives rise to a \(N^{1/2}\) contribution to the ground state energy and, more importantly, leads to an O(1) contribution to the excitation spectrum via the last term in (1.9). This can be understood as follows. In the impurity-free case, the effect of the emergence of phonons is reflected as a O(1) correction to the ground state and low-lying excitation energies, in the mean-field limit considered here. There are only finitely many (even for large N) phonons that emerge in the system. The Fröhlich model describes the impurity creating and annihilating excitations of the background. The number of the latter being O(1), we expect that this phonon–impurity interaction should as well give rise to an O(1) correction. The Bogoliubov approximation suggests that this interaction should scale as \(\mu N^{1/2}\); hence, we see that \(\mu \sim 1/\sqrt{N}\) is consistent with these considerations.
Remark 1.2
The error bounds are of the form \(\xi (\xi /N)^{1/2}\). Therefore, as long as the total excitation energy satisfies \(\xi \ll N\), the error made by using the Fröhlich Hamiltonian instead of the original one when computing the energy levels is small compared to the total excitation energy. The size of this energy window is presumably optimal. In fact, if the condition \(\xi \ll N\) is not fulfilled one cannot expect the onset of BEC anymore, which is an essential assumption in the Bogoliubov approximation. It is noteworthy that precisely the same error scaling was obtained in [10] for the pure bosonic system. The effects of the inclusion of the impurity thus manifest themselves only in the value of the constant \(C_{v,w}\).
Remark 1.3
By a direct inspection of the proof, one sees that the result can easily be generalized to the case of multiple impurities (as long as their number is fixed, i.e., independent of N). This holds irrespectively of the statistics of the impurities, i.e., they could be fermions, bosons, or distinguishable (in particular, different) particles.
Remark 1.4
Extending the results to the case of more realistic, short-ranged potentials remains a challenge. In fact, the \(w\equiv 0\) cases with either \(\lambda =N^{2/d}\), \(\eta =N^{1/d}\) (equivalent to the thermodynamic limit) or \(\lambda =N^2\), \(\eta =N \) in \(d=3\) (the Gross–Pitaevskii limit) were rigorously analyzed only very recently. The results for the thermodynamic limit concern the ground state energy only [11, 22,23,24], whereas in the Gross–Pitaevskii scaling regime the emergence of the Bogoliubov spectrum for low energies was shown as well [18].
Remark 1.5
If a contact interaction is used to model both boson–boson and boson–impurity interaction, one encounters the Bogoliubov–Fröhlich Hamiltonian [9, 25]
where \(n_0\) is the condensate density and \(\zeta =(2g_{\mathrm{BB}}n_0)^{-1/2}\) is the healing length; the parameters \(g_{\mathrm{IB}}\) and \(g_{\mathrm{BB}}\) are the coupling constants describing the impurity–boson and boson–boson interactions, respectively. Additionally, \(\epsilon _p=\sqrt{c^2p^2(1+(\zeta p)^2)}\) with \(c=1/\zeta =\sqrt{2g_{\mathrm{BB}}n_0}\) denoting the speed of sound in the bosonic bath. This Hamiltonian displays an evident ultraviolet divergence, recently analyzed in [25]. By naively replacing \(v_p\) and \(w_p\) in (1.10) with the respective coupling constants \(g_{\mathrm{BB}}\) and \(g_{\mathrm{IB}}\), one arrives at \(\mathbb {H}^{\text {B-F}}\) with unit condensate density. We conjecture that (1.13), resp. some renormalized version of it, arises in place of \(\mathbb {H}^\text {F}\) in scaling regimes corresponding to more realistic interactions of shorter range than the mean-field limit considered here.
Remark 1.6
Our proof makes use of methods from Seiringer [10] and Lewin et al. [12]. In particular, in the case \(w\equiv 0\), we reproduce the results of Seiringer [10], but by utilizing techniques from Lewin et al. [12] we are able to substantially simplify the proof.
1.3.2 Theorem 2: Convergence of Eigenvectors
In order to compare the two operators \(H_N\) and \(\mathbb {H}^\text {F}\), which act on different Hilbert spaces, we utilize an operator introduced by Lewin et al. [12], which maps \(\mathcal {H}_N\) to (a subspace of) \(\mathcal {F}_+\). We give here a quick review of their construction, as it is important to formulate our second result.
1.3.3 The LNSS Transform
If \(\lbrace v_i \rbrace _{i\ge 0}\) is an orthonormal basis of some Hilbert space \(\mathcal {H}\), then the N-fold symmetric tensor product of \(\mathcal {H}\) is spanned by N-fold tensor products
for all choices of indices \(i_j \in \mathbb {N}\cup \lbrace 0 \rbrace \) with \(\mathcal {N}\) a normalization constant. Let us fix an element \(v_0\) in the basis of \(\mathcal {H}\). If one defines \(\mathcal {H}^0_l\) to be the span of \(\bigotimes _{\text {s}}^l v_0\otimes _{\text {s}} v_{i_{l+1}}\otimes _{\text {s}} \cdots v_{i_{N}}\) for all choices of the \(N-l\) indices \( i_j\ne 0\), it is clear that
For convenience, we further define \(\mathcal {H}^+_m\) by the relation \(\mathcal {H}^0_{N-m}=\lbrace \otimes _\mathrm{{s}}^{N-m}v_0\rbrace \otimes _\mathrm{{s}} \mathcal {H}^+_m\). Explicitly,
For every element \(\Psi \in \mathcal {H}_N\), define the linear operator
where the \(\phi _i \in \mathcal {H}^+_i\), \(i\in \{0,\dots , N\}\), are uniquely determined by the above considerations. The space \(\mathcal {F}^{\le N}_+\) is naturally seen to be a proper subset of the Fock space over the orthogonal complement of \(v_0 \in \mathcal {H}\). Moreover, U is unitary. Performing this construction for \(\mathcal {H}=L^2(\mathbb {T}^d)\) with, for instance, the plane wave basis and with \(v_0\equiv 1\) we arrive at a unitary transformation \(U: \mathcal {H}_N\rightarrow \mathcal {F}^{\le N}_+\subset \mathcal {F}_+\) with \(\mathcal {F}_+\) being the Fock space over the orthogonal complement of the unit function on \(\mathbb {T}^d\). This space has a clear physical interpretation of being the space of excitations from the condensate, and the fully condensed state plays the role of the vacuum. It is due to the algebraic properties of U, however, that it becomes helpful in the analysis, as it can be seen to rigorously realize the Bogoliubov substitution of \(a_0, a^{\dagger }_0\) by \(\sqrt{N}\). More precisely, with \(\mathcal {Q}\) denoting the projection onto the orthogonal complement of the unit function in \(L^2(\mathbb {T}^d)\), one can check that (the annihilation operator is here understood to be the standard operator in the purely bosonic Fock space)
for all \(\Psi \in \mathcal {H}_N\) and consequently that for \(k,l\ne 0\)
The last two identities follow from the first, in fact. We trivially extend this transformation to an operator \(L^2(\mathbb {T}^d)\otimes \mathcal {H}_N \rightarrow L^2(\mathbb {T}^d)\otimes \mathcal {F}_+^{\le N}\) by tensor-multiplying it by the unit operator on the impurity Hilbert space. This extended U is again unitary and satisfies (1.151.16) with \(a_0\) defined by (1.6). One should keep in mind that U depends on N. Equipped with the extended operator U, we now state our second main result concerning the eigenvectors.
Theorem 2
Let \(\mathbb {P}_i\) denote the orthogonal projection onto the eigenspace of \(\mathbb {H}^{\text {F}}\) corresponding to energy \(e_i(\mathbb {H}^\text {F})\). Under Assumption 1, the following statements hold true.
-
1.
The spectra of both \(H_N\) and \(\mathbb {H}^{\text {F}}\) are discrete.
-
2.
For all i such that there exists an eigenstate \(\Psi _i\) of \(H_N\) corresponding to energy \(e_i(H_N)\) with \(e_i(H_N)-e_0(H_N)< \xi \) where \(\xi >0\) is fixed, we have
$$\begin{aligned} \lim _{N\rightarrow \infty } (\Psi _i, U^{\dagger } \mathbb {P}_i U \Psi _i)_{L^2(\mathbb {T}^d)\otimes \mathcal {F}_+}=1. \end{aligned}$$(1.18)
Remark 2.1
In contrast to the case without impurity, the eigenstates of \(\mathbb {H}^{\mathrm{F}}\) are not explicit. In particular, they display non-trivial correlations among the phonons and are not quasi-free.
Remark 2.2
We have not tried to find the rate of growth of the size of the energy window in N so as provide the corresponding error for replacing eigenvectors. This rate is probably much worse than the one from Theorem 1.
Remark 2.3
Theorems 1 and 2 together imply, as \(N\rightarrow \infty \), the norm resolvent convergence of \(H_N-E_\mathrm{H}(N)\) towards \(\mathbb {H}^{\text {F}}\), that is, for any \(z\in \mathbb {C} \backslash \mathbb {R}\),
in operator norm. Here, \(U_N\) has to be understood as a partial isometry, i.e., \(U_N^\dagger \) is extended by 0 to all of \(L^2(\mathbb {T}^d)\otimes \mathcal {F}_+\).
Remark 2.4
Another interesting problem concerns the dynamics of the impurity and the use of the Fröhlich Hamiltonian as its generator. This question has been recently studied from a physics perspective [20, 26]. From a mathematical point of view, there exist results concerning the dynamics of a tracer particle immersed in a Bose gas [27, 28], which concern a different scaling limit than the one considered here and do not utilize the Fröhlich description. The convergence (1.19) can also be reformulated as convergence of the corresponding group of time evolutions and hence can be used to determine also the dynamics of small excitations of the condensate. In the absence of an impurity, more general results are known where the condensate itself is excited and evolves according to the time-dependent Hartree equation (see, e.g., [29, 30]).
The remainder of this paper contains the proofs of Theorems 1 and 2. Throughout the text, the symbol C denotes a positive constant whose value may change at different appearances. Moreover, unless stated otherwise, all states on the relevant Hilbert spaces are normalized. Finally, all operators that are defined as acting on functions of the Bose gas coordinates or the field modes only are actually everywhere understood as their tensor products with the unit operator on \(L^2(\mathbb {T}^d)\), the latter being the Hilbert space of the impurity particle.
2 Auxiliary Considerations
In this section, we introduce four preparatory Lemmas that will be needed in the proofs of Theorems 1 and 2. For their statement, we need to introduce some notation. We shall often denote the terms on the right side of (1.3), from left to right, by \(P^2/2M, T, V\) and W. Let \(\mathcal {P}\) denote the projection onto the normalized constant wave function in \(L^2(\mathbb {T}^d)\), and \(\mathcal {Q}=1-\mathcal {P}\). We define the excitation number operator
as an operator on \(\mathcal {H}_N\). The subindex in \(Q_i\) means here that we project onto the orthogonal complement of the normalized constant wave function in the i-th variable. The second quantized form of the excitation number operator in the plane wave basis equals
The first Lemma explores the consequences of the mean-field structure of \(H_N\). In particular, the ground state energy of \(H_N\) is, to leading order in N, equal to \(E_\mathrm{H}(N)\), and the excitation number operator is uniformly bounded in N for states of fixed excitation energy.
Lemma 3
The ground state energy of \(H_N\), \(e_0(H_N)\), satisfies the bounds
with \(\delta E=\int (2\pi ^2)^{-1 }w^2+(v(0)-v_0)\ge 0\). Moreover, we have the operator inequality
Remark 3.1
Below, we will make use of a direct consequence of this Lemma, namely
for any state \(\Psi \) such that \((\Psi ,H_N\Psi )\le e_0(H_N)+\xi \) with \(\xi >0\).
Proof
The upper bound on the ground state energy is obtained by taking the constant wave function in \(L^2(\mathbb {T}^d)\otimes \mathcal {H}_N\) as trial function. We write \(H_N=\frac{P^2}{2M}+\frac{1}{2}T+V+(\frac{1}{2}T+W)\); by a standard argument using the positivity of the Fourier coefficients of v, we have
since \(\sum _{p\ne 0}v_p \left| \sum _{i=1}^N \mathrm{e}^{\mathrm {i}px_i}\right| ^2\ge 0\). Next, we use Temple’s inequality, see, e.g., [31]. Consider a Hamiltonian \(H=H_0+Z\) with nonnegative self-adjoint operators Z and \(H_0\) with ground state energy satisfying \(e_0(H_0)=0\). Denoting by \(e_0,e_1\) the first two eigenvalues of H, we have clearly \((H-e_0)(H-e_1)\ge 0\). We evaluate this at the ground state of \(H_0\), \(\Psi _0\). We get
and rewrite this, since \(e_1>0\), as
Using the positivity of Z and \(e_1\ge e_1(H_0)\), we finally get
Using this for \(H=-\frac{\triangle _x}{2}+N^{-1/2}w(x-R)\) with \(Z=N^{-1/2}w(x-R)\) and \(\Psi _0\) the normalized constant function on \(\mathbb {T}^d\), we have,
This leads to
Using that \(N_+\le (2\pi )^{-2}T\), we see that the desired result holds.
The second Lemma concerns the fluctuations of the condensate in the ground state, which are seen to be strongly suppressed due to the mean field scaling.
Lemma 4
For all \(N\ge 2\), we have the operator inequality
Remark 4.1
Similarly as above, the Lemma immediately implies that if \(\Psi \) belongs to the spectral subspace of \(H_N\) corresponding to energy \(E\le e_0(N)+\xi \) with \(\xi \ge 0\), then we have
where the constants depend only on v and w but not on N. This will be of importance below.
Proof
Because \(N_+\le \frac{1}{2\pi ^2}(\frac{1}{2}T)\) and \(N_+\) commutes with T, we find it convenient to give a bound on the operator \(\frac{1}{2} N_+ {T}\), as the latter can be directly linked to \(H_N\). Writing
with
and
we estimate the relevant terms. By the Cauchy–Schwarz inequality,
Note that \((S+S_1)\Psi \) is permutation symmetric in the Bose gas coordinates, so that \((\Psi , N_+ (S+S_1) \Psi )=N(\Psi , \mathcal {Q}_1 (S+S_1) \Psi )\), where \(\mathcal {Q}_1=1-\mathcal {P}_1\). Moreover, S is independent of \(x_1\); hence, it commutes with \(\mathcal {Q}_1\). Using the inequality (2.6) (with N replaced with \(N-1\)) as well as Temple’s inequality (2.9) and the upper bound on \(e_0(H_N)\) in (2.3), we see that
Since S commutes with \(\mathcal {Q}_1\), we thus have
The part of \(N_+ S_1\) not containing \(-\triangle _1/2+N^{-1/2}w(x_1-R)\) is equal to \(-N(\Psi ,\mathcal {Q}_1 v(x_1-x_2)\Psi )\). We introduce the short-hand \(v_{12}\) to denote \(v(x_1-x_2)\). We write, following [10]
Observe that \((\Psi , \mathcal {Q}_1 \mathcal {P}_2 v_{12} \mathcal {P}_2 \Psi )=(\Psi , \mathcal {Q}_1 \mathcal {P}_2 v_{12} \mathcal {P}_2 \mathcal {Q}_1 \Psi )+(\Psi , \mathcal {Q}_1 \mathcal {P}_2 v_{12} \mathcal {P}_2 \mathcal {P}_1\Psi )\), where the last term vanishes and the remaining one is positive. For the first term, we use \((\Psi , \mathcal {Q}_1\mathcal {Q}_2 v_{12}\Psi )\ge -\Vert v\Vert _{\infty } \sqrt{(\Psi \mathcal {Q}_1 \mathcal {Q}_2\Psi )}\). Furthermore,
as \(\mathcal {P}_2\le 1\) and \((\Psi ,\mathcal {Q}_1\Psi )=(\Psi , \mathcal {Q}_2\Psi )\) due to the permutation symmetry. The remaining part of \(S_1\) is bounded as
since \(w\ge 0\).
We thus have
With \(N^2(\Psi , \mathcal {Q}_1 \mathcal {Q}_2\Psi )\le (\Psi , N_+^2\Psi )\), this altogether implies
where the N-independent constant \(\alpha \) equals \(\alpha = \frac{1}{2}\Vert w\Vert _\infty +\Vert v\Vert _{\infty }+\delta E'\). As \(N_+\le g T\), with \(g=(2\pi )^2\) being the energy gap of the Laplacian on the torus, this implies
for any \(\epsilon , \lambda , \kappa >0\). By choosing \(\epsilon =\lambda =\kappa =\frac{g}{4}\), we arrive at the desired result.
The third and fourth Lemmas concern \(\mathbb {H}^{\mathrm{F}}\). They will be of importance when proving the upper bound on the difference of eigenvalues in Theorem 1.
Lemma 5
Let \(\mathbb {H}^{\mathrm{F}}_0=\frac{P^2}{2M}+\sum _{p\ne 0} (p^2+v_p)a_p^{\dagger }a_p\) denote the particle-conserving part of the Fröhlich Hamiltonian (1.9). Then, there exist positive constants \(C_0,C_1, C_2\) such that the inequalities
hold true on \(L^2(\mathbb {T}^d)\otimes \mathcal {F}_+\).
Proof
Clearly, as \(v_p\ge 0\), one can take \(C_0=g^{-1}=(2\pi )^{-2}\). The particle non-conserving part of \(\mathbb {H}^{\text {F}}\) consists of the purely bosonic (v-dependent) part \(V^{\mathrm{OD}}\)and a w-dependent part \(\tilde{W}\). The latter can be bounded by
for any \(\epsilon >0\). To see this, simply complete the square for a single mode using the inequality \((\eta a_p^{\dagger }+\eta ^{-1}w_p \mathrm{e}^{ipR})(\eta a_p+\eta ^{-1}w_p \mathrm{e}^{-ipR})\ge 0\), then choose \(\eta ^2=\epsilon (p^2+v_p)\) and sum over the modes. It is hence enough to show that the bosonic particle non-conserving part, given by
can be bounded below by \(-c \mathbb {H}^{\mathrm{F}}_0 -c'\) for \(0<c<1\) and \(c'>0\). By Cauchy–Schwarz,
for any \(\epsilon >0\). Now take \(\epsilon =\lambda (p^2+v_p)\) for some \(\lambda >0\) and define \(\mu :=\frac{\sup _{p\ne 0} v_p^2}{\sup _{p\ne 0}v_p^2+\inf _{p\ne 0} p^2(p^2+2v_p)}\); then \(0<\mu <1\) (recall that \(p\in (2\pi \mathbb {Z})^d)\) and \(v_p^2 \le \frac{\mu }{1-\mu }p^2(p^2+2v_p)\), or
Consequently,
By choosing \(\lambda =\frac{\sqrt{\mu }}{2}\), we have \(\lambda +\frac{\mu }{4\lambda }=\sqrt{\mu }<1\) and the desired result follows.
Remark 5.1
Note that the above Lemma implies that \(\mathbb {H}^{\mathrm{F}}\) is bounded from below.
The last Lemma relates \(N_+^2\) to \((\mathbb {H}^{\mathrm{F}})^2\).
Lemma 6
On \(L^2(\mathbb {T}^d)\otimes \mathcal {F}_+\) we have
Proof
We will show that \(N_+ \mathbb {H}_0^{\mathrm{F}}\le C (\mathbb {H}^{\mathrm{F}})^2+C\), which implies the desired result by the previous lemma. As \([N_+, \mathbb {H}^{\mathrm{F}}_0]=0\), we have
with \(\tilde{W}\) and \(V^\mathrm{OD}\) defined as in the proof of Lemma 5. Using the canonical commutation relations \([a_p, a_q^{\dagger }]=\delta _{p,q}\), we compute
Since \(V^{\mathrm{OD}}N_+=(N_+ V^{\mathrm{OD}})^{\dagger }\) we have \(V^{\mathrm{OD}}N_+=\sum _{p\ne 0 }a^{\dagger }_pV^{\mathrm{OD}}a_p + \sum _{p\ne 0} \frac{v_p}{2}a_p a_{-p}\) and finally
Using (2.27) and the fact that \(\sum _{p\ne 0}a^{\dagger }_p \mathbb {H}_0^{\mathrm{F}}a_p=\mathbb {H}_0^{\mathrm{F}}(N_+-1)\), we have
where \(\mu <1\). By Lemma 5 and the Cauchy–Schwarz inequality, the last two terms of the above are bounded by \(C(\mathbb {H}^{\mathrm{F}})^2+C\).
For \(\tilde{W}\), we perform a computation analogous to (2.31), which yields
By completing the square similarly as in Lemma 5, we have
for any \(\lambda >0\). We obtain
for any \(\lambda >0\). By Lemma 5 and \(\mathbb {H}^{\mathrm{F}}\le \frac{(\mathbb {H}^{\mathrm{F}})^2}{2}+\frac{1}{2}\), we can bound
Finally, using again the Cauchy–Schwarz inequality, we can bound
for any \(\epsilon >0\). Invoking Lemma 5 again, we obtain for any \(\epsilon >0\) and \(\lambda >0\),
By choosing \(\epsilon \) and \(\lambda \) small enough, we arrive at the desired result.
3 Comparing \(H_N\) and \(\mathbb {H}^{\mathrm{F}}\)
The estimates provided in the previous section concern the relation of the number of excitations operator \(N_+\) (or its square) to the Hamiltonians \(H_N\) and \(\mathbb {H}^{\text {F}}\) independently. Now, making use of the LNSS transformation U introduced in Sect. 1.3.3, we give an important estimate relating \(UH_NU^{\dagger }\) and \(\mathbb {H}^{\text {F}}\).
Proposition 7
There exist positive constants \(\alpha , \beta \), independent of N, such that for every \(\epsilon >0\) and every \(\Phi \) in \(L^2(\mathbb {T}^d)\otimes \mathcal {F}_+^{\le N}\) we have the inequality
The proof of the proposition is divided into two main steps. In step 1, we take care of the higher-order terms in the creation and annihilation operators that appear in the second quantization of \(H_N\), but are absent in \(\mathbb {H}^{\mathrm{F}}\). Let
viewed as an operator on \(L^2(\mathbb {T}^d)\otimes \mathcal {H}_N\).
Lemma 8
For any \(\epsilon >0\), one has the operator inequalities
where
and
Proof
Using the Cauchy–Schwarz inequality and positivity of v viewed as a two-particle multiplication operator, we have
By translation invariance \(Q\otimes \mathcal {P} v \mathcal {P}\otimes \mathcal {P} =0\). Moreover, the boundedness of v enables us to bound
Therefore, we have the bounds
and
Similarly, treating \(w(x-R)\) as a one-body multiplication operator parametrized by R, we have
Taking into account that
one easily arrives, after computing the relevant second quantization representations of the operators appearing in the bounds (3.8) and (3.10), at the desired result. Since this is essentially the same computation as in [10, Sect. 5], we omit the details.
The operator inequalities in Lemma 8 quantify the effect of dropping the higher order terms in the creation and annihilation operators appearing in the original Hamiltonian. As a second step, we now estimate the effect of the Bogoliubov substitution of \(a_0, a_0^{\dagger }\) by \( \sqrt{N}\in \mathbb {R}\) via the unitary transform U, which replaces the \(a_0, a_0^{\dagger }\) by an operator \(\sqrt{N-N_+}\) acting on \(\mathcal {F}^{\le N}_+\).
Lemma 9
We have the following inequality for all \(\Phi \in L^2(\mathbb {T}^d)\otimes \mathcal {F}^{\le N}_+\):
where the positive constants \(\alpha ', \beta '\) do not depend on N.
Proof
By using the algebraic properties (1.151.16)–(1.17) of U, we see that the expressions to estimate are the following. First, using (1.151.16),
which gives an expression of the type claimed Proposition 7 for \(\epsilon ^{-1}=N^2/(N-1)\). In the above, we used the Cauchy–Schwarz inequality
for \(A=a^{\dagger }_p \mathrm{e}^{-ipR}\) and \(B=w_p(1-\sqrt{(N-N_+)/N})\), and used the bound
Similarly, from (1.17), we arrive at the second term to estimate:
for \(\epsilon ^{-1}= N-1\). We used (3.14) for \(A=a^{\dagger }_p a^{\dagger }_{-p}\) and
whose square is bounded by \(v_p^2(\frac{N_++1}{N-1})^2\). Additionally,
Similarly,
By combining these inequalities, we obtain the desired bound.
The main result of this section, Proposition 7, is a direct consequence of the last two Lemmas.
4 Proof of Theorem 1
For brevity, we denote \(H_N-E_\mathrm{H}(N)\) by \(H_N'\).
4.1 Lower Bound
Let \(\xi > 0\) and consider i such that \(e_i(H_N)-E_\mathrm{H}(N)\le \xi \). Let G be the span of the \(i+1\) lowest eigenvectors of \(H'_N\) (their existence is shown in Theorem 2; its proof relies on compactness arguments and does not exploit Theorem 1). For any normalized \(\Psi \in G\), \((\Psi , H'_N \Psi )\le e_i(H'_N)\). For \(\Psi \in G\), let \(\Phi =U\Psi \in L^2(\mathbb {T}^d)\otimes \mathcal {F}_+^{\le N}\). With the choice \(\epsilon =\sqrt{\xi /N}\) in Proposition 7 it follows, by additionally invoking Lemma 4, that \((\Phi ,UH_N'U^{\dagger }\Phi )\ge (\Phi ,\mathbb {H}^{\text {F}}\Phi ) -\frac{C \xi ^{3/2}}{\sqrt{N}}\) for some \(C>0\). Thus clearly \(e_i(H'_N)+C \xi ^{3/2} N^{-1/2}\ge \max _{\Psi \in G } (\Psi ,U^{\dagger }\mathbb {H}^{\text {F}} U\Psi ) \) and, by the min–max principle,
4.2 Upper Bound
For the upper bound, we use Fock space localization. It is quantified by the following result [12, 32].
Proposition 10
Let \(A>0\) be an operator on \(\mathcal {F}\) with domain D(A) such that for the projections \(\bar{P}_j: \mathcal {F}\rightarrow \mathcal {H}_j\) we have \(\bar{P}_jD(A)\subset D(A)\) and \(\bar{P}_j A \bar{P}_i=0\) for \(|i-j|>\sigma \) for some constant \(\sigma >0\). Then, if \(f,g \in C^{\infty }(\mathbb {R}, \mathbb {R}_{\ge 0})\) with \(f^2+g^2\equiv 1\) and \(f(x)=1\) for \(|x|\le 1/2\) as well as \(f=0\) for \(x>1\), then we have the inequality
for all \(M\in \mathbb {N}\). Here, \(f_M\) denotes the operator
and analogously for \(g_M\).
For the proof, which is based on an IMS-type argument, see [12, Appendix B]. Proposition 10 can be used to quantify the error made by constraining the states on Fock space to contain only up to M particles. From the Proposition, we deduce
Lemma 11
We have
for all \(M \in \mathbb {N}\).
Proof
We apply Proposition 10 for \(A=\mathbb {H}^{\mathrm{F}}-e_0(\mathbb {H}^{\mathrm{F}})\). From Lemma 5 it follows \(e_0(\mathbb {H}^{\mathrm{F}})\ge -C_2/C_1\) and further that \(\sum _j \bar{P}_j (\mathbb {H}^{\mathrm{F}}-e_0(\mathbb {H}^{\mathrm{F}}) \bar{P}_j=\mathbb {H}_0^{\mathrm{F}}-e_0(\mathbb {H}^{\mathrm{F}}) \le C_1 C_0^{-1} \mathbb {H}^{\mathrm{F}}+(C_2 C_0^{-1}-e_0(\mathbb {H}^{\mathrm{F}}))\), which leads to the right hand side of the claimed inequality, with \(\sigma =2\). Using \(f^2_M+g^2_M=\mathbb {I}\), we have \(A-f_MAf_M-g_MAg_M=\mathbb {H}^{\mathrm{F}}-f_M \mathbb {H}^{\mathrm{F}} f_M -g_M \mathbb {H}^{\mathrm{F}} g_M\), which yields the left hand side of the desired result.
Lemma 12
Let \(Y\subset L^2(\mathbb {T}^d)\otimes \mathcal {F}_+\) be the spectral subspace of \(\mathbb {H}^{\mathrm{F}}\) corresponding to an energy window \( [e_0(\mathbb {H}^\mathrm{F}), e_0(\mathbb {H}^\mathrm{F})+\xi ]\) for \(\xi >0\). Then, \(\dim f_NY:=\dim \lbrace f_N\Psi : \Psi \in Y \rbrace =\dim Y\) for N large enough and \(\frac{\xi }{N}\) small enough.
Proof
Suppose \(\dim f_N Y < \dim Y\), in which case there exists \(\Phi \in Y\) with \(\Vert \Phi \Vert =1\) such that \(f_N\Phi =0\). In particular, \(\Phi = g_N \Phi \). From Lemma 5, we thus conclude that
which is a contradiction for large N and small \(\xi /N\).
Let us now take \(Y\subset L^2(\mathbb {T}^d)\otimes \mathcal {F}_+\) to be the spectral subspace of \(\mathbb {H}^{\mathrm{F}}\) corresponding to energies \(E\le e_i(\mathbb {H}^{\text {F}})\), and let \(1\le \xi \le N\). The bound (4.1) together with the upper bound of Lemma 3 implies that \(e_i(\mathbb {H}^{\mathrm{F}}) \le C \xi \), and hence also \((\Phi , (\mathbb {H}^{\mathrm{F}})^k \Phi )\le C \xi ^k\) for \(k=1,2\) for any \(\Phi \in Y\). By Lemma 11 and Proposition 7 (with the choice \(\epsilon =\sqrt{\xi /N})\), we have
By taking the expectation value in any normalized \(\Phi \in Y\), we obtain, by Lemmas 5 and 6 and the simple inequalities \(N_+^k\ge f_N N_+^k f_N\) for \(k=1,2\), the bound
Since \(g^2(x)\le 2x\), we have \(g_N^2\le \frac{2N_+}{N}\le \frac{C \mathbb {H}^{\mathrm{F}}+C}{N}\) by Lemma 5. For \(Y\in \Phi \), we thus have \((\Phi , g^2_N \Phi )\le \frac{C\xi +C}{N}\). Hence, \(1\ge (\Psi ,f^2_N \Psi ) \ge 1- \frac{C\xi +C}{N} >0\) for large N and \(\xi /N\) small enough. By Lemma 12 and the min–max principle, the maximum over Y of the right hand side (4.7) is at least as large as \(e_i(H_N')+O(\xi ^2N^{-1})\). This allows us to conclude that
for some \(C>0\), which is the desired bound.
5 Proof of Theorem 2
5.1 Existence of Eigenvectors
We shall now conclude the existence of eigenvectors of \(H_N\) and \(\mathbb {H}^{\text {F}}\) by showing that these operators have compact resolvents. By the definition of compactness and the spectral theorem, one easily sees that if \(A\ge B > 0\), then the compactness of \(B^{-1}\) implies the compactness of \(A^{-1}\). Since the particles are confined to the unit torus, for any \(\epsilon >0\) the operators \(T+\epsilon \) and \(P^2+\epsilon \) are strictly positive and have purely discrete spectra with eigenvalues accumulating at infinity; therefore, they have a compact inverse. The same observation applies to the operator
since \(\lim _{|p|\rightarrow \infty } e_p=\infty \) and \(\inf _p e_p>0\). Since \(H_N\ge T +\frac{P^2}{2M}\), we conclude that \(H_N\) has compact resolvent, which, by the spectral theorem, implies that the spectrum of \(H_N\) is discrete and eigenvectors exist. On the other hand, by completing the square, as in Lemma 5, it is easy to see that
for appropriate constants \(c, d>0\). The existence of eigenvectors of \(\mathbb {H}^{\text {F}}\), along with the fact that its spectrum is discrete, follows now from precisely the same reasoning as above. This proves the first part of Theorem 2.
5.2 Convergence of Eigenvectors
Fix \(\xi >0\) and take any i such that \(e_i(H'_N)\le \xi \), uniformly in N. Recall that from the proof of the lower bound in Theorem 1, we have \(\sum _{j=0}^i e_j(\mathbb {H}^{\text {F}})\le \sum _{j=0}^i (U\Psi _j, \mathbb {H}^{\text {F}} U\Psi _j)\le \sum _{j=0}^i e_j(H_N')+c_N\) with \(\lim _N c_N=0\) for i fixed. The upper bound (4.8) implies further that \(e_j(H_N') \le e_j(\mathbb {H}^{\text {F}}) +c'_N\) where again \(c'_N\) goes to zero as \(N\rightarrow \infty \). Thus,
We first show the convergence for ground states. Recall that \(\mathbb {P}_i\) denotes the orthogonal projection onto the eigenspace of \(\mathbb {H}^{\mathrm{F}}\) corresponding to energy \(e_i(\mathbb {H}^{\mathrm{F}}\)). By writing \(U\Psi _0=a_N+b_N\), \(a_N\in \text {ran}\mathbb {P}_0\) and \(b_N \perp a_N\), we have
By using (5.3) for \(i=0\) as well as the fact that \(\inf _{\Psi \in \text {ker}\mathbb {P}_0 }(\Psi ,\mathbb {H}^{\text {F}}\Psi )>e_0(\mathbb {H}^{\text {F}})\) by the discreteness of the spectrum of \(\mathbb {H}^{\text {F}}\), we have \(\lim _{N\rightarrow \infty } \Vert b_N\Vert =0\), which is the desired result for the ground states.
For higher eigenvectors, we apply a reasoning similar to the one in [33, Sect. 5]. Let us take any \(k>0\) such that \(e_{k+1}(\mathbb {H}^{\text {F}})>e_k(\mathbb {H}^{\text {F}})\). Consider the operator \(\tilde{H}:=\mathbb {H}^{\text {F}} \tilde{\mathbb {P}}_k +e_{k}(\mathbb {H}^{\text {F}})(1-\tilde{\mathbb {P}}_k)\) where \(\tilde{\mathbb {P}}_k\) denotes the projection onto the \(k+1\) lowest eigenvectors of the Fröhlich Hamiltonian \(\mathbb {H}^{\mathrm{F}}\). \(\tilde{H}\) acts on \(L^2(\mathbb {T}^d)\otimes \mathcal {F}_+\) and has spectrum \(\lbrace e_0(\mathbb {H}^{\text {F}}),\ldots , e_k(\mathbb {H}^{\text {F}})\rbrace \). Therefore, by the min–max principle,
Clearly, \(\mathbb {H}^{\text {F}}\ge \mathbb {H}^{\text {F}}\tilde{\mathbb {P}}_k +e_{k+1}(\mathbb {H}^{\text {F}})(1-\tilde{\mathbb {P}}_k)\) so that
which can be rewritten as
Note that the last term converges to zero as \(N\rightarrow \infty \) by (5.3). Take now l to be the largest integer such that \(e_l(\mathbb {H}^{\text {F}})<e_k(\mathbb {H}^{\text {F}})\). The dimension of the eigenspace corresponding to \(e_k(\mathbb {H}^{\text {F}})\) therefore equals \(k-l\). We have the simple identity
(note the presence of both tilded and untilded operators). For the first two terms, we can use (5.7) for a lower bound. Moreover, since the \(\Psi _i\) are orthonormal, we have \(\sum _{i=0}^k(U\Psi _i, \tilde{\mathbb {P}}_l U\Psi _i) \le \mathrm{Tr}\, \tilde{\mathbb {P}}_l = l+1\). The last term in (5.8) is trivially bounded from below by \(-(l+1)\). We thus conclude that
where the quantities \(C_N>0,D_N>0\) can be read off from (5.7) and vanish as \(N\rightarrow \infty \), because of (5.3). Therefore, \(\sum _{i=l+1}^k (U\Psi _i, \mathbb {P}_k U \Psi _i)\rightarrow k-l\), but as each individual term in the sum is \(\le 1\), we must have \(\lim (U\Psi _i \mathbb {P}_k U\Psi _i)=1\) for every eigenstate of \(H_N'\) with energy \(e_k(H'_N)\). This is precisely the convergence result stated in Theorem 1, whose proof is now complete.
References
Weiss, U.: Quantum Dissipative Systems, 4th edn. World Scientific, Singapore (2012)
Alexandrov, S., Devreese, J.: Advances in Polaron Physics. Springer, New York (2010)
Fröhlich, H.: Theory of electrical breakdown in ionic crystals. Proc. R. Soc. Lond. A 160(901), 230–241 (1937)
Schmidt, R., Lemeshko, M.: Rotation of quantum impurities in the presence of a many-body environment. Phys. Rev. Lett. 114, 203001 (2015)
Ranniger, J.: Introduction to polaron physics: basic concepts and models. In: Proc. Int. School of Physics “E. Fermi”, Course CLXI, pp. 1–25 (2006) (available as preprint arXiv:cond-mat/0606665 [cond-mat.supr-con])
Lee, P.A., Nagoasa, N., Wen, X.-G.: Doping a Mott insulator: physics of high-temperature superconductivity. Rev. Mod. Phys. 78, 17–85 (2006)
Koepsell, J., et al.: Imaging magnetic polarons in the doped Fermi-Hubbard model. Nature 572, 358–362 (2019)
Lewin, M., Rougerie, N.: Derivation of Pekar’s polarons from a microscopic model of quantum crystals. SIAM J. Math. Anal. 45(3), 1267–1301 (2013)
Grusdt, F., Demler, E.: New theoretical approaches to the Bose polarons. In: Proc. Int. School of Physics “E. Fermi”, Course 191, pp. 235–411 (2016) (available as preprint arXiv:1510.04934 [cond-mat.quant-gas])
Seiringer, R.: The excitation spectrum for weakly interacting bosons. Commun. Math. Phys. 306, 565–578 (2011)
Lieb, E.H., Yngvason, J.: Ground state energy of the low density Bose gas. Phys. Rev. Lett. 80, 2504–2507 (1998)
Lewin, M., Nam, P.T., Serfaty, S., Solovej, J.P.: The Bogoliubov spectrum of interacting Bose gases. Commun. Pure Appl. Math. 68, 413–471 (2015)
Lieb, E.H., Seiringer, R., Solovej, J.P., Yngvason, J.: Mathematics of the Bose gas and its condensation, oberwolfach seminar Series, vol. 34. Birkhäuser, Basel (2005) (available as preprint arXiv:cond-mat/0610117 [cond-mat.stat-mech])
Dereziński, J., Napiórkowski, M.: Excitation spectrum of interacting bosons in the mean-field infinite-volume limit. Ann. Henri Poincaré 15, 2409 (2014)
Grech, P., Seiringer, R.: The excitation spectrum for weakly interacting bosons in a trap. Commun. Math. Phys. 322(2), 559–591 (2013)
Nam, P.T., Seiringer, R.: Collective excitations of Bose gases in the mean-field regime. Arch. Ration. Mech. Anal. 215, 381–417 (2015)
Bogoliubov, N.N.: On the theory of superfluidity. J. Phys. (U.S.S.R.) 11, 23–32 (1947)
Boccato, C., Brennecke, C., Cenatiempo, S., Schlein, B.: Bogoliubov theory in the Gross–Pitaevskii limit. Acta Math. 222(2), 219–335 (2019)
Ichmoukhamedov, T., Tempere, J.: Feynman path-integral treatment of the Bose polaron beyond the Fröhlich model. Phys. Rev. A 100, 043605 (2019)
Drescher, M., Salmhofer, M., Enss, T.: Real-space dynamics of attractive and repulsive polarons in Bose–Einstein condensates. Phys. Rev. A 99, 023601 (2019)
Drescher, M., Salmhofer, M., Enss, T.: Theory of a resonantly interacting impurity in a Bose–Einstein condensate. arXiv:2003.01982 [cond-mat.quant-gas]
Erdös, L., Schlein, B., Yau, H.T.: Ground-state energy of a low-density Bose gas; a second-order upper bound. Phys. Rev. A 78, 053627 (2008)
Fournais, S., Solovej, J.P.: The energy of dilute Bose gases, preprint arXiv:1904.06164 [math-ph]
Yau, H.T., Yin, J.: The second order upper bound for the ground energy of a Bose gas. J. Stat. Phys. 136(3), 453–503 (2009)
Lampart, J.: The renormalised Bogoliubov–Fröhlich Hamiltonian, preprint arxiv:1909.02430 [cond-mat.quant-gas]
Lampo, A., Lim, S.H., García-March, M., Lewenstein, M.: Bose polaron as an instance of quantum Brownian motion. Quantum 1, 30 (2017)
Fröhlich, J., Gang, Z.: Ballistic motion of a tracer particle coupled to a Bose gas. Adv. Math. 259, 252–268 (2013)
Deckert, D.-A., Fröhlich, J., Pickl, P., Pizzo, A.: Effective dynamics of a tracer particle interacting with an ideal Bose gas. Commun. Math. Phys. 328, 597–624 (2014)
Lewin, M., Nam, P.T., Schlein, B.: Fluctuations around Hartree states in the mean-field regime. Am. J. Math. 137(6), 1613–1650 (2015)
Nam, P.T., Napiórkowski, M.: Bogoliubov correction to the mean-field dynamics of interacting bosons. Adv. Theor. Math. Phys. 21, 683–738 (2017)
Teschl, G.: Mathematical Methods in Quantum Mechanics with Applications to Schrödinger Operators, Graduate Studies in Mathematics, 2nd edn., vol. 157, pp. 142–143. American Mathematical Society, Providence (2014)
Lieb, E.H., Solovej, J.P.: Ground state energy of the two-component charged Bose gas. Commun. Math. Phys. 217, 127–163 (2001)
Seiringer, R., Yin, J.: The Lieb–Liniger model as a limit of dilute bosons in three dimensions. Commun. Math. Phys. 284, 459–479 (2008)
Acknowledgements
Financial support through the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme Grant agreement No. 694227 (R.S.) and the Maria Skłodowska-Curie Grant agreement No. 665386 (K.M.) is gratefully acknowledged.Funding Open access funding provided by Institute of Science and Technology (IST Austria)
Funding
Open access funding provided by Institute of Science and Technology (IST Austria)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Vieri Mastropietro.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Myśliwy, K., Seiringer, R. Microscopic Derivation of the Fröhlich Hamiltonian for the Bose Polaron in the Mean-Field Limit. Ann. Henri Poincaré 21, 4003–4025 (2020). https://doi.org/10.1007/s00023-020-00969-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00023-020-00969-3