Tom wrote "As Joy wrote earlier in this thread, "As I pointed out, the R code you had written was deeply flawed. It did not respect my condition of calculating each correlation separately, as demanded in the equation (16) of my paper. According to this equation, each correlation must be calculated on a separate set of particles. Where does it say in my paper that they must be calculated on the same set of particles? You can generate one list of vectors but you must sample without replacement so that no pair of vectors contributes to more than one correlation. Only then will it be equivalent to four separate sets, as both Michel and I have been insisting:" "
You are a day or two behind, Tom. Things have been moving fast.
The situation now is that, exactly according to Joy's experimental paper, Joy and his experimenter will fim and explode N balls and do a lot of image processing in order to provide me with two computer files each containing N directions of angular momentum of paired halves of those balls. Say: u_k and v_k where v_k is probably close to, or equal to, - u_k.
I am then going to show to Joy that one of the four sample correlations E(0, 45), E(0, 135), E(90, 45), E(90, 135) differs by 0.2 or more from its target - 0.7071, - 0.7071, - 0.7071, - 0.7071.
There is one set of particles. As Joy's experimental paper makes perfectly clear.
I'll report the a, b and E(a, b) which does the job to the adjudicating committee and to Joy and everyone can check.
E(a, b) = sum sign(a. u_k) sign(b . v_k) /N
= ( N(++) + N(--) - N(+-) - N(-+) ) / ( N(++) + N(--) + N(+-) + N(-+) )
and this calculation can be done on the back of an envelope. (Though one will need a bit of trigonometry to calculate each sign(a. u_k) and sign(b . v_k)
The bet is decided by just one of four correlations.
I decide which of the four (or lose, of course, if I can't provide one).
The four correlations are calculated competely separately, after the experiment.
The outcome of each measurement of each particle is +/- 1
sign(a . u) and sign(b . v) are not continuous functions on S^2 x S^2 but we are here dealing with the discrete representations of numbers and functions in an ordinary computer. 64 bit "reals". IEEE and ACM standardized floating point arithmetic.