IV.P137 — Superfluid vortex quantization

In the superfluid regime every vortex core carries theta_core in Z \ {0}, and the total circulation around any loop enclosing k cores is oint nu = sum_j theta_{core,j} in Z; quantization follows from the integrality of theta on T^2.