`predictions`

definition

show as: view math explainer →

module: IndisputableMonolith.Quantum.PageCurve
domain: Quantum
line: 189 · github
papers citing: none yet

open explainer

Generate a durable explainer page for this declaration.

open lean source

IndisputableMonolith.Quantum.PageCurve on GitHub at line 189.

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

 186    2. **Scrambling follows τ₀**: Discrete time steps
 187    3. **φ-ladder energies**: Hawking spectrum has φ-structure
 188    4. **Ledger islands**: Correspond to "islands" in island formula -/
 189def predictions : List String := [
 190  "Page curve exactly triangular (piecewise linear)",
 191  "Scrambling involves τ₀ discretization",
 192  "Hawking spectrum may have φ-modulation",
 193  "Ledger provides physical meaning of 'islands'"
 194]
 195
 196/-! ## Falsification Criteria -/
 197
 198/-- The derivation would be falsified if:
 199    1. Page curve is not observed (difficult to test!)
 200    2. Information loss is confirmed
 201    3. Ledger conservation violated -/
 202structure PageCurveFalsifier where
 203  page_curve_wrong : Prop
 204  information_lost : Prop
 205  ledger_violated : Prop
 206  falsified : page_curve_wrong ∨ information_lost → False
 207
 208end PageCurve
 209end Quantum
 210end IndisputableMonolith

papers checked against this theorem

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