The first part of this paper contains an introduction to Bell inequalities and Tsirelson's theorem for the non-specialist. The next part gives an explicit optimum construction for the "hard" part of Tsirelson's theorem. In the final part we describe how upper bounds on the maximal quantum violation of Bell inequalities can be obtained by an extension of Tsirelson's theorem, and survey very recent results on how exact bounds may be obtained by solving an infinite series of semidefinite programs.
Bounds on the norm of quantum operators associated with classical Bell-type inequalities can be derived from their maximal eigenvalues. This quantitative method enables detailed predictions of the maximal violations of Bell-type inequalities.
We consider three parties, A, B, and C, each performing one of two local measurements on a shared quantum state of arbitrary dimension. We characterize the trade-off between the nonlocality of the Bell correlations observed by AB and of those observed by AC. This generalizes Tsirelson's bound on the quantum value of the CHSH inequality, the latter being recovered when C is completely uncorrelated with AB. We also discuss the trade-off between Bell violations and local expectation values of observables that anticommute with the ones used in the Bell test.
We present a simple analytic bound on the quantum value of general correlation type Bell inequalities, similar to Tsirelson's bound. It is based on the maximal singular value of the coefficient matrix associated with the inequality. We provide a criterion for tightness of the bound and show that the class of inequalities where our bound is tight covers many famous examples from the literature. We describe how this bound helps to construct Bell inequalities, in particular inequalities that witness the dimension of the measured observables.
Here we show that, if we insert context dependent unitary evolutions (which can be achieved via post selection) into spatial (i.e., normal) Bell-CHSH test, then it is possible to violate space-time Bell-CHSH inequality maximally (i.e., up to $4$). However this does not contradict Tsirelson quantum bound ($2\sqrt{2}$), as the latter has been derived without taking into consideration context dependent unitary evolutions and/or post selection. As an important application, this leads to a more efficient quantum key distribution protocol.
We consider a subclass of bipartite CHSH-type Bell inequalities. We investigate operations, which leave their Tsirelson bound invariant, but change their classical bound. The optimal observables are unaffected except for a relative rotation of the two laboratories. We illustrate the utility of these operations by giving explicit examples: We prove that for a fixed quantum state and fixed measurement setup except for a relative rotation of the two laboratories, there is a Bell inequality that is maximally violated for this rotation, and we optimise some Bell inequalities with respect to the max…
Quantum theory imposes a strict limit on the strength of non-local correlations. It only allows for a violation of the CHSH inequality up to the value 2 sqrt(2), known as Tsirelson's bound. In this note, we consider generalized CHSH inequalities based on many measurement settings with two possible measurement outcomes each. We demonstrate how to prove Tsirelson bounds for any such generalized CHSH inequality using semidefinite programming. As an example, we show that for any shared entangled state and observables X_1,...,X_n and Y_1,...,Y_n with eigenvalues +/- 1 we have |<X_1 Y_1> + <X_2 Y_1>…
The Bell experiment is a random game with two binary outcomes whose statistical correlation is given by $E_0(Θ)=-\cos(Θ)$, where $Θ\in [-π, π)$ is an angular input that parameterizes the game setting. The correlation function $E_0(Θ)$ belongs to the affine space ${\cal H} \equiv \left\{E(Θ)\right\}$ of all continuous and differentiable periodic functions $E(Θ)$ that obey the parity symmetry constraints $E(-Θ)=E(Θ)$ and $E(π-Θ)=-E(Θ)$ with $E(0)=-1$ and, furthermore, are strictly monotonically increasing in the interval $[0, π)$. Here we show how to build explicitly local statistical models of …
We give strong evidence that divisibility of qubit quantum processes implies temporal Tsirelson's bound. We also give strong evidence that the classical bound of the temporal Bell's inequality holds for dynamics that can be described by entanglement-breaking channels---a more general class of dynamics than that allowed by classical physics.
We classify the extreme points of a polytope of probability distributions in the (2,2,2) CHSH-Bell setting that is induced by a single Tsirelson bound. We do the same for a class of polytopes obtained from a parametrized family of multiple Tsirelson bounds interacting non-trivially. Such constructions can be applied to device-independent random number generation using the method of probability estimation factors [Phys. Rev. A, 98:040304(R), 2018]. We demonstrate a meaningful improvement in certified randomness applying the new polytopes characterized here.
Maximal violation of the CHSH-Bell inequality is usually said to be a feature of anticommuting observables. In this work we show that even random observables exhibit near-maximal violations of the CHSH-Bell inequality. To do this, we use the tools of free probability theory to analyze the commutators of large random matrices. Along the way, we introduce the notion of "free observables" which can be thought of as infinite-dimensional operators that reproduce the statistics of random matrices as their dimension tends towards infinity. We also study the fine-grained uncertainty of a sequence of f…
Tsirelson showed that $2\sqrt{2}$ is the maximum value that CHSH expression can take for quantum-correlations [B. S.Tsirelson, Lett. Math. Phys, 4 (1980) 93]. This bound simply follows from the algebra of observables. Recently by exploiting the physical structure of quantum mechanics like unitarity and linearity, Buhrman and Massar [H. Buhrman and S.Massar, Phys. Rev. A, 72 (2005) 052103] have established that violation of Tsirelson's bound in quantum mechanics will imply signalling. We prove the same with the help of realistic joint measurement in quantum mechanics and a Bell's inequality whi…
Quantum theory introduces a cut between the observer and the observed system, but does not provide a definition of what is an observer. Based on an informational definition of observer, Grinbaum has recently predicted an upper bound on bipartite correlations in the Clauser-Horne-Shimony-Holt (CHSH) Bell scenario equal to 2.82537, which is slightly smaller than the Tsirelson bound of standard quantum theory, but is consistent with all the available experimental results. Not being able to exceed Grinbaum's limit would support that quantum theory is only an effective description of a more fundame…
Bell inequalities are important tools in contrasting classical and quantum behaviors. To date, most Bell inequalities are linear combinations of statistical correlations between remote parties. Nevertheless, finding the classical and quantum mechanical (Tsirelson) bounds for a given Bell inequality in a general scenario is a difficult task which rarely leads to closed-form solutions. Here we introduce a new class of Bell inequalities based on products of correlators that alleviate these issues. Each such Bell inequality is associated with a unique coordination game. In the simplest case, Alice…
We show that, for general probabilistic theories admitting sharp measurements, the exclusivity principle together with two assumptions exactly singles out the Tsirelson bound of the Clauser-Horne-Shimony-Holt Bell inequality.
Modular wedge localization, Majorana fields and the Tsirelson limit of the Bell-CHSH inequality
Universidade Federal Rural do Rio de Janeiro（里约热内卢联邦农村大学）；Universidade do Estado do Rio de Janeiro（里约热内卢州立大学）；Centro Brasileiro de Pesquisas Físicas（巴西物理研究中心）；ETH Zürich（苏黎世联邦理工学院）
The Bell-Clauser-Horne-Shimony-Holt inequality can be used to show that no local hidden-variable theory can reproduce the correlations predicted by quantum mechanics (QM). It can be proved that certain QM correlations lead to a violation of the classical bound established by the inequality, while all correlations, QM and classical, respect a QM bound (the Tsirelson bound). Here, we show that these well-known results depend crucially on the assumption that the values of physical magnitudes are scalars. The result implies, first, that the origin of the Tsirelson bound is geometrical, not physica…
High-fidelity polarization-entangled photons are a powerful resource for quantum communication, distributing entanglement and quantum teleportation. The Bell-CHSH inequality $S\leq2$ is violated by bipartite entanglement and only maximally entangled states can achieve $S=2\sqrt{2}$, the Tsirelson bound. Spontaneous parametric down-conversion sources can produce entangled photons with correlations close to the Tsirelson bound. Sagnac configurations offer intrinsic stability, compact footprint and high collection efficiency, however, there is often a trade off between source brightness and entan…
Two physical principles, Macroscopic Locality (ML) and Information Causality (IC), so far, have been most successful in distinguishing quantum correlations from post-quantum correlations. However, there are also some post-quantum probability distributions which cannot be distinguished with the help of these principles. Thus, it is interesting to see whether consideration of these two principles, separately, along with some additional physically plausible constraints, can explain some interesting quantum features which are otherwise hard to reproduce. In this paper we show that, in a Bell-CHSH …
To answer Wheeler's question "Why the quantum?" via quantum information theory according to Bub, one must explain both why the world is quantum rather than classical and why the world is quantum rather than superquantum, i.e., "Why the Tsirelson bound?" We show that the quantum correlations and quantum states corresponding to the Bell basis states, which uniquely produce the Tsirelson bound for the Clauser-Horne-Shimony-Holt quantity, can be derived from conservation per no preferred reference frame (NPRF). A reference frame in this context is defined by a measurement configuration, just as wi…
We consider the problem of distinguishing between a set of arbitrary quantum states in a setting in which the time available to perform the measurement is limited. We provide simple upper bounds on how well we can perform state discrimination in a given time as a function of either the average energy or the range of energies available during the measurement. We exhibit a specific strategy that nearly attains this bound. Finally, we consider several applications of our result. First, we obtain a time-dependent Tsirelson's bound that limits the extent of the Bell inequality violation that can be…
The term Bell's theorem refers to a set of closely related results which imply that quantum mechanics is incompatible with local hidden variable theories. Bell's inequality is the statement that if measurements are performed independently on two space-like separated particles of an entangled pair, the assumption that outcomes depend on hidden variables implies an upper bound on the correlations between the outcomes. Quantum mechanics predicts correlations which violate this upper bound. The CHSH inequality is a specific Bell inequality in which classical correlation (i.e. if local hidden varia…
Many typical Bell experiments can be described as follows. A source repeatedly distributes particles among two spacelike separated observers. Each of them makes a measurement, using an observable randomly chosen out of several possible ones, leading to one of two possible outcomes. After collecting a sufficient amount of data one calculates the value of a so-called Bell expression. An important question in this context is whether the result is compatible with bounds based on the assumptions of locality, realism and freedom of choice. Here we are interested in bounds on the obtained value deriv…
Bell inequalities are mathematical constructs that demarcate the boundary between quantum and classical physics. A new class of multiplicative Bell inequalities originating from a volume maximization game (based on products of correlators within bipartite systems) has been recently proposed. For these new Bell parameters, it is relatively easy to find the classical and quantum, i.e. Tsirelson, limits. Here, we experimentally test the Tsirelson bounds of these inequalities using polarisation-entangled photons for different number of measurements ($n$), each party can perform. For $n=2, 3, 4$, w…
A central question in quantum information theory and computational complexity is how powerful nonlocal strategies are in cooperative games with imperfect information, such as multi-prover interactive proof systems. This paper develops a new method for proving limits of nonlocal strategies that make use of prior entanglement among players (or, provers, in the terminology of multi-prover interactive proofs). Instead of proving the limits for usual isolated provers who initially share entanglement, this paper proves the limits for "commuting-operator provers", who share private space, but can app…
For many protocols, quantum strategies have advantages compared with their classical counter-partners, and these advantages have attracted many interests and applications. One of the famous examples is the Clauser-Horne-Shimony-Holt (CHSH) game, which recasts Bell's theorem~\cite{2} into the framework of a game. In the CHSH game, two space-like separated players, Alice and Bob are each assigned a classical bit $a$ and $b$ respectively. Then they return bits $x$ and $y$ according to some pre-agreed strategies. They will win the game when $x\oplus y= a\cdot b$. In the game, if the players use th…
The well-known Simpson's Paradox, or Yule-Simpson Effect, in statistics is often illustrated by the following thought experiment: A drug may be found in a trial to increase the survival rate for both men and women, but decrease the rate for all the subjects as a whole. This paradoxical reversal effect has been found in numerous datasets across many disciplines, and is now included in most introductory statistics textbooks. In the language of the drug trial, the effect is impossible, however, if both treatment groups' survival rates are higher than both control groups'. Here we show that for qu…
It is shown that even if the linear entropy of mixed two-qubit state is not smaller then 0.457, Bell - CHSH inequalities can be violated. This contradicts the result obtained in the paper of E. Santos [1].
In this paper we study the Platonic Bell inequalities for all possible dimensions. There are five Platonic solids in three dimensions, but there are also solids with Platonic properties (also known as regular polyhedra) in four and higher dimensions. The concept of Platonic Bell inequalities in the three-dimensional Euclidean space was introduced by Tavakoli and Gisin [Quantum 4, 293 (2020)]. For any three-dimensional Platonic solid, an arrangement of projective measurements is associated where the measurement directions point toward the vertices of the solids. For the higher dimensional regul…
We describe a new technique for obtaining Tsirelson bounds, or upper bounds on the quantum value of a Bell inequality. Since quantum correlations do not allow signaling, we obtain a Tsirelson bound by maximizing over all no-signaling probability distributions. This maximization can be cast as a linear program. In a setting where three parties, A, B, and C, share an entangled quantum state of arbitrary dimension, we: (i) bound the trade-off between AB's and AC's violation of the CHSH inequality, and (ii) demonstrate that forcing B and C to be classically correlated prevents A and B from violati…
We present a set of Bell inequalities for multiqubit quantum systems. These Bell inequalities are shown to be able to detect multiqubit entanglement better than previous Bell inequalities such as Werner-Wolf-Zukowski- Brukner ones. Computable formulas are presented for calculating the maximal violations of these Bell inequalities for any multiqubit states.
A technique, which we call homogenization, is applied to transform CH-type Bell inequalities, which contain lower order correlations, into CHSH-type Bell inequalities, which are defined for highest order correlation functions. A homogenization leads to inequalities involving more settings, that is a choice of one more observable is possible for each party. We show that this technique preserves the tightness of Bell inequalities: a homogenization of a tight CH-type Bell inequality is still a tight CHSH-type Bell inequality. As an example we obtain $3\times3\times3$ CHSH-type Bell inequalities b…
We discuss general Bell inequalities for bipartite and multipartite systems, emphasizing the connection with convex geometry on the mathematical side, and the communication aspects on the physical side. Known results on families of generalized Bell inequalities are summarized. We investigate maximal violations of Bell inequalities as well as states not violating (certain) Bell inequalities. Finally, we discuss the relation between Bell inequality violations and entanglement properties currently discussed in quantum information theory.
The famous Clauser-Horne-Shimony-Holt (CHSH) inequality certifies a quantum violation, by a factor $\sqrt{2}$, of correlations predicted by the classical view of the world in the simplest possible nontrivial measurement setup (two systems with two dichotomic measurements each). In such setting, this is the largest possible violation, which is known as the \emph{Tsirelson bound}. In this paper we calculate the exact values of quantum violations for the other Bell correlation inequalities that appear in the setups involving up to four measurements; they are all smaller than $\sqrt{2}$. While var…
As shown by Pitowsky, the Bell inequalities are related to certain classes of probabilistic inequalities dealt with by George Boole, back in the 1850s. Here a short presentation of this relationship is given. Consequently, the Bell inequalities can be obtained without any assumptions of physical nature, and merely through mathematical argument.
We derive Bell inequalities for graph states by generalizing the approach proposed by Ardehali [Phys. Rev. A 46, 5375 (1992)] for Greenberger-Horne-Zeilinger (GHZ) states. Using this method, we demonstrate that Bell inequalities with nonstabilizer observables are often superior to the optimal GHZ-Mermin-type (or stabilizer-type) Bell inequalities.
We present a prescription for obtaining Bell's inequalities for N>2 observers involving more than two alternative measurement settings. We give examples of some families of such inequalities. The inequalities are violated by certain classes of states for which all standard Bell's inequalities with two measurement settings per observer are satisfied.
We present tight Bell inequalities expressed by probabilities for three four- and five-dimensional systems. The tight structure of Bell inequalities for three $d$-dimensional systems (qudits) is proposed. Some interesting Bell inequalities of three qubits reduced from those of three qudits are also studied.
We present generic Bell inequalities for multipartite multi-dimensional systems. The inequalities that any local realistic theories must obey are violated by quantum mechanics for even-dimensional multipartite systems. A large set of variants are shown to naturally emerge from the generic Bell inequalities. We discuss particular variants of Bell inequalities, that are violated for all the systems including odd-dimensional systems.
Multipartite Bell-type inequalities are derived for general systems. They involve up to eight observables with arbitrary spectra on each site. These inequalities are closely related to the algebras of quaternions and octonions.
We overview series of multiqubit Bell's inequalities which apply to correlation functions. We present conditions that quantum states must satisfy to violate such inequalities.
We derive entropic Bell inequalities from considering entropy Venn diagrams. These entropic inequalities, akin to the Braunstein-Caves inequalities, are violated for a quantum mechanical Einstein-Podolsky-Rosen pair, which implies that the conditional entropies of Bell variables must be negative in this case. This suggests that the satisfaction of entropic Bell inequalities is equivalent to the non-negativity of conditional entropies as a necessary condition for separability.
Some temporal Bell inequalities are deduced under the assumption of realism and perfect correlation. No locality condition is needed. When the system is macroscopic, the perfect correlation assumption substitutes the noninvasive measurability hypothesis advanteousgely. The new inequalities are violated quantically. This violation is clearly more severe than the similar violation in the case of ordinary Bell inequalities. Some microscopic and macroscopic situations in which these inequalities could be tested are considered.
Since John S. Bell demonstrated the interest of studying linear combinations of probabilities in relation with the EPR paradox in 1964, Bell inequalities have lead to numerous developments. Unfortunately, the description of Bell inequalities is subject to several degeneracies, which make any exchange of information about them unnecessarily hard. Here, we analyze these degeneracies and propose a decomposition for Bell-like inequalities based on a set of reference expressions which is not affected by them. These reference expressions set a common ground for comparing Bell inequalities. We provid…
We present an analysis of the structure of Bell inequalities, mainly for the case of N qubits with two observables each. We show that these inequalities are related to Hadamard matrices and define Bell polynomials (in one variable) as an additional tool. With these aids we raise several conditions the coefficients of Bell inequalities must satisfy, and recursively generate the whole set of inequalities starting from N=1. Moreover, we prove some characteristic features of this set, such as that most of the inequalities contain all expectation values under consideration. Finally, we show how the…
Finding all Bell inequalities for a given number of parties, measurement settings, and measurement outcomes is in general a computationally hard task. We show that all Bell inequalities which are symmetric under the exchange of parties can be found by examining a symmetrized polytope which is simpler than the full Bell polytope. As an illustration of our method, we generate 238885 new Bell inequalities and 1085 new Svetlichny inequalities. We find, in particular, facet inequalities for Bell experiments involving two parties and two measurement settings that are not of the Collins-Gisin-Linden-…
Bell inequalities for position measurements are derived using the bits of the binary expansion of position-measurement results. Violations of these inequalities are obtained from the output state of the Non-degenerate Optical Parametric Amplifier.
We propose a variation of Bell inequalities for continuous variables that employs the Wigner function and Weyl symbols of operators in phase space. We present examples of Bell inequality violation which beat Cirel'son's bound.
The connection between quantum optical nonclassicality and the violation of Bell's inequalities is explored. Bell type inequalities for the electromagnetic field are formulated for general states(arbitrary number or photons, pure or mixed) of quantised radiation and their violation is connected to other nonclassical properties of the field. Classical states are shown to obey these inequalities and for the family of centered Gaussian states the direct connection between violation of Bell-type inequalities and squeezing is established.
