6
$\begingroup$

I am trying to understand the $I_{3322}$ inequality which is an another example of Bell inequalities and which is different from the famous CHSH inequality. I haven't got hold of any standard reference for that and I'm trying to glean through the original papers. However I am getting confused because of many different formulations of the same inequality, and hence I came here to understand why they all represent the same thing.

My first reference is a paper by Sliwa. The original paper is here, and an arxiv version is here. The author expresses the inequality in terms of expectations - $$E(A_1B_1)+E(A_1B_2)+E(A_1B_3)+E(A_2B_1)+E(A_2B_2)-E(A_2B_3)+E(A_3B_1)-E(A_3B_2)+E(A_1)+E(A_2)+E(B_1)+E(B_2)+4\geq 0.$$

The next reference I referred to is by Pal and Vertesi (available here and on the arxiv) where the inequality is also expressed in terms of expectations - $$E(A_1B_1)+E(A_1B_2)-E(A_1B_3)+E(A_2B_1)+E(A_2B_2)+E(A_2B_3)-E(A_3B_1)+E(A_3B_2)-E(A_2)-E(B_1)-2E(B_2)\leq 0.$$

My third reference is a paper by Collins and Gisin (available here and on the arxiv). They express in terms of probabilities - $$p_{11}+p_{12}+p_{13}+p_{21}+p_{22}-p_{23}+p_{31}-p_{32}-p_1^A-2p_1^B-p_2^B\leq 0.$$

The last reference is the survey paper by Brunner et al (available here and on arxiv). They also express in terms of probabilities - $$p_{11}+p_{12}+p_{13}+p_{21}+p_{22}-p_{23}+p_{31}-p_{32}-p_1^A-p_1^B\leq -1.$$

Now if one glances over them, one finds that each one of them is different from others by few terms. I feel that there may be some simplification to derive one from the others but I don't see how. I would kindly urge the physics community to shed some light on this issue.

Also in the last reference by Brunner et al, they say that the CHSH inequality can also be viewed as a game. Is there a similar kind of game from which the $I_{3322}$ inequality can be derived.

P.S.- I am not a physicist, but a mathematician, so it would be be helpful if minimal physics is used.

Thank you.

$\endgroup$
  • $\begingroup$ I don't have an answer but I am interested. Forgive me if I am totally off subject but I don't quite get some of the examples you give. I thought there where nine combinations that Alice and Bob (A) and (B) could select from a three position slit. For example 11,12,13, 21, 22, 23, 31, 32, 33. Where I get confused is when it is derived that the chances of correlation are YYY, YYX, YXX, YXY, XYY, XXY, and XXX. Where (Y)=yes and (X)=no. $\endgroup$ – Bill Alsept Feb 4 '16 at 7:04
  • $\begingroup$ I am not sure I understand your comment properly. Perhaps an expert in the field will help us out. Sorry! $\endgroup$ – Nirakar Neo Feb 11 '16 at 1:12
1
$\begingroup$

This is a partial answer, that I will be updating as I get more insight.

First, in Pal and Vertesi's article they use correlator notation, but the inequality and bounds they give to it only hold if the operators $A_i$ and $B_j$ are actually projectors, so what they really want to mean is $E(A_iB_j)=p_{ij}$ and $E(P_i)=p^P_i$. This can be checked not only when computing the bounds they give for $I_{3322}$, but is also the case for the CHSH inequality they give in Eqs. (1) and (2).

Then, the inequality is the same as that given by Collins and Gisin when changing the labels of the measurements $1\leftrightarrow 2$ in both parties.

Second, if one transforms Sliwa's version to probability notation (given that the measurements are binary, we can substitute $E(P_i) = 2p^P_i - 1$ and $E(A_iB_j)=4p_{ij}-2(p^A_i+p^B_j)+1$) one obtains the form that appears in Brunner's article.

So, we have grouped the four expressions in two families. Now what is left is to connect them both.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.