Abstract
In the case of a pair of two-outcome measurements, incompatibility is equivalent to Bell nonlocality. Indeed, any pair of incompatible two-outcome measurements can violate the Clauser–Horne–Shimony–Holt Bell inequality, which has been proven by Wolf et al (2009 Phys. Rev. Lett. 103 230402). In the case of more than two measurements the equivalence between incompatibility and Bell nonlocality is still an open problem, though partial results have recently been obtained. Here we show that the equivalence breaks for a special choice of three measurements. In particular, we present a set of three incompatible two-outcome measurements, such that if Alice measures this set, independent of the set of measurements chosen by Bob and the state shared by them, the resulting statistics cannot violate any Bell inequality. On the other hand, complementing the above result, we exhibit a set of N measurements for any that is -wise compatible, nevertheless it gives rise to Bell violation.
Export citation and abstract BibTeX RIS
Original content from this work may be used under the terms of the Creative Commons Attribution 3.0 licence. Any further distribution of this work must maintain attribution to the author(s) and the title of the work, journal citation and DOI.
1. Introduction
Correlations resulting from incompatible local measurements on an entangled quantum state can violate Bell inequalities [1, 2]. However, Bell violation is not possible if either the measurements are compatible or the shared state is unentangled. In this respect, one may ask whether (i) all entangled states lead to Bell violation. This turns out not to be true for projective measurements [3] and for the general case of positive-operator-valued-measure (POVM) measurements as well [4] (see also [5, 6] for more recent results). Similarly, one may ask whether (ii) all incompatible measurements lead to Bell violation. Specifically, the question is whether for any given set of incompatible measurements performed by Alice, one can always find a shared entangled state and a set of measurements for Bob, such that the resulting statistics will lead to Bell inequality violation.
This holds true in the case of any number of incompatible projective measurements [7], and for a pair of dichotomic measurements as well [8]. However, in the case of more than two non-projective dichotomic measurements (or in the case of two non-dichotomic measurements) the problem is still open. Though, there is recent progress toward this aim. For example, a strong link between incompatibility of measurements and Einsten–Podolsky–Rosen steering [9, 10], a phenomenon in between entanglement and Bell nonlocality, has been established [11–13].
In this paper, we present a set of three incompatible dichotomic measurements, such that if Alice uses this triple, independent of the set of measurements chosen by Bob and the state shared by them, the resulting statistics cannot violate any Bell inequality. This result remains valid for Bell inequalities with arbitrary number of settings and outcomes on Bob's side, including the general case that Bob is allowed to carry out arbitrary POVM measurements. Note that the case where Bob's settings are restricted to projective measurements have been settled recently [13].
In addition, and complementary to the above results, we present a set of N measurements, such that any measurements out of this set are compatible. However, we show that using this set of N measurements on one side, and another set of N measurements on the other side along with a suitable shared state between them leads to violation of a Bell inequality. This result holds true for any number of settings.
The paper is structured as follows. In section 2, we start by defining the setup and we fix notation. Section 3 is devoted to the detailed proof of our main result. To do so, we simplify the problem in section 3.1 by showing that given Alice's specific set of three measurements, it is sufficient to deal with pure two-qubit states in the Schmidt form along with Bob's real-valued ternary-outcome POVMs. Then, depending on the value of the parameter θ, we will split the proof into two parts. The case of small values are considered in section 3.2, whereas the case of large values are treated in section 3.3. Then in section 4, complementing the above results, we exhibit N measurements for any that are -wise compatible, however they give rise to Bell violation. The paper ends with conclusion in section 5.
2. Setup
A general quantum measurement is represented by a set of positive definite operators , that sum to the identity, . We consider the following set of three dichotomic qubit POVMs, so-called trine measurements (labeled by ):
where a labels the two possible outcomes , and the vector stand for the three Pauli matrices X, Y, and Z, respectively. Above η is a parameter between zero and one. In case of , the measurement is projective, and in case of , the measurement is the identity. The three Bloch vectors of Alice's measurements are chosen as
for . That is, the three measurement directions , point toward the vertices of a regular triangle on the real plane (see figure 1).
Let us now define what we mean by incompatibility of a given set of n measurements. We say that Alice's set of measurements , is n-wise jointly measurable [14, 15], if there exists a -outcome parent measurement with POVM elements , such that each outcome corresponds to a bit string such that
where the notation stands for an bit string formed of all the bits of except for ax.
If the set is not n-wise jointly measurable, the set is said to be incompatible. Specifically, the measurements given by equations (1) and (2) are known to be pairwise jointly measurable below and triplewise jointly measurable below [16–18]. Hence, there is a range , where the set forms a so-called hollow triangle [12]. In this range, the set of three POVMs is pairwise jointly measurable, but not triplewise jointly measurable, hence the three measurements are incompatible.
Let us now fix . According to the above, the set defines a hollow triangle. In this notes, we show that there is no Bell inequality which can be violated if Alice measures this set. Namely, we show that the probability distribution
is local for any state ρ shared by Alice and Bob and arbitrary measurements (including an arbitrary number of settings y and outcomes b for Bob). Note that a probability distribution is local if and only if it admits a decomposition of the form
where λ is a shared variable and defines weights summing up to 1, whereas pA and pB define Alice and Bob's respective local response functions. The construction of such a local hidden variable (LHV) model will prove our assertion that measurement incompatibility does not imply Bell nonlocality in general. Below we present the detailed proof, which starts with a slight simplification of the problem.
3. Proof
3.1. Simplification
First, instead of a general mixed state ρ in equation (4) we can consider pure states without loss of generality [13]. This is due to the convexity of the set of local correlations and the fact that ρ depends linearly on the probabilities in equation (5). Next, since Alice's measurements (1) act on a qubit, the shared state takes the general form of two-qubit pure states
where and are arbitrary (unitary) qubit rotations. On the other hand, Bob's set of measurements are qubit POVMs (with possibly infinite number of inputs y and outputs b). Furthermore, instead of generic qubit UA and UB unitaries we can choose and in the state (6), where is given by a planar rotation
and we can further assume that Bob's measurements are real valued. The corresponding proofs are deferred to appendix A. In addition, since any extremal real-valued qubit POVM has at most three outcomes [19], this entails that it suffices to consider Bob's real-valued measurements with at most three outcomes (that is, ).
Due to the above simplifications, the proof boils down to show that the probability distribution
where , admits a LHV model in the form (5), where the two-parameter family of states
is as follows
and the set consists of an arbitrary number of real valued qubit measurements y with ternary outcomes .
As we stated in the introduction, the proof will be split into two parts, the case of small values (), and the case of large values (), where the threshold appears to be
Let us first start with the case of small θ values.
3.2. Small θ values
In this regime the proof is fully analytical. Let us consider the two Pauli measurements and with respective projectors
where . We next consider the noisy trine measurements defined by the formulas (1) and (2), where the three shrunk vectors , point toward the vertices of an equilateral triangle (see figure 1). It is a simple exercise to show that the shrunk vectors are inside the square spanned by the unit vectors and if
Therefore the noisy trine measurements (1) and (2) for can be expressed as convex combinations of the two Pauli measurements X and Z. In other words, given an input choice (one of the noisy trine measurements), one can translate it into choosing one of the two Pauli measurements X and Z along with some randomness [20].
Similarly, if we have noisy Pauli measurements
where , the trine measurements (1) and (2) can be simulated up to a visibility of with measurements (14).
Suppose now that the distribution
admits a LHV model for some v, where the state is defined by equations (9) and (10), by equation (15), and is an arbitrary set of qubit measurements on Bob's side. Then the simulability of the trine measurements with the noisy Paulis (14) above entails that the distribution
admits a LHV model as well, where are the trine measurements (1) and (2) with a visibility of . Indeed, if the distribution in equation (16) was nonlocal, i.e. there existed a Bell inequality violated by , the use of measurements (14) in equation (16) would give at least the same Bell violation due to the above simulability results of measurements and the linearity of the trace rule. This is a contradiction, hence the distribution (16) has to admit a LHV model.
Let us now invoke [21], where it has been proven that the Clauser–Horne–Shimony–Holt (CHSH) inequality [22] is the only inequivalent Bell inequality in the bipartite scenario, where Alice has two dichotomic settings and Bob has any number of settings y with arbitrary number of outcomes b. Therefore, a probability distribution where a, x = 0, 1, and are possibly infinite, admits a LHV model if and only if does not violate (any of the versions of) the CHSH inequality. Put together with the above simulability result, if the probability distribution (15) does not give rise to Bell-CHSH-violation, it implies that the probability distribution (16) admits a LHV model.
Then it is enough to check the range of parameters () for which the distribution (15) does not give rise to CHSH violation. Due to the Horodecki criterion [23], a pure two-qubit state (10) has a maximal CHSH violation of , which value can be attained with the Pauli measurements (12) (in some rotated bases on Alice's side). Note that this violation is independent of the angle φ. Also, for the noisy Paulis (14) with visibility v, the maximum CHSH value becomes . Since the local bound of the CHSH inequality is 2, we get the criterion
to have a local model for the distribution (15) using a two-qubit pure state (10) independently of the set of measurements chosen by Bob.
Putting all the above results together, the trine measurements (1) and (2) with a visibility of , where the state is defined by (10) and Bob has arbitrary measurements, gives a local distribution . Above, v* is given by (17) and is given by (13). Suppose, we want a LHV model for , then the critical below which the distribution is local is given by the solution of the equation . This value is , and the exact value is given by formula (11).
3.3. Large θ values
For the region we use a different approach. Recall that our task is to show that the probability distribution (8) with admits a LHV model (5). The pure state is defined by equation (10), where we now focus on the range and , where is given by equation (11). On the other hand, Bob's set of measurements consists of an arbitrary number of real valued qubit measurements y with ternary outcomes each (that is we have for each setting y). Our procedure is based on discretizing the set . Note that a similar procedure has been carried out in [11, 24].
In particular, we give a linear program in section 3.3.1 which lowerbounds the value of η considering any fixed state in equations (9) and (10), for which a LHV model exists. Defining a fine enough grid for θ and φ, and taking the minimum η over the grid points allow us to lowerbound η globally for this particular grid. Then, in section 3.3.2 the continuous case will be considered. In particular, starting from a finite set , which gives us a LHV model for , we provide a LHV model for for a continuous values of . The treatment of this continuous case is based on the method presented in [13].
3.3.1. Finite grid
In order to lowerbound η for any given pair of angles , we first discretize Bob's POVM measurements using the method presented in [25] (see appendix A of this reference for the case of general POVM measurements). Instead of considering an infinite continuous set, we take a finite number of POVM elements . Given this finite set of POVM elements, one can simulate a continuous set of (noisy) measurements for some
where is an arbitrary three-outcome POVM on the real plane, and is some fixed qubit state. The above simulation means that can always be written as a convex combination of the finite number of POVM elements . In particular, we pick a finite set consisting of 9 binary-outcome and 4 ternary-outcome measurements. The binary-outcome measurements
are defined by the Bloch vectors
where . On the other hand, the ternary-outcome measurements , are defined by the three POVM elements as follows
where the respective Bloch vectors are
for , and 12. In addition, we also include the three degenerate measurements and the six different outcome relabellings of each POVM , , for all in the finite set, where the binary-outcome measurements are embedded into the space of three-outcome POVM elements. This amounts to POVMs, which define a polytope with 81 vertices, whose facets can be determined using a polytope software. Let us define through α as follows
We choose two distinct α values, and . Following the method in the appendix of [25] and running the program cdd [26], we get the threshold values for and for . Therefore, we can express Bob's (noisy) measurements in equation (18) by the above values as a convex combination of the 81 POVMs above.
We are now ready to use the trick of [25, 27] to simulate a distribution coming from a continuous set of Bob's measurements Mb using a finite set . The optimization problem below is a modified version of protocol 2 in [25]:
The input to this program are and from equations (19) and (21), in equation (9), and the deterministic strategies . On the other hand, the optimization variables are and χ. This is not a linear program yet, however notice that and χ can be expressed from the last line of the problem (24) as
This allows us to obtain the following linear program:
where the input χ and come from equation (25) and equations (19) and (21), respectively, and the optimization variables are . Note that we can further write .
Calling the solver Mosek [28] either with or , it takes about 7 s to solve the linear program (24) and return η in our standard desktop PC for a fixed value of . Let us denote for a given pair . The above program allows us to evaluate for any fixed . Our goal is to prove that is above the threshold in the whole interval and . We cover this continuous case in the next subsection. To this end, we resort to the technique proposed in [13].
3.3.2. Continuous case
We first minimized in the two variables and using the heuristic search Amoeba [29], and obtained the minimum by the variables , and . This gives a strong numerical evidence that for the continuous case as well.
We next prove this result in a semi-analytical way. To this end, we closely follow the method introduced in [13]. Suppose we have a state in equation (9) for , , and η in Alice's measurements (1), such that the distribution (8) admits a LHV model. Then we also have a LHV model for a state (with the same measurements of Alice) which is a convex mixture of our state ρ and a separable state
where and σ denotes a separable state. Let . Therefore, if we can write
for some weight p and separable state σ, then the distribution (8) admits a LHV model for the state and for Alice's trine measurements in equation (1). Let us note that in order to get the above equation, we also passed an amount of noise from Alice's measurements to the state. We expect to find such a decomposition in (28) which in the limits , gives us the value of v close to 1. Recall that we obtained over all using a heuristic search. Hence, if we can make a fine enough grid of the values with for all grid points, we expect to have for the continuous case . Note also that due to symmetries it is enough to consider the regime and .
We have to discuss two separate cases according to the movement from the coordinate () to the two orthogonal directions. In the case of both directions, we start from a pair and a fixed α, either 0 or 5/6, and call the linear program (26) to compute η. Then we find analytical formulas which allow us to obtain in the case of , and in the case of . The respective formulas are as follows:
and
where the proofs are given in appendices B and C. These formulas give us a method to tackle the continuous case given the values of η for a finite grid .
Given these formulas, we first find a lower bound on for a fixed value, where optimization is carried out over all φ. We use equation (30) and set degree to obtain a lower bound of , where v = 0.993 067. Therefore, in order to get a lower bound for a given angle and all φ we have to compute
where the angles scan the discrete set degrees consisting of 301 different angles. This method provides us with the bound valid for a fixed and any values of φ. Note that it takes 7 s for our computer to solve the linear program for η in a single instance of , hence the overall time to compute is , that is, roughly half an hour.
Having the above bound for a fixed , we can compute the lower bound for any by using the formula:
In this way, we get η valid for a continuous set of θ and φ values. The proof of the above formula is based on the fact that formula (29) for any fixed is a monotonic (increasing) function of η. Then, for any fixed , we have
which is further lowerbounded by equation (32) due to the above mentioned monotonic property.
The actual numerical treatment for in equation (23) proceeds as follows:
- 1.Set i = 0 and .
- 2.Compute in equation (31).
- 3.
- 4.Set and go back to step 2 while , where is a small number, say, 10−4.
We do the same computation by choosing and in the first step of the algorithm above. The results are visualized in figure 2 (the diamonds stand for and the empty circles are for ). Let us stress that in the region in between two consecutive markers the above analytical lower bounds guarantee that η cannot drop below 0.67. On the other hand, the solid curve corresponds to the analytical lower bound. As we see, the three curves cover all the range , which completes the proof.
Download figure:
Standard image High-resolution image4. Bell violation with -wise compatible measurements
In this section, we further explore the link between joint measurability and Bell violations. It has been proven in [12] that there exists a specific pairwise jointly measurable set of N = 3 dichotomic POVMs which give rise to the violation of the I3322 three-setting two-outcome Bell inequality [30]. Below we generalize this result to any . In particular, we present N observables, which are -wise jointly measurable, and give rise to violation of an N-setting Bell inequality.
To this end, we use the construction from [31]. Namely, it has been proven there that there exist a pure quantum state ρ acting on and specific two-outcome projective measurements and , a,b = 0,1, (defined by equations (3)–(5) in [31]), giving rise to the probability distribution
which has been shown to violate the N-setting inequality for the parameter range . Note that we switched Alice and Bob with respect to the notation in [31]. It is also noted that and stand for Alice's and Bob's respective marginal distributions. The N-setting Bell inequality was discovered by Collins and Gisin [30], for which the I3322 inequality is the first member N = 3.
Let us now pass the finite η value in equation (34) to the measurements by defining the following POVM elements for Alice:
for . Indeed, with these lossy measurements we have
which gives the same statistics as equation (34) violating the N-setting inequality for . However, if we pick any measurements from the set defined by the POVM elements (35) above, they turn out to be -wise jointly measurable for the parameter . The proof is analogous to the one presented in appendix E of [32], and is as follows.
Let us consider n lossy two-outcome measurements. We start with arbitrary measurements two outcomes each, , where a = 0, 1 and . Then the lossy sets are constructed as follows
Clearly, these measurements define valid POVM elements for all x. It is proven below that any such set of n measurements is in fact jointly measurable in case of . Let us consider a parent POVM with elements, where is a length n binary string. Let all the POVM elements vanish except the ones corresponding to the strings , , (that is, when the string contains a single 0), and (that is, all digits are 1). In these cases, we have the following elements:
If we consider a parent POVM defined by equation (3), we indeed recover the measurements appearing in equation (37) with . Using this result, we let , and identify any measurements in the set (35) by the parameter with the set (37). This proves that the set of N specific measurements defined by equation (35) are -wise jointly measurable in the case of .
5. Conclusion
We investigated the link between Bell nonlocality and incompatibility of measurements and proved that there exists a set of three incompatible dichotomic qubit measurements which never give rise to Bell nonlocality. We recall that this is the simplest situation in which the two notions may differ, since for a pair of dichotomic measurements it has been proved by Wolf et al [8] that measurement incompatibility entails violation of Bell inequalities. Recently, the case of more than two dichotomic measurements have been addressed. Importantly, Quintino et al [13] constructed a LHV model for a set of incompatible qubit measurements. The present study can be considered as a generalization of [13] in different aspects: on one hand, Bob's two outcome settings have been generalized to measurement settings with arbitrary outcomes. On the other, Alice's set of measurements could be decreased from an infinite number to the minimum number of three settings. Note also a more recent work [33] obtaining related results.
Moving away from the bipartite case, we can ask the following question. Does there exist a set of incompatible measurements such that if Alice measures this set independently of the set of measurements chosen by Bob and Charlie and the three-party state shared by them, the resulting statistics is not genuinely tripartite nonlocal (in the sense of not able to violate any Svetlichny-type inequality [34–36])? This question can be considered as a generalization of the two-party case to more parties.
Finally, we presented a set of N suitably chosen measurements in dimension N, which are -wise jointly measurable, such that they provide a Bell violation. It remains an open problem if such a set of N measurements can be found in the case of minimal dimension 2.
Acknowledgments
We thank Antonio Acín and Marco Túlio Quintino for helpful discussions. We acknowledge the support of the National Research, Development and Innovation Office NKFIH (Grant Nos. K111734 and KH125096).
: Appendix A. Real-valued unitaries
We prove that one can choose and in the state (6) without the loss of generality, where is the planar rotation (7) and Bob's qubit measurements are real valued.
Suppose that the distribution in equation (4) is local for all real valued, however, it lies outside the local set (i.e. nonlocal) for complex valued. Let us denote this nonlocal distribution by . We next show that this situation cannot occur. Hence this is a proof by contradiction.
Since the LHV set (5) is convex, the nonlocal distribution implies that there must exist a hyperplane with associated (real-valued) Bell coefficients , such that
where maximization is over all within the LHV set. However, as we will show the value of β in equation (A1) can also be attained with and and real valued qubit measurements for Bob. Hence, there exists some nonlocal distribution where the set is real-valued, which is a contradiction.
We now show that β can be attained using and and a real valued set . To this end, let us denote
and let
With these, we have . Since is real valued, are symmetric matrices. Then, by redefining as , we get a real-valued assemblage, which provides the same β value in equation (A1). Due to the GHJW construction [37, 38], any such real valued no-signaling qubit assemblage has a quantum realization with a state in the form
where are positive Schmidt coefficients and OA is the orthogonal qubit matrix defined by (7). These can be obtained through the diagonalization . On the other hand, Bob's measurements can be written in the form
which define valid real-valued qubit POVM elements (as they are readily positive and sum up to the identity).
: Appendix B. Computation of
We have the special case of equation (28), where is fixed:
Then we have . First let us observe that we can rotate Alice's system by an angle , such that we get the same v in the un-rotated system. Then it is enough to determine v and p in the decomposition (B1) when .
Our goal is to get a good lower bound on v in function of . Following similar steps as in the derivation carried out in [13], that is constraining that σ is a diagonal matrix in equation (B1), and demanding the positivity of the diagonal elements of σ, we get the following upper bound formulas for v:
where η above is expressed by the angles and we also assume that . It turns out that the smallest value corresponds to the last line, which is the most constraining, hence we can take
It is noted that in the other case of , the most constraining relation in equations (B2) corresponds to the first line.
: Appendix C. Computation of
We have the special case of equation (28), when is fixed:
Then we have . We can rotate Alice's system by an angle , such that we get the same v in the un-rotated system. Then it is enough to determine v and p in the decomposition
We wish to get a good lower bound on v in the function of for fixed .
To this end, we prove that we can take p = v in equation (C2) above, where v is given by
which results in σ separable. Indeed, if we rearrange equation (C2) for σ, it will take the form
If we insert v from (C3) into (C4), one can see that σ is a valid two-qubit separable state. This can be checked by first noting that (for arbitrary v), where PT denotes partial transposition [39, 40] with respect to system B. On the other hand, σ is a valid density matrix. Readily, and all its eigenvalues turn out to be positive
for any . Then the relation follows, where v is given by equation (C3).