Registry · Definition IV.D234 tau-effective formalized

IV.D234 — Superconductor regime

A tau-admissible configuration is in the superconductor regime if B-sector mobility mu_B is maximal, topological charge theta_B in Z is quantized, and magnetic flux Phi_B = n*Phi_0 (n in Z) with flux quantum Phi_0 = h/(2e).

Book IV Part 7 Ch. 53

Lean Formalization

Module: TauLib.BookIV.ManyBody.FluidRegimes

Symbol: Tau.BookIV.ManyBody.SuperconductorRegime