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.
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.
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 device-independent quantum information, correlations between local measurement outcomes observed by spatially separated parties in a Bell test play a fundamental role. Even though it is long-known that the set of correlations allowed in quantum theory lies strictly between the Bell-local set and the no-signaling set, many questions concerning the geometry of the quantum set remain unanswered. Here, we revisit the problem of when the boundary of the quantum set coincides with the no-signaling set in the simplest Bell scenario. In particular, for each Class of these common boundaries containing k zero probabilities, we provide a (5−k) -parameter family of quantum strategies realizing these (extremal) correlations. We further prove that self-testing is possible in all nontrivial Classes beyond the known examples of Hardy-type correlations, and provide numerical evidence supporting the robustness of these self-testing results. Candidates of one-parameter families of self-testing correlations from some of these Classes are identified. As a byproduct of our investigation, if the qubit strategies leading to an extremal nonlocal correlation are local-unitarily equivalent, a self-testing statement provably follows. Interestingly, all these self-testing correlations found on the no-signaling boundary are provably non-exposed. An analogous characterization for the set M of quantum correlations arising from finite-dimensional maximally entangled states is also provided. En route to establishing this last result, we show that all correlations of M in the simplest Bell scenario are attainable as convex combinations of those achievable using a Bell pair and projective measurements. In turn, we obtain the maximal Clauser-Horne-Shimony-Holt Bell inequality violation by any maximally entangled two-qudit state and a no-go theorem regarding the self-testing of such states.
Determining the conditions under which positive operator-valued measures (POVMs), the most general class of quantum measurements, outperform projective measurements remains a challenging and largely unresolved problem. Of particular interest are projectively simulable POVMs, which can be realized through probabilistic mixtures of projective measurements, and therefore offer no advantage over projective schemes. Characterizing the boundary between simulable and non-simulable POVMs is, however, a difficult task, and existing tools either fail to scale efficiently, provide limited experimental feasibility or work only for specific POVMs. Here, we introduce and demonstrate a general method to certify non-simulability of a POVM by introducing a complete hierarchy of semidefinite programs. It provides upper bounds on the non-simulability measure of critical visibility of arbitrary POVMs which are tight in many cases and outperform previously known criteria. We experimentally certify the non-simulability of two- and three-dimensional POVMs using a trapped-ion qudit quantum processor by constructing non-simulability witnesses and introduce a modification of our framework that makes them robust against state preparation errors. Finally, we extend our results to the setting where an additional ancilla system is available.
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.
The unpredictability of quantum physics gives rise to intrinsic randomness. In an adversarial scenario, any additional degrees of freedom must be attributed to an eavesdropper with correlations to the measurement set-up. The true randomness is then quantified by the probability that she correctly guesses the measurement outcomes, optimised over all possible strategies. Extremal measurements are appealing here, since they do not allow information to leak to such an eavesdropper. Beyond projective measurements, however, a simple question remains open: how much intrinsic randomness can be generated by a given extremal measurement? In a step towards solving it, we characterise the randomness generated by any unbiased extremal rank-one measurement acting on any state, solving the problem explicitly in dimension two. Four-outcome qubit measurements of this type are tomographic, so these results hold for fully source-device-dependent randomness too. The tetrahedral symmetric informationally complete (SIC) measurement, we find, has the least intrinsic randomness within this class. We also present the skewed SIC family of measurements, and use them to partially solve an open problem: we prove that 2logd bits of randomness, the maximal amount, can be generated device-dependently (or source-device-independently) in any dimension in which there exists a SIC measurement.
Bell nonlocality places the long-standing philosophical disputes over the nature of quantum theory on a mathematically rigorous, experimentally testable footing, positioning quantum mechanics between local realism and the most general no-signaling theories. Yet the precise quantum boundary has remained elusive even in the minimal Bell scenario, where the extreme points generating the set are known. Here we characterize this boundary through a computable necessary and sufficient criterion: a correlation is quantum if and only if it can be decomposed into an extreme quantum correlation and a classical correlation. The criterion follows from our proof that every Bell functional exhibiting quantum advantage admits a unique quantum maximizer. We further classify the finitely many maximal-face structures containing each nonlocal exposed point according to their local deterministic vertices. By sharply distinguishing physically realizable correlations from nonphysical ones, these results resolve a long-standing open problem and provide a new foundation for identifying the principles underlying quantum theory and determining the ultimate information-theoretic limits of quantum correlations.