Uniqueness of noncontextual models for stabilizer subtheories

Abstract

We give a complete characterization of the (non)classicality of all stabilizer subtheories. First, we prove that there is a unique nonnegative and diagram-preserving quasiprobability representation of the stabilizer subtheory in all odd dimensions, namely Gross's discrete Wigner function. This representation is equivalent to Spekkens' epistemically restricted toy theory, which is consequently singled out as the unique noncontextual ontological model for the stabilizer subtheory. Strikingly, the principle of noncontextuality is powerful enough (at least in this setting) to single out one particular classical realist interpretation. Our result explains the practical utility of Gross's representation by showing that (in the setting of the stabilizer subtheory) negativity in this particular representation implies generalized contextuality. Since negativity of this particular representation is a necessary resource for universal quantum computation in the state injection model, it follows that generalized contextuality is also a necessary resource for universal quantum computation in this model. In all even dimensions, we prove that there does not exist any nonnegative and diagram-preserving quasiprobability representation of the stabilizer subtheory, and, hence, that the stabilizer subtheory is contextual in all even dimensions.

References in corpus (16)

• Restrictions on Transversal Encoded Quantum Gate Sets
• Quantum computing with nearest neighbor interactions and error rates over 1%
• Negativity and contextuality are equivalent notions of nonclassicality
• Detecting bit-flip errors in a logical qubit using stabilizer measurements
• Anomalous Weak Values Are Proofs of Contextuality
• Preparation contextuality powers parity-oblivious multiplexing
• Computational power of correlations
• Magic state distillation in all prime dimensions using quantum Reed-Muller codes
• Wigner function negativity and contextuality in quantum computation on rebits
• Discrete Wigner functions and quantum computational speedup
• Frame representations of quantum mechanics and the necessity of negativity in quasi-probability representations
• Non-adaptive Measurement-based Quantum Computation and Multi-party Bell Inequalities
• Noise Thresholds for Higher Dimensional Systems using the Discrete Wigner Function
• Contextuality without access to a tomographically complete set
• A Contextual $\psi$-Epistemic Model of the $n$-Qubit Stabilizer Formalism
• Equivalence of contextuality and Wigner function negativity in continuous-variable quantum optics

Cited by in corpus (35)

• Why interference phenomena do not capture the essence of quantum theory
• Properties and Applications of the Kirkwood-Dirac Distribution
• Aspects of the phenomenology of interference that are genuinely nonclassical
• Contextuality and Wigner negativity are equivalent for continuous-variable quantum measurements
• Accessible fragments of generalized probabilistic theories, cone equivalence, and applications to witnessing nonclassicality
• Contextuality without incompatibility
• Constraints on magic state protocols from the statistical mechanics of Wigner negativity
• Quantifying non-stabilizerness via information scrambling
• Kirkwood-Dirac representations beyond quantum states (and their relation to noncontextuality)
• The role of cohomology in quantum computation with magic states
• A linear program for testing nonclassicality and an open-source implementation
• Contextuality as a Precondition for Quantum Entanglement
• Contextuality with vanishing coherence and maximal robustness to dephasing
• A review and reformulation of macroscopic realism: resolving its deficiencies using the framework of generalized probabilistic theories
• Contextuality in composite systems: the role of entanglement in the Kochen-Specker theorem
• Harnessing quantumness of states using discrete Wigner functions under (non)-Markovian quantum channels
• Contextuality in anomalous heat flow
• A classical formulation of quantum theory?
• Shadows and subsystems of generalized probabilistic theories: when tomographic incompleteness is not a loophole for contextuality proofs
• Certifying nonstabilizerness in quantum processors
• Constrained Measurement Incompatibility from Generalised Contextuality of Steered Preparation
• Hidden variable model for quantum computation with magic states on qudits of any dimension
• Robustness of contextuality under different types of noise as quantifiers for parity-oblivious multiplexing tasks
• Polytopes of Absolutely Wigner Bounded Spin States
• Minimizing the negativity of quantum circuits in overcomplete quasiprobability representations
• Efficient Computation of Generalized Noncontextual Polytopes and Quantum violation of their Facet Inequalities
• Stellar representation of extremal Wigner-negative spin states
• Harvesting Contextuality from the Vacuum
• Theory-independent monitoring of the decoherence of a superconducting qubit with generalized contextuality
• Characterization of non-adaptive Clifford channels
• Failure of epistemic models to explain the antidistinguishability of quantum mixed preparations
• General entropic constraints on CSS codes within magic distillation protocols
• Contextuality from the vacuum
• Typicality of Contextuality
• Decoupling local classicality from classical explainability: A noncontextual model for bilocal classical theory and a locally-classical but contextual theory