Elegant Bell inequality is well known for its distinctive property, being maximally violated by maximal entanglement, mutually unbiased bases, and symmetric informationally complete positive operator-valued measure elements. Despite its significance in quantum information theory demonstrated based on its unique violation feature, it remains the only known one with the characteristic. We present a method to construct Bell inequalities with violation feature analogous to elegant Bell inequality in higher local dimensions from a simple, analytic quantum bound. A Bell inequality with the generalized violation feature is derived in three dimension for the first time. It exhibits larger violation than existing Bell inequalities of similar classes, including the original elegant Bell inequality, while requiring arguably small number of measurements.
Elegant Bell inequality is well known for its distinctive property, being maximally violated by maximal entanglement, mutually unbiased bases, and symmetric informationally complete positive operator-valued measure elements. Despite its significance in quantum information theory demonstrated based on its unique violation feature, it remains the only known one with the characteristic. We present a method to construct Bell inequalities with violation feature analogous to elegant Bell inequality in higher local dimensions from a simple, analytic quantum bound. A Bell inequality with the generalized violation feature is derived in three dimension for the first time. It exhibits larger violation than existing Bell inequalities of similar classes, including the original elegant Bell inequality, while requiring arguably small number of measurements.
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.
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.
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 regular polyhedra, we use the correspondence of the vertices to the measurements in the abstract Tsirelson space. We give a remarkably simple formula for the quantum violation of all the Platonic Bell inequalities, which we prove to attain the maximum possible quantum violation of the Bell inequalities, i.e. the Tsirelson bound. To construct Bell inequalities with a large number of settings, it is crucial to compute the local bound efficiently. In general, the computation time required to compute the local bound grows exponentially with the number of measurement settings. We find a method to compute the local bound exactly for any bipartite two-outcome Bell inequality, where the dependence becomes polynomial whose degree is the rank of the Bell matrix. To show that this algorithm can be used in practice, we compute the local bound of a 300-setting Platonic Bell inequality based on the halved dodecaplex. In addition, we use a diagonal modification of the original Platonic Bell matrix to increase the ratio of quantum to local bound. In this way, we obtain a four-dimensional 60-setting Platonic Bell inequality based on the halved tetraplex for which the quantum violation exceeds the 2 ratio.
Abstract In device-independent quantum information processing Bell inequalities are not only used as detectors of nonlocality, but also as certificates of relevant quantum properties. In order for these certificates to work, one very often needs Bell inequalities that are maximally violated by specific quantum states. Recently, in Salavrakos et al (2017 Phys. Rev. Lett. 119 040402) a general class of Bell inequalities, with arbitrary numbers of measurements and outcomes, has been designed, which are maximally violated by the maximally entangled states of two quantum systems of arbitrary dimension. In this work, we generalize these results to the multipartite scenario and obtain a general class of Bell inequalities maximally violated by the Greenberger–Horne–Zeilinger states of any number of parties and any local dimension. We then derive analytically their maximal quantum and nonsignaling values. We also obtain analytically the bound for detecting genuine nonlocality and compute the fully local bound for a few exemplary cases. Moreover, we consider the question of adapting this class of inequalities to partially entangled Greenberger–Horne–Zeilinger-like states for some special cases of low dimension and small number of parties. Through numerical methods, we find classes of inequalities maximally violated by these partially entangled states.
Abstract In device-independent quantum information processing Bell inequalities are not only used as detectors of nonlocality, but also as certificates of relevant quantum properties. In order for these certificates to work, one very often needs Bell inequalities that are maximally violated by specific quantum states. Recently, in Salavrakos et al (2017 Phys. Rev. Lett. 119 040402) a general class of Bell inequalities, with arbitrary numbers of measurements and outcomes, has been designed, which are maximally violated by the maximally entangled states of two quantum systems of arbitrary dimension. In this work, we generalize these results to the multipartite scenario and obtain a general class of Bell inequalities maximally violated by the Greenberger–Horne–Zeilinger states of any number of parties and any local dimension. We then derive analytically their maximal quantum and nonsignaling values. We also obtain analytically the bound for detecting genuine nonlocality and compute the fully local bound for a few exemplary cases. Moreover, we consider the question of adapting this class of inequalities to partially entangled Greenberger–Horne–Zeilinger-like states for some special cases of low dimension and small number of parties. Through numerical methods, we find classes of inequalities maximally violated by these partially entangled states.
Quantum correlations resulting in violations of Bell inequalities have generated a lot of interest in quantum information science and fundamental physics. In this paper, we address some questions that become relevant in Bell-type tests involving systems with local dimension greater than 2. For CHSH-Bell tests within 2D subspaces of such high-dimensional systems, it has been suggested that experimental violation of Tsirelson's bound indicates that more than 2D entanglement was present. We explain that the overstepping of Tsirelson's bound is due to violation of fair sampling, and can in general be reproduced by a separable state, if fair sampling is violated. For a class of Bell-type inequalities generalized to d-dimensional systems, we then consider what level of violation is required to guarantee d-dimensional entanglement of the tested state, when fair sampling is satisfied. We find that this can be used as an experimentally feasible test of d-dimensional entanglement for up to quite high values of d.