Registry · Definition V.D287 tau-effective formalized

V.D287 — Stokes Parameter Decomposition on T²

Stokes I,Q,U,V decomposition on T² BH. EVPA winding w_EVPA = 2 from T96. Stokes V from Faraday conversion with toroidal B-field geometry. Conversion coefficient ρ_V ∝ n_e B_⊥² ν⁻³.

Book V Part 5 Ch. 42

Dependency Graph

Depends on (2)

V.D284 V.T96

Depended on by (2)

V.P154 V.T229

Lean Formalization

Module: TauLib.BookV.Astrophysics.EHTReread

Symbol: Tau.BookV.Astrophysics.StokesParameterSuite