Registry · Definition IV.D290 tau-effective formalized

IV.D290 — Unpolarized defect bundle

A defect bundle is unpolarized if: (i) its net electromagnetic charge is zero (Q_em = 0), (ii) its net weak isospin polarization is zero (T_3 = 0), and (iii) its chi_+ and chi_- spectral components are balanced in both the B-sector (EM) and A-sector (weak).

Book IV Part 2 Ch. 12

Lean Formalization

Module: TauLib.BookIV.Calibration.CalibrationAnchorExt

Symbol: Tau.BookIV.Calibration.UnpolarizedDefectBundle