def
definition
experimentalHistory
show as:
view math explainer →
open explainer
Read the cached plain-language explainer.
open lean source
IndisputableMonolith.Quantum.ZenoEffect on GitHub at line 139.
browse module
All declarations in this module, on Recognition.
explainer page
depends on
formal source
136 2. 2001: Fischer et al. - BEC atoms
137 3. 2006: Hosten et al. - photons
138 4. Many subsequent experiments -/
139def experimentalHistory : List String := [
140 "1977: Misra and Sudarshan name the effect",
141 "1989: Itano et al. observe in trapped ions (NIST)",
142 "2001: BEC observation",
143 "2006: Photon tunneling suppression"
144]
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 : ℝ