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 (67)

• Efficient classical simulation of slightly entangled quantum computations
• Universal Quantum Computation with ideal Clifford gates and noisy ancillas
• Improved Simulation of Stabilizer Circuits
• Quantum Error Correction for Quantum Memories
• On the Power of One Bit of Quantum Information
• In defense of the epistemic view of quantum states: a toy theory
• Contextuality for preparations, transformations, and unsharp measurements
• Contextuality supplies the magic for quantum computation
• The Resource Theory of Stabilizer Computation
• Restrictions on Transversal Encoded Quantum Gate Sets
• Positive Wigner functions render classical simulation of quantum computation efficient
• Discrete phase space based on finite fields
• Negative Quasi-Probability as a Resource for Quantum Computation
• Entanglement and the Power of One Qubit
• Quantum computing with nearest neighbor interactions and error rates over 1%
• Stabilizer Formalism for Operator Quantum Error Correction
• Hudson's Theorem for finite-dimensional quantum systems
• Negativity and contextuality are equivalent notions of nonclassicality
• A mathematical theory of resources
• Detecting bit-flip errors in a logical qubit using stabilizer measurements
• Contextuality in Measurement-based Quantum Computation
• Anomalous Weak Values Are Proofs of Contextuality
• An experimental test of noncontextuality without unwarranted idealizations
• Preparation contextuality powers parity-oblivious multiplexing
• Computational power of correlations
• Introduction to the book "Quantum Theory: Informational Foundations and Foils"
• Quantum from principles
• Quasi-quantization: classical statistical theories with an epistemic restriction
• The completeness of quantum theory for predicting measurement outcomes
• Magic state distillation in all prime dimensions using quantum Reed-Muller codes
• Contextuality as a resource for models of quantum computation on qubits
• Wigner function negativity and contextuality in quantum computation on rebits
• Stabilizer states and Clifford operations for systems of arbitrary dimensions, and modular arithmetic
• Discrete Wigner functions and quantum computational speedup
• Contextual advantage for state discrimination
• Frame representations of quantum mechanics and the necessity of negativity in quasi-probability representations
• Contextuality and Wigner function negativity in qubit quantum computation
• Qutrit Magic State Distillation
• Anomalous weak values and contextuality: robustness, tightness, and imaginary parts
• From the Kochen-Specker theorem to noncontextuality inequalities without assuming determinism
• Certifying quantum signatures in thermodynamics and metrology via contextuality of quantum linear response
• Optimal bounds for parity-oblivious random access codes
• Equivalence between contextuality and negativity of the Wigner function for qudits
• The Characterization of Noncontextuality in the Framework of Generalized Probabilistic Theories
• State independent contextuality advances one-way communication
• All the noncontextuality inequalities for arbitrary prepare-and-measure experiments with respect to any fixed sets of operational equivalences
• Contextual advantage for state-dependent cloning
• Preparation contextuality as an essential feature underlying quantum communication advantage
• Permutation Symmetry Determines the Discrete Wigner Function
• Non-adaptive Measurement-based Quantum Computation and Multi-party Bell Inequalities
• Contextuality as a resource for measurement-based quantum computation beyond qubits
• Noise Thresholds for Higher Dimensional Systems using the Discrete Wigner Function
• Why initial system-environment correlations do not imply the failure of complete positivity: a causal perspective
• From statistical proofs of the Kochen-Specker theorem to noise-robust noncontextuality inequalities
• An Ideal Characterization of the Clifford Operators
• Unscrambling the omelette of causation and inference: The framework of causal-inferential theories
• Stabilizer notation for Spekkens' toy theory
• Beyond the Cabello-Severini-Winter framework: Making sense of contextuality without sharpness of measurements
• Contextuality and The Single-Qubit Stabilizer Formalism
• State-injection schemes of quantum computation in Spekkens' toy theory
• Spekkens' toy model in all dimensions and its relationship with stabilizer quantum mechanics
• Quantum Theory is a Quasi-stochastic Process Theory
• Contextuality beyond the Kochen-Specker theorem
• Inaccessible information in probabilistic models of quantum systems, non-contextuality inequalities and noise thresholds for contextuality
• 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 (36)

• 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
• A structure theorem for generalized-noncontextual ontological models
• Quantifying non-stabilizerness via information scrambling
• Constraints on magic state protocols from the statistical mechanics of Wigner negativity
• Kirkwood-Dirac representations beyond quantum states (and their relation to noncontextuality)
• The role of cohomology in quantum computation with magic states
• Contextuality as a Precondition for Quantum Entanglement
• A linear program for testing nonclassicality and an open-source implementation
• 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
• Hidden variable model for quantum computation with magic states on qudits of any dimension
• Constrained Measurement Incompatibility from Generalised Contextuality of Steered Preparation
• 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
• Characterization of non-adaptive Clifford channels
• Theory-independent monitoring of the decoherence of a superconducting qubit with generalized contextuality
• 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