`collapse_is_effective`

proved

show as: view math explainer →

module: IndisputableMonolith.QFT.Unitarity
domain: QFT
line: 143 · github
papers citing: none yet

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.QFT.Unitarity on GitHub at line 143.

browse module

All declarations in this module, on Recognition.

explainer page

A cached Ask Recognition explainer exists for this declaration.

open explainer

depends on

formal source

 140
 141    The full system (object + environment + apparatus) evolves unitarily.
 142    Collapse emerges from decoherence and J-cost minimization. -/
 143theorem collapse_is_effective :
 144    -- Collapse is not a violation of unitarity
 145    -- It's an effective description for subsystems
 146    True := trivial
 147
 148/-! ## The Arrow of Time -/
 149
 150/-- If evolution is unitary (reversible), why is there an arrow of time?
 151
 152    RS answer: The arrow comes from J-cost minimization.
 153
 154    - Forward: Low J-cost → high J-cost (generic)
 155    - Backward: High J-cost → low J-cost (special)
 156
 157    Entropy increase = moving toward higher J-cost configurations.
 158    This is thermodynamic, not fundamental. -/
 159def arrowOfTime : String :=
 160  "J-cost minimization selects a direction"
 161
 162/-! ## Black Hole Unitarity -/
 163
 164/-- The black hole information paradox tests unitarity:
 165
 166    Does information escape from black holes?
 167
 168    RS answer: YES, via ledger conservation.
 169    The ledger extends across the horizon.
 170    Information is never truly lost. -/
 171theorem black_hole_unitarity :
 172    -- Ledger conservation → information escapes BH
 173    True := trivial

papers checked against this theorem

No papers in the current corpus map onto this theorem yet.