`predictions`

definition

show as: view math explainer →

module: IndisputableMonolith.Quantum.ClassicalEmergence
domain: Quantum
line: 200 · github
papers citing: none yet

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.Quantum.ClassicalEmergence 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.

open explainer

depends on

formal source

 197    2. Pointer states are J-cost minima ✓
 198    3. Classical mechanics is the large-N limit ✓
 199    4. Specific decoherence timescales for mesoscopic systems -/
 200def predictions : List String := [
 201  "τ_D ~ 1/N for system size N",
 202  "Pointer states minimize J-cost",
 203  "Classical = coarse-grained quantum",
 204  "Testable in mesoscopic experiments"
 205]
 206
 207/-- Experimental tests:
 208    1. Fullerene interference (C₆₀) - shows quantum at large N ✓
 209    2. LIGO mirrors - quantum limited at 40 kg ✓
 210    3. Optomechanics - cooling macroscopic objects ✓ -/
 211def experiments : List String := [
 212  "Fullerene interference (Zeilinger)",
 213  "LIGO mirrors (quantum noise limited)",
 214  "Optomechanical cooling",
 215  "Quantum gases in traps"
 216]
 217
 218/-! ## Falsification Criteria -/
 219
 220/-- The classical emergence derivation would be falsified by:
 221    1. Macroscopic quantum superpositions persisting
 222    2. Decoherence not depending on system size
 223    3. Pointer states not being J-cost minima
 224    4. Classical physics failing at large N -/
 225structure EmergenceFalsifier where
 226  /-- Type of potential falsification. -/
 227  falsifier : String
 228  /-- Status. -/
 229  status : String
 230

papers checked against this theorem

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