Registry · Remark IV.R125 tau-effective formalized

IV.R125 — Forbidden transitions

Transitions with Delta l = 0 (e.g., 2s to 1s) are "forbidden" because the winding number difference cannot be absorbed by a single photon mode; they require higher-order holonomy corrections (quadrupole or magnetic dipole), suppressed by higher powers of alpha_em corresponding to higher-order effects on T^2.

Book IV Part 6 Ch. 47

Lean Formalization

Module: TauLib.BookIV.Particles.BetaDecay

Symbol: Tau.BookIV.Particles.ForbiddenTransitions