hexagonal lattice, which is believed to be in the same universality class as the spin O (n)
model. It has been conjectured that both the spin and the loop O (n) models exhibit
exponential decay of correlations when n> 2 n> 2. We verify this for the loop O (n) model
with large parameter n, showing that long loops are exponentially unlikely to occur,
uniformly in the edge weight x. Our proof provides further detail on the structure of typical …