`typicalFidelity`

definition

show as: view math explainer →

module: IndisputableMonolith.Quantum.ZenoEffect
domain: Quantum
line: 148 · github
papers citing: none yet

open explainer

Generate a durable explainer page for this declaration.

open lean source

IndisputableMonolith.Quantum.ZenoEffect on GitHub at line 148.

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

 145
 146/-- The effect has been observed with high fidelity.
 147    State preservation >99% with ~1000 measurements per decay time. -/
 148noncomputable def typicalFidelity : ℝ := 0.99
 149
 150/-! ## Applications -/
 151
 152/-- Applications of the Zeno effect:
 153    1. Quantum state protection
 154    2. Decoherence-free subspaces (with continuous measurement)
 155    3. Quantum computing error correction
 156    4. Fundamental tests of quantum mechanics -/
 157def applications : List String := [
 158  "Protect fragile quantum states",
 159  "Suppress unwanted transitions",
 160  "Implement quantum gates",
 161  "Create decoherence-free subspaces"
 162]
 163
 164/-- **PATENT OPPORTUNITY**: Use Zeno effect for quantum memory protection. -/
 165structure ZenoProtection where
 166  /-- Target state to protect. -/
 167  target_state : String
 168  /-- Measurement rate (Hz). -/
 169  measurement_rate : ℝ
 170  /-- Expected fidelity. -/
 171  fidelity : ℝ
 172
 173/-! ## Connection to Watched Pot Paradox -/
 174
 175/-- The name comes from Zeno's paradox (Achilles and tortoise).
 176    "A watched pot never boils" is the popular version.
 177
 178    But note: the pot does eventually boil in the real world!

papers checked against this theorem

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