Registry · Proposition IV.P29 tau-effective formalized

IV.P29 — Energy-Localization Bound

E[ψ] ≥ E_vac + ℏ_τ²/(2(Δx)²): tighter position localization demands higher energy. Address maintenance cost increases with address precision.

Book IV Part 3 Ch. 22

Dependency Graph

Depends on (3)

IV.D76 IV.D68 IV.D13

Lean Formalization

Module: TauLib.BookIV.QuantumMechanics.EnergyEntropy

Symbol: Tau.BookIV.QuantumMechanics.EnergylocalizationBound