Bell inequalities have traditionally been used to demonstrate that quantum theory is nonlocal, in the sense that there exist correlations generated from composite quantum states that cannot be explained by means of local hidden variables. With the advent of device-independent quantum information processing, Bell inequalities have gained an additional role as certificates of relevant quantum properties. In this work we consider the problem of designing Bell inequalities that are tailored to detect the presence of maximally entangled states. We introduce a class of Bell inequalities valid for an arbitrary number of measurements and results, derive analytically their maximal violation and prove that it is attained by maximally entangled states. Our inequalities can therefore find an application in device-independent protocols requiring maximally entangled states.
Bell inequalities have traditionally been used to demonstrate that quantum theory is nonlocal, in the sense that there exist correlations generated from composite quantum states that cannot be explained by means of local hidden variables. With the advent of device-independent quantum information processing, Bell inequalities have gained an additional role as certificates of relevant quantum properties. In this work we consider the problem of designing Bell inequalities that are tailored to detect the presence of maximally entangled states. We introduce a class of Bell inequalities valid for an arbitrary number of measurements and results, derive analytically their maximal violation and prove that it is attained by maximally entangled states. Our inequalities can therefore find an application in device-independent protocols requiring maximally entangled states.
Bell inequalities have traditionally been used to demonstrate that quantum theory is nonlocal, in the sense that there exist correlations generated from composite quantum states that cannot be explained by means of local hidden variables. With the advent of device-independent quantum information protocols, Bell inequalities have gained an additional role as certificates of relevant quantum properties. In this work, we consider the problem of designing Bell inequalities that are tailored to detect maximally entangled states. We introduce a class of Bell inequalities valid for an arbitrary number of measurements and results, derive analytically their tight classical, nonsignaling, and quantum bounds and prove that the latter is attained by maximally entangled states. Our inequalities can therefore find an application in device-independent protocols requiring maximally entangled states.
Abstract Bell inequalities have long been essential for the device-independent detection of entanglement. This study introduces subcorrelation Bell inequalities as a robust framework for detecting entanglement and probing quantum non-locality. We derived a family of such inequalities, categorized according to their dependence on measurement settings, and numerically identified 19 distinct quantum states that achieve the maximal violation of these inequalities. Importantly, our focus on maximal violation is not for its own sake but because, in this framework, maximal violation directly corresponds to maximal robustness of nonlocal correlations against particle loss. This connection reveals a broad class of multipartite entangled states that remain resilient under loss, making them highly relevant for practical implementations of quantum information protocols. We further characterized their entanglement properties using concurrence and the geometric measure, confirming their utility for critical areas such as quantum communication, cryptography, and device-independent protocols. The framework established herein sets the stage for future investigations, including the generalization of these inequalities to higher-dimensional systems and a more comprehensive characterization of their robustness against various forms of noise, thereby expanding the potential for non-local states to drive progress in quantum technologies.
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.
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.
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.
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.