Abstract Violation of the Clauser–Horne–Shimony–Holt (CHSH) inequality by a bipartite quantum state is now used in many quantum applications. However, the explicit analytical expression for the maximal value of the CHSH expectation under local Alice and Bob spin-s measurements is still known only for s = 1 / 2 . In the present article, for an arbitrary state of two spin-s qudits, each of dimension d = 2 s + 1 ⩾ 2 , we introduce the notion of the spin-s correlation matrix, which has dimension 3 × 3 for all s ⩾ 1 2 ; establish its relation to the general correlation ( d 2 − 1 ) × ( d 2 − 1 ) matrix of this state within the generalized Pauli representation and derive in terms of the spin-s correlation matrix the explicit analytical expression for the maximal value of the CHSH expectation under local Alice and Bob spin-s measurements in this state. Specifying this general expression for the two-qudit Greenberger–Horne–Zeilinger state, the nonlocal two-qudit Werner state, and some nonseparable pure two-qudit states, we find that, under local Alice and Bob high-spin ( s ⩾ 1 ) measurements in each of these nonseparable states, including the maximally entangled one, the CHSH inequality is not violated. Moreover, unlike the case of spin- 1 / 2 measurements, where each pure nonseparable two-qubit state violates the CHSH inequality and the maximal value of its CHSH expectation increases monotonically with a growth of its entanglement, the situation under high-spin measurements is quite different—for a pure two-qudit state with a higher degree of entanglement, the maximal value of the CHSH expectation turns out to be less than for a pure two-qudit state with lower entanglement and even for a separable one.
Abstract Violation of the Clauser–Horne–Shimony–Holt (CHSH) inequality by a bipartite quantum state is now used in many quantum applications. However, the explicit analytical expression for the maximal value of the CHSH expectation under local Alice and Bob spin-s measurements is still known only for s = 1 / 2 . In the present article, for an arbitrary state of two spin-s qudits, each of dimension d = 2 s + 1 ⩾ 2 , we introduce the notion of the spin-s correlation matrix, which has dimension 3 × 3 for all s ⩾ 1 2 ; establish its relation to the general correlation ( d 2 − 1 ) × ( d 2 − 1 ) matrix of this state within the generalized Pauli representation and derive in terms of the spin-s correlation matrix the explicit analytical expression for the maximal value of the CHSH expectation under local Alice and Bob spin-s measurements in this state. Specifying this general expression for the two-qudit Greenberger–Horne–Zeilinger state, the nonlocal two-qudit Werner state, and some nonseparable pure two-qudit states, we find that, under local Alice and Bob high-spin ( s ⩾ 1 ) measurements in each of these nonseparable states, including the maximally entangled one, the CHSH inequality is not violated. Moreover, unlike the case of spin- 1 / 2 measurements, where each pure nonseparable two-qubit state violates the CHSH inequality and the maximal value of its CHSH expectation increases monotonically with a growth of its entanglement, the situation under high-spin measurements is quite different—for a pure two-qudit state with a higher degree of entanglement, the maximal value of the CHSH expectation turns out to be less than for a pure two-qudit state with lower entanglement and even for a separable one.
Abstract In the present paper, based on the general analytical expression [arXiv:2412.03470] for the maximum of the CHSH expectation under local Alice and Bob spin-s measurements in a two-qudit state of dimension d = 2s + 1, s≥1/2, we analyze whether or not, under spin-1 measurements in an arbitrary two-qutrit state, the CHSH inequality is violated. We find analytically for a variety of pure nonseparable two-qutrit states and also, numerically for 1, 000, 000 randomly generated pure nonseparable two-qutrit states, that, under local Alice and Bob spin-1 measurements in each of these nonseparable states, including maximally entangled, the CHSH inequality is not violated. These results together with the spectral decomposition of a mixed state lead us to the Conjecture that, under local Alice and Bob spin-1 measurements, every nonseparable two-qutrit state, pure or mixed, does not violate the CHSH inequality. For a variety of pure two-qutrit states, we further find the values of their concurrence and compare them with the values of their spin-1 CHSH parameter, which determines violation or nonviolation by a two-qutrit state of the CHSH inequality under spin-1 measurements. This comparison indicates that, in contrast to spin- 1 2 measurements, where the spin- 1 2 CHSH parameter of a pure two-qubit state is increasing monotonically with a growth of its entanglement, for a pure two-qutrit state, this is not the case. In particular, for the two-qutrit GHZ state, which is maximally entangled, the spin-1 CHSH parameter is equal to 8 9 , while, for some separable pure two-qutrit states, this parameter can be equal to unity. Moreover, for the two-qutrit Horodecki state, the spin-1 CHSH parameter is equal to 4 2 / 21 < 1 regardless of the entanglement type of this mixed state.
Abstract We formulate and prove the main properties of the generalized Gell–Mann representation for traceless qudit observables with eigenvalues in and analyze via this representation violation of the Clauser–Horne–Shimony–Holt (CHSH) inequality by a general two-qudit state. For the maximal value of the CHSH expectation in a two-qudit state with an arbitrary qudit dimension , this allows us to find two new bounds, lower and upper , expressed via the spectral properties of the correlation matrix for a two-qudit state. We have not yet been able to specify a class of two-qudit states where the new upper bound improves the upper bound of Tsirelson. However, this is the case for all two-qubit states, where the new lower bound and the new upper bound coincide and reduce to the precise two-qubit CHSH result of Horodeckis, and also, for the Greenberger–Horne–Zeilinger (GHZ) state with an odd where the new upper bound is lower than the upper bound of Tsirelson. Moreover, we explicitly find the correlation matrix for the two-qudit GHZ state and prove that, for this state, the new upper bound is attained for each dimension and this specifies the following new result: for the two-qudit GHZ state, the maximum of the CHSH expectation over traceless qudit observables with eigenvalues in is equal to if is even and to if d > 2 is odd.
High-dimensional quantum entanglement and the advancements in their experimental realization provide a playground for fundamental research and eventually lead to quantum technological developments. The Horodecki criterion determines whether a state violates the Clauser-Horne-Shimony-Holt (CHSH) inequality for a two-qubit entangled state, solely from the state parameters. However, it remains a challenging task to formulate similar necessary and sufficient criteria for a high-dimensional entangled state for the violation of a suitable Bell inequality. Here we develop a Horodecki-like criterion based on the state parameters of arbitrary two-qudit states to violate a two-outcome Bell inequality involving ${2}^{n\ensuremath{-}1}$ and n measurement settings for Alice and Bob, respectively. This inequality reduces to the well-known CHSH and Gisin elegant Bell inequalities for n=2 and 3, respectively. While the proposed criterion is sufficient to violate the Bell inequality, it becomes necessary as well for the following cases: (i) m copies of Bell-diagonal states for arbitrary n, (ii) nondecomposable states whose correlation matrix is diagonalized by local unitaries, and (iii) for any arbitrary two-qubit state when n=3, where the maximal value of the Bell functional is achieved with Bob's measurements being pairwise anticommuting. For any states, we derive the constraints on Alice's measurements in achieving the maximum quantum violation for this inequality.
We evaluate the maximal Clauser-Horne-Shimony-Holt (CHSH) violation for a generic (typically mixed) qubit-qudit state, obtaining easily computable expressions in arbitrary qudit dimension. This represents the optimal (2-2-2) Bell nonlocality for this kind of systems. The work generalizes the well-known Horodeckis result for a qubit-qubit setup. We also give simple lower and upper bounds on that violation. We apply our general results to address a number of issues, namely, we obtain a bound on the degree of purity required in a system to exhibit nonlocality and study the statistics of nonlocality in random density matrices. In addition, we show the impossibility of improving the amount of CHSH violation by embedding the qudit in a Hilbert space of larger dimension. Finally, the general result is illustrated with a family of density matrices in the context of a qubit-qutrit system.
Bell inequalities reveal when quantum correlations cannot be explained by any local hidden-variable model, and the CHSH inequality is the most fundamental test of this phenomenon. While entangled two-qubit states can violate CHSH inequalities with suitable local measurements, the situation is more subtle for higher-dimensional systems when the allowed observables are physically restricted. In this work, we study bipartite qutrit systems in which each party is restricted to spin-1 observables S(u)=uxSx+uySy+uzSz, with u∈R3 a unit vector. Hanotel and Loubenets conjectured that nonseparable pure states of two qutrits do not violate the CHSH inequality under this measurement restriction. We prove the stronger result that every bipartite state on C3⊗C3, pure or mixed, satisfies the CHSH inequality for all choices of local spin-1 observables. Thus the absence of CHSH violation is not a property of special states, but a structural limitation of the spin-1 measurement family. Our result clarifies a distinction between two-qutrit entanglement and CHSH nonlocality under natural spin-component measurements.
Abstract For an even qudit dimension we introduce a class of two-qudit states exhibiting perfect correlations/anticorrelations and prove via the generalized Gell–Mann representation that, for each two-qudit state from this class, the maximal violation of the original Bell inequality is bounded from above by the value 3/2—the upper bound attained on some two-qubit states. We show that the two-qudit Greenberger–Horne–Zeilinger (GHZ) state with an arbitrary even exhibits perfect correlations/anticorrelations and belongs to the introduced two-qudit state class. These new results are important steps towards proving in general the 3/2 upper bound on quantum violation of the original Bell inequality. The latter would imply that similarly as the Tsirelson upper bound specifies the quantum analog of the CHSH inequality for all bipartite quantum states, the upper bound specifies the quantum analog of the original Bell inequality for all bipartite quantum states with perfect correlations/ anticorrelations. Possible consequences for the experimental tests on violation of the original Bell inequality are briefly discussed.