Detection and quantification of entanglement in quantum resources are two key steps in the implementation of various quantum-information processing tasks. Here, we show that Bell-type inequalities are not only useful in verifying the presence of entanglement but can also be used to bound the entanglement of the underlying physical system. Our main tool consists of a family of Clauser-Horne-like Bell inequalities that cannot be violated maximally by any finite-dimensional maximally entangled state. Using these inequalities, we demonstrate the explicit construction of both lower and upper bounds on the concurrence for two-qubit states. The fact that these bounds arise from Bell-type inequalities also allows them to be obtained in a semi-device-independent manner, that is, with assumption of the dimension of the Hilbert space but without resorting to any knowledge of the actual measurements being performed on the individual subsystems.
Detection and quantification of entanglement in quantum resources are two key steps in the implementation of various quantum-information processing tasks. Here, we show that Bell-type inequalities are not only useful in verifying the presence of entanglement but can also be used to bound the entanglement of the underlying physical system. Our main tool consists of a family of Clauser-Horne-like Bell inequalities that cannot be violated maximally by any finite-dimensional maximally entangled state. Using these inequalities, we demonstrate the explicit construction of both lower and upper bounds on the concurrence for two-qubit states. The fact that these bounds arise from Bell-type inequalities also allows them to be obtained in a semi-device-independent manner, that is, with assumption of the dimension of the Hilbert space but without resorting to any knowledge of the actual measurements being performed on the individual subsystems.
We present a general method to quantify both bipartite and multipartite entanglement in a device-independent manner, meaning that we put a lower bound on the amount of entanglement present in a system based on observed data only but independently of any quantum description of the employed devices. Some of the bounds we obtain, such as for the Clauser-Horne-Shimony-Holt Bell inequality or the Svetlichny inequality, are shown to be tight. Besides, device-independent entanglement quantification can serve as a basis for numerous tasks. We show in particular that our method provides a rigorous way to construct dimension witnesses, gives new insights into the question whether bound entangled states can violate a Bell inequality, and can be used to construct device independent entanglement witnesses involving an arbitrary number of parties.
We present a general method to quantify both bipartite and multipartite entanglement in a device-independent manner, meaning that we put a lower bound on the amount of entanglement present in a system based on the observed data only but independent of any quantum description of the employed devices. Some of the bounds we obtain, such as for the Clauser-Horne-Shimony-Holt Bell inequality or the Svetlichny inequality, are shown to be tight. Besides, device-independent entanglement quantification can serve as a basis for numerous tasks. We show in particular that our method provides a rigorous way to construct dimension witnesses, gives new insights into the question whether bound entangled states can violate a Bell inequality, and can be used to construct device-independent entanglement witnesses involving an arbitrary number of parties.
We propose two semi-device-independent approaches that are able to quantify unknown multipartite quantum entanglement experimentally, where the only information that has to be known beforehand is quantum dimension, and the concept that plays a key role is nondegenerate Bell inequalities. Specifically, using the nondegeneracy of multipartite Bell inequalities, we obtain useful information on the purity of target quantum state. Combined with an estimate of the maximal overlap between the target state and pure product states, and a continuous property of the geometric measure of entanglement, we shall prove the information on purity allows us to give a lower bound for this entanglement measure. In addition, we show that a different combination of the above results also converts to a lower bound for the relative entropy of entanglement. As a demonstration, we apply our approach on 5-partite qubit systems with the Mermin-Ardehali-Belinskii-Klyshko (MABK) inequality, and show that useful lower bounds for the geometric measure of entanglement can be obtained if the Bell expression value is larger than 3.60, and those for the relative entropy of entanglement can be given if the Bell expression value is larger than 3.80, where the Tsirelson bound is 4.
We define a property called nondegeneracy for Bell inequalities, which describes the situation that in a Bell setting, if a Bell inequality and involved local measurements are fixed, any quantum state with a given dimension and its orthogonal quantum state cannot violate remarkably the inequality simultaneously. By choosing a proper nondegenerate Bell inequality, we prove that for an unknown bipartite quantum state of given dimension, based on the measurement statistics only, we can provide an analytic lower bound for the entanglement of formation or even the distillable entanglement, making the whole process semi device independent. We characterize the mathematical structure of nondegeneracy, and prove that quite a lot of well-known Bell inequalities are nondegenerate. We demonstrate our approach by quantifying entanglement for qutrit-qutrit states based on their violations of the Collins-Gisin-Linden-Masser-Popescu inequality.
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.
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.