Title:Delocalisation and continuity in 2D: loop O(2), six-vertex, and random-cluster models

Abstract:We prove the existence of macroscopic loops in the loop O(2) model with $\frac12 \leq x^2 \leq 1$. This implies a logarithmic delocalisation of an integer-valued Lipschitz function on the triangular lattice and settles one side of the conjecture of Fan, Domany, and Nienhuis: they predicted in the 1970s-80s that $x^2 = \frac12$ is the critical point for the localisation-delocalisation transition.
We also prove delocalisation in the six-vertex model with $0< a, b \leq c \leq a + b$. This yields a new proof of continuity of the phase transition in the random-cluster and Potts models in two dimensions, for $1 \leq q \leq 4$. We rely neither on integrability tools (parafermionic observables, Bethe Ansatz), nor on the Russo-Seymour-Welsh theory.
Our approach goes through novel graphical representations that satisfy planar duality, the joint FKG and the domain Markov properties. This enables us to use the non-coexistence theorem of Zhang and Sheffield and prove delocalisation all the way up to the critical point. In the six-vertex model, we additionally use the $\mathbb T$-circuit argument.
Finally, in the regimes $\frac12 \leq x^2 \leq 1$ and $a = b \leq c \leq a + b$, we use additional symmetries to extend existing renormalisation inequalities and establish logarithmic fluctuations of the height at a given point. This is consistent with the conjecture that the scaling limit of these height functions is the Gaussian free field.