Registry · Definition IV.D107 tau-effective formalized

IV.D107 — Sector Polarity

Polarity index pol(X) measuring relative weight of chi_+ and chi_- in a sector; balanced polarity (pol=0) vs definite polarity (pol>0).

Book IV Part 4 Ch. 30

Dependency Graph

Depends on (2)

IV.D10 IV.D13

Depended on by (4)

IV.D108 IV.P52 IV.P54 IV.T39

Lean Formalization

Module: TauLib.BookIV.Electroweak.WeakChirality

Symbol: Tau.BookIV.Electroweak.SectorPolarity