Registry · Proposition IV.P174 tau-effective formalized

IV.P174 — Polarity-switching requires balanced polarity

If pol(X) > 0 the polarity-switching amplitude is exponentially suppressed by exp(-pol(X)/iota_tau) from the spectral gap between chi_+ and chi_- eigenvalues; for pol(A) = 0 alone, the gap vanishes and the off-diagonal amplitude is set by the sector coupling, enabling unsuppressed transitions.

Book IV Part 4 Ch. 30

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.Electroweak.WeakChirality2

Symbol: Tau.BookIV.Electroweak.PolarityswitchingRequiresBalancedPolarity