BKT transition for $\mathsf{Sine}_β$

Abstract: We prove the Berezinskii-Kosterlitz-Thouless (BKT) phase transition in the large-distance behaviour of the two-point correlation function of the $\mathsf{Sine}_β$ point process for all $β>0$, confirming the first term of an asymptotic expansion predicted by Forrester.