Proof of the Landau-Pekar formula for the effective mass of the polaron at strong coupling

We study the Fröhlich polaron in the regime of strong coupling and prove the asymptotically sharp lower bound on the effective mass meff(α )≥ α ⁴ mLP-Cα 4- ε m eff ( α ) ≥ α 4 m LP − C α 4 − ϵ , where mLP m LP is the constant predicted by L. D. Landau and S. I. Pekar [13] in 1948 for the effective mass of the classical polaron. Together with the corresponding upper bound, recently verified by R. Seiringer and the author, we confirm the validity of the celebrated Landau-Pekar formula for the effective mass of the Fröhlich polaron α → ∞ lim α ⁻⁴meff(α )=mLP lim α → ∞ α − 4 m eff ( α ) = m LP , which has been conjectured by H. Spohn [27] in 1987.