Registry · Definition IV.D316 tau-effective formalized

IV.D316 — Mass Ratio Bulk Term --- IV.D46

The mass ratio bulk term R_bulk = iota_tau^{-7} represents the leading-order breathing amplitude ratio of bulk modes (neutron) to surface modes (electron) on T^2 with shape ratio iota_tau; the exponent 7 arises from the Chowla-Selberg decomposition of the Epstein zeta at s = 4.

Book IV Part 3 Ch. 25

Lean Formalization

Module: TauLib.BookIV.MassDerivation.ElectronMass

Symbol: Tau.BookIV.MassDerivation.MassRatioBulkTermIvd46