Registry · Definition IV.D313 tau-effective formalized

IV.D313 — Spectral distance sqrt3

The spectral distance between adjacent objects on the lemniscate three-fold is d_spec = |1 - omega| = |1 - e^{2pi i/3}| = sqrt(3), where omega is a primitive cube root of unity; this distance governs the surface correction to the mass ratio.

Book IV Part 3 Ch. 23

Lean Formalization

Module: TauLib.BookIV.MassDerivation.BreathingModes

Symbol: Tau.BookIV.MassDerivation.SpectralDistanceSqrt3