Testing quantum theory by generalizing noncontextuality

TL;DR

This paper introduces a generalized principle of noncontextuality to test the fundamental nature of quantum theory, proposing an experimental method to distinguish quantum from alternative theories through embeddings and Bell inequality analysis.

Contribution

It generalizes Spekkens' noncontextuality to processes and develops a framework for testing quantum theory's fundamental validity via embeddings and Bell inequalities.

Findings

Only Jordan-algebraic state spaces embed exactly into quantum theory.

Bell inequalities can certify non-approximate embeddability.

Proposes an experimental test avoiding device calibration assumptions.

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.