Registry · Remark IV.R277 tau-effective formalized

IV.R277 — The sqrt3

The spectral distance sqrt(3) = |1 - omega| (omega = e^{2pi i/3}) appears in three independent quantities: the mass ratio correction sqrt(3)*iota_tau^(-2), the isospin splitting delta_A/m_n approx (sqrt(3)/2)*iota_tau^6, and the gravity-EM hierarchy alpha_G ~ alpha^18 * sqrt(3).

Book IV Part 2 Ch. 13

Lean Formalization

Module: TauLib.BookIV.Calibration.DimensionalBridgeExt

Symbol: Tau.BookIV.Calibration.TheSqrt3