  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.
