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

quantumComputingImplications

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)

 184def quantumComputingImplications : List String := [

proof body

Definition body.

 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 -/

depends on (4)

Lean names referenced from this declaration's body.