Registry · Definition IV.D75 tau-effective formalized

IV.D75 — Decoherence

Suppression of off-diagonal elements of the reduced density matrix due to entanglement with environmental degrees of freedom. Converts quantum superposition into classical mixture.

Book IV Part 3 Ch. 21

Dependency Graph

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.QuantumMechanics.Measurement

Symbol: Tau.BookIV.QuantumMechanics.Decoherence