• Corpus ID: 248392364

An open-source linear program for testing nonclassicality

  title={An open-source linear program for testing nonclassicality},
  author={John H. Selby and Elie Wolfe and David Schmid and Ana Bel{\'e}n Sainz},
The gold standard for demonstrating that an experiment resists any classical explanation is to show that its statistics violate generalized noncontextuality. We here provide an open-source linear program for testing 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… 

Figures from this paper


Contextuality for preparations, transformations, and unsharp measurements
The Bell-Kochen-Specker theorem establishes the impossibility of a noncontextual hidden variable model of quantum theory, or equivalently, that quantum theory is contextual. In this paper, an
Deriving robust noncontextuality inequalities from algebraic proofs of the Kochen–Specker theorem: the Peres–Mermin square
When a measurement is compatible with each of two other measurements that are incompatible with one another, these define distinct contexts for the given measurement. The Kochen–Specker theorem rules
Contextuality without access to a tomographically complete set
Tests of contextuality are designed that are immune to this effect for a given number of extra measurements in the tomographically complete set, even if nothing is known about their statistics, which allows contextuality to be demonstrated with weaker assumptions.
From the Kochen-Specker theorem to noncontextuality inequalities without assuming determinism.
This work proposes a scheme for deriving inequalities that test whether a given set of experimental statistics is consistent with a noncontextual model and implies the impossibility of a non contextual model for any operational theory that can account for the experimental observations, including any successor to quantum theory.
All the noncontextuality inequalities for arbitrary prepare-and-measure experiments with respect to any fixed set of operational equivalences
These techniques provide complete methods for characterizing arbitrary noncontextuality scenarios, both in theory and in practice, and show that the space of noncontextual data tables always defines a polytope.
Solvable Criterion for the Contextuality of any Prepare-and-Measure Scenario
An operationally noncontextual ontological model of the quantum statistics associated with the prepare-and-measure scenario is constructed, covering the non-tomographically complete case with a new notion of a reduced space, which is motivated following the guiding principles of noncontextuality.
Characterization of Noncontextuality in the Framework of Generalized Probabilistic Theories
It is argued that simplex-embeddability constitutes an intuitive and freestanding notion of classicality for GPTs, which has applications to witnessing nonclassicality in prepare-measure experiments.
The stabilizer subtheory has a unique noncontextual model
It is proved 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, which is equivalent to Spekkens’ epistemically restricted toy theory and singled out as the unique noncontextual ontological model for the stabilizers.
A structure theorem for generalized-noncontextual ontological models
This paper formally extends the framework of ontological models as well as the principle of generalized noncontextuality to arbitrary compositional scenarios and proves that, under some reasonable assumptions, every generalized-noncontextual ontological model of a tomographically local operational theory has a surprisingly rigid and simple mathematical structure.
Contextual advantage for state-dependent cloning
This work derives a noise-robust noncontextuality inequality whose violation by quantum theory not only implies a quantum advantage for the task of state-dependent cloning relative to noncontextual models, but also provides an experimental witness of non contextuality.