Registry · Proposition V.P125 tau-effective formalized

V.P125 — T² Entropy = π·ι_τ × S² Entropy

For a BH with Schwarzschild radius R_S=2GM/c², the T²=(R_S·S¹)×(ι_τR_S·S¹) horizon has area A_{T²}=4π²R_S²ι_τ, giving Bekenstein-Hawking entropy S_{T²}=π·ι_τ·S_{S²}. Computed: π·ι_τ=1.07223889. The torus carries 7.2% more entropy than the sphere at the same Schwarzschild radius. Lab formula: S_{T²}/S_{S²} = (π²R_S²ι_τ/G) / (πR_S²/G) = π·ι_τ.

Book V Part 6 Ch. 52

Dependency Graph

Depends on (1)

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.Gravity.BHTopoModes

Symbol: Tau.BookV.Gravity.torus_entropy_ratio