Registry · Definition IV.D59 tau-effective formalized

IV.D59 — Sharp and Spread States

Sharp state: δ ~ 1 at one address (classical limit). Spread state: δ comparable at many addresses (genuinely quantum).

Book IV Part 3 Ch. 17

Dependency Graph

Depends on (2)

IV.D57 IV.D53

Depended on by (1)

IV.P15

Lean Formalization

Module: TauLib.BookIV.QuantumMechanics.QuantumCharacters

Symbol: Tau.BookIV.QuantumMechanics.SharpAndSpreadStates