Effective mass of the polaron -- revisited

Properties of the energy-momentum relation for the Fr\"ohlich polaron are of continuing interest, especially for large values of the coupling constant. By combining spectral theory with the available results on the central limit theorem for the polaron path measure we prove that, except for an intermediate range of couplings, the inverse effective mass is strictly positive and coincides with the diffusion constant. Such a result is established also for polaron-type models with a suitable ultraviolet cut-off and for arbitrary values of the coupling constant. We point out a slightly stronger variant of the central limit theorem which would imply that the energy-momentum relation has a unique global minimum attained at zero momentum.


Introduction
Polaron refers to an electron interacting with the lattice vibrations of a polar crystal, see [1,7,22] as a guide to the physics literature. In the conventional approximations the quantum Hamiltonian reads e ikx a(k) + e −ikx a * (k) . (1.1) We use units in which the bare electron mass equals one. x, p are position and momentum of the electron in R d , a * (k), a(k) are the creation and annihilation operators of a free scalar Bose field over R d with commutation relations [a(k), a * (k ′ )] = δ(k − k ′ ), ω is the dispersion relation of the Bose field, ω ≥ 0, continuous, and ω(Rk) = ω(k) for all rotations R. The form factorv is assumed to be real rotation invariant and has the inverse Fourier transform 1v . v(x) physically describes the smearing of the interaction between the electron and the Bose field. It is a standard convention to call g =v/ √ 2ω the coupling function. Finally α is the coupling constant, α ≥ 0. Formally H acts on the Hilbert space H = L 2 (R d ) ⊗ F with F the Fock space of the Bose field. The coupling between field and particle is translation invariant and hence the total momentum is conserved. The Fröhlich polaron corresponds to the specific choice d = 3, ω(k) = 1, and g(k) = ( √ 2π|k|) −1 . In particular g 2 = ∞ because of ultraviolet divergence. Since the strong coupling physics is dominated by the large |k| behavior of the coupling function, no ultraviolet cut-off can be afforded and a separate discussion is required, see Section 4. The acoustic polaron corresponds to ω(k) = |k| and other variations can be found in the physics literature. As common practice [22,14], we thus keep d, ω, g general for a while and add further assumptions on the way. For the purpose of this introductory discussion g 2 < ∞ is assumed. Under precise conditions to be stated in Section 3, H is a self-adjoint operator and has the fiber decomposition since P is conserved. (Here Π := F e iP f x , where F is the Fourier transform from x to P variable). The fiber Hamiltonian reads dk ω(k)a * (k)a(k) + √ α R d dk g(k) a(k) + a * (k) (1.4) and acts on F . The energy-momentum relation, E(P ), is the bottom of the spectrum of H(P ), E(P ) = inf spec(H(P )). (1.5) By construction E(RP ) = E(P ) for all rotations R and hence E(P ) = E r (|P |). Also, in generality, As a widely accepted definition, the effective mass is the inverse of the curvature of E(P ) at P = 0, which by rotation invariance means A long-standing open problem is to analyse the effective mass of the Fröhlich polaron in the strong coupling regime [19,22]. As the coupling is increased, more and more bosons are bound to the electron and one would expect the effective mass to increase with α, presumably to diverge in the limit. Recent progress has been achieved by Lieb and Seiringer [12], who by functional analytic methods prove that indeed m eff (α) diverges as α → ∞. A mathematically orthogonal approach is to study the polaron path measure, as originally introduced by Feynman [4], see also [5,21]. Mathematically this corresponds to a standard Brownian motion with a Gibbsian-like weight which depends only on the increments. Thus one expects to still observe diffusive behavior on large scales, however with an effective diffusion constant, σ 2 . In other words, one conjectures the validity of a central limit theorem (CLT) for such weighted Brownian motion. In fact, the CLT has become now available for a large class of polaron models, including the assertion that σ 2 > 0. We refer to Section 2 for more details.
As argued in [22], and presumably before, effective mass and diffusion constant should be related as (m eff ) −1 = σ 2 . (1.8) However, at the time the reasoning was based on considering second moments for the position of the weighted Brownian motion, a piece of information which is not so easily available from current CLT proofs. For us this by itself is a convincingly enough reason to reconsider the case. As an extra bonus, apparently not noted before, the conventional CLT also yields spectral information about properties apparently unaccessible by current functional analytic techniques. To explain this point in more detail we assume the lower bound ω(k) ≥ c 0 > 0 and further conditions as stated in Sections 3 and 4. Then H(P ) has a unique ground state with energy E(P ) for |P | < γ for some γ > 0. Furthermore the continuum edge of H(P ) is strictly larger than E(P ) in this ball. Possible eigenvalues have a finite multiplicity and can accumulate only at the continuum edge [6,14]. In particular, E r is real analytic in P and √ α. From perturbation theory, requiring α to be sufficiently small, one then infers that But for larger α it is difficult to exclude E(P ) to have vanishing curvature at P = 0. Under to be stated conditions we will establish the identity (1.9). Hence from σ 2 > 0 one concludes that m eff < ∞ for all α.
A related issue is the long-standing (physically obvious) conjecture The weaker property (1.6) follows from a Kato inequality for H [6]. So the real issue is to exclude points P * = 0 at which E(P * ) = E(0). Property 1.10 is claimed in [7], Statement 2. In the proof on p. 78, the authors argue with the degeneracy of the ground state of H. But, under the common assumptions, H has no ground state at all. To have a ground state would require the set {P ∈ R d | E(P ) = E(0)} to have non-zero Lebesgue measure. In Section 5 we will explain how (1.10) follows from a CLT with yet to be studied boundary conditions. Alternatively one might invoke a suitable large deviation result in the context of the available boundary conditions. Our paper is organized as follows. In Section 2 we explain the connection to the probabilistic CLT and discuss recent results of interest in our context. In Sections 3 and 4 we show the relations (1.8), (1.9) for polaron-type models with the UV cut-off g 2 < ∞ and for the Fröhlich polaron, respectively. In Section 5 we study the functional analytic side of a CLT with general two-sided pinning.

