Registry · Remark IV.R156 tau-effective formalized

IV.R156 — Why interaction corrections matter

The interaction term I_X is not perturbative but dominant in condensed systems: in crystals it locks mobility to zero, in superconductors the I_B term produces Cooper pairing and flux quantization; the bare sum alone describes only a non-interacting gas.

Book IV Part 7 Ch. 52

Lean Formalization

Module: TauLib.BookIV.ManyBody.DefectFunctionalExt

Symbol: Tau.BookIV.ManyBody.WhyInteractionCorrectionsMatter