Registry · Proposition IV.P223 tau-effective formalized

IV.P223 — Lobe-Power Hierarchy of Quark Exponents

Lobe exponent tracks transition type: lobes⁰=1 (input, m_t), lobes¹=2 (isospin, m_u/m_d), lobes²=4 (generation, m_s/m_b, m_t/m_b), lobes^(2·dim)=64 (full phase space, m_d/m_s). Higher lobe powers = deeper generation crossings. Direct consequence of winding transition matrix W.

Book IV Part 5 Ch. 36

Dependency Graph

Depends on (4)

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.lobe_power_hierarchy