Probabilistic approach and central limit theorem
We choose the boundary states φ ± = ϕ ± ⊗ Ω ∈ H with Ω the Fock vacuum and definẽ Using the direct inegral decompostion (1.3), (1.4), see also formula (B.1), one obtains the identityG In spirit of the Feynman-Kac formula for a Schrödinger operator, the semigroup e −tH , t ≥ 0, can be written as a weighted average with respect to a Gaussian measure. For the particle trajectories we introduce the Wiener measure P W with expectation E W . The continuous paths of the Wiener measure are denoted by q(t). The Bose field maps to the Gaussian process u(x, t) whose path measure is denoted by P G , with expectation E G . The Gaussian process has mean zero, is stationary in space-time, and is uniquely defined through its covariance which makes more explicit how v(x) smears the field u relative to the position of the particle. If g 2 < ∞, the term in the square brackets is a well-defined Gaussian random variable with respect to P G . The Gaussian average E G can be carried out explicitly leading toG Note that W is real, continuous, rotation invariant in x, and |W (x, t)| ≤ g 2 2 . In particular the integrand under the double time integral appearing in (2.5) is pathwise bounded and continuous.
The Fröhlich polaron is the special case d = 3, ω = 1, and g(k) = ( √ 2π|k|) −1 , thereby defining the Hamiltonian H Fr , for which self-adjointness is established in [6,8]. The kernel W of the Fröhlich polaron is given by which is no longer bounded. Still the factor exp[·] in (2.5) is integrable [3]. To establish the validity of the basic identity (2.5) for H Fr one introduces the cut-off coupling g κ (k) = ( √ 2π|k|) −1 e − 1 κ |k| , thereby defining the Hamiltonian H κ . The strong limit lim κ→∞ e −tHκ = e −tH Fr is established in [6,13], which controls the left side of (2.5). On the right side W is replaced by which increases monotonously to W Fr (x, t). Thus by monotonicity the right hand side of (2.5) converges to the corresponding expression with kernel W Fr (x, t) and hence (2.5) remains valid for the Fröhlich polaron. In (2.5) the reference process is a standard Brownian motion over the time interval [−T − , t + T + ]. The Brownian motion is pinned by the function ϕ − at the left border and by ϕ + at the right one. The Brownian path is weighted by the exponential of the double time integral involving W . Note that the weight depends only on the increments. To have a probability measure we have to normalize by the partition functionG T − ,T + (0, t). The difference q(t) − q(0) is the Brownian motion increment over the time interval [0, t]. Of interest is its characteristic function, i.e. the Fourier transform of the corresponding probability density function. Altogether this leads to the normalized characteristic function Depending on the precise set-up, one then has to establish the limits T − , T + → ∞ followed by the CLT which requires t → ∞.
In the probabilistic literature, two distinct boundary conditions have been studied and we discuss them one by one. In both cases T − = 0, ϕ − (x) = δ(x), and ϕ + (x) = 1, of which the latter two have to be approximated by a suitable sequence of L 2 functions. We set T + = T in the sequel.
In [2] and the follow-up by Gubinelli [10] the authors require the conditions They considerG 0,T of the form and establish the limit lim The CLT is proved, thus ensuring the limit for some σ > 0. In fact, the stronger functional CLT is established, see [2, Theorem 1.1].
It is instructive to rewrite the expectation values from above in the language of operators as in (2.1), (2.2), with the result where we usedφ − (P ) = (2π) −d/2 , andφ + (P ) = (2π) d/2 δ(P ). For polaron-type models treated in Section 3 below H(0) has a spectral gap and a unique ground state ψ 0 , thus by the spectral theorem More recently, Mukerjee and Varadhan studied the CLT under weaker conditions than imposed in [2,10]. Their starting formula is hence T = 0, which one recognizes as a particular case of (2.14) and In [16,Theorem 4.2] the CLT of the following form is established for the Fröhlich polaron, The functional CLT is not touched upon. In the related study [17] the strong coupling limit and its relation to the Pekar process are investigated. Mukherjee [18] also starts from (2.16) and considers a general weight function W , for which he requires |W (x, t)| ≤ C(1+|t|) −(2+δ) for some C, δ > 0. In particular, this condition covers the polaron whenever g ∈ L 2 . [ In the currently posted version in addition W ≥ 0 is required. As communicated to us by the author this condition can be dropped.] In [18, Theorem 2.1] the conventional CLT of the form (2.18) is proved for arbitrary α ≥ 0.
Physically one is also interested in the behavior of E(P ) away from the origin. Starting from (2.17), instead of k = O(ǫ) and would have to consider k = P = O(1), which probabilistically is a problem of large deviations. In Section 5 we explore a different approach by starting from (2.1) with general square-integrable boundary functions ϕ ± in the limit T ± → ∞, but still invoking a CLT.

