def
definition
experiments
show as:
view math explainer →
open explainer
Read the cached plain-language explainer.
open lean source
IndisputableMonolith.Quantum.ClassicalEmergence on GitHub at line 211.
browse module
All declarations in this module, on Recognition.
explainer page
depends on
used by
-
curvature_defect_strength -
defect_site_prediction -
dama_not_dark_matter_in_rs -
substrate_model -
energy_conservation -
m_coh_positive -
equivalence_implies_ratio_one -
H_GravitationalRunning_certificate -
experimentalStatus -
quantum_requires_complex -
BellFalsifier -
loopholeFreeExperiment -
rsPredictions -
experimentalStatus -
predictions -
experiments -
experimentalTests -
possibleTests -
relativity_preserved -
experiments -
experimentalEvidence -
quadratic_from_symmetry -
shadow_diameter_correction -
deltaCP_pmns_range -
experiments -
experimentalStatus
formal source
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
231/-- Current status supports RS picture. -/
232def experimentalStatus : List EmergenceFalsifier := [
233 ⟨"Macro superpositions", "Never observed"⟩,
234 ⟨"Decoherence scaling", "Confirmed in experiments"⟩,
235 ⟨"Classical at large N", "Universal observation"⟩
236]
237
238end ClassicalEmergence
239end Quantum
240end IndisputableMonolith