`QECFalsifier`

definition

show as: view math explainer →

module: IndisputableMonolith.Information.QuantumErrorCorrection
domain: Information
line: 247 · github
papers citing: none yet

open explainer

Generate a durable explainer page for this declaration.

open lean source

IndisputableMonolith.Information.QuantumErrorCorrection on GitHub at line 247.

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

formal source

 244    1. QEC doesn't relate to 8-tick structure
 245    2. Error thresholds have no τ₀ connection
 246    3. 8-tick codes perform worse than random -/
 247structure QECFalsifier where
 248  no_8tick_connection : Prop
 249  no_tau0_threshold : Prop
 250  codes_perform_poorly : Prop
 251  falsified : no_8tick_connection ∧ no_tau0_threshold → False
 252
 253end QuantumErrorCorrection
 254end Information
 255end IndisputableMonolith

papers checked against this theorem

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