Polaron-type models with a UV cut-off
In this section we show that σ > 0 appearing in the CLT (2.18) coincides with the effective mass for a large class of polaron-type Hamiltonians with a UV cut-off. It is convenient to start from a family of the fiber Hamiltonians of the form is real and rotation invariant. The coupling constant α ≥ 0 is arbitrary.
(ii) ω(k) ≥ c 0 > 0, ω is continuous, rotation invariant, and sub-additive in the sense that Then, by the Kato-Rellich theorem, H(P ) are self-adjoint, semi-bounded operators on the domain D(P 2 f + H f ) which is independent of P . By the direct integral formula (1.3) one obtains a Hamiltonian of the form (1.1). Under the above assumptions, the HVZ theorem for these models was shown in [6,14]. All the properties below can be found in [14] except for part 0 for which we refer to [9] or [24,Section 15.2], and part 6 which can be found in [15]. We refer to [14] for a discussion of the literature.

The interval
3. E(P ) is an isolated, simple eigenvalue for P ∈ I 0 .

5.
For P ∈ I 0 we have | Ω, ψ P | > 0, where ψ P is the ground state of H(P ).
Let us comment briefly on the proof of properties 1-5 and the role of various assumptions on ω. We consider the thresholds Assuming only that ω is continuous, bounded and massive (i.e. ω(k) ≥ c 0 > 0), Theorem 2.1 of [14] gives E ess (P ) = inf n≥1 E (n) (P ). As sub-additivity of ω clearly gives monotonicity of thresholds, with this additional assumption one obtains property 1 of Lemma 3.1 above. As pointed out in [14], it is clear from this relation, and from the fact , which gives property 2 of Lemma 3.1. Clearly, the spectrum below E ess (P ) consists at most of eigenvalues of finite multiplicity with E ess (P ) as the only possible accumulation point. Thus E(P ) is an isolated eigenvalue, which is simple by Theorem 2.3 of [14]. Thus we obtain property 3 of Lemma 3.1. For the first part of property 4 and property 5 we refer to Theorems 2.3 and 2.4 of [14]. The second part of property 4 can be found in [6] (see also [24,Section 15.2, property (v)]). As for part 6, we note that for ξ in the resolvent set of H(P 0 ) the function P → (H(P ) − ξ) −1 can be expanded around any P 0 ∈ R d as in formula (A.2). The real analyticity of the eigenprojections I 0 ∋ P → |ψ P ψ P | follows immediately via the Cauchy formula. (We note that by a suitable choice of the phase, we can ensure that I 0 ∋ P → ψ P is norm-continuous, which is the property we will need below). Since |P | → H(P |P |) is a real analytic family of self-adjoint operators in the sense of [11, Chapter VII, §1, §3] and P → E(P ) is a rotation invariant function, we obtain by [11, Chapter VII, §3] that I 0 ∋ P → E(P ) is real analytic. Now we are ready to state and prove our main result concerning polaron-type models with a UV cut-off. Proof: The proof relies on the CLT as stated in (2.18). We consider the expression The spectral calculus immediately gives lim ǫ→0 Ω, e − t ǫ 2 (H(0)−E(0)) Ω = Ω, ψ 0 ψ 0 , Ω . Concerning the numerator in (3.5), we obtain Ω, e − t ǫ 2 (H(ǫk)−E(0)) Ω = Ω, e − t ǫ 2 (H(ǫk)−E(0)) ψ ǫk ψ ǫk , Ω (3.6) where in the leading term (3.6) we used the analyticity of P → E(P ) near zero (see Lemma 3.1) and we noted that the expression in (3.7) tends to zero as ǫ → 0 by the spectral calculus. ✷ We remark that a priori the diffusion constant obtained from the CLT of the characteristic function (2.17) could differ from the one of (2.13). Our result implies that they agree under Condition C and assumption (2.10).

