Registry · Remark IV.R395 tau-effective formalized

IV.R395 — Normal Ordering from sigma-Structure

Normal mass ordering m3>m2>m1 is predicted structurally. Since iota_tau<1, larger exponent = smaller value. With r=2.8a=iota^3.7=0.019, so c>a (crossing couples more strongly than lobes). The sigma-odd eigenvalue lambda_odd=a lies between the two sigma-even eigenvalues: lambda_light < a < lambda_heavy. This forces m1p), disfavored by winding mode coupling hierarchy where crossing self-coupling exceeds lobe self-coupling.

Book IV Part 4 Ch. 32

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIV.Electroweak.NeutrinoMode

Symbol: remark_normal_ordering