Linear Program for Testing Nonclassicality and an Open-Source Implementation

John H. Selby,Elie Wolfe,David Schmid,Ana Belén Sainz,Vinicius P. Rossi
DOI: https://doi.org/10.1103/physrevlett.132.050202
IF: 8.6
2024-01-31
Physical Review Letters
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 as introduced in Schmid et al. [ PRX Quantum 2 , 010331 (2021).] and generalized in Selby et al. [ Phys. Rev. A 107 , 062203 (2023).]. https://doi.org/10.1103/PhysRevLett.132.050202 © 2024 American Physical Society
physics, multidisciplinary
What problem does this paper attempt to address?