Emergence of interlacements from the finite volume Bose soup

We show that conditioned on the (empirical) particle density exceeding the critical value, the finite volume Bose loop soup converges to the superposition of the Bosonic loop soup (on the whole space) and the Poisson point process of random interlacements. The intensity of the latter is given by the excess density above the critical point. We consider both the free case and the mean-field case.