The length distribution of vortex strings in U ( 1 ) equilibrium scalar field theory