In this paper, we introduce the motivation for Bell inequalities and give some background on two different types: CHSH and Mermin's inequalities. We present a proof for each and then show that certain quantum states can violate both of these inequalities. We introduce a new result stating that for four given measurement directions of spin, two respectively from Alice and two from Bob, which are able to produce a violation of the Bell inequality for an arbitrary shared quantum state will also violate the Bell inequality for a maximally entangled state. Then we provide another new result that characterizes all of the two-qubit states that violate Mermin's inequality.
In this paper, we introduce the motivation for Bell inequalities and give some background on two different types: CHSH and Mermin's inequalities. We present a proof for each and then show that certain quantum states can violate both of these inequalities. We introduce a new result stating that for four given measurement directions of spin, two respectively from Alice and two from Bob, which are able to produce a violation of the Bell inequality for an arbitrary shared quantum state will also violate the Bell inequality for a maximally entangled state. Then we provide another new result that characterizes all of the two-qubit states that violate Mermin's inequality.
It is already known that one can always find a set of measurements on any two-qubit entangled state that will lead to a violation of the CHSH inequality. We provide an explicit state in terms of the angle between Alice's choice of measurements and the angle between Bob's choice of measurements, such that the CHSH inequality is always violated provided Alice's or Bob's choice of inputs are not collinear. We prove that inequalities with a corresponding Bell operator written as a linear combination of tensor products of Pauli matrices, excluding the identity, will generate the most nonlocal correlations using maximally entangled states in our experiment. From this result and a proposition from Horodecki et. al., we are able to construct the state that generates these optimal correlations. To achieve this state in a lab, one party must rotate their qubit using the orthogonal operation we provide and also rotate their Bloch sphere such that all their measurements lie in the same plane. We provide a comprehensive study of how Bell inequalities change when experiments introduce error via imperfect detection efficiency. The original cases of perfect efficiency are covered first and then a more realistic approach, when inefficient detectors are used, will follow. It is shown that less entanglement is needed to demonstrate more nonlocality in some Clasure-Horne-Shimony-Holt (CHSH) experiments when detector inefficiency is introduced. An example of this is shown for any given specific set of measurements in the CHSH Bell experiment. This occurs when one party has a detector of efficiency for each choice of input and the other party makes projective measurements. The efficiency can be pushed down to fifty percent while still violating the CHSH inequality, and for the experimental set-up illustrated, there is more nonlocality with less entanglement. Furthermore, it is shown that if the first party has an imperfect detector for only one choice of inputs rather than two, the efficiency can be brought down arbitrarily close to zero percent while still violating the CHSH inequality. Historically, nonlocality and entanglement were viewed as two equivalent resources, but recently this equality has come under question; these results further support this fundamental difference. Further more, we introduce Mermin's game in the case of relaxed conditions. The original constraints were that when the detectors in separate labs of a two-qubit experiment are in the same setting, then the results should be the same. We require that the outcomes are the same at least part of the time, given by some epsilon variable. Initially, one could find a maximum violation of one-fourth by allowing to parties to share the singlet state and have measurement settings one-hundred and twenty degrees apart from one another. By allowing some epsilon error in the perfect correlations regime, one can find a maximum violation of minus one plus the square root of two using the singlet state and measurement inputs that achieve Tsirelson's bound for the CHSH experiment. The reason is that we show Mermin's inequality is technically the CHSH inequality "in disguise", but with using constraints the CHSH experiment does not use. We derive Mermin's inequality under new conditions and give the projective measurements needed to violate maximally.
Alice and Bob each have half of a pair of entangled qubits. Bob measures his half and then passes his qubit to a second Bob who measures again and so on. The goal is to maximize the number of Bobs that can have an expected violation of the Clauser-Horne-Shimony-Holt (CHSH) Bell inequality with the single Alice. This scenario was introduced in [R. Silva et al., Phys. Rev. Lett. 114, 250401 (2015)PRLTAO0031-900710.1103/PhysRevLett.114.250401] where the authors mentioned evidence that when the Bobs act independently and with unbiased inputs then at most two of them can expect to violate the CHSH inequality with Alice. Here we show that, contrary to this evidence, arbitrarily many independent Bobs can have an expected CHSH violation with the single Alice. Our proof is constructive and our measurement strategies can be generalized to work with a larger class of two-qubit states that includes all pure entangled two-qubit states. Since violation of a Bell inequality is necessary for device-independent tasks, our work represents a step towards an eventual understanding of the limitations on how much device-independent randomness can be robustly generated from a single pair of qubits.
Recently the authors of Phys. Rev. Lett. 125, 090401 (2020) considered the following scenario: Alice and Bob each have half of a pair of entangled qubit states. Bob measures his half and then passes his part to a second Bob who measures again, and so on. The goal is to maximize the number of Bobs that can have an expected violation of the Clauser-Horne-Shimony-Holt (CHSH) inequality with the single Alice. By taking the maximally entangled pure two-qubit state $|\ensuremath{\phi}\ensuremath{\rangle}=\frac{1}{\sqrt{2}}(|00\ensuremath{\rangle}+|11\ensuremath{\rangle})$ as an example, it has been constructively proved that arbitrarily many independent Bobs can share the nonlocality with the single Alice. Here we demonstrate that arbitrarily many independent observers can share the nonlocality of a single arbitrary dimensional bipartite entangled but not necessary two-qubit entangled state. Furthermore, taking the generalized Greenberger-Horne-Zeilinger (GHZ) states as an example, we show that at most two Charlies can share the genuine nonlocality of a single generalized GHZ state with an Alice and a Bob.
Quantum mechanics is nonlocal, meaning it cannot be described by any classical local hidden variable model. In this thesis we study two aspects of quantum nonlocality. Part I addresses the question of what classical resources are required to simulate nonlocal quantum correlations. We start by constructing new local models for noisy entangled quantum states. These constructions exploit the connection between nonlocality and Grothendieck's inequality, first noticed by Tsirelson. Next, we consider local models augmented by a limited amount of classical communication. After generalizing Bell inequalities to this setting, we show that (i) one bit of communication is sufficient to simulate the correlations of projective measurements on a maximally entangled state of two qubits, and (ii) five bits of communication are sufficient to simulate the joint correlation of two-outcome measurements on any bipartite quantum state. The latter result can be interpreted as a stronger (constrained) version of Grothendieck's inequality. In part II, we investigate the monogamy of nonlocal correlations. In a setting where three parties, A, B, and C, share an entangled quantum state of arbitrary dimension, we: (i) bound the trade-off between AB's and AC's violation of the CHSH inequality, obtaining an intriguing generalization of Tsirelson's bound, and (ii) demonstrate that forcing B and C to be classically correlated prevents A and B from violating certain Bell inequalities. We study not only correlations that arise within quantum theory, but also arbitrary correlations that do not allow signaling between separate groups of parties. These results are based on new techniques for obtaining Tsirelson bounds, or bounds on the quantum value of a Bell inequality, and have applications to interactive proof systems and cryptography.
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.
In this chapter we introduce the general class of symmetric two-qubit statesguaranteeing the perfect correlation or anticorrelation of Alice and Bob outcomeswhenever some spin observable is measured at both sites. It is proventhat, for all states from this class, the maximal violation of the original Bellinequality (OB) is upper bounded by 3/2 and specify the two-qubit stateswhere this quantum upper bound is attained. The case of two-qutrit statesis more complicated. Here, for all two-qutrit states, we obtain the same upperbound 3/2 for violation of the original Bell inequality under Alice and Bobspin measurements. But it has not yet been shown that this quantum upperbound is the least one. The experimental consequences of this mathematicalstudy are discussed.