Gordon Watson said:
..
7. To put it another way, defending Einstein-locality: Where is the mystery in Aspect (2004) when I can deliver exactly half its correlation [over every (a, b) combination] with a simple classical W-source: made in an hour, for a few dollars?
8. Is it not clear (to be expected, and without mystery) that Aspect's expensive singlet-source should deliver a higher correlation than my few dollars?
Leaving no doubts about the validity of Einstein-locality?
GW
..
Exactly. It is easy to get half way. Fix two directions a, a'; b, b'. Suppose that the choices to measure in direction a or a', and in direction b or b', are taken independently and completely randomly in both sides of the experiment, many times in succession.
Your "half-way" satisfies CHSH. Any set of four correlations rho(a,b), rho(a,b'), rho(a',b), rho(a'b') satisfying all the CHSH inequalities is easy to generate in a completely classical way.
But any set such that one of the CHSH inequalities is violated cannot be generated in a classical way.
Proof. Suppose we accept Einstein reality. In each of N runs, there exist alongside one another "out there in reality", potential outcomes A, A', B and B', each with value +/-1. In each run, the experimenter has essentially tossed two coins. Depending on the first coin he gets to see A or A'. Depending on the second coin he gets to see B or B'. And of course he knows which one he is seeing.
Arrange the 4N numbers +/-1 in an Nx4 table. Note that per row, AB+AB'+A'B-A'B'=A(B+B')+A'(B-B')=+/-2 since B and B' are either equal or different. Either B-B'=0 and B+B'=+/-2, or B-B'=+/-2 and B+B'=0. Since A and A' equal +/-1 the value, row-wise, of AB+AB'+A'B-A'B, is +/-2.
Therefore the average over all the rows of AB+AB'+A'B-A'B lies between -2 and +2 (inclusive). But the average of a sum is the sum of the averages. So
Ave(AB)+Ave(AB')+Ave(A'B)-Ave(A'B') lies between -2 and +2.
Now the experimenter does not get to see these averages, since per row of the table, he only gets to see A or A', and B or B'. His experimental correlations are computed from from four random samples from this table. With probability 1/4, on the n'th run, he measures in directions a and b, and only then gets to observe A and B. With probability 3/4 he gets to observe A and B', or A' and B, or A' and B'. Same thing for all the other rows, independently of one another. Unless he is very unlucky, the average of the values of A times B over the approximately N/4 measurements in which the directions chosen are a and b, will be close to the average of the values of A times B over all N measurements.
What about computer simulations like those of de Raedt and Michielsen? They exploit an easy trick called the detection loophole. It has been known since a well known paper by P. Pearle (1970). Bell later explained in more detail how to set up the experiment in such a way that this loophole cannot be invoked to explain what has happened (see especially the "Bertlmann's socks" paper.
Let me explain the detection loophole through an extreme example. Imagine two photons about to leave a source and fly to two detectors, where one will be measured in direction a or a' (but it doesn't know which it will be), and the other will be measured in direction b or b' (and similarly, doesn't know which it will be). Suppose these two photons want to contribute to generating correlations rho(a,b)=rho(a,b')=rho(a',b)=+1, rho(a',b')=-1. Going to be difficult, right?
But if they also have the option of "not being detected" they can do it easily.
Imagine the two photons start at the source by tossing three fair coins. One of them is their own preference to be measured in direction a or a', the second encodes their own preference for b or b', and the third encodes the outcome which they would generate, if they are both measured as they both want to be measured. Equal to one another and equally likely +1 or -1 for three pairs of settings, opposite to one another and each equally likely to be +1 or -1 for the fourth pair.
Now they fly to their respective measurement stations and see if they are about to be measured, on this particular run, in the way they want. Each one separately of course. If Alice's photon wants to be measured in direction a', but Alice's detector has been set to direction a, it chooses to vanish. Similarly on Bob's side. They only *both* get measured, when they are *both* measured how they *both* want to be measured. And in that case they have arranged using their third shared coin toss, whether to be both +1, or both -1, in the three cases ab, a'b,ab'; but whether to deliver the outcomes +1,-1 or -1,+1 in the fourth case a'b'.
Half the photons on each side of the experiment will fail to be detected. Only a quarter of the photon pairs will survive with both getting detected and measured. These ones will exhibit perfect correlation for three of the four pairs of measurement settings, and perfect anti-correlation for the fourth.
There are mathematical theorems that in a CHSH experiment one can achieve QM's "2 sqrt 2", quite some way above the CHSH local realism bound of 2 by such trickery, as long as at least 5% (or something like that) of the photons on each side of the experiment can go undetected. Weihs et al experiment actually only detected 5% of the photons on each side of the experiment, ie 1 only in 400 photon pairs got both measured. One has to assume that those 1 in 400 are representative of the whole collection, in order that the Weihs experiment proves something conclusive. If just a small proportion of the other pairs were undetected for reasons correlated with the hidden variables generating the A, A', B and B' values, they could easily reproduce 2 sqrt 2 in a completely locally realistic way.
Well, no one believes that nature is do devious, so most people are happy to take Weihs experiment as proof that Einstein realism is not valid.