Registry · Definition IV.D210 tau-effective formalized

IV.D210 — Macroscopic defect tuple

The macroscopic defect tuple in sector X for an N-bundle configuration C is D_X^macro(C) = sum_i D_X(d_i) + I_X(C), where I_X(C) is the interaction correction; the total is summed over all five sectors {D, A, B, C, omega}.

Book IV Part 7 Ch. 52

Lean Formalization

Module: TauLib.BookIV.ManyBody.DefectFunctionalExt

Symbol: Tau.BookIV.ManyBody.MacroscopicDefectTuple