The Fröhlich polaron
Let H κ (P ) be the polaron Hamiltonian (3.1) with d = 3, ω ≡ 1 and g(k) = where κ is the UV cut-off 2 . Explicitly, it has the form where N f is the number operator. It is well known, that this sequence of Hamiltonians converges in the norm resolvent sense as κ → ∞ to the limiting Fröhlich Hamiltonian H Fr (P ). Also, the sequence of the full Hamiltonians H κ = Π * ⊕ dP H κ (P )Π converges in the norm resolvent sense to H Fr = Π * ⊕ dP H Fr (P ) Π, cf. [8] and references therein. Making use of these approximation properties, Lemma 3.1 and further results from [13], it is easy to establish the following: Lemma 4.1 Let E(P ) = inf spec(H Fr (P )) and E ess (P ) = inf spec ess (H Fr (P )). Then the following statements hold true: 1. E ess (P ) = E(0) + 1. 3. E(P ) is an isolated, simple eigenvalue for P ∈ I 0 .

The interval
4. All global minima of |P | → E r (|P |) are contained in a compact set.
5. For P ∈ I 0 we have | Ω, ψ P | > 0, where ψ P is the ground state of H(P ).
Let us comment on the proofs of the above properties. It is a general consequence of the strong resolvent convergence that for any eigenvalue λ of H(P ) there exists an approximating sequence λ κ → λ of eigenvalues of H κ (P ) [ 6.4] gives the uniqueness of the ground state whenever it exists, also outside of the ball |P | < √ 2 from the statement of the theorem. Concerning part 4, suppose by contradiction that there is a sequence P ℓ , ℓ ∈ N, s.t. E(P ℓ ) = E(0) and |P ℓ | → ∞. We pick a function f ∈ C ∞ 0 (R) supported in a ball around E(0) of radius strictly smaller than 1 and s.t. 0 ≤ f ≤ 1 and f (E(0)) = 1. Then, by the norm resolvent convergence of H κ and [20, Theorem VIII.20] we have which is a contradiction. Here in the third step we choose ℓ κ so large that the spectrum of H κ (P ℓ ) is outside of the support of f , which is possible by Lemma 3.1, part 4. Part 5 of Lemma 4.1 is a consequence of the strict positivity statement in [13, Theorem 6.4], where again we can disregard the restriction |P | < √ 2, considering the structure of the proof. Part 6 is proven analogously as the corresponding part of Lemma 3.1, given the input from Appendix A.
Now we come to our main result concerning the Fröhlich polaron.

