Registry · Remark V.R06 tau-effective not_applicable

V.R06 — The exponent pattern

The exponents of iota_tau in the three flagship formulas -- G ~ iota_tau^2, S_BH ~ iota_tau^(-2), R ~ iota_tau^(-7) -- are not free parameters but are determined by the Epstein zeta function Z(s; i*iota_tau) evaluated at s=4, whose leading behavior is iota_tau^(-7) via the Chowla-Selberg decomposition.

Book V Part 0 Ch. 1

Dependency Graph

Depends on (2)

Lean Formalization

Module: