recognition / QFT / QFT.Unitarity / UnitarityFalsifier

structure

`UnitarityFalsifier`

definition

show as: view math explainer →

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

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.QFT.Unitarity on GitHub at line 200.

browse module

All declarations in this module, on Recognition.

explainer page

A cached Ask Recognition explainer exists for this declaration.

depends on

UnitarityFalsifier IndisputableMonolith.QFT.SMatrixUnitarity

used by

formal source

 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.