A CLT for two-sided pinning
We return to the set-up of equation (2.1) with square-integrable boundary functions ϕ ± = ϕ, T ± = T , and T → ∞. A probabilistic study of this variant does not seem to be available in the literature and we focus on the functional analytic side. It will be more transparent to work in a general framework, which includes the polaron models discussed so far, but many more, e.g. systems with a non-quadratic energy momentum relation for the electron. Let H, H be Hilbert spaces and Π : H → L 2 (R d , H) a unitary. For any φ ∈ H we have the corresponding representation φ = Π * ⊕ R d dP φ P . For any k ∈ R d we define the unitary U(k) by its action on such vectors φ Here R d ∋ P → H(P ) is a real analytic family of positive operators with domains D(H(P )) ⊂ H, as stated more precisely in the standing assumption 0 below. Furthermore, we note that for any bounded Borel function f In this section we impose the following standing assumptions: 0. The family P → H(P ) is real analytic in the sense that for any P 0 ∈ R d and any ξ / ∈ spec(H(P 0 )) there exists a real neighbourhood N P 0 of P 0 s.t. ξ / ∈ spec(H(P )) for any P ∈ N P 0 and N P 0 ∋ P → (H(P ) −ξ) −1 is real analytic. As a consequence, for anyP on the unit sphere |P | → H(P |P |) is a real analytic family of unbounded operators in the sense of [11,Chapter VII,§1]. Another consequence of this property and of the Helfer-Sjöstrand method of almost analytic extensions is the strong continuity of R d ∋ P → e −tH(P ) , which will be used in the proofs below.

The function P → E(P ) := infspec(H(P )) is rotation invariant and we write as before E(P ) = E r (|P |). E attains its global minima in the sets
2. E is analytic in setsM ℓ = { P ∈ R d | |P | ∈ ∆ ℓ }, where ∆ ℓ is a neighbourhood of Q ℓ . Then we have E r (Q ℓ + R) ∼ R n ℓ for small R and some n ℓ ∈ N, n ℓ ≥ 2.
3. For P ∈M ℓ , E(P ) are simple eigenvalues and the corresponding family of projec-tionsM ℓ ∋ P → |ψ P ψ P | is strongly continuous. (It easily follows that P → ψ P can be chosen strongly continuous inM ℓ by a suitable choice of the phases, which is what will be used below).
The above assumptions hold, in particular, for models of Sections 3 and 4 as shown in the following proposition. The proof is postponed to Appendix B.

Proposition 5.1 For the polaron-type models (3.1) satisfying Condition C and the Fröhlich polaron (4.1) the following properties hold true:
(a) The models satisfy the standing assumptions 0,1,2,3 above.
For such φ assumption 4 above holds.
Coming back to the general framework, we note that assumptions 2, 3 follow from 0,1 and analytic perturbation theory [11,Chapter VII,§3] if E(P ) are simple, isolated eigenvalues for P ∈M ℓ . However, our discussion in this section does not require spectral gaps above E(P ). Also the standard relation E(0) ≤ E(P ), P ∈ R d , for polaron type models, cf. Lemmas 3.1, 4.1, does not follow from the standing assumptions above. However, with additional input which we now explain, we will obtain not only this relation, but even E(0) < E(P ), P = 0, for d ≥ 2.
For the two-sided boundary condition the properly normalized characteristic function readsG for φ ∈ H and t, T ≥ 0. By the spectral theorem, the denominator above is different from zero for any finite T . Furthermore, for φ as in assumption 4, the limits exist under our standing assumptions. The explicit expressions are provided in Proposition 5.4 and Lemma 5.5 below. We expect that the latter limit has the form suggested by the CLT. holds true for some σ > 0.
The consequences of this conjecture for models satisfying the above standing assumptions are collected in the following theorem.
We stated a minimal conjecture as required for Theorem 5.3 to hold. In fact, the CLT should be in force for a large set of boundary functions, e.g. those satisfying 4. of the standing assumptions. Our theorem then asserts that the diffusion constant is always given by σ 2 = (∂ 2 |P | E r )(0).
The observation behind Theorem 5.3 is fairly elementary and can be grasped most easily for the polaron models underlying (2.2). We note that the P -integral has the weight |φ(P )| 2 > 0 for ϕ as in Proposition 5.1(b). Thus in the limit T → ∞ the Pintegral concentrates on the set of global minima {P ∈ R d | E(P ) = E(0)}. If the CLT would hold, the limit expression must have come only from P = 0 and hence E(P ) > E(0) for P = 0.
The actual proof is more involved and the remaining part of this section is devoted to proving Theorem 5.3. We start with two auxiliary results, which do not rely on Conjecture 5.2. 2. If Q 0 = 0 and there are other global minima at Q ℓ > 0, ℓ = 1, 2, . . . , L, we set n := max ℓ =0 (n ℓ ) (see assumption 2) and distinguish the following cases: where C ℓ = 0 and the sums extend only over ℓ > 0 s.t. n ℓ = n.
For d = 1 the angular integrations above amount to summation overP = ±1.
Proof: In the fiber representation expression (5.4) has the following form Therefore, it suffices to studỹ Hence, setting G (1) M dP ′ | φ P ′ , ψ P ′ | 2 e −(2T +t)E(P ′ ) ψ P , e −tH(P +k) e tH(P ) ψ P . (5.15) We writeP := P/|P | and move on to polar coordinates in P and P ′ integrations: where we also used that P → E(P ) is rotation invariant. Let us first consider a possible global minimum at zero. Since E is analytic near zero, we have that E r (|P |) ∼ |P | n 0 in this region for some n 0 ∈ N 0 , n 0 ≥ 2. Thus an elementary analysis gives for the numerator in (5.16) for some C 0 = 0. An analogous formula holds for the denominator in (5.16) Let us now analyse a global minimum at Q ℓ = 0. By analyticity, we have that E r (Q ℓ + R) ∼ R n ℓ near R = 0 for some n ℓ ∈ N 0 , n ℓ ≥ 2. In this case we obtain for the numerator in (5.16) for some C ℓ = 0. For the denominator in (5.16) we get in this case (5.20) By substituting (5.17)-(5.20) back to formula (5.16) and considering the different cases from the statement of the proposition, we complete the proof. ✷ Lemma 5.5 Suppose that Q ≥ 0 is a global minimum of |P | → E r (|P |). Then the following relations hold: for Q > 0. (5.22) Proof: Suppose that Q = 0. By shifting the vector ψ 0 = ψ ǫk + (ψ 0 − ψ ǫk ), we obtain where R(ǫ) is an error term which tends to zero as ǫ → 0 by assumption 3.
Concerning the case Q > 0, we shift the vector as follows ψ QP = ψ QP +ǫk + (ψ QP − ψ QP +ǫk ). This gives We denote By averaging both sides w.r.t. the group of rotations we can assume that the functions f ℓ are constant and non-zero. Suppose first that all m −1 ℓ are zero. Then we immediately obtain a contradiction by taking x 2 → ∞. Now suppose that some 3 m −1 ℓ 1 > 0. Then we obtain from (5.26) As before, we obtain a contradiction by taking x 2 → ∞, due to the fact that the functions f ℓ are constant and non-zero. Next, we prove part (b). Suppose, by contradiction, that there are several global minima in addition to the global minimum at zero. Let us assume first that case (a) from Proposition 5.4 occurs, that is n > n 0 d . With the help of Lemma 5.5, we obtain from (5.8) We obtain a contradiction by repeating the steps (5.25)-(5.27) above. Now let us assume that case (b) of Proposition 5.4 occurs, that is n = n 0 d . Since d ≥ 2 and n ≥ 2 we obtain that n 0 > 2 which implies (∂ 2 |P | E r )(0) = 0. With the help of Lemma 5.5, we obtain from (5.9) using the notation introduced above Due to the presence of the non-zero terms involving c 0 | φ 0 , ψ 0 | 2 , we immediately obtain a contradiction by taking x 2 → ∞.
Finally, suppose that we are in case (c) of Proposition 5.4, that is n < n 0 d . Also in this case we have n 0 > 2 which implies (∂ 2 |P | E r )(0) = 0. By equation (5.10) and Lemma 5.5, we obtain e −x 2 = 1 which is immediately a contradiction. This concludes the proof of part (b) of the theorem.
Given that we have only one global minimum, we can apply formula (5.7). Together with Lemma 5.5, we obtain which gives part (a) of the theorem. For d = 1, the reasoning above requires several modifications. From the assumption that there is no global minimum at zero we obtain via (5.26) that m −1 ℓ = σ 2 for ℓ = 0, 1, . . . , L, which is what we wanted to prove. Now suppose that there is a global minimum at zero and possibly some non-zero global minima. In the case n > n 0 d from the fact that n 0 ≥ 2 we conclude that n > 2, hence m −1 ℓ = 0 for ℓ = 0. In this situation formula (5.26) gives directly a contradiction. In the case n = n 0 d we distinguish two sub-cases. First, for n = n 0 > 2 we have m −1 ℓ = 0 for all ℓ, including ℓ = 0, and thus formula (5.29) gives a contradiction. Second, for n = n 0 = 2 we have m −1 ℓ = 0 and thus formula (5.29) has to be rewritten as follows where angular integration denotes now summation overP = ±1. Clearly, we avoid a contradiction iff m −1 ℓ = σ 2 for ℓ = 0, 1, . . . , L. (It is important here that if n = max ℓ =0 (n ℓ ) = 2 then n ℓ = 2 for all ℓ = 0).
In the case n < n 0 d we obtain a contradiction as before. Thus in the case d = 1 the assumption that there are several global minima of E r led us to the conclusion that the inverses of their effective masses ∂ 2 |P | E r (Q ℓ ), ℓ = 0, 1, . . . L, must all be equal to σ 2 . ✷ Proof: First, we recall some material from [13, Appendix A], referring there for more details. Let where K is chosen sufficiently large (depending on α but not on κ or P ) as specified above Lemma A.3 of [13]. Let H free (P ) denote the Hamiltonians (4.1) with α = 0. Then the Gross-transformed HamiltoniansH κ (P ) := e T K,κ H κ (P )e −T K,κ are self-adjoint operators which converge in the norm-resolvent sense to a limiting HamiltonianH(P ) [13,Proposition A.4]. As stated in the proof of this latter proposition, H free (P ) ≤ C ′ (H κ (P )+ C), with C, C ′ independent of κ. Hence, Next, we can write on D(H free (P )) e T K,κ P f e −T K,κ = P f + a(kβ K,κ ) + a * (kβ K,κ ) + where the last term is actually zero by symmetry. Noting that dk |kβ K,κ (k)| 2 ≤ c, uniformly in κ, we have a ( * ) (kβ K,κ )(1 + N f ) −1/2 ≤ c uniformly in κ. Therefore, by estimates (A.6), Let us consider first polaron-type models satisfying Condition C. For the standing assumption 0 we refer to the discussion of Lemma 3.1, part 6. By part 2 of Lemma 3.1, I 0 contains neighbourhoods of all the global minima of |P | → E r (|P |). Thus, considering other items of this lemma, it suffices to show that there is a finite number of such minima to complete the proof of Proposition 5.1 (a). To this end, we first note that by part 1 of Lemma 3.1, P → E ess (P ) is bounded if ω is bounded. Now by part 4 of the same lemma, all global minima must be localized in a compact set. (In particular, P → E(P ) cannot be a constant function in an open set, hence everywhere). Now suppose there is a finite accumulation point (Q * , E r (Q * )) of the set of global minima. Since the spectrum is closed, the corresponding sphere belongs to the spectrum. By Lemma 3.1 parts 2 and 3, for |P | = Q * , E(P ) is an isolated eigenvalue of H(P ). Thus, by analyticity, this eigenvalue can be continued to some neighbourhood of Q * in the radial direction. As any neighbourhood contains infinitely many global minima, we conclude that P → E(P ) is constant near |P | = Q * , hence everywhere, which is a contradiction.
Let us now move on to part (b). For the models in question we have Π = F e iP f x , where F is the unitary Fourier transform from x to P variable. We decompose ϕ ⊗ Ω = Π * ⊕ R d dP φ P . Thus to find φ P we compute Π(ϕ ⊗ Ω) = which gives φ P =φ(P )Ω. The function P → | φ P , ψ P | = |φ(P )| | Ω, ψ P | is continuous by continuity ofφ and analyticity of P → |ψ P ψ P |. It is non-zero by our assumption on ϕ and by part 5 of Lemma 3.1.
Concerning the Fröhlich polaron, standing assumption 0 is proven in Appendix A. The other claims are verified as above, using Lemma 4.1.