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.
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.
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.
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 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 Bell nonlocality—the existence of quantum correlations that cannot be explained by classical means—is certainly one of the most striking features of quantum mechanics. Its range of applications in device-independent protocols is constantly growing. Many relevant quantum features can be inferred from violations of Bell inequalities, including entanglement detection and quantification, and state certification applicable to systems of arbitrary number of particles. A complete characterisation of nonlocal correlations for many-body systems is, however, a computationally intractable problem. Even if one restricts the analysis to specific classes of states, no general method to tailor Bell inequalities to be violated by a given state is known. In this work we provide a general construction of Bell expressions tailored to the graph states of any prime local dimension. These form a broad class of multipartite quantum states that have many applications in quantum information, including quantum error correction. We analytically determine their maximal quantum values, a number of high relevance for device-independent applications of Bell inequalities. Importantly, the number of expectation values to determine in order to test the violation of our inequalities scales only linearly with the system size, which we expect to be the optimal scaling one can hope for in this case. Finally, we show that these inequalities can be used for self-testing of multi-qutrit graph states such as the well-known four-qutrit absolutely maximally entangled state AME(4,3).