Quantum mechanics allows only certain sets of experimental results (or ``probabilistic models'') for Bell-type quantum nonlocality experiments. A derivation of this set from simple physical or information theoretic principles would represent an important step forward in our understanding of quantum mechanics, and this problem has been intensely investigated in recent years. ``Macroscopic locality,'' which requires the recovery of locality in the limit of large numbers of trials, is one of several principles discussed in the literature that place a bound on the set of quantum probabilistic models. A similar question can also be asked about probabilistic models for the more general class of quantum contextuality experiments. Here, we extend the macroscopic locality principle to this more general setting, using the hypergraph approach of Ac\'{\i}n, Fritz, Leverrier, and Sainz [Comm. Math. Phys. 334(2), 533--628 (2015)], which provides a framework to study both phenomena of nonlocality and contextuality in a unified manner. We find that the set of probabilistic models allowed by our macroscopic noncontextuality principle is equivalent to an important and previously studied set in this formalism, which is slightly larger than the quantum set. In the particular case of Bell scenarios, this set is equivalent to the set of ``almost-quantum'' models, which is of particular interest since the latter was recently shown to satisfy all but one of the principles that have been proposed to bound quantum probabilistic models, without being implied by any of them (or even their conjunction). Our condition is the first characterization of the almost-quantum set from a simple physical principle.
Quantum mechanics allows only certain sets of experimental results (or probabilistic models'') for Bell-type quantum nonlocality experiments. A derivation of this set from simple physical or information theoretic principles would represent an important step forward in our understanding of quantum mechanics, and this problem has been intensely investigated in recent years. Macroscopic locality,'' which requires the recovery of locality in the limit of large numbers of trials, is one of several principles discussed in the literature that place a bound on the set of quantum probabilistic models. A similar question can also be asked about probabilistic models for the more general class of quantum contextuality experiments. Here, we extend the macroscopic locality principle to this more general setting, using the hypergraph approach of Ac'{\i}n, Fritz, Leverrier, and Sainz [Comm. Math. Phys. 334(2), 533--628 (2015)], which provides a framework to study both phenomena of nonlocality and contextuality in a unified manner. We find that the set of probabilistic models allowed by our macroscopic noncontextuality principle is equivalent to an important and previously studied set in this formalism, which is slightly larger than the quantum set. In the particular case of Bell scenarios, this set is equivalent to the set of ``almost-quantum'' models, which is of particular interest since the latter was recently shown to satisfy all but one of the principles that have been proposed to bound quantum probabilistic models, without being implied by any of them (or even their conjunction). Our condition is the first characterization of the almost-quantum set from a simple physical principle.
So far, most of the literature on (quantum) contextuality and the Kochen–\nSpecker theorem seems either to concern particular examples of contextuality, or be\nconsidered as quantum logic. Here, we develop a general formalism for contextuality\nscenarios based on the combinatorics of hypergraphs, which significantly refines a similar\nrecent approach by Cabello, Severini and Winter (CSW). In contrast to CSW, we\nexplicitly include the normalization of probabilities, which gives us a much finer control\nover the various sets of probabilistic models like classical, quantum and generalized\nprobabilistic. In particular, our framework specializes to (quantum) nonlocality in the\ncase of Bell scenarios, which arise very naturally from a certain product of contextuality\nscenarios due to Foulis and Randall. In the spirit of CSW, we find close relationships to\nseveral graph invariants. The recently proposed Local Orthogonality principle turns out\nto be a special case of a general principle for contextuality scenarios related to the Shannon\ncapacity of graphs. Our results imply that it is strictly dominated by a low level of\nthe Navascués–Pironio–Acín hierarchy of semidefinite programs, which we also apply\nto contextuality scenarios.\nWe derive a wealth of results in our framework, many of these relating to quantum\nand supraquantum contextuality and nonlocality, and state numerous open problems.\nFor example, we show that the set of quantum models on a con
In the past century, experimental discoveries have witnessed phenomena in Nature which challenge our everyday classical intuition. In order to explain these facts, quantum theory was developed, which so far has been able to reproduce the observed results. However, I believe that our understanding of quantum mechanics can be significantly improved by the search for an operational meaning behind its mathematical formulation, which would help to identify the limitations and possibilities of the theory for information processing. An intriguing property of quantum theory is its intrinsic randomness. Indeed, Einstein, Podolsky and Rosen in 1935 questioned the completeness of quantum theory. They argued the possibility of the existence of a complete theory where variables to which we have not access determine the behaviour of physical systems, and the randomness observed in quantum mechanics is then due to our ignorance of these variables. These hidden variables theories, however, were proved not to be enough for explaining the predictions of quantum theory, as shown in the no-go theorems by Bell on quantum-nonlocality and by Kochen and Specker on quantum-contextuality. In the past decades, many experiments have corroborated the nonlocal and contextual character of Nature. However, no intuition behind these phenomena has been found, in particular about what limits their strength. In fact, special relativity alone would allow for phenomena which are more nonlocal than what quantum theory allows. Hence, much effort has been devoted to find the physical properties of quantum theory that restricts these phenomena. In this thesis, we study the constraints that arise on nonlocal and contextual phenomena when a certain exclusiveness structure compatible with quantum theory is imposed in the space of events. Here, an event denotes the situation where an outcome is obtained given that a measurement is performed on the physical system. Regarding nonlocality, we introduce a notion of orthogonality that states that events involving different outcomes of the same local measurement are exclusive, and construct constraints that the correlations among observers should satisfy. We denote this by Local Orthogonality principle (LO), which is the first intrinsically multipartite principle for bounding quantum correlations. We prove that LO identifies the supra-quantum character of some bipartite and multipartite correlations, and gets close to the quantum boundary. When studying contextuality, the same abstract event may correspond to outcomes of different measurements, which introduces a non-trivial structure in the space of events. For its study, we develop a general formalism for contextuality scenarios in the spirit of the recent approach by Cabello, Severini and Winter. In our framework, nonlocality arises as a particular case of contextuality, which allows us to study a generalization of LO. Both in nonlocality and contextuality, we find close connections to problems in combinatorics and hence use graph-theoretical tools for studying correlations. Finally, this thesis also studies the detection of nonlocal correlations. Most results on quantum nonlocality focus on few particles' experiments, while less is known about the detection of quantum nonlocality in many-body systems. Standard many-body observables involve correlations among few particles, while there is still no multipartite Bell inequality to test nonlocality merely from these data. In this thesis, we provide the first proposal for nonlocality detection in many-body systems using two-body correlations. We construct families of Bell inequalities from two-body correlators, which can detect nonlocality for systems with large number of constituents. In addition, we prove violations by systems which are relevant in nuclear and atomic physics, and show how to test these inequalities by measuring global spin components, hence opening the problem to experimental realizations.
In a Bell test, the set of observed probability distributions complying with the principle of local realism is fully characterized by Bell inequalities. Quantum theory allows for a violation of these inequalities, which is famously regarded as Bell nonlocality. However, finding the maximal degree of this violation is, in general, an undecidable problem. Consequently, no algorithm can be used to derive quantum analogs of Bell inequalities, which would characterize the set of probability distributions allowed by quantum theory. Here we present a family of inequalities, which approximate the set of quantum correlations in Bell scenarios where the number of settings or outcomes can be arbitrary. We derive these inequalities from the principle of Information Causality, and thus, we do not assume the formalism of quantum mechanics. Moreover, we identify a subspace in the correlation space for which the derived inequalities give the necessary and sufficient conditions for the principle of Macroscopic Locality. As a result, we show that in this subspace, the principle of Information Causality is strictly stronger than the principle of Macroscopic Locality.
Non-locality and contextuality are key features of quantum mechanics that distinguish it from classical physics. We aim to develop a deeper, more structural understanding of these phenomena, underpinned by robust and elegant mathematical theory with a view to providing clarity and new perspectives on conceptual and foundational issues. A general framework for logical non-locality is introduced and used to prove that 'Hardy's paradox' is complete for logical non-locality in all (2,2,l) and (2,k,2) Bell scenarios, a consequence of which is that Bell states are the only entangled two-qubit states that are not logically non-local, and that Hardy non-locality can be witnessed with certainty in a tripartite quantum system. A number of developments of the unified sheaf-theoretic approach to non-locality and contextuality are considered, including the first application of cohomology as a tool for studying the phenomena: we find cohomological witnesses corresponding to many of the classic no-go results, and completely characterise contextuality for large families of Kochen-Specker-like models. A connection with the problem of the existence of perfect matchings in k-uniform hypergraphs is explored, leading to new results on the complexity of deciding contextuality. A refinement of the sheaf-theoretic approach is found that captures partial approximations to locality/non-contextuality and can allow Bell models to be constructed from models of more general kinds which are equivalent in terms of non-locality/contextuality. Progress is made on bringing recent results on the nature of the wavefunction within the scope of the logical and sheaf-theoretic methods. Computational tools are developed for quantifying contextuality and finding generalised Bell inequalities for any measurement scenario which complement the research programme. This also leads to a proof that local ontological models with `negative probabilities' generate the no-signalling polytopes for all Bell scenarios.
We address the problem of deriving the set of quantum correlations for every Bell and Kochen-Specker (KS) contextuality scenario from simple assumptions. We show that the correlations that are possible according to quantum theory are equal to those possible under the assumptions that there is a nonempty set of correlations for every KS scenario and a statistically independent realization of any two KS experiments. The proof uses tools of the graph-theoretic approach to correlations and deals with Bell nonlocality and KS contextuality in a unified way.
We introduce a framework to describe probabilistic models in Bell experiments, and more generally in contextuality scenarios. Such a scenario is a hypergraph whose vertices represent elementary events and hyperedges correspond to measurements. A probabilistic model on such a scenario associates to each event a probability, in such a way that events in a given measurement have a total probability equal to one. We discuss the advantages of this framework, like the unification of the notions of contexuality and nonlocality, and give a short overview of results obtained elsewhere.