Registry · Theorem V.T96 tau-effective formalized

V.T96 — Polarization Winding Theorem

For a coherent instance with T^2 topology and equatorial accretion flow, the EVPA winding number w_EVPA = 2 (toroidal field) vs w_EVPA = 1 (radial field, S^2), providing a polarimetric discriminant between toroidal and spherical BH topology.

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.PolarizationWindingTheorem