A systematic approach is presented to construct non-homogeneous two- and three-qubit Bell-type inequalities. When projector-like terms are subtracted from homogeneous two-qubit CHSH polynomial, non-homogeneous inequalities are attained and the maximal quantum mechanical violation asymptotically equals a constant with the subtracted terms becoming sufficiently large. In the case of three-qubit system, it is found that most significant three-qubit inequalities presented in literature can be recovered in our framework. We aslo discuss the behavior of such inequalities in the loophole-free Bell test and obtain corresponding thresholds of detection efficiency.
A systematic approach is presented to construct non-homogeneous two- and three-qubit Bell-type inequalities. When projector-like terms are subtracted from homogeneous two-qubit CHSH polynomial, non-homogeneous inequalities are attained and the maximal quantum mechanical violation asymptotically equals a constant with the subtracted terms becoming sufficiently large. In the case of three-qubit system, it is found that most significant three-qubit inequalities presented in literature can be recovered in our framework. We aslo discuss the behavior of such inequalities in the loophole-free Bell test and obtain corresponding thresholds of detection efficiency.
We introduce a method of investigating qutrit nonclassicality by translating qutrit operators to symmetric two-qubit operators. We show that this procedure sheds light on the discrepancy between maximal qutrit entanglement and maximal nonclassicality of qutrit correlations. Namely, we express Bell operators corresponding to qutrit Bell inequalities in terms of symmetric two-qubit operators and analyze the maximal quantum violation of a given Bell inequality from the qubit perspective. As an example we show that the two-qutrit Collins-Gisin-Linden-Massar-Popescu (CGLMP) Bell inequality can be seen as a combination of Mermin's and Clauser-Horne-Shimony-Holt CHSH) qubit Bell inequalities, and therefore the optimal state violating this combination differs from the one which corresponds to the maximally entangled state of two qutrits. In addition, we discuss the same problem for a three-qutrit inequality. We also demonstrate that the maximal quantum violation of the CGLMP inequality follows from complementarity of correlations.
Bell inequalities reveal the fundamentally nonlocal character of quantum mechanics. In this regard, one of the interesting problems is to explore all possible Bell inequalities that demonstrate a gap between local and nonlocal quantum behaviour. This is useful for the geometric characterisation of the set of nonlocal correlations achievable within quantum theory. Moreover, it provides a systematic way to construct Bell inequalities that are tailored to specific quantum information processing tasks. This characterisation is well understood in the simplest (2,2,2) scenario, namely two parties performing two binary outcome measurements. However, beyond this setting, relatively few Bell inequalities are known, and the situation becomes particularly scarce in scenarios involving a greater number of outcomes. Here, we consider the (2,2,3) scenario, or two parties performing two three-outcome measurements, and characterise all Bell inequalities that can arise from the simplest sum-of-squares decomposition and are maximally violated by the maximally entangled state of local dimension three. We then utilise them to self-test this state, along with a class of three-outcome measurements.
This work provides quantitative tests of the extent of violation of two inequalities applicable to qubits coupled into Bell states, using IBM's publicly accessible quantum computers. Violations of the inequalities are well established. Our purpose is not to test the inequalities, but rather to determine how well quantum mechanical predictions can be reproduced on quantum computers, given their current fault rates. We present results for the spin projections of two entangled qubits, along three axes A, B, and C, with a fixed angle θ between A and B and a range of angles θ' between B and C. For any classical object that can be characterized by three observables with two possible values, inequalities govern relationships among the probabilities of outcomes for the observables, taken pairwise. From set theory, these inequalities must be satisfied by all such classical objects; but quantum systems may violate the inequalities. We have detected clear-cut violations of one inequality in runs on IBM's publicly accessible quantum computers. The Clauser-Horne-Shimony-Holt (CHSH) inequality governs a linear combination S of expectation values of products of spin projections, taken pairwise. Finding S > 2 rules out local, hidden variable theories for entangled quantum systems. We obtained values of S greater than 2 in our runs prior to error mitigation. To reduce the quantitative errors, we used a modification of the error-mitigation procedure in the IBM documentation. We prepared a pair of qubits in the state |00〉, found the probabilities to observe the states |00〉, |01〉, |10〉, and |11〉 in multiple runs, and used that information to construct the first column of an error matrix M. We repeated this procedure for states prepared as |01〉, |10〉, and |11〉 to construct the full matrix M, whose inverse is the filtering matrix. After applying filtering matrices to our averaged outcomes, we have found good quantitative agreement between the quantum computer output and the quantum mechanical predictions for the extent of violation of both inequalities as functions of θ'.
Bell inequalities are an important tool in device-independent quantum information processing because their violation can serve as a certificate of relevant quantum properties. Probably the best known example of a Bell inequality is due to Clauser, Horne, Shimony and Holt (CHSH), which is defined in the simplest scenario involving two dichotomic measurements and whose all key properties are well understood. There have been many attempts to generalise the CHSH Bell inequality to higher-dimensional quantum systems, however, for most of them the maximal quantum violation---the key quantity for most device-independent applications---remains unknown. On the other hand, the constructions for which the maximal quantum violation can be computed, do not preserve the natural property of the CHSH inequality, namely, that the maximal quantum violation is achieved by the maximally entangled state and measurements corresponding to mutually unbiased bases. In this work we propose a novel family of Bell inequalities which exhibit precisely these properties, and whose maximal quantum violation can be computed analytically. In the simplest scenario it recovers the CHSH Bell inequality. These inequalities involve d measurements settings, each having d outcomes for an arbitrary prime number d ≥ 3 . We then show that in the three-outcome case our Bell inequality can be used to self-test the maximally entangled state of two-qutrits and three mutually unbiased bases at each site. Yet, we demonstrate that in the case of more outcomes, their maximal violation does not allow for self-testing in the standard sense, which motivates the definition of a new weak form of self-testing. The ability to certify high-dimensional MUBs makes these inequalities attractive from the device-independent cryptography point of view.
Maximally entangled states should maximally violate the Bell inequality. It is proved that all two-qubit states that maximally violate the Bell-Clauser-Horne-Shimony-Holt inequality are exactly Bell states and the states obtained from them by local transformations. The proof is obtained by using the certain algebraic properties that Pauli's matrices satisfy. The argument is extended to the three-qubit system. Since all states obtained by local transformations of a maximally entangled state are equally valid entangled states, we thus give the characterizations of maximally entangled states in both the two-qubit and three-qubit systems in terms of the Bell inequality.
We have determined the maximum quantum violation of 241 tight bipartite Bell inequalities with up to five two-outcome measurement settings per party by constructing the appropriate measurement operators in up to six-dimensional complex and eight-dimensional real-component Hilbert spaces using numerical optimization. Out of these inequalities 129 have been introduced here. In 43 cases higher-dimensional component spaces gave larger violation than qubits, and in three occasions the maximum was achieved with six-dimensional spaces. We have also calculated upper bounds on these Bell inequalities using a method proposed recently. For all but 20 inequalities the best solution found matched the upper bound. Surprisingly, the simplest inequality of the set examined, with only three measurement settings per party, was not among them, despite the high dimensionality of the Hilbert space considered. We also computed detection threshold efficiencies for the maximally entangled qubit pair. These could be lowered in several instances if degenerate measurements were also allowed.