(A) Bell's theorem rests on a conjunction of three assumptions: realism, locality and ``free will''. A discussion of these assumptions will be presented. It will be also shown that, if one adds to the assumptions the principle or rotational symmetry of physical laws, a stronger version of the theorem emerges. (B) A link between Bell's theorem and communication complexity problems will be presented. This also includes experimental realizations, which surprisingly do not involve entanglement. (C) A new sufficient and necessary criterion for entanglement of general (mixed) states is be presented. It is derived using the same geometric starting point as the inclusion of the symmetry in (A). The set of entanglement identifiers (EI's) emerging via this method contains entanglement witnesses (EW's), but they form only a subset of all EI's. Thus the method is more powerful than the one based on EW's.
(A) Bell's theorem rests on a conjunction of three assumptions: realism, locality and ``free will''. A discussion of these assumptions will be presented. It will be also shown that, if one adds to the assumptions the principle or rotational symmetry of physical laws, a stronger version of the theorem emerges. (B) A link between Bell's theorem and communication complexity problems will be presented. This also includes experimental realizations, which surprisingly do not involve entanglement. (C) A new sufficient and necessary criterion for entanglement of general (mixed) states is be presented. It is derived using the same geometric starting point as the inclusion of the symmetry in (A). The set of entanglement identifiers (EI's) emerging via this method contains entanglement witnesses (EW's), but they form only a subset of all EI's. Thus the method is more powerful than the one based on EW's.
Abstract. (A) Bell’s theorem rests on a conjunction of three assumptions: realism, locality and “free will”. A discussion of these assumptions will be presented. It will be also shown that, if one adds to the assumptions the principle or rotational symmetry of physical laws, a stronger version of the theorem emerges. (B) A link between Bell’s theorem and communication complexity problems will be presented. This also includes experimental realizations, which surprisingly do not involve entanglement. (C) A new sufficient and necessary criterion for entanglement of general (mixed) states will be presented. It is derived using the same geometric starting point as the inclusion of the symmetry in (A). The set of entanglement identifiers (EI’s) emerging via this method contains entanglement witnesses (EW’s), but they form only a subset of all EI’s. Thus the method is more powerful than the one based on EW’s.
In the first part of this thesis Bell's theorem is revisited. It points at a difference between the quantum and the classical world. This difference is often behind the advantages of solutions using quantum mechanics. New and more general versions of Bell inequalities are presented. These inequalities involve multiple settings per observer. Compared with the two-setting inequalities, the new ones reveal the non-classical character of a broader class of states. Some of them are also proven to be optimal (tight). Next, we go beyond Bell's theorem. It is shown, both in theory and in experiment, that incompatibility between quantum mechanics and realistic theories can be extended into an important class of nonlocal models. We also show that the violation of Bell inequalities disqualifies local realistic models with a limited lack of the experimenter's freedom. This, at first glance quite philosophical result, has its down-to-earth implications for quantum communication. In the second part of the thesis well-known examples of quantum communication are reviewed. Next, new results concerning quantum cryptography and quantum communication complexity are given.
The Bell theorem can take the form of several inequalities, as we have seen in §4.2. Moreover, since it was discovered, the theorem has stimulated the discovery of several other mathematical contradictions between the predictions of quantum mechanics and those of local realism. We review a few of them in this chapter: GHZ contradictions (§5.1) and their generalization (§5.2), Cabello's inequality (§5.3), and Hardy's impossibilities (§5.4). Finally, in §5.5, we discuss the notion of contextuality and introduce the BKS theorem. GHZ contradiction For many years, everyone thought that Bell had basically exhausted the subject by considering all really interesting situations, and that two-spin systems provided the most spectacular quantum violations of local realism. It therefore came as a surprise to many when in 1989 Greenberger, Horne, and Zeilinger (GHZ) showed that systems containing more than two correlated particles may actually exhibit even more dramatic violations of local realism [188, 189]. They involve a sign contradiction (100% violation) for perfect correlations, while the BCHSH inequalities are violated by about 40% (Cirelson bound) and deal with situations where the results of measurements are not completely correlated. In this section, we discuss three-particle systems, but generalizations to N particles are possible (§5.2). Derivation GHZ contradictions may occur in various systems, not necessarily involving spins. Initially, they were introduced in the context of entanglement swapping (§6.3.2) for four particles [188] or entanglement of three spinless particles [189].
We review a series of recent no-go theorems that extend the methodological and conceptual framework introduced by Bell's theorem to more sophisticated operational scenarios involving independent sources, quantum networks, joint measurements, and multiple observers. Many of these results were originally developed within quantum information science and are scattered across the literature, where their technical and application-driven success has partly obscured their broader foundational significance. We organize them around a common Bell-inspired methodology that extends beyond quantum nonlocality, and emphasize how increasingly rich operational structures change which physical assumptions can be tested.
Introduction Since its inception, fifty years ago, Bell's theorem has had a long history not only of experimental tests but also of theoretical developments. Studying pairs of correlated quantummechanical particles separated in space, in a composite “entangled” state, Bell [1] showed that the joint ascription of hidden variables and locality to the system led to an inequality that is violated by the predictions of quantum mechanics. Fifteen years later, experiments confirmed the predictions of quantum mechanics, ruling out a large class of local realist theories. One of the most meaningful theoretical developments that followed Bell's work was the Greenberger–Horne–Zeilinger (GHZ) theorem, also known as Bell's theorem without inequalities. In 1989, the American physicists Daniel Greenberger and Michael Horne, who had been working on Bell's theorem since the late 1960s, together with the Austrian physicist Anton Zeilinger, introduced a novelty into the testing of entanglement, extending Bell's theorem in a different and interesting direction. According to Franck Laloë [2], For many years, everyone thought that Bell had basically exhausted the subject by considering all really interesting situations, and that two-spin systems provided the most spectacular quantum violations of local realism. It therefore came as a surprise to many when in 1989 Greenberger, Horne, and Zeilinger (GHZ) showed that systems containing more than two correlated particles may actually exhibit even more dramatic violations of local realism. The trio analyzed the Einstein, Podolsky, and Rosen 1935 argument once again and were able to write what are now called Greenberger–Horne–Zeilinger (GHZ) entangled states, involving three or four correlated spin-1/2 particles, leading to conflicts between local realist theories and quantum mechanics. However, unlike Bell's theorem, the conflict now was not of a statistical nature, as was the case with Bell's theorem, insofar as measurements on a single GHZ state could lead to conflicting predictions with local realistic models [3–5]. In this paper we present the history of the creation of this theorem and analyze its scope.