`DecoherenceFalsifier`

definition

show as: view math explainer →

module: IndisputableMonolith.QFT.Decoherence
domain: QFT
line: 247 · github
papers citing: none yet

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.QFT.Decoherence on GitHub at line 247.

browse module

All declarations in this module, on Recognition.

explainer page

A cached Ask Recognition explainer exists for this declaration.

open explainer

formal source

 244    1. Systems with decoherence times not scaling as φ^(-N)
 245    2. Gap-45 crossover at a different mode count
 246    3. Coupling-independent decoherence -/
 247structure DecoherenceFalsifier where
 248  /-- The system being tested. -/
 249  system : String
 250  /-- Measured decoherence time. -/
 251  measured : ℝ
 252  /-- Predicted decoherence time. -/
 253  predicted : ℝ
 254  /-- Significant discrepancy. -/
 255  discrepancy : |measured - predicted| / predicted > 0.5
 256
 257end Decoherence
 258end QFT
 259end IndisputableMonolith

papers checked against this theorem

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