Registry · Definition
IV.D233
tau-effective
formalized
IV.D233 — Superfluid regime
A tau-admissible configuration is in the superfluid regime if mu is maximal (free base-direction translation), nu = 0 except at isolated vortex cores with non-trivial winding around T^2 cycles, and kappa = 0 (incompressible bulk).