It is well known that the set of statistics that can be observed in a Bell-type experiment is limited by quantum theory. Unfortunately, tools are missing to identify the precise boundary of this set. Here, we propose to study the set of quantum statistics from a dual perspective. By considering all Bell expressions saturated by a given realization, we show that the Clauser-Horne-Shimony-Holt expression can be decomposed in terms of extremal Tsirelson inequalities that we identify. This brings novel insight into the geometry of the quantum set in the (2,2,2) scenario. Furthermore, this allows us to identify all the Bell expressions that are able to self-test the Tsirelson realization.
It is well known that the set of statistics that can be observed in a Bell-type experiment is limited by quantum theory. Unfortunately, tools are missing to identify the precise boundary of this set. Here, we propose to study the set of quantum statistics from a dual perspective. By considering all Bell expressions saturated by a given realization, we show that the Clauser-Horne-Shimony-Holt expression can be decomposed in terms of extremal Tsirelson inequalities that we identify. This brings novel insight into the geometry of the quantum set in the (2,2,2) scenario. Furthermore, this allows us to identify all the Bell expressions that are able to self-test the Tsirelson realization.
Quantum mechanics may revolutionize many aspects of modern information processing as it promises significant advantages in several fields such as cryptography, computing, and metrology. Quantum cryptography, for instance, allows us to implement protocols which are device independent, i.e., they can be proven secure under fewer assumptions. These protocols rely on using devices producing nonlocal statistics and ideally these statistics would correspond to extremal points of the quantum set in the probability space. However, even in the Clauser-Horne-Shimony-Holt (CHSH) scenario (the simplest nontrivial Bell scenario) we do not have a full understanding of the extremal quantum points. In fact, there are only a couple of analytic families of such points. Our first contribution is to introduce two families of analytical quantum extremal points by providing solutions to two families of Bell functionals. In the second part we focus on developing an analytical criteria for extremality in the CHSH scenario. A well-known Tsirelson-Landau-Masanes criterion only applies to points with uniform marginals, but a generalization has been suggested in a sequence of works by Ishizaka. We combine these conditions into a standalone conjecture, explore their technical details, and discuss their suitability. Based on the understanding acquired, we propose a set of conditions with an elegant mathematical form and an intuitive physical interpretation. Finally, we verify that both sets of conditions give correct predictions on these families of quantum extremal points.
Quantum self-testing is the task of certifying quantum states and measurements using the output statistics solely, with minimal assumptions about the underlying quantum system. It is based on the observation that some extremal points in the set of quantum correlations can only be achieved, up to isometries, with specific states and measurements. Here, we present a new approach for quantum self-testing in Bell non-locality scenarios, motivated by the following observation: the quantum maximum of a given Bell inequality is, in general, difficult to characterize. However, it is strictly contained in an easy-to-characterize set: the \emph{theta body} of a vertex-weighted induced subgraph (G,w) of the graph in which vertices represent the events and edges join mutually exclusive events. This implies that, for the cases where the quantum maximum and the maximum within the theta body (known as the Lovász theta number) of (G,w) coincide, self-testing can be demonstrated by just proving self-testability with the theta body of G. This graph-theoretic framework allows us to (i) recover the self-testability of several quantum correlations that are known to permit self-testing (like those violating the Clauser-Horne-Shimony-Holt (CHSH) and three-party Mermin Bell inequalities for projective measurements of arbitrary rank, and chained Bell inequalities for rank-one projective measurements), (ii) prove the self-testability of quantum correlations that were not known using existing self-testing techniques (e.g., those violating the Abner Shimony Bell inequality for rank-one projective measurements). Additionally, the analysis of the chained Bell inequalities gives us a closed-form expression of the Lovász theta number for a family of well-studied graphs known as the Möbius ladders, which might be of independent interest in the community of discrete mathematics.
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.
The characterization of the extremal points of the set of quantum correlations has attracted wide interest. In the simplest bipartite Bell scenario, a necessary and sufficient criterion for identifying extremal correlations has recently been conjectured, but extremality of tripartite correlations is not well known. In this study, we analyze tripartite extremal correlations in terms of the conjectured bipartite extremal criterion, and we demonstrate that the bipartite part of some extremal correlations satisfies the bipartite criterion, even though they violate Svetlichny’s inequality, and therefore are considered (stronger) genuine tripartite nonlocal correlations. This phenomenon arises from the fact that the conjectured extremal criterion is automatically satisfied when the violation of the Clauser–Horne–Shimony–Holt (CHSH) inequality exceeds a certain threshold, the value of which is given by the maximum CHSH violation at the edges of the probability space. This also suggests the possibility that the extremality of bipartite correlations can be certified by verifying whether the CHSH violation exceeds the threshold.
Understanding the limits of quantum theory in terms of uncertainty and correlation has always been a topic of foundational interest. Surprisingly this pursuit can also bear interesting applications such as device-independent quantum cryptography and tomography or self-testing. Building upon a series of recent works on the geometry of quantum correlations, we are interested in the problem of computing quantum Bell inequalities or the boundary between quantum and post-quantum world. Better knowledge of this boundary will lead to more efficient device-independent quantum processing protocols. We show that computing quantum Bell inequalities is an instance of a quantifier elimination problem, and apply these techniques to the bipartite scenario in which each party can have three measurement settings. Due to heavy computational complexity, we are able to obtain the characterization of certain "linear" relaxation of the quantum set for this scenario. The resulting quantum Bell inequalities are shown to be equivalent to the Tsirelson-Landau-Masanes arcsin inequality, which is the only type of quantum Bell inequality found since 1987.
This thesis is the synthesis of theoretical and experimental works performed in the area of quantum foundations, particularly on quantum correlations and experimental tests of multiplicative Bell inequalities. First we begin with a comprehensive theoretical work performed on the foundations of quantum mechanics, focusing on the puzzling concepts of quantum entanglement, and hidden variable theories. Specifically, we present a broad overview of different classes of hidden variable theories such as local, crypto-nonlocal, contextual and non-local theories, along with several Bell like inequalities for these theories, providing theoretical proofs based on quantum mechanics for the falsification of some of these theories. Second we present a body of experimental, and theoretical works performed on a new class of Bell inequalities, i.e., the multiplicative Bell inequalities. We experimentally report the observation of the Bell parameters close to the Tsirelson (quantum) limit, upto a large number of measurement devices (n), and compare the results with a particular deterministic strategy. We also obtain classical bounds for some n, and report the experimental violation of these classical limits. We theoretically derive new richer bounds on the CHSH inequality (named after John Clauser, Michael Horne, Abnor Shimony and Richard Holt) and the multiplicative Bell parameter for n=2, based on the principle of ``relativistic independence'', and experimentally observe the distribution of Bell parameters as predicted by these bounds.