Dear Edwin,
Thanks indeed for the welcome, the very helpful guidance,* and the hopeful news that your forehead-slapping is behind us; just one small uppercut needed now -- under the chin -- "small" given my appreciation of your own views and engagement on these matters.
For I think it not good to refer to any particle by the unit vector -- "invoking the third particle c" -- associated with the relevant SGD. It gets quite messy and confusing in what, IMO, should really be a very simple matter. (Some, as you probably know, even refer to the particles as Alice and Bob -- the SGD operators -- such is the confusion greeting newcomers to this important subject.)
I know and appreciate what you mean but I like to make this subject as easy as possible for newcomers -- and to be especially free to discuss those interesting hypothetical cases where Alice and Bob freely and independently select the same or antiparallel orientations.
* I should also explain that I'm working my way into FQXi via a new and troublesome internet upgrade, so your advice should soon be reflected in my expanded involvement here. (AND, playing safe, I might go with a series of short replies for a while.) PS: While I'm at it: every sentence of mine comes with an implicit IMO!
So, on the subject of particle identification, I suggest we stick with selections from the pwn+i family -- introduced at equation (22) but with lambda not used in this text here for convenience -- it being understood that each particle carries a unique lambda, correspondingly identified: NO two particles the same!
That is: particle p'wn+i carries a lambda' (lambda-prime) antiparallel to the lambda of its twin pwn+i -- that antiparallel relation here a consequence of the symmetry associated with the conservation of total angular momentum in the production of each pair.
Note in passing: In this way, pwn+i brings Joe Fisher's primary theme (the uniqueness of Reality) into mathematical form -- and hence into the best logic -- and hence into the Bell story.
Following your suggestion: Let's now expand upon the meaning of the Bellian lambda that is introduced into the maths at equation (3): Let's follow the clue -- "Bell's hint" -- in equation (1) and see how far we can take it.
So, since Bell's 1964:(1) and our (1) allow that 'a' is a unit vector, let lambda be one too. And, since we are working with spin and SGDs -- and always subject to Bell's (1964) boundary conditions -- let lambda be the most general unit vector in the space of 'a' -- a unit vector in 3-space.
Then, since lambda is beyond our control -- a truly random variable in 3-space -- and recognising that no two can be the same: we must label them accordingly. NB: Not here (yet) relating the lambda label to a particle label.
Equations (3)-(7) thus follow, and the source of Bell's famous inequality is revealed:
In general: Bell's 1964:(14b) IS NOT EQUAL TO Bell's 1964:(14a)! QED.
Noting that any difficulties for newcomers probably reside in the common but rigorous notation, which is soon easily grasped; especially if they ask questions.
THUS: The first IT from BIT!
For we started with BIT (information, essentially provided by Bell and his boundary conditions) and we discover a fairly sensational IT (one missed by the whole Bellian community, as far as I know).
That IT is particle pn+i!
NB: pn+i is a crucially different particle because, carrying a crucially different lambda, it cannot POSSIBLY be paired with particle pi in the manner of Bell's maths -- 1964:(14b) = 1964:(14a) -- as Bell and many others would have us believe.
Hence the IMPOSSIBILITY of Bell's manoeuvre. And hence the downfall -- per that equation (22) -- of all CHSH-style inequalities: here simply, theoretically; and (importantly), as confirmed experimentally -- as you yourself stress.
AND hence the wonder -- given the conclusions drawn (and so forcefully promulgated) re nonlocality and the impossibility of common-sense local realism -- that not one of Bell's supporters critically revisited his maths posthaste.
To be continued:
With my thanks again; please don't hesitate to interpose remarks -- even swift uppercuts -- at any stage; Gordon