Contextuality of Quantum Error-Correcting Codes

Abstract

Universal fault-tolerant quantum computation requires overcoming the Eastin--Knill theorem on quantum error correction (QEC) codes that protect information from noise. This is often accomplished through strategies like magic state distillation, which prepares computational resources -- namely, magic states -- whose power is rooted in quantum contextuality, a fundamental nonclassical feature generalizing Bell nonlocality. Yet, the broader role of contextuality in enabling universality, including its significance as an inherent feature of QEC codes and protocols themselves, has remained largely unexplored. In this work, we develop a rigorous framework for contextuality in QEC and prove three main results. Fundamentally, we show that subsystem stabilizer codes with two or more gauge qubits are strongly contextual in their partial closure, while others are noncontextual, establishing a clear criterion for identifying contextual codes. Mathematically, we unify Abramsky--Brandenburger's sheaf-theoretic and Kirby--Love's tree-based definitions of contextuality, resolving a conjecture of Kim and Abramsky. Practically, we prove that many widely studied code-switching protocols which admit universal transversal gate sets, such as the doubled color codes introduced by Bravyi and Cross, are necessarily strongly contextual in their partial closure. Collectively, our results establish quantum contextuality as an intrinsic characteristic of fault-tolerant quantum codes and protocols, complementing entanglement and magic as resources for scalable quantum computation. For quantum coding theorists, this provides a new invariant: contextuality classifies which subsystem stabilizer codes can participate in universal fault-tolerant protocols. These findings position contextuality not only as a foundational concept but also as a practical guide for the design and analysis of future QEC architectures.

28 pages, 6 figures; typos corrected, references added

References in corpus (55)

• Quantum Error Correction for Quantum Memories
• Quantum Resource Theories
• Topological Quantum Distillation
• Contextuality supplies the magic for quantum computation
• A simple test for hidden variables in spin-1 system
• The Resource Theory of Stabilizer Computation
• Correcting Quantum Errors with Entanglement
• Restrictions on Transversal Encoded Quantum Gate Sets
• The Sheaf-Theoretic Structure Of Non-Locality and Contextuality
• Stabilizer Formalism for Operator Quantum Error Correction
• Graph-Theoretic Approach to Quantum Correlations
• Entanglement purification and quantum error correction
• Experimental non-classicality of an indivisible quantum system
• A Unified and Generalized Approach to Quantum Error Correction
• Contextuality in Measurement-based Quantum Computation
• Kochen-Specker Contextuality
• Fault-tolerant conversion between the Steane and Reed-Muller quantum codes
• Dynamically Generated Logical Qubits
• A Fault-Tolerant Honeycomb Memory
• Enhancing Generative Models via Quantum Correlations
• Floquet codes without parent subsystem codes
• State independent contextuality advances one-way communication
• Robust self-testing of quantum systems via noncontextuality inequalities
• Contextuality without nonlocality in a superconducting quantum system
• Sustained state-independent quantum contextual correlations from a single ion
• On Optimality of CSS Codes for Transversal $T$
• Boundaries for the Honeycomb Code
• Communication games reveal preparation contextuality
• NLTS Hamiltonians from good quantum codes
• Performance of planar Floquet codes with Majorana-based qubits
• Quantum contextuality provides communication complexity advantage
• Constructions and Noise Threshold of Topological Subsystem Codes
• Benchmarking the Planar Honeycomb Code
• Contextuality Test of the Nonclassicality of Variational Quantum Eigensolvers
• Subsystem codes with high thresholds by gauge fixing and reduced qubit overhead
• Mermin inequalities for perfect correlations
• Unifying flavors of fault tolerance with the ZX calculus
• Encoding One Logical Qubit Into Six Physical Qubits
• Significant-loophole-free test of Kochen-Specker contextuality using two species of atomic-ions
• Constructions and performance of hyperbolic and semi-hyperbolic Floquet codes
• Engineering 3D Floquet codes by rewinding
• Floquetifying the Colour Code
• Contextual Subspace Variational Quantum Eigensolver
• Experimental test of contextuality in quantum and classical systems
• Fault-Tolerant Code Switching Protocols for Near-Term Quantum Processors
• Probing the limits of correlations in an indivisible quantum system
• Randomness expansion secured by quantum contextuality
• Sum-of-squares decompositions for a family of noncontextuality inequalities and self-testing of quantum devices
• Certifying sets of quantum observables with any full-rank state
• Fault-tolerant hyperbolic Floquet quantum error correcting codes
• A complete characterisation of All-versus-Nothing arguments for stabiliser states
• Dynamical Logical Qubits in the Bacon-Shor Code
• Experimental test of high-dimensional quantum contextuality based on contextuality concentration
• How much entanglement is needed for quantum error correction?
• A computational test of quantum contextuality, and even simpler proofs of quantumness