Anfonwch hwn fel neges destun: Semiclassical analysis, Witten Laplacians, and statistical mechanics