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

Understand

We prove the existence of macroscopic loops in the loop O(2) model with $\frac12\leq x^2\leq 1$ or, equivalently, delocalisation of the associated integer-valued Lipschitz function on the triangular lattice.

• This settles one side of the conjecture of Fan, Domany, and Nienhuis (1970s-80s) that $x^2 = \frac12$ is the critical point.
• 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$ relying neither on integrability tools (parafermionic observables, Bethe Ansatz), nor on the Russo-Seymour-Welsh theory.