Registry · Definition IV.D73 tau-effective formalized

IV.D73 — Canonical Saturation State

ψ_sat = (1/√2)(χ_{1,1} + χ_{-1,-1}) = √2·cos(θ_γ + θ_η): the real-valued, σ-invariant superposition of the lowest non-trivial σ-equivariant modes.

Book IV Part 3 Ch. 20

Dependency Graph

Depends on (1)

Depended on by (2)

Lean Formalization

Module: TauLib.BookIV.QuantumMechanics.AddressObstruction

Symbol: Tau.BookIV.QuantumMechanics.CanonicalSaturationState