Abstract
For the Fröhlich model of the large polaron, we prove that the ground state energy as a function of the total momentum has a unique global minimum at momentum zero. This implies the non-existence of a ground state of the translation invariant Fröhlich Hamiltonian and thus excludes the possibility of a localization transition at finite coupling.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The polaron describes an electron interacting with the quantized optical modes of a polarizable lattice. It poses a classic problem in solid state physics that was initiated by Landau’s one-page paper [18] about the possibility of self-trapping of an electron by way of deformation of the lattice. The existence of self-trapping for the polaron was debated in the physics literature over many decades, see e.g. [8, 12, 13, 24, 26, 33, 37, 40, 41]. Mathematically it is related to the existence of a normalizable ground state for the translation invariant Hamiltonian. While for weak coupling, the non-existence of ground states is almost immediately evident, the conclusion is less obvious for strong coupling. In fact, for the semi-classical theory, which is known to be accurate in the limit of strong coupling [5, 22], the translational symmetry is broken on the level of the ground state [20, 34]. This supported the idea about the existence of a localization transition at finite coupling.
In this work, we give a mathematical proof that such a transition does not occur for the Fröhlich Hamiltonian. This Hamiltonian models the large polaron, where the lattice is described by a continuous quantum field with constant dispersion relation. We prove that the translation invariant Hamiltonian does not have a ground state, irrespective of the value of the coupling. To achieve this, we study the energy-momentum relation, that is, the ground state energy as a function of the conserved total momentum, and show that it attains its global unique minimum at momentum zero. The non-existence of ground states is then a simple consequence of this property. Quoting [6, p. 1575], this solves a physically obvious but mathematically long-standing conjecture.
Following H. Fröhlich [9, 10] the large polaron is defined on the Hilbert space
with \(\mathcal F= \bigoplus _{n=0}^\infty \bigotimes ^n_\textrm{sym} L^2 (\mathbb R^{3})\) the bosonic Fock space, and governed by the Hamiltonian
where \(-\Delta _x = (-\textrm{i}\nabla _x)^2\), x and \(-\textrm{i}\nabla _x\) describing the position and momentum of the electron and \(N = d \Gamma (1)\) denotes the number operator on Fock space (modeling the energy of the phonon field, whose dispersion relation is constant). The interaction is described by the linear field operator
The bosonic creation and annihilation operators, \(a^*\), a, satisfy the usual canonical commutation relations. After setting \(\hbar = 1\) and the mass of the electron equal to 1/2, the polaron model depends on a single dimensionless parameter \(\alpha >0\). In the present work, the choice of \(\alpha \) is not relevant, as our statements shall hold equally for all values of the coupling constant.
An important property of the Fröhlich Hamiltonian H is that it defines a translation-invariant system, in the sense that it commutes with the total momentum operator
where \(P_f = \text {d}\Gamma (-\textrm{i}\nabla )\) describes the momentum of the phonons. As a consequence, it is possible to simultaneously diagonalize the total momentum and the energy. This simultaneous diagonalization is implemented best by the Lee–Low–Pines transformation [19] \(S : \mathscr {H} \rightarrow \int ^{\oplus }_{\mathbb R^3} \mathcal F\, dP\) defined by \(F \circ e^{\textrm{i}P_fx}\) where F indicates the Fourier transformation w.r.t. x. As is easily revealed by a direct computation, \(S (- \textrm{i}\nabla _x + P_f) S^* = \int _{\mathbb R^3}^{\oplus } P\, dP\) and \(S H S^* =\int _{\mathbb R^3}^\oplus H(P)\, dP\) with
The fiber operator H(P) acts on \(\mathcal F\) and describes the system at total momentum \(P\in \mathbb R^3\).
Irrespectively of whether we take (1.2) or (1.5) as our starting point, the definition of the model is somewhat formal, since \(v\notin L^2\). A common way to define the Fröhlich model is to start from the quadratic form associated with H(P) (or H) and show that it is an infinitesimal perturbation of the form associated with the non-interacting operator (\(\alpha =0\)). By the KLMN Theorem this implies the existence of a unique self-adjoint operator associated with the form of H(P) (or H), which we call the fibered Fröhlich Hamiltonian. For convenience of the reader we give the details in the appendix.
The main topic of this paper is the energy-momentum relation of the polaron, defined as the lowest possible energy as a function of the total momentum
By rotation invariance of the Fröhlich Hamiltonian, \(E_\alpha (P) = E_\alpha (RP)\) for all rotations \(R\in O(3)\) and hence \(E_\alpha (P) = E_{\textrm{rad},\alpha }(|P|) \). It was shown by L. Gross [15] that \(E_\alpha (0) \le E_\alpha (P)\) for all \(P\in \mathbb R^3\). As recently pointed out in a paper by Dybalski and Spohn [6], it is further conjectured that \(P=0\) is the unique global minimum
While this inequality is not surprising from the physics point of view, its mathematical proof turns out to be less obvious. In fact already Gross’ proof for showing that \(P=0\) is a global minimum requires a considerable amount of work. In a small neighborhood around zero the strict inequality can be inferred from the finiteness of the effective mass [6] (the effective mass is defined by \((M_{\textrm{eff},\alpha })^{-1} = E^{\, ''}_{\textrm{rad},\alpha }(P)|_{P=0}\)). The goal of this paper is to prove (1.7) for all non-zero \(P\in \mathbb R^3\). A proof was proposed in 1991 by Gerlach and Löwen [13]. However, their argument is not completely rigorous and its validity has been recently debated [6]. Our aim is to follow the idea suggested by Gerlach and Löwen and turn it into a complete mathematical proof. To this end we also benefit from results on the Fröhlich Hamiltonian that became available more recently.
Approaching the problem from a different angle, Dybalski and Spohn provide a proof of (1.7) under the assumption that a central limit theorem for the polaron path measure with two-sided pinning holds, see [6, Sec. 5], in particular Theorem 5.3 and Conjecture 5.2 therein. To our knowledge, this particular version of the central limit theorem, however, has not been rigorously established so far.
At the time of finalizing our paper, we were informed by Polzer about his new work [35] that presents a proof of (1.7) based on a strategy, also in the probabilistic framework, that does not rely on the validity of the central limit theorem with two-sided pinning. In this new approach the polaron path measure is represented as a mixture of Gaussian measures and analyzed with techniques from renewal theory (see also [1, 2, 31]). Among other interesting properties, [35] shows that \(E_{\textrm{rad},\alpha }(|P|)\) is a monotone increasing function with strict monotonicity below the essential spectrum, i.e., in particular in a neighborhood around \(P=0\).
In our proof we follow an operator-theoretic approach that is inspired by [7, 11, 13, 16, 17, 28, 30, 39]. Except for the following lemma, whose proof is based on results from [29] (see Sect. 2), our presentation is fully self-contained.Footnote 1
Lemma 1.1
Let \(\alpha >0\) and set \(E_\alpha (P) = \inf \sigma (H(P))\).
-
(i)
\(\sigma _\textrm{ess}(H(P)) = [E_\alpha (0) + 1,\infty )\) for all \(P\in \mathbb R^3\)
-
(ii)
The set of global minima of \(P \mapsto E_\alpha (P)\) is non-empty.
Before we continue with our main results, let us give some more remarks on the context of the problem. For the non-interacting model, i.e. for \(\alpha = 0\), one easily sees that \(E_0(P) = \min \{ P^2 , 1 \}\) with \(P^2\) describing the region where the full momentum is on the electron whereas in the constant region it is favorable that the total momentum is carried by a single phonon with the electron at rest. The expectation from physics is that the form of \(E_\alpha (P)\) remains qualitatively the same also for non-zero \(\alpha \). Lemma 1.1(i), also known as the HVZ Theorem, confirms this for the essential spectrum, whose threshold corresponds to an electron at rest and a free phonon. One expects that the shape of \(E_\alpha (P)\) remains essentially a parabola in a certain region around zero (though with a negative shift \(E_\alpha (0)\) and with different curvature at \(P=0\)) and that it approaches \(E_\alpha (0)+1\) as \(|P|\rightarrow \infty \). That the expected parabola gives in fact an exact upper bound, \(E_\alpha (P) \le E_\alpha (0) + P^2/(2M_{\textrm{eff},\alpha })\) for all P and \(\alpha \), was shown in [35]. The mathematical verification of the described picture is particularly interesting in the strong coupling limit \(\alpha \rightarrow \infty \), where one can analyze the asymptotic expansion of \(E_\alpha (P)\) and \(M_{\textrm{eff} , \alpha }\). For results about the strong-coupling limit see [2,3,4,5, 21, 22, 27, 38].
As already alluded to at the beginning of the paper, the form of the energy-momentum relation is also related to the existence of a ground state of the translation invariant Hamiltonian H. For weak coupling the non-existence is physically evident since for \(\alpha =0\) no eigenstates exist. For strong coupling, on the other hand, there is a leading-order contribution of the classical polarization field and hence the interaction cannot be viewed as a perturbation of a translation-invariant Hamiltonian anymore. In fact, in the limit of strong coupling, the ground state energy approaches the corresponding semiclassical energy [5, 22, 34] which is known to possess a manifold of localized ground states [20]. This supported the idea that also for the full quantum model, the translational symmetry may be broken on the level of the ground state for sufficiently large coupling, thus resulting in a transition from a delocalized regime (weak coupling) to a localized one (strong coupling). The existence of a ground state for H, however, would require that the set of global minima of \(E_\alpha (P)\) is a set of non-zero Lebesgue measure. As our result implies that the global minimum is unique, this possibility is ruled out and thus we obtain a rigorous proof (see Corollary 1.3) of the non-existence of such a localization transition at any finite value of the coupling parameter.
1.1 Main Results
The next statement is our main result.
Theorem 1.2
The energy–momentum relation \(E_\alpha (P) = \inf \sigma (H(P))\) has its unique global minimum at \(P=0\), i.e. for every \(\alpha >0\) and every \(P\ne 0\), we have the strict inequality
As a corollary we obtain that the Fröhlich Hamiltonian H does not possess a ground state, irrespective of the value of the coupling constant.
Corollary 1.3
There exists no \(\alpha \in (0,\infty )\) such that \(\inf \sigma (H) \) is an eigenvalue of H.
Proof
(Proof) Suppose on the contrary that there exists an \(\alpha \in (0,\infty )\) such that H has a ground state \(\Psi _\alpha \in \mathscr {H}\). By the Lee–Low–Pines transformation (see introduction),
with \(\Psi _{\alpha }(P) = F[e^{\textrm{i}P_fx} \Psi _\alpha ](P) \in \mathcal F\) where F is the Fourier transform w.r.t x. Note that \(\Vert \Psi _{\alpha }(P) \Vert ^2 \in L^1(\mathbb R^3)\) by Parseval and \(e^{\textrm{i}P_fx} \Psi _\alpha \in L^2(\mathbb R^3,\mathcal F)\). Now by Theorem 1.2 the set \(\{ P \in \mathbb R^3 \, | \, E_\alpha (P) =E_\alpha (0)\}\) has Lebesgue measure zero, and hence the right side of (1.9) is strictly larger than \(E_\alpha (0) \). On the other hand, (1.8) together with the fiber decomposition of H imply that \( \inf \sigma (H) = E_\alpha (0) \), which yields a contradiction. \(\square \)
Remark 1.4
Our results do not depend on the precise form of v. The choice of the sign of v in (1.3) does not matter, as the operator with form factor \(\tilde{v}(y)=e^{i\theta } v(y)\) is unitarily equivalent to the one with v via \(\Gamma (e^{i\theta })\). Moreover, our proof can easily be generalized to all positive (up to a global phase) v satisfying \(\hat{v}(k) (k^2+1)^{-s}\in L^2(\mathbb R^3)\) for some \(0\le s<1/2\). For the sake of conciseness we focus on (1.3)
2 Proof of Theorem 1.2
To prove Theorem 1.2 we introduce a suitable (non-physical) auxiliary Hamiltonian and analyze the degeneracy of its ground state. On the one hand, it shall be easily seen that the multiplicity is strictly larger than one if we assume that \(P\mapsto E_\alpha (P)\) attains its global minimum for some \(q\ne 0\). On the other hand, this cannot be the case as it will follow by an abstract result that the ground state of this auxiliary operator is non-degenerate. As mentioned in the introduction, this idea goes back to Gerlach and Löwen [13].
By Lemma 1.1 (ii) there exists a \(q \in \mathbb R^3\) such that \(E_\alpha (q)\le E_\alpha (P)\) for all \(P\in \mathbb R^3\) and by rotational symmetry, we can assume that \(q = ( |q|,0,0)\). For said q we choose \(\ell =\ell (q) >0\) such that \(q\in (2\pi /\ell )\mathbb Z^3\) and consider the Hilbert space
where \(\Lambda _\ell = [0,\ell ]^3\) is the three-dimensional cube of side length \(\ell \) with periodic boundary conditions, and \(\mathcal F\) denotes again the bosonic Fock space over \(L^2(\mathbb R^3)\). On this space we define (in the sense of quadratic forms)
where \(-\textrm{i}\nabla _x\) now denotes the gradient on \(L^2(\Lambda _\ell )\). The reason for restricting the variable x to the torus is that \(h_\ell \) now has a ground state. Indeed, since x only appears in the gradient, and since the corresponding momenta are restricted to \((2\pi / \ell ) \mathbb Z^3\), one can readily diagonalize
with \(\pi _{\ell ,P} = |\varphi _{\ell ,P}\rangle \langle \varphi _{\ell ,P}|\) the projection onto the normalized plane wave \(\varphi _{\ell ,P}=\ell ^{-{3/2}} e^{-\textrm{i}Px} \in L^2(\Lambda _\ell )\) with momentum P. Here it is important to note that the Fock space component is described by the fiber Hamiltonian H(P) as defined in (1.5). Also note that since H(P), \(P\in \mathbb R^3\), is self-adjoint and bounded from below, so is \(h_\ell \). By Lemma 1.1 we know that \(E_\alpha (q) < \inf \sigma _\textrm{ess}(H(q))\), hence there is an eigenfunction \(\xi (q) \in \mathcal F\) such that \(H(q) \xi (q) = E_\alpha (q) \xi (q)\). Since \(E_\alpha (q) \le E_\alpha (P)\) for all \(P\in \mathbb R^3\), the wave function \(\varphi _{\ell ,q} \otimes \xi (q) \in \mathscr {H}_{\ell }\) is a ground state of \(h_\ell \) with eigenvalue \( E_\alpha (q)\).
The next lemma, whose proof is postponed to the next section, shows that this ground state is actually unique.
Proposition 2.1
For all \(\alpha >0\) and any \(\ell >0\) for which \(\inf \sigma (h_\ell )\) is an eigenvalue (in particular for the value \(\ell (q)\) chosen above), this eigenvalue has multiplicity one.
With this at hand, we can prove Theorem 1.2 by way of contradiction. To this end assume that \(q\ne 0\). By rotational symmetry \(E_\alpha (q) = E_\alpha (-q)\) and, since \(E_\alpha (-q)<\inf \sigma _\textrm{ess}(H(-q))\) by Lemma 1.1, the fiber Hamiltonian \(H(-q)\) has an eigenfunction \(\xi (-q) \in \mathcal F\) with eigenvalue \(E_\alpha (-q)\). This implies that there is a second ground state of \(h_\ell \), given by \(\varphi _{\ell ,-q} \otimes \xi (-q)\in \mathscr {H}_\ell \), that is orthogonal to \(\varphi _{\ell ,q} \otimes \xi (q)\). Thus we arrive at a contradiction to the statement of Proposition 2.1, and therefore we can rule out that q is non-zero. This shows that \(P\mapsto E_\alpha (P)\) can attain its global minimum only at \(q=0\), hence the proof of Theorem 1.2 is complete.
In the remainder of this subsection we prove Lemma 1.1. For that purpose we first state and prove the following general result.
Lemma 2.2
Let \(A_n\), \(n\in \mathbb N\), be a sequence of self-adjoint operators satisfying \(\sigma _\textrm{ess}(A_n) = [a_n,b_n]\) with \(- \infty \le a_n \le b_n \le \infty \). If \(A_n\xrightarrow {n\rightarrow \infty }A\) in norm-resolvent sense for some self-adjoint operator A, then \(a_n\xrightarrow {n\rightarrow \infty } a\), \(b_n\xrightarrow {n\rightarrow \infty } b\) for some \(- \infty \le a \le b \le \infty \) and \(\sigma _\textrm{ess}(A) = [a,b]\).
Proof of Lemma 2.2
First assume that \(a_n, b_n \xrightarrow {n\rightarrow \infty } a,b \) for some \(-\infty \le a \le b \le \infty \). Since \(\sigma _\textrm{ess}(A_n)\ne \varnothing \), the essential spectrum of A cannot be empty [36, Thm. XIII.23]. Now, for \(\varepsilon >0\) we choose \(N(\varepsilon )\) such that \([a_n,b_n] \subset [a-\varepsilon , b+\varepsilon ]\) for all \(n\ge N(\varepsilon )\). It follows that \(\sigma (A_n)\) is purely discrete in \((-\infty ,a-\varepsilon ) \cup (b+\varepsilon ,\infty )\) for all \(n\ge N(\varepsilon )\). By [32, Prop. 11.4.31] this implies that \(\sigma (A)\) is purely discrete on the same interval and thus, using that \(\varepsilon \) was arbitrary, \(\sigma _\textrm{ess}(A)\subset [a,b]\). Since \(\sigma _\textrm{ess}(A)\ne \varnothing \), we get \(\sigma _\textrm{ess}(A)= \{a\}\) if \(a=b\).
For \(a<b\), let \(t\in (a,b)\cap \rho (A)\). By norm-resolvent convergence we have that if \(t\in \rho (A)\), then \(t\in \rho (A_n)\) for all n sufficiently large [32, Prop. 10.2.4]. Since \(\rho (A_n) \subset [a_n,b_n]^c \xrightarrow {n\rightarrow \infty } [a,b]^c\), this contradicts the assumption \(t\in (a,b)\). Hence \((a,b)\subset \sigma (A)\), and since the spectrum is closed, \([a,b]\subset \sigma (A)\). This proves \(\sigma _\textrm{ess}(A)=[a,b]\) also for \(a<b\).
To remove the initial assumption on \(a_n,b_n\), assume there is no \(a\in [-\infty ,\infty ]\) such that \(a_n \xrightarrow {n\rightarrow \infty }a\) (the same argument applies to \(b_n\)). Then there are at least two subsequences of \(a_n\) with limits \(a,\tilde{a} \in [-\infty ,\infty ]\), \(a\ne \tilde{a}\). Applying the argument from above to the two subsequences (and the associated subsequences of \(A_n\)) separately leads to the contradiction that \([a,b] = \sigma _\textrm{ess}(A) = [\tilde{a},b]\). \(\square \)
Proof of Lemma 1.1
The proof is based on the results from [29]. Since the latter considers more regular polaron models with \(v\in L^2(\mathbb R^3)\), we need to introduce the fiber Hamiltonians with UV cutoff. We define \(H_{\Lambda }(P)\) as in (1.5) with form factor \(v_\Lambda \) defined by \(\hat{v}_\Lambda = \chi _\Lambda \hat{v}\) where \(\chi _\Lambda \) is the characteristic function \(k\mapsto \chi _{[0,\Lambda )}(|k|)\). Since \(v_\Lambda \in L^2(\mathbb R^3)\), it is easy to verify that \(H_{\Lambda }(P)\) is self-adjoint and bounded from below. Denoting \(E_{\alpha ,\Lambda }(P)= \inf \sigma (H_\Lambda (P))\), we can quote two important results from [29]: For every \(\Lambda >0\)
-
(i’)
\(\sigma _\textrm{ess}(H_{ \Lambda }(P)) = [E_{\alpha ,\Lambda }(0)+1,\infty )\),
-
(ii’)
\(\lim _{|P|\rightarrow \infty } | E_{\alpha ,\Lambda }(P) - \inf \sigma _\textrm{ess}(H_\Lambda (P)) | = 0\).
These statements are given in [29, Thm. 2.1. and Thm. 2.4] for the choice \(\omega \equiv 1\).
To show (i), note that by Proposition A.2, we also have \(H_{\Lambda }(P) \xrightarrow {\Lambda \rightarrow \infty } H(P)\) in norm-resolvent sense, which implies \(E_{\alpha ,\Lambda }(0) \xrightarrow {\Lambda \rightarrow \infty } E_\alpha (0)=\inf \sigma (H(0))\). In fact, by [32, Prop. 10.2.4a] there exists a sequence of elements \(t_{\Lambda }\in \sigma (H_{\Lambda }(0))\) converging to \(E_{\alpha }(0)\) as \(\Lambda \rightarrow \infty \), in particular \(t_{\Lambda }\ge E_{\alpha ,\Lambda }(0)\) for all \(\Lambda \), which shows that every accumulation point of the sequence \(E_{\alpha ,\Lambda }(0)\) is no larger than \(E_{\alpha }(0)\). On the other hand, by [32, Prop. 10.2.4b] \(E_{\alpha ,\Lambda }(0)\) has no accumulation point below \(E_\alpha (0)\), and thus \(E_{\alpha ,\Lambda }(0) \xrightarrow {\Lambda \rightarrow \infty } E_\alpha (0)\), and hence (i) is a consequence of (i’) and Lemma 2.2.
To show (ii), we follow the argument from [6, Sec. 4]. First note that by the Lee–Low–Pines transformation \(\mathcal E := \inf _{P\in \mathbb R^3} E_\alpha (P)\) coincides with \(\inf \sigma (H)\) and thus \(\mathcal E>-\infty \). (ii) states that \(\mathcal M = \{ P\in \mathbb R^3 \, |\, E_\alpha (P) = \mathcal E \}\) is a non-empty set. Assuming the opposite, \(\mathcal M = \varnothing \), implies the existence of a sequence \((P_j)_{j\in \mathbb N} \subset \mathbb R^3\), \(|P_j| \rightarrow \infty \), satisfying \(\lim _{j\rightarrow \infty }E_\alpha (P_j) = \mathcal E\). W.l.o.g. we can choose \(P_j\) such that \(|P_j|\) is monotone increasing and \(E_\alpha (P_j)\in (\mathcal E, \mathcal E + \tfrac{1}{4})\) for all \(j\ge 1\). Further consider \( f \in C_c^\infty (\mathbb R)\) with \(\text {supp}(f)\subseteq (\mathcal E -\tfrac{1}{2} , \mathcal E + \tfrac{1}{2})\) and \(f(s) = 1\) for all \(s \in (\mathcal E -\tfrac{1}{4}, \mathcal E+\tfrac{1}{4} )\). By uniform norm-resolvent convergence of \(H_\Lambda (P)\) (see Proposition A.2) and [36, Thm. VIII.20], we have
where the last step follows from (i’) and (ii’) if we choose \(j_\Lambda \) large enough. In more detail, for every \(\Lambda \), we can choose \(j_\Lambda \) such that \(\sigma (H_{\Lambda }(P_j)) \cap (-\infty ,E_{\alpha ,\Lambda }(0) + \tfrac{3}{4}) =\varnothing \) for all \(j\ge j_\Lambda \). Since \(\mathcal E \le E_\alpha (0) \le E_{\alpha ,\Lambda }(0) + \tfrac{1}{4}\) (here we use again \(E_{\alpha ,\Lambda }(0) \xrightarrow {\Lambda \rightarrow \infty } E_\alpha (0)\)), this implies \(\sigma (H_{\Lambda }(P_j)) \cap (-\infty ,\mathcal E+ \tfrac{1}{2}] = \varnothing \) for all \(j\ge j_\Lambda \), and thus \(f(H_\Lambda (P_j)) = 0\). By assumption, however, \(\inf \sigma (H(P_j))\in (\mathcal E , \mathcal E + \tfrac{1}{4})\) for all \(j\ge 1\) and thus the right side of (2.4) is one, which is a contradiction. \(\square \)
2.1 Proof of Proposition 2.1
In this section we show that the resolvent of \(h_\ell \) is a positivity improving operator w.r.t. a suitable Hilbert cone using a strategy that was applied to the renormalized Nelson model in [16]. (Compared to the latter we face the additional difficulty that \(h_\ell \) is an operator on the tensor product \(\mathscr {H}_\ell \) and not only on \(\mathcal F\)). The statement of Proposition 2.1 will then follow from a Perron-Frobenius type argument due to Faris [7]. Let
This defines a (Hilbert) cone in \(\mathscr {H}_\ell \) in the sense of [7]. A bounded operator K on \(\mathscr {H}_\ell \) is called
-
Positivity preserving (with respect to \(\mathcal C\)) if \(K u \in \mathcal C\) for any \(u\in \mathcal C\), and
-
Positivity improving (with respect to \(\mathcal C\)) if \(\langle Ku, v \rangle >0\) for any \(u,v\in \mathcal C \setminus \{ 0 \}\).
We recall that \(v(y) = \sqrt{\alpha }|y|^{-2}>0\) and thus
Taking into account the alternating sign in the definition of \(\mathcal {C}\), the interaction energy is negative on \(\mathcal C\), i.e., \(\langle \Psi , a(v) \Psi \rangle \le 0\) for \(\Psi \in \mathcal C\). Moreover, \(\phi (-v)\) is positivity preserving, which is the key property to be used in the proof of the positivity-improving property in Proposition 2.5 below.
Now consider the self-adjoint positive operator
acting on the Hilbert space \(\mathscr {H}_\ell = L^2(\Lambda _\ell ) \otimes \mathcal F\), which is essentially \(\mathfrak h_{\ell }\) without the interaction term \(\phi (v)\).
Lemma 2.3
The resolvent \(\mathfrak {h}_{\ell ,0}^{-1}\) is positivity preserving with respect to the cone \(\mathcal C\). Its restriction to the zero-phonon space \(L^2(\Lambda _\ell )\) is positivity improving with respect to the cone of positive functions in \(L^2(\Lambda _\ell )\).
Proof
The restriction of \(\mathfrak {h}_{\ell ,0}^{-1}\) to \(L^2(\Lambda _\ell )\) is given by the periodization of the resolvent of \(-\Delta \) on \(\mathbb {R}^3\), i.e. it has the integral kernel
which converges due to the exponential decay of the numerator and is strictly positive. Similarly, the integral kernel of \(\mathfrak {h}_{\ell ,0}^{-1}\) on the n-phonon space \(\mathcal {F}^{(n)}\) is (as one readily checks using the Fourier transform)
which is a non-negative distribution. \(\square \)
Lemma 2.4
The operator \(a(v)\mathfrak {h}_{\ell ,0}^{-1}\) is bounded, and \(1+a(v)\mathfrak {h}_{\ell ,0}^{-1}\) is invertible, with bounded inverse given by
where the sum converges in the operator norm.
Proof
For \(n\in \mathbb {N}\) we have using the Fourier transform and Cauchy–Schwarz
where we used (2.6) and performed the change of variables \(\eta =\xi /\sqrt{n+1}\) in the last step. We thus have the inequality
which implies that
for some constant C that depends on \(\alpha \). For \(j\in \mathbb {N}\) this implies
Since \(C^j (j!)^{-1/4}\) is summable, the Neumann series converges and one easily checks that the limit is the inverse of \(1+a(v)\mathfrak {h}_{\ell ,0}^{-1}\). \(\square \)
With the operator \(\mathfrak {h}_{\ell ,0}\) we can write the auxiliary operator (2.2) as
Proposition 2.5
Let \(\alpha >0\). For all \(\lambda >-\inf \sigma (h_\ell )\) the resolvent \((h_\ell +\lambda )^{-1}\) is positivity improving with respect to \(\mathcal {C}\).
Proof
It is sufficient to prove the statement for one \(\lambda > -\inf \sigma (h_\ell )\), by analyticity of the resolvent (see also [29, Lem. A.4]). For sufficiently large \(\lambda \) we shall first prove
To this end, we show that T is infinitesimally K-bounded. In fact, by (2.11),
for arbitrary \(\varepsilon >0\), and moreover,
Proceeding with (2.14), we use that \(-T\) is positivity preserving, since it is the product of the three positivity preserving operators \(\mathfrak {h}_{\ell ,0}^{-1}\) (see Lemma 2.3) and \(a(-v)\), \(a^*(-v)\) (note the alternating sign in the definition of \(\mathcal {C}\)). The claim will thus follow if we can prove that \((K + \lambda )^{-1}\) improves positivity. As \(K\ge 1\), this holds for all \(\lambda >-1\) if it holds for \(\lambda =0\).
Let \(0\ne \Psi ,\Phi \in \mathcal {C}\) and let n, m be so that \(\Psi ^{(n)}\ne 0\), \(\Phi ^{(m)}\ne 0\). Set \(\phi := (a(-v)\mathfrak {h}_{\ell ,0}^{-1})^m \Phi ^{(m)}\) and \(\psi :=(a(-v)\mathfrak {h}_{\ell ,0}^{-1})^n \Psi ^{(n)}\). Since \(a(-v)\) and \(\mathfrak {h}_{\ell ,0}^{-1}\) are positivity preserving, \(\phi \), \(\psi \) are non-negative elements of \(L^2(\Lambda _\ell )\). Since \(v>0\), they do not vanish identically. We thus have
since \(\mathfrak {h}_{\ell ,0}\) improves positivity on \(L^2(\Lambda _\ell )\) by Lemma 2.3. This proves the claim. \(\square \)
Proof of Proposition 2.1
The proposition is proved using the positivity-improving property of \(h_\ell \) following arguments of [7]. Let \(\mathscr {H}_{\ell }^\mathbb {R}\) be the subspace of real-valued functions in \(\mathscr {H}_\ell \). Since \(h_\ell \) is invariant under complex conjugation, it can be restricted to an operator on \(\mathscr {H}_\ell ^\mathbb R \). Moreover, any eigenvalue e of \(h_\ell \) is also an eigenvalue of this restriction and their multiplicity is the same, since the \(\mathbb {R}\)-linear map of multiplication by the imaginary unit is an isomorphism between the real and imaginary subspaces of \(\ker (h_\ell -e)\).
It is thus sufficient to prove that \(\inf \sigma (h_\ell )\) is a simple eigenvalue of \(h_\ell \vert _{\mathscr {H}_\ell ^\mathbb {R}}\). This is equivalent to proving that, for \(\lambda >-\inf \sigma (h_\ell )\), the space of real eigenfunctions of \((h_\ell +\lambda )^{-1}\) for its largest eigenvalue \(e:=(\inf \sigma (h_\ell )+\lambda )^{-1}>0\) has dimension one.
Let \(\Psi \in \mathscr {H}_\ell ^\mathbb {R}\) be a normalized eigenfunction of \((h_\ell +\lambda )^{-1}\) with eigenvalue e. We can write
where
so \(\Psi _\pm \in \mathcal {C}\) and \(\langle \Psi _+, \Psi _-\rangle =0\). We then have
since e is the largest eigenvalue and \(\Vert \Psi _++\Psi _-\Vert =\Vert \Psi \Vert =1\). We must thus have equality in (2.20), so
Since \((h_\ell +\lambda )^{-1}\) improves positivity this implies that either \(\Psi _+\) or \(\Psi _-\) are equal to zero, i.e. \(\Psi \in \mathcal {C}\) or \(-\Psi \in \mathcal {C}\).
Now assume there exist two orthogonal real eigenfunctions \(\Phi , \Psi \in \ker ((h_\ell +\lambda )^{-1}-e)\). By changing signs if necessary, we may assume that \(\Phi ,\Psi \in \mathcal {C}\setminus \{0\}\). Then
a contradiction, so e is a simple eigenvalue. \(\square \)
Data Availability
Data sharing not applicable to this article as no datasets were generated or analysed.
Notes
In this regard, let us note that we shall not make use of Gross’ inequality \(E_\alpha (0)\le E_\alpha (P)\) [15], which would evidently imply property (ii).
References
Betz, V., Polzer, S.: A functional central limit theorem for polaron path measures. Comm. Pure Appl. Anal. 75(11), 2345–2392 (2022)
Betz, V., Polzer, S.: Effective mass of the Polaron: a lower bound. Comm. Math. Phys. 399, 173–188 (2023)
Brooks, M., Seiringer, R.: The Fröhlich polaron at strong coupling – part I: The quantum correction to the classical energy. Preprint. arXiv:2207.03156. (2022)
Brooks, M., Seiringer, R.: The Frölich polaron at strong coupling – part II: Energy-momentum relation and effective mass. arXiv:2211.03353. (2022)
Donsker, M.D., Varadhan, S.R.S.: Asymptotics for the polaron. Comm. Pure Appl. Math. 36, 505–528 (1983)
Dybalski, W., Spohn, H.: Effective mass of the polaron—revisited. Ann. Henri Poincaré 21, 1573–1594 (2020)
Faris, W.G.: Invariant cones and uniqueness of the ground state for fermion systems. J. Math. Phys. 13, 1285 (1972)
Fisher, M.P.A., Zwerger, W.: Ground-state symmetry of a generalized polaron. Phys. Rev. B 34, 5912 (1986)
Fröhlich, H.: Theory of electrical breakdown in ionic crystals. Proc. R. Soc. Lond. A 160, 230–241 (1937)
Fröhlich, H.: Electrons in lattice fields. Adv. Phys. 3, 325–362 (1954)
Fröhlich, J.: Existence of dressed one-electron states in a class of persistent models. Fort. Phys. 22, 159–198 (1974)
Gerlach, B., Löwen, H.: Absence of phonon-induced localization for the free optical polaron and the corresponding Wannier exciton-phonon system. Phys. Rev. B 37(14), 8042–8047 (1988)
Gerlach, B., Löwen, H.: Analytical properties of polaron systems or: do polaronic phase transitions exist or not? Rev. Mod. Phys. 63, 63 (1991)
Griesemer, M., Wünsch, A.: Self-adjointness and domain of the Fröhlich Hamiltonian. J. Math. Phys. 57(10), 021902 (2016)
Gross, L.: Existence and uniqueness of physical ground states. J. Funct. Anal. 10, 52–109 (1972)
Lampart, J.: The resolvent of the Nelson Hamiltonian improves positivity. Math. Phys. Anal. Geom. 24, 2 (2021)
Lampart, J., Schmidt, J.: On Nelson-type Hamiltonians and abstract boundary conditions. Commun. Math. Phys. 367(2), 629–663 (2019)
Landau, L.D.: Über die Bewegung der Elektronen in Kristallgitter. Phys. Z. Sowj. 3, 644–645 (1933)
Lee, T.D., Low, F., Pines, D.: The motion of slow electrons in a polar crystal. Phys. Rev. 90, 297 (1953)
Lieb, E.H.: Existence and uniqueness of the minimizing solution of Choquard’s nonlinear equation. St. Appl. Math. 57, 93–105 (1977)
Lieb, E.H., Seiringer, R.: Divergence of the effective mass of a polaron in the strong coupling limit. J. Stat. Phys. 180, 23–33 (2020)
Lieb, E.H., Thomas, L.E.: Exact ground state energy of the strong-coupling polaron. Comm. Math. Phys. 183(3), 511–519 (1997)
Lieb, E.H., Yamazaki, K.: Ground-state energy and effective mass of the polaron. Phys. Rev. 111, 728 (1958)
Luttinger, J.M., Lu, Chih-Yuan.: Generalized path-integral formalism of the polaron problem and its second-order semi-invariant correction to the ground-state energy. Phys. Rev. B 21, 4251 (1980)
Manka, R., Suffczynski, M.: The large polaron first-order phase transition. J. Phys. C 13, 6369 (1980)
Matz, D., Burkey, B.C.: Dynamical theory of the large polaron: fock approximation. Phys. Rev. B 3, 3487 (1971)
Mitrouskas, D., Myśliwy, K., Seiringer, R.: Optimal parabolic upper bound for the energy-momentum relation of a strongly coupled polaron. Forum of Math., Sigma 11, E49 (2023)
Møller, J.S.: The translation invariant massive nelson model: I. The bottom of the spectrum. Ann. Henri Poincaré 6(6), 1091–1135 (2005)
Møller, J.S.: The polaron revisited. Rev. Math. Phys. 18, 485–517 (2006)
Miyao, T.: Nondegeneracy of ground states in nonrelativistic quantum field theory. J. Oper. Theory 64(1), 207–241 (2010)
Mukherjee, C., Varadhan, S.R.S.: Identification of the polaron measure I: fixed coupling regime and the central limit theorem for large times. Comm. Pure Appl. Anal. 73(2), 350–383 (2019)
Oliveira, C.R.: Intermediate spectral theory and quantum dynamics. Progress in Mathematical Physics Vol 54. Birkhäuser Verlag. (2009)
Peeters, F.M., Devreese, J.T.: On the existence of a phase transition for the Fröhlich polaron. Phys. stat. Sol. (b) 119, 219 (1982)
Pekar, S.I.: Untersuchung über die Elektronentheorie der Kristalle. Akad. Verlag, Berlin (1954)
Polzer, S.: Renewal approach for the energy-momentum relation of the Fröhlich polaron. arXiv:2206.14425. (2022)
Reed, M., Simon, B.: Methods of modern mathematical physics I, 2nd edn. Academic Press, Cambridge (1980)
Spohn, H.: Roughening and pinning transitions for the polaron. J. Phys. A 19, 533 (1986)
Spohn, H.: Effective mass of the polaron: a functional integral approach. Ann. Phys. 175, 278–318 (1987)
Spohn, H.: The polaron at large total momentum. J. Phys. A 21, 1199 (1988)
Tjablikow, S.W.: Adiabatische form der Störungstheorie im Problem der Wechselwirkung eines Teilchens mit einem gequantelten feld. Abhandl. Sowj. Phys. 4, 54 (1954)
Toyozawa, Y.: Self-trapping of an electron by the acoustical mode of lattice vibration. I. Prog. Theor. Phys. 26(1), 29–44 (1961)
Acknowledgements
D.M. and K.M. thank Robert Seiringer for helpful discussions.
Funding
Open access funding provided by Institute of Science and Technology (IST Austria). Financial support from the Agence Nationale de la Recherche (ANR) through the projects ANR-17-CE40-0016, ANR-17-CE40-0007-01, ANR-17-EURE-0002 (J.L.) and from the European Union’s Horizon 2020 research and innovation programme under the Maria Skłodowska-Curie grant agreement No. 665386 (K.M.) is gratefully acknowledged.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
There are no conflicts of interest to declare.
A Definition of the Fröhlich Hamiltonian
A Definition of the Fröhlich Hamiltonian
In this section we define the Fröhlich Hamiltonian as a self-adjoint operator following the ideas of [17]. For a different proof, based on a commutator trick introduced in [22, 23], see [14].
We will give the construction for the fiber operators H(P), from which H can be obtained by reversing the Lee–Low–Pines transformation. Consider the quadratic form
Introducing the positive operator \(H_0:=(P-P_f)^2 + N +1\), one easily sees that \(Q_P\) is well defined on \(D(H_0^{1/2})\). Moreover, by inequality (A.4) below, \(Q_P\) is an infinitesimal perturbation of the form of \(H_0\). Consequently, by the KLMN Theorem there exists a unique self-adjoint operator whose form is \(Q_P\). To make this more explicit, rewrite \(Q_P\) as
From this, we see that \(Q_P\) is associated with the operator
Proposition A.1
For \(\alpha >0\) and \(P\in \mathbb {R}^3\) the quadratic form \(Q_P\) is the form of the self-adjoint operator \(H(P)+1\) given by (A.3) with domain
Proof
By the same proof as in (2.11) we have for \(\Psi \in D(N^{1/4})\)
Hence, by the proof of Lemma , the operator \(1+a(v)H_0^{-1}\) and its adjoint are boundedly invertible. This implies that D(H(P)) is dense, since \(D(H_0)\) is. Moreover, K(P) is a symmetric, invertible operator and thus self-adjoint. The proof is completed by showing that T(P) is infinitesimally K(P)-bounded as in (2.15), (2.16). \(\square \)
In the proof of Lemma 1.1 we used that the operators with cutoff \(H_\Lambda (P)\) converge to H(P) in norm-resolvent sense. We give a proof of this fact in the following proposition (see also [14]).
Proposition A.2
Let \(\hat{v}_\Lambda (k) = \hat{v}(k) \chi _{[0,\Lambda )}(|k|)\), then the family of self-adjoint operators
with domain \(D(H_\Lambda (P))=D(H_0)\) converges to H(P) in norm-resolvent sense as \(\Lambda \rightarrow \infty \) uniformly in \(P\in \mathbb {R}^3\).
Proof
Recall that \(H_0 = (P-P_f)^2 + N + 1\). The bounds on the difference of the resolvents will manifestly be independent of P, so we will not emphasize this at every step. Let
and
so that \( H_\Lambda (P)+1= K_\Lambda (P) + T_\Lambda (P)\), similarly as in (A.3). Then with \(z =1\pm i\)
By an analogous bound to (2.10), we have
whence \(\Vert a(v-v_\Lambda )H_0^{-1}\Vert \) tends to zero as \(\Lambda \rightarrow \infty \). Since \( H_0(1+H_0^{-1}a^*(v)) (H(P)+z)^{-1}\) is a bounded operator by construction of H(P), this shows that (A.7) tends to zero in norm.
Since \(|\hat{v}_\Lambda (k)|\le |\hat{v}(k)|\) we have
uniformly in \(\Lambda \). With this, the bounds from the proof of Proposition A.1 hold for \(H_\Lambda (P)\) uniformly in \(\Lambda \) and (A.8) tends to zero for the same reason as (A.7).
To conclude, note that by (A.10) and (A.11) we have
with \(\lim _{\Lambda \rightarrow \infty }C_\Lambda =0\). Then, since N is H(P)-bounded by construction of H(P), the expression (A.9) also tends to zero in norm as \(\Lambda \rightarrow \infty \), which proves the claim. \(\square \)
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
Lampart, J., Mitrouskas, D. & Myśliwy, K. On the Global Minimum of the Energy–Momentum Relation for the Polaron. Math Phys Anal Geom 26, 17 (2023). https://doi.org/10.1007/s11040-023-09460-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11040-023-09460-x