Registry · Proposition V.P83 tau-effective formalized

V.P83 — Photon Subring Spacing

Photon subring angular separations decrease geometrically: theta_{n+1}/theta_n = exp(-gamma_Lyap), with gamma_Lyap ~ pi for S^2 and pi(1+delta_tau) for T^2 topology, giving ~6% relative difference in subring spacing between the two topologies.

Book V Part 5 Ch. 42

Dependency Graph

Depends on (2)

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.Astrophysics.EHTReread

Symbol: Tau.BookV.Astrophysics.PhotonSubringSpacing