Bell's seminal paper shows that some correlations in quantum theory are not reconcilable with hidden variables and the classical notion of locality. Yet, a weaker notion of locality, known as no-signalling, survives the no-go-result. Here, we study its restrictiveness by considering the full set of local quantum observables. This leads to a much larger set of no-signalling constraints than usually considered, which is enough to exclude PR-boxes and other types of super-quantum correlations. We emphasise the close connection with contextuality, in particular, we show how no-signalling arises naturally from context composition. Finally, we prove a one-to-one correspondence between quantum states and collections of (non-signalling) probability distributions over product contexts under an additional consistency condition between time arrows in subsystems.
Bell's seminal paper shows that some correlations in quantum theory are not reconcilable with hidden variables and the classical notion of locality. Yet, a weaker notion of locality, known as no-signalling, survives the no-go-result. Here, we study its restrictiveness by considering the full set of local quantum observables. This leads to a much larger set of no-signalling constraints than usually considered, which is enough to exclude PR-boxes and other types of super-quantum correlations. We emphasise the close connection with contextuality, in particular, we show how no-signalling arises naturally from context composition. Finally, we prove a one-to-one correspondence between quantum states and collections of (non-signalling) probability distributions over product contexts under an additional consistency condition between time arrows in subsystems.
Characterising quantum correlations from physical principles is a central problem in the field of quantum information theory. Entanglement breaks bounds on correlations put by Bell's theorem, thus challenging the notion of local causality as a physical principle. A natural relaxation is to study no-signalling as a constraint on joint probability distributions. It has been shown that when considered with respect to so-called locally quantum observables, bipartite non-signalling correlations never exceed their quantum counterparts; still, such correlations generally do not derive from quantum states. This leaves open the search for additional principles which identify quantum states within the larger set of (collections of) non-signalling joint probability distributions over locally quantum observables. Here, we suggest a natural generalisation of no-signalling in the form of no-disturbance to dilated systems. We prove that non-signalling joint probability distributions satisfying this extension correspond with bipartite quantum states up to a choice of time orientation in subsystems.
Characterizing quantum correlations from physical principles is a central problem in the field of quantum information theory. Entanglement breaks bounds on correlations put forth by Bell's theorem, thus challenging the notion of local causality as a physical principle. A natural relaxation is to study no-signalling as a constraint on joint probability distributions. It was shown that, when considered with respect to so-called locally quantum observables, bipartite nonsignalling correlations never exceed their quantum counterparts; still, such correlations generally do not derive from quantum states. This leaves open the search for additional principles which identify quantum states within the larger set of (collections of) nonsignalling joint probability distributions over locally quantum observables. Here, we suggest a natural generalization of no-signalling in the form of no-disturbance to dilated systems. We prove that nonsignalling joint probability distributions satisfying this extension correspond with bipartite quantum states up to a choice of time orientation in subsystems.
No-Signalling is a fundamental constraint on the probabilistic predictions made by physical theories. It is usually justified in terms of the constraints imposed by special relativity. However, this justification is not as clear-cut as is usually supposed. We shall give a different perspective on this condition by showing an equivalence between No-Signalling and Lambda Independence, or "free choice of measurements", a condition on hidden-variable theories which is needed to make no-go theorems such as Bell's theorem non-trivial. More precisely, we shall show that a probability table describing measurement outcomes is No-Signalling if and only if it can be realized by a Lambda-Independent hidden-variable theory of a particular canonical form, in which the hidden variables correspond to non-contextual deterministic predictions of measurement outcomes. The key proviso which avoids contradiction with Bell's theorem is that we consider hidden-variable theories with signed probability measures over the hidden variables - i.e. negative probabilities. Negative probabilities have often been discussed in the literature on quantum mechanics. We use a result proved previously in "The Sheaf-theoretic Structure of Locality and Contextuality" by Abramsky and Brandenburger, which shows that they give rise to, and indeed characterize, the entire class of No-Signalling behaviours. In the present paper, we put this result in a broader context, which reveals the surprising consequence that the No-Signalling condition is equivalent to the apparently completely different notion of free choice of measurements.
Locality and non-contextuality are intuitively appealing features of classical physics, which are contradicted by quantum mechanics. The goal of the classic no-go theorems by Bell, Kochen-Specker, et al. is to show that non-locality and contextuality are necessary features of any theory whose predictions agree with those of quantum mechanics. We use the mathematics of sheaf theory to analyze the structure of non-locality and contextuality in a very general setting. Starting from a simple experimental scenario, and the kind of probabilistic models familiar from discussions of Bell’s theorem, we show that there is a very direct, compelling formalization of these notions in sheaf-theoretic terms. Moreover, on the basis of this formulation, we show that the phenomena of non-locality and contextuality can be characterized precisely in terms of obstructions to the existence of global sections. We give linear algebraic methods for computing these obstructions, and use these methods to obtain a number of new insights into non-locality and contextuality. For example, we distinguish a proper hierarchy of strengths of no-go theorems, and show that three leading examples — due to Bell, Hardy, and Greenberger, Horne and Zeilinger, respectively — occupy successively higher levels of this hierarchy. We show how our abstract setting can be represented in quantum mechanics. In doing so, we uncover a strengthening of the usual no-signalling theorem, which shows that quantum mechanics obeys no-signalling for arbitrary families of commuting observables, not just those represented on different factors of a tensor product.
We use the mathematical language of sheaf theory to give a unified treatment of non-locality and contextuality, in a setting that generalizes the familiar probability tables used in non-locality theory to arbitrary measurement covers ; this includes Kochen–Specker configurations and more. We show that contextuality, and non-locality as a special case, correspond exactly to obstructions to the existence of global sections . We describe a linear algebraic approach to computing these obstructions, which allows a systematic treatment of arguments for non-locality and contextuality. We distinguish a proper hierarchy of strengths of no-go theorems, and show that three leading examples—due to Bell, Hardy and Greenberger, Horne and Zeilinger, respectively—occupy successively higher levels of this hierarchy. A general correspondence is shown between the existence of local hidden-variable realizations using negative probabilities, and no-signalling; this is based on a result showing that the linear subspaces generated by the non-contextual and no-signalling models, over an arbitrary measurement cover, coincide. Maximal non-locality is generalized to maximal contextuality, and characterized in purely qualitative terms, as the non-existence of global sections in the support. A general setting is developed for the Kochen–Specker-type results, as generic, model-independent proofs of maximal contextuality, and a new combinatorial condition is given, which generalizes the 'parity proofs' commonly found in the literature. We also show how our abstract setting can be represented in quantum mechanics. This leads to a strengthening of the usual no-signalling theorem, which shows that quantum mechanics obeys no-signalling for arbitrary families of commuting observables, not just those represented on different factors of a tensor product.
The study of quantum correlations is central to quantum information and foundations. The paradigmatic case of Bell scenarios considers product measurements implemented on a multipartite state. The more general case of contextuality scenarios--where the measurements do not have to be of product form or even on a composite system--has been studied for the case of projective measurements. While it is known that in any Bell scenario extremal indeterministic correlations (e.g., Popescu-Rohrlich or PR boxes) are unachievable quantumly, the case of general contextuality scenarios has remained open. Here we study quantum realizations of extremal correlations in arbitrary contextuality scenarios and prove that, for all such scenarios, no extremal indeterministic correlation can be achieved using projective quantum measurements, i.e., there exists no quantum state and no set of projective measurements, for any contextuality scenario, that can achieve such correlations. This no-go result follows as a corollary of a more general no-go theorem that holds when the most general set of quantum measurements (i.e., positive operator-valued measures, or POVMs) is taken into account. This general no-go theorem entails that no non-trivial quantum realization of an extremal indeterministic correlation exists, i.e., any "quantum" realization must be simulable by classical randomness. We discuss implications of this no-go theorem and the open questions it raises.