Testing quantum theory by generalizing noncontextuality

Abstract

It is a fundamental prediction of quantum theory that states of physical systems are described by complex vectors or density operators on a Hilbert space. However, many experiments admit effective descriptions in terms of other state spaces, such as classical probability distributions or quantum systems with superselection rules. Which kind of effective statistics would allow us to experimentally falsify quantum theory as a fundamental description of nature? Here, we address this question by introducing a methodological principle that generalizes Spekkens' notion of noncontextuality: processes that are statistically indistinguishable in an effective theory should not require explanation by multiple distinguishable processes in a more fundamental theory. We formulate this principle in terms of linear embeddings and simulations of one probabilistic theory by another, show how this concept subsumes standard notions of contextuality, and prove a multitude of fundamental results on the exact and approximate embedding of theories (in particular into quantum theory). We prove that only Jordan-algebraic state spaces are exactly embeddable into quantum theory, and show how results on Bell inequalities can be used for the certification of non-approximate embeddability. From this, we propose an experimental test of quantum theory by probing single physical systems without assuming access to a tomographically complete set of procedures or calibration of the devices, arguably avoiding a significant loophole of earlier approaches.

23+11 pages, 7 figures. This article supersedes arXiv:2004.06136. V3: slight change of title and terminology ("noncontextual" is now "univalent"), several clarifications added, results unchanged. Published version

References in corpus (12)

• The Confrontation between General Relativity and Experiment
• Reference frames, superselection rules, and quantum information
• Coding Theorem and Strong Converse for Quantum Channels
• Experimentally testable state-independent quantum contextuality
• Negativity and contextuality are equivalent notions of nonclassicality
• Device-independent tests of classical and quantum dimensions
• Anomalous Weak Values Are Proofs of Contextuality
• Preparation contextuality powers parity-oblivious multiplexing
• Higher-order interference and single-system postulates characterizing quantum theory
• Accessible fragments of generalized probabilistic theories, cone equivalence, and applications to witnessing nonclassicality
• Typical local measurements in generalised probabilistic theories: emergence of quantum bipartite correlations
• Incompatibility in restricted operational theories: connecting contextuality and steering

Cited by in corpus (9)

• Contextuality as a Precondition for Quantum Entanglement
• A linear program for testing nonclassicality and an open-source implementation
• No-broadcasting characterizes operational contextuality
• Generalized dynamical theories in phase space and the hydrogen atom
• Shadows and subsystems of generalized probabilistic theories: when tomographic incompleteness is not a loophole for contextuality proofs
• Theory-independent randomness generation from spatial symmetries
• Uncertainty-disturbance relations and applications
• Quantum contextuality from measurement invasiveness
• Decoupling local classicality from classical explainability: A noncontextual model for bilocal classical theory and a locally-classical but contextual theory