pith. machine review for the scientific record. sign in
def definition def or abbrev

strategyImprovement

show as:
view Lean formalization →

No prose has been written for this declaration yet. The Lean source and graph data below render without it.

generate prose now

formal statement (Lean)

 234noncomputable def strategyImprovement : DecoherenceStrategy → ℝ
 235  | DecoherenceStrategy.reduceCoupling => 10
 236  | DecoherenceStrategy.reduceModes => 100
 237  | DecoherenceStrategy.errorCorrection => 1000
 238  | DecoherenceStrategy.dynamicalDecoupling => 100
 239  | DecoherenceStrategy.topologicalProtection => 1e6
 240
 241/-! ## Falsification Criteria -/
 242
 243/-- The decoherence formula would be falsified by:
 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 -/

depends on (5)

Lean names referenced from this declaration's body.