Registry · Definition IV.D227 tau-effective formalized

IV.D227 — Superconductor regime

The superconductor regime is the subset of D where B-sector mobility mu_B = mu_max, theta in Z (quantized), and magnetic flux Phi_B = theta * Phi_0 with flux quantum Phi_0 = hbar_tau/(2*theta_e); it combines maximal EM-sector mobility with flux quantization.

Book IV Part 7 Ch. 52

Lean Formalization

Module: TauLib.BookIV.ManyBody.DefectFunctionalExt2

Symbol: Tau.BookIV.ManyBody.SuperconductorRegime