An elementary proof of phase transition in the planar XY model

Abstract

Using elementary methods we obtain a power-law lower bound on the two-point function of the planar XY spin model at low temperatures. This was famously first rigorously obtained by Fröhlich and Spencer and establishes a Berezinskii-Kosterlitz-Thouless phase transition in the model. Our argument relies on a new loop representation of spin correlations, a recent result of Lammers on delocalisation of integer-valued height functions, and classical correlation inequalities.

25 pages, statement of main result slightly improved

References in corpus (4)

• Height function delocalisation on cubic planar graphs
• The Fröhlich-Spencer Proof of the Berezinskii-Kosterlitz-Thouless Transition
• Statistical reconstruction of the Gaussian free field and KT transition
• Delocalisation and absolute-value-FKG in the solid-on-solid model

Cited by in corpus (9)

• Delocalisation and absolute-value-FKG in the solid-on-solid model
• The Discrete Gaussian model, I. Renormalisation group flow at high temperature
• Random partitions under the Plancherel-Hurwitz measure, high genus Hurwitz numbers and maps
• The Discrete Gaussian model, II. Infinite-volume scaling limit at high temperature
• Geometric analysis of Ising models, Part III
• Coexistence, enhancements and short loops in random walk loop soups
• On the duality between height functions and continuous spin models
• Phase transitions for the $XY$ model in non-uniformly elliptic and Poisson-Voronoi environments
• Vector-valued Gaussian free field conditioned to avoid a ball: Entropic repulsion of the norm and Freezing of spins