Macroscopic loops in the Bose gas, Spin O(N) and related models

We consider a general system of interacting random loops which includes several models of interest, such as the Spin O(N) model, random lattice permutations, a version of the interacting Bose gas in discrete space and of the loop O(N) model. We consider the system in $\mathbb{Z}^d$, $d \geq 3$, and prove the occurrence of macroscopic loops whose length is proportional to the volume of the system. More precisely, we approximate $\mathbb{Z}^d$ by finite boxes and, given any two vertices whose distance is proportional to the diameter of the box, we prove that the probability of observing a loop visiting both is uniformly positive. Our results hold under general assumptions on the interaction potential, which may have bounded or unbounded support or introduce hard-core constraints.