Registry · Proposition V.P107 tau-effective formalized

V.P107 — Decoherence as address-resolution shadow

Decoherence is the VM description of address resolution in the boundary algebra. The environment is the collection of boundary characters not in the system subalgebra; tracing over it projects the joint character onto the system's sector component. The diagonal density matrix is the VM representation of the resolved address, not a physical process of information loss.

Book V Part 7 Ch. 65

Dependency Graph

Depends on (1)

Depended on by (5)

Lean Formalization

Module: TauLib.BookV.Orthodox.MeasurementUnification

Symbol: Tau.BookV.Orthodox.DecoherenceAsAddressresolutionShadow