Registry · Definition IV.D69 tau-effective formalized

IV.D69 — τ-Normal Form for Joint Address

A τ-normal form for joint address precision is a state ψ ∈ H_τ that simultaneously minimizes the uncertainty product U(ψ) = Δx·Δp. The infimal state of the joint-address optimization problem.

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