`summary`

definition

show as: view math explainer →

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

open explainer

Generate a durable explainer page for this declaration.

open lean source

IndisputableMonolith.QFT.Unitarity on GitHub at line 185.

browse module

All declarations in this module, on Recognition.

explainer page

Tracked in the explainer inventory; generation is lazy so crawlers do not trigger LLM jobs.

open explainer

depends on

formal source

 182    4. **Norm preservation → unitarity**: U†U = I
 183    5. **Unitarity → reversibility**: Evolution can be undone
 184    6. **Measurement is effective**: Collapse is not fundamental -/
 185def summary : List String := [
 186  "Ledger conservation is fundamental",
 187  "Quantum states encoded in ledger",
 188  "Conservation implies norm preservation",
 189  "Norm preservation requires unitarity",
 190  "Unitarity implies reversibility",
 191  "Collapse is effective, not fundamental"
 192]
 193
 194/-! ## Falsification Criteria -/
 195
 196/-- The derivation would be falsified if:
 197    1. Quantum evolution is found to be non-unitary
 198    2. Information is fundamentally lost
 199    3. Ledger conservation is violated -/
 200structure UnitarityFalsifier where
 201  non_unitary_observed : Prop
 202  information_lost : Prop
 203  ledger_violated : Prop
 204  falsified : non_unitary_observed ∨ information_lost → False
 205
 206end Unitarity
 207end QFT
 208end IndisputableMonolith

papers checked against this theorem

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