To make precise the sense in which nature fails to respect classical physics, one requires a formal notion of classicality. Ideally, such a notion should be defined operationally, so that it can be subject to direct experimental test, and it should be applicable in a wide variety of experimental scenarios so that it can cover the breadth of phenomena thought to defy classical understanding. Bell's notion of local causality fulfils the first criterion but not the second. The notion of noncontextuality fulfils the second criterion, but it is a long-standing question whether it can be made to fulfil the first. Previous attempts to test noncontextuality have all assumed idealizations that real experiments cannot achieve, namely noiseless measurements and exact operational equivalences. Here we show how to devise tests that are free of these idealizations. We perform a photonic implementation of one such test, ruling out noncontextual models with high confidence.

The Kochen-Specker theorem demonstrates that it is not possible to reproduce the predictions of quantum theory in terms of a hidden variable model where the hidden variables assign a value to every projector deterministically and noncontextually. A noncontextual value-assignment to a projector is one that does not depend on which other projectors-the context-are measured together with it. Using a generalization of the notion of noncontextuality that applies to both measurements and preparations, we propose a scheme for deriving inequalities that test whether a given set of experimental statistics is consistent with a noncontextual model. Unlike previous inequalities inspired by the Kochen-Specker theorem, we do not assume that the value-assignments are deterministic and therefore in the face of a violation of our inequality, the possibility of salvaging noncontextuality by abandoning determinism is no longer an option. Our approach is operational in the sense that it does not presume quantum theory: a violation of our inequality implies the impossibility of a noncontextual model for any operational theory that can account for the experimental observations, including any successor to quantum theory. Although measurements in quantum theory cannot, in general, be implemented simultaneously, one can still ask whether the outcomes of such incompatible measurements might be simultaneously well-defined within some deeper theory. To formalize this deeper theory we use the framework of ontological models [1] which generalizes the notion of a hidden variable model. Contrary to naïve impressions, it is possible to find models of this sort that reproduce quantum predictions. Problems only arise if one makes additional assumptions about the model. The Kochen-Specker theorem [2] famously derives a contradiction from an assumption we term KSnoncontextuality. Consider a set of quantum measurements, each represented by an orthonormal basis, such that some rays are common to more than one basis. It is assumed that every ontic state-a complete specification of the properties of the system, including values of hidden variables-assigns a definite value to each ray, 0 or 1, regardless of the basis (i.e. context) in which the ray appears. If a ray is assigned the value 1 (0) by an ontic state λ, the measurement outcome associated with that ray is predicted to occur with probability 1 (0) when any measurement including the ray is implemented on the system in ontic state λ. It follows that for every basis, precisely one ray must be assigned the value 1 and the others the value 0.The assumption that the ontic state assigns a deterministic outcome to each measurement is the greatest shortcoming of the Kochen-Specker theorem. Recall that determinism is not an assumption of Bell's theorem [3, 4]. This is evident from derivations of the Clauser-HorneShimony-Holt inequality [5]. Even in Bell's original 1964 article [3], where deterministic assignments play an important role, determinism is not assumed but rather derived from local causality a...

In many a traditional physics textbook, a quantum measurement is defined as a projective measurement represented by a Hermitian operator. In quantum information theory, however, the concept of a measurement is dealt with in complete generality and we are therefore forced to confront the more general notion of positive-operator valued measures (POVMs) which suffice to describe all measurements that can be implemented in quantum experiments. We study the (in)compatibility of such POVMs and show that quantum theory realizes all possible (in)compatibility relations among sets of POVMs. This is in contrast to the restricted case of projective measurements for which commutativity is essentially equivalent to compatibility. Our result therefore points out a fundamental feature with respect to the (in)compatibility of quantum observables that has no analog in the case of projective measurements.

We take a resource-theoretic approach to the problem of quantifying nonclassicality in Bell scenarios. The resources are conceptualized as probabilistic processes from the setting variables to the outcome variables having a particular causal structure, namely, one wherein the wings are only connected by a common cause. We term them "common-cause boxes". We define the distinction between classical and nonclassical resources in terms of whether or not a classical causal model can explain the correlations. One can then quantify the relative nonclassicality of resources by considering their interconvertibility relative to the set of operations that can be implemented using a classical common cause (which correspond to local operations and shared randomness). We prove that the set of free operations forms a polytope, which in turn allows us to derive an efficient algorithm for deciding whether one resource can be converted to another. We moreover define two distinct monotones with simple closed-form expressions in the two-party binary-setting binary-outcome scenario, and use these to reveal various properties of the pre-order of resources, including a lower bound on the cardinality of any complete set of monotones. In particular, we show that the information contained in the degrees of violation of facet-defining Bell inequalities is not sufficient for quantifying nonclassicality, even though it is sufficient for witnessing nonclassicality. Finally, we show that the continuous set of convexly extremal quantumly realizable correlations are all at the top of the pre-order of quantumly realizable correlations. In addition to providing new insights on Bell nonclassicality, our work also sets the stage for quantifying nonclassicality in more general causal networks.

No abstract