Registry · Definition IV.D70 tau-effective formalized

IV.D70 — Phase Transport Witness

The phase transport witness W_ω(f) at the lemniscate crossing point ω measures the rate at which γ-address and η-address information diverge. Defined as the derivative of the difference f|_{S¹_γ} − f|_{S¹_η} at ω.

Book IV Part 3 Ch. 20

Dependency Graph

Depends on (1)

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.QuantumMechanics.AddressObstruction

Symbol: Tau.BookIV.QuantumMechanics.PhaseTransportWitness