Registry · Theorem V.T53 tau-effective formalized

V.T53 — R Formula Independence --- V.R03

The mass ratio formula R = iota_tau^(-7) - (sqrt(3) + pi^3 alpha^2) iota_tau^(-2) does not depend on kappa_n, c_1, or any parameter entering the closing identity. The exponent -7 comes from the Epstein zeta Z(4; i iota_tau), and sqrt(3) from lemniscate spectral distance.

Book V Part 2 Ch. 20

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.GravityField.ClosingIdentity

Symbol: Tau.BookV.GravityField.RFormulaIndependenceVr03