Identification of the Polaron measure in strong coupling and the Pekar variational formula

Abstract

The path measure corresponding to the Fröhlich Polaron appearing in quantum statistical mechanics is defined as the tilted measure $${\hat{\mathbb{P}}}_{\epsilon ,T}=\frac{1}{Z(\epsilon ,T)}\exp \left(\frac{1}{2}{\int }_{-T}^T{\int }_{-T}^T\frac{\epsilon {\mathrm{e}}^{-\epsilon |t-s|}}{|\omega (t)-\omega (s)|}\mathrm{d}s\mathrm{d}t\right)\mathrm{d}\mathbb{P}.$$ Here $\epsilon >0$ is the Kac parameter (or the inverse-coupling), and $\mathbb{P}$ is the law of $3d$ Brownian increments. In [13] it was shown that the (thermodynamic) limit ${\lim }_{T\to \infty }{\hat{\mathbb{P}}}_{\epsilon ,T}={\hat{\mathbb{P}}}_{\epsilon }$ exists as a process with stationary increments and this limit was identified explicitly as a mixture of Gaussian processes. In the present article, the strong coupling limit or the vanishing Kac parameter limit ${\lim }_{\epsilon \to 0}{\hat{\mathbb{P}}}_{\epsilon }$ is investigated. It is shown that this limit exists and coincides with the increments of the Pekar process, which is a stationary diffusion process with generator $\frac{1}{2}\Delta +(\nabla \psi /\psi )\cdot \nabla$, where $\psi$ is the unique (modulo shifts) maximizer of the Pekar variational problem $$g_0=\underset{\Vert \psi {\Vert }_2=1}{\sup }\{{\int }_{{\mathbb{R}}^3}{\int }_{{\mathbb{R}}^3}{\psi }^2(x){\psi }^2(y)|x-y{|}^{-1}\mathrm{d}x\mathrm{d}y-\frac{1}{2}\Vert \nabla \psi {\Vert }_2^2\}.$$ As shown in [12,6,1], the Pekar process is itself approximated by the limiting "mean-field Polaron measures", and thus, the present identification of the strong coupling Polaron is a rigorous justification of the "mean-field approximation" (on the level of path measures) conjectured by Spohn in [15]. This approximation in the vanishing Kac limit ($\epsilon \to 0$) is also shown to hold for a general class of Kac-Interaction of the form $H(t,x)=\epsilon {\mathrm{e}}^{-\epsilon |t|}V(x)$ where $V$ is any continuous function vanishing at infinity.

arXiv commentTo appear in "Annals of Probability"

References in corpus (5)

• Erratum: Exact Ground State Energy of the Strong-Coupling Polaron
• Divergence of the effective mass of a polaron in the strong coupling limit
• Effective mass of the polaron -- revisited
• Identification of the Polaron measure I: Fixed coupling regime and the central limit theorem for large times
• Central limit theorem for Gibbs measures on path spaces including long range and singular interactions and homogenization of the stochastic heat equation

Cited by in corpus (4)

• Quantum corrections to the Pekar asymptotics of a strongly coupled polaron
• Divergence of the effective mass of a polaron in the strong coupling limit
• Identification of the Polaron measure I: Fixed coupling regime and the central limit theorem for large times
• The Strongly Coupled Polaron on the Torus: Quantum Corrections to the Pekar Asymptotics