def
definition
quantumComputingImplications
show as:
view math explainer →
open explainer
Generate a durable explainer page for this declaration.
open lean source
IndisputableMonolith.Quantum.PointerStates on GitHub at line 184.
browse module
All declarations in this module, on Recognition.
explainer page
depends on
formal source
181 3. Fast gates compared to τ_D
182
183 RS insight: Engineering neutral windows for qubit states. -/
184def quantumComputingImplications : List String := [
185 "Shield qubits from environment (reduce interaction)",
186 "Cool to millikelvin temperatures",
187 "Use error correction to fight decoherence",
188 "Choose physical systems with long τ_D"
189]
190
191/-! ## Experimental Verifications -/
192
193/-- Pointer states have been verified in:
194 1. Ion traps: Superpositions decay to z-aligned states
195 2. SQUIDs: Flux states are pointer states
196 3. Optical: Coherent states for light
197 4. NMR: Spin-up/down for nuclear spins -/
198def experimentalEvidence : List (String × String) := [
199 ("Ion trap decoherence", "Verifies exponential decay of off-diagonal terms"),
200 ("SQUID experiments", "Shows flux superpositions decohere to classical flux"),
201 ("Cavity QED", "Coherent states emerge as pointer states"),
202 ("NMR relaxation", "T₂ time matches pointer state predictions")
203]
204
205/-! ## Falsification Criteria -/
206
207/-- The pointer state derivation would be falsified if:
208 1. Macroscopic superpositions are stable
209 2. Decoherence selects a non-predictable basis
210 3. J-cost landscape has no neutral windows -/
211structure PointerStateFalsifier where
212 stable_macro_superposition : Prop
213 unpredictable_decoherence_basis : Prop
214 no_neutral_windows : Prop