A linear program for testing nonclassicality and an open-source implementation

Abstract

A well motivated method for demonstrating that an experiment resists any classical explanation is to show that its statistics violate generalized noncontextuality. We here formulate this problem as a linear program and provide an open-source implementation of it which tests whether or not any given prepare-measure experiment is classically-explainable in this sense. The input to the program is simply an arbitrary set of quantum states and an arbitrary set of quantum effects; the program then determines if the Born rule statistics generated by all pairs of these can be explained by a classical (noncontextual) model. If a classical model exists, it provides an explicit model. If it does not, then it computes the minimal amount of noise that must be added such that a model does exist, and then provides this model. We generalize all these results to arbitrary generalized probabilistic theories (and accessible fragments thereof) as well; indeed, our linear program is a test of simplex-embeddability.

arXiv comment4 pages plus appendices, 4 figures and many diagrams. Comments welcome!

References in corpus (44)

• In defense of the epistemic view of quantum states: a toy theory
• Contextuality for preparations, transformations, and unsharp measurements
• Non-local correlations as an information theoretic resource
• The Bloch Vector for N-Level Systems
• Probabilistic theories with purification
• Negativity and contextuality are equivalent notions of nonclassicality
• A mathematical theory of resources
• Anomalous Weak Values Are Proofs of Contextuality
• An experimental test of noncontextuality without unwarranted idealizations
• Preparation contextuality powers parity-oblivious multiplexing
• The completeness of quantum theory for predicting measurement outcomes
• Introduction to the book "Quantum Theory: Informational Foundations and Foils"
• Quantum from principles
• Quasi-quantization: classical statistical theories with an epistemic restriction
• Reconstruction of Gaussian quantum mechanics from Liouville mechanics with an epistemic restriction
• Contextual advantage for state discrimination
• Anomalous weak values and contextuality: robustness, tightness, and imaginary parts
• General probabilistic theories: An introduction
• 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
• 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
• Why interference phenomena do not capture the essence of quantum theory
• Experimentally bounding deviations from quantum theory in the landscape of generalized probabilistic theories
• Uniqueness of noncontextual models for stabilizer subtheories
• Contextual advantage for state-dependent cloning
• Contextual advantages and certification for maximum confidence discrimination
• Robust preparation noncontextuality inequalities in the simplest scenario
• From statistical proofs of the Kochen-Specker theorem to noise-robust noncontextuality inequalities
• Characterising and bounding the set of quantum behaviours in contextuality scenarios
• Accessible fragments of generalized probabilistic theories, cone equivalence, and applications to witnessing nonclassicality
• Measurement-Device-Independent Approach to Entanglement Measures
• Deriving robust noncontextuality inequalities from algebraic proofs of the Kochen-Specker theorem: the Peres-Mermin square
• Contextuality of general probabilistic theories
• Contextuality without incompatibility
• Contextuality in entanglement-assisted one-shot classical communication
• Discriminating mirror symmetric states with restricted contextual advantage
• Monotones in General Resource Theories
• Experimentally bounding deviations from quantum theory for a photonic three-level system using theory-agnostic tomography
• Solvable Criterion for the Contextuality of any Prepare-and-Measure Scenario
• Contextuality with vanishing coherence and maximal robustness to dephasing
• Testing quantum theory by generalizing noncontextuality

Cited by in corpus (12)

• Semidefinite programming relaxations for quantum correlations
• Experimental certification of contextuality, coherence and dimension in a programmable universal photonic processor
• Kirkwood-Dirac representations beyond quantum states (and their relation to noncontextuality)
• Contextuality in anomalous heat flow
• No-broadcasting characterizes operational contextuality
• Shadows and subsystems of generalized probabilistic theories: when tomographic incompleteness is not a loophole for contextuality proofs
• Robustness of contextuality under different types of noise as quantifiers for parity-oblivious multiplexing tasks
• Constrained Measurement Incompatibility from Generalised Contextuality of Steered Preparation
• Efficient Computation of Generalized Noncontextual Polytopes and Quantum violation of their Facet Inequalities
• Theory-independent monitoring of the decoherence of a superconducting qubit with generalized contextuality
• Decoupling local classicality from classical explainability: A noncontextual model for bilocal classical theory and a locally-classical but contextual theory
• Typicality of Contextuality