Frank R, Seiringer R. 2021. Quantum corrections to the Pekar asymptotics of a strongly coupled polaron. Communications on Pure and Applied Mathematics. 74(3), 544–588.