Abstract:The loop $O(n)$ model is a family of probability measures on collections of non-intersecting loops on the hexagonal lattice, parameterized by a loop-weight $n$ and an edge-weight $x$. Nienhuis predicts that, for $0 \leq n \leq 2$, the model exhibits two regimes separated by $x_c(n) = 1/\sqrt{2 + \sqrt{2-n}}$: when $x < x_c(n)$, the loop lengths have exponential tails, while, when $x \geq x_c(n)$, the loops are macroscopic. In this paper, we prove three results regarding the existence of long loops in the loop $O(n)$ model: - In the regime $(n,x) \in [1,1+\delta) \times (1- \delta, 1]$ with $\delta >0$ small, a configuration sampled from a translation-invariant Gibbs measure will either contain an infinite path or have infinitely many loops surrounding every face. In the subregime $n \in [1,1+\delta)$ and $x \in (1-\delta,1/\sqrt{n}]$ our results further imply Russo--Seymour--Welsh theory. This is the first proof of the existence of macroscopic loops in a positive area subset of the phase diagram. - Existence of loops whose diameter is comparable to that of a finite domain whenever $n=1, x \in (1,\sqrt{3}]$; this regime is equivalent to part of the antiferromagnetic regime of the Ising model on the triangular lattice. - Existence of non-contractible loops on a torus when $n \in [1,2], x=1$. The main ingredients of the proof are: (i) the `XOR trick': if $\omega$ is a collection of short loops and $\Gamma$ is a long loop, then the symmetric difference of $\omega$ and $\Gamma$ necessarily includes a long loop as well; (ii) a reduction of the problem of finding long loops to proving that a percolation process on an auxiliary planar graph, built using the Chayes--Machta and Edwards--Sokal geometric expansions, has no infinite connected components; and (iii) a recent result on the percolation threshold of Benjamini--Schramm limits of planar graphs.

Coexistence, enhancements and short loops in random walk loop soups

Random walk loop soups and conformal loop ensembles

Limit Theorems for Loop Soup Random Variables

Macroscopic loops in the loop O(n) model via the XOR trick

Universal behaviour of 3D loop soup models

Off-Criticality and the Massive Brownian Loop Soup

Macroscopic loops in the $3d$ double-dimer model

Spin systems from loop soups

Percolation of discrete GFF in dimension two I. Arm events in the random walk loop soup

Crossing exponent in the Brownian loop soup

Solvable models for 2+1D quantum critical points: Loop soups of 1+1D conformal field theories

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

Loop ensembles in Stochastic Series Expansion of Two-Dimensional Heisenberg Antiferromagnets

Convergence of the two-dimensional random walk loop soup clusters to CLE

Parity questions in critical planar Brownian loop-soups (or "where did the free planar bosons go?")

Random walks on random walks: non-perturbative results in high dimensions

The O(n) loop model on a three-dimensional lattice

Loop braiding statistics in exactly soluble 3D lattice models

A confined random walk locally looks like tilted random interlacements

Dynamical Loop Equation