Registry · Theorem
IV.T23
tau-effective
formalized
IV.T23 — No-Joint-Minimum Theorem
No state ψ ∈ H_τ achieves U(ψ) = 0. For all normalized ψ: Δx·Δp ≥ ℏ_τ/2. The γ- and η-address lattices are CR-coupled, and no single τ-normal form minimizes uncertainty in both simultaneously.
Book IV
Part 3
Ch. 20