Registry · Remark IV.R173 tau-effective not_applicable

IV.R173 — BCS gap as spectral gap

The BCS energy gap Delta_BCS is the B-sector spectral gap of the defect functional delta[omega]: the minimum cost of unpacking a paired defect bundle into two isolated defects with nonzero net topological charge; the BCS formula is its chart-level readout.

Book IV Part 7 Ch. 53

Lean Formalization

Module:

Symbol: