Morbert said:
1. What's wrong with correlation if Alice and Bob both measure in the HV basis and Victor obtains ##\Phi^+##?
2. PS Just in case: Here "No BSM" means no BSM when Victor has his apparatus set to attempt a BSM.
It may be helpful to simply jump to the bottom for the summary.
1. ##\Phi^+## generally yields opposite Alice/Bob correlation to ##\Phi^-##, right? Actually this is a point is not entirely clear in Ma. I have always been under the impression that ##\Phi^+## and ##\Phi^-## yield
opposite correlated Alice/Bob results on
all bases. After, they have opposite signs in Ma's (2) and everywhere else.
Ma et al: You can see that per their Fig 1 (which you used): ##\Phi^+## and ##\Phi^-## yield opposite results when Alice and Bob are measured on the +/- or L/R bases, but yield the same results on the H/V basis. It looks like you kept this in mind. I don't know if Ma did this intentionally, or in error, as it doesn't see to quite fit with other sources. The specific entry I am questioning in Fig 1 is the last |Φ+〉 in the list, with results VV. I think that should be marked differently, but I acknowledge my uncertainty.
Megidish et al: Matching what I have always understood: "
When the polarizations of the middle photons are correlated (hh or vv) they are projected onto a |Φ+〉 state. When they are anti-correlated (hv or vh) they are projected onto a |Φ-〉 state."
Also, keep in mind that for this experiment, they held Victor's measurement basis constant at H/V (Fig. 3). And of course, returning to their (2), we have the 4
equally likely Bell states we agree on (bolded representing ones being reported on):
|Ψ〉1234 = 1/2(|Ψ+〉14⨂|Ψ+〉23 − |Ψ−〉14⨂|Ψ−〉23 −
|Φ+〉14⨂|Φ+〉23 +
|Φ−〉14⨂|Φ−〉23) [Ma 2]
I re-examined your 4 charts. I now realize I misinterpreted/misread some of your labeling. So I am now asking for confirmation on a couple of the charts.
Chart 1. I accept your presentation as correct and mine as "suspect" for now. As mentioned, I will continue looking for something that puts this question to bed.
Chart 2. I still agree with this, but it does not relate to the Ma experiment. (Since they don't ever measure Alice and Bob on different bases from each other.)
Chart 3. & 4. These 2 are basically the same, but showing a different timing order. I agree with this, conditioned on your treatment as being on the H/V basis for Alice and Bob. See also 2 below.
2. Since we're discussing the ideal case:
all pairs 2 and 3 that overlap in the BS lead to a swap, or at least are indistinguishable from a swap. The true "failed BSM" cases are where there isn't enough overlap to satisfy the coincidence window condition. Note that those can't be the case, else your statistics for the "No BSM" case wouldn't work out. The reason that your statistics for the "No BSM" group are correct: Because only 2 of the 4 Bell states can be identified, the other 2 cases are grouped into your label. Since the output 4 Bell cases occur with equal probability (25%).
Put another way: Ma ignores all reporting on what you call the "No BSM" case, in either their Fig. 1 or Fig. 3. In the text, they make the comment: "
Victor's detector coincidences with one horizontal and one vertical photon in spatial modes b’’ and c’’ indicate the states |𝐻𝐻〉23 and |𝑉𝑉〉23, which are always discarded because they are separable states independent of Victor’s choice and measurement." I might say instead that those cases always produce separable state statistics (i.e. no correlation) because it combines 2 unidentifiable Bell states that produce opposite results (netting to zero). After all, they also state: "
|Φ+〉23 = (|𝐻𝐻〉23 + |𝑉𝑉〉23)/√2 (both detectors in b’’ firing or both detectors in c’’ firing)." So that's a case where you have both an |H> and a |V> result, but the Bell state is identifiable.
I would be happy if there is some other paper out there that clarifies the point. I've read quite a few*, and Ma is the only one that seems to disagree (if you call it that) with any others. See for example:
https://arxiv.org/pdf/0809.3991 Fig. 2, the HOM dip goes to zero. That dip does not discriminate between the 4 different Bell states, it combines all four and all four individually disappear. Two of those exactly cancel (destructive interference), and two do not trigger 4 fold coincidences. But all 4 states exist coming out of the BS, and two disappear due to strictly HOM quantum effects - so they can't be separable.
To make some sense out of the encyclopedia above

:
1. I believe ##\Phi^+## and ##\Phi^-## yield
opposite correlated Alice/Bob results on
all bases.
2. Although what you call the "No BSM" case is not reported in Ma or elsewhere: I believe it is actually the indistinguishable ##\Psi^+## and ##\Psi^-## Bell state cases.
I'm not sure either of these points need to prevent us from moving forward. We completely agree on the reported results of Ma and Megidish, as far as I can tell.
