Registry · Proposition
IV.P141
tau-effective
formalized
IV.P141 — Quantized circulation
In the superfluid regime the circulation around any closed loop C on T^2 is quantized: oint v_s * dl = (2*pi*hbar_tau/m) * theta_C with theta_C in Z, where theta_C is the winding number of the boundary character around C.