Gordon Watson wrote:Consistent with the above, I'm here not using my preference to distinguish the

going to Alice from that going to Bob.]
Here's what I understood. One of your opening suggestions in this thread was to use
)
for Bell's
)
. I took this to be consistent with my notation:
)
.
What is the import of

for your

function. Is it to distinguish Alice and Bob? If so, how would you express the perfect anti-correlation result
 = -B_a (\lambda))
which is appropriate in this case. Using

in that way is unnecessary and confusing.
That is, in searching for the most helpful notation, my motivation was to distinguish the macroscopic detector

from the microscopic particle
)
.
Please don't use functions to represent particles. There is no reason to introduce notation for particles at all. The only relevant properties of a particle in this context are

and the arm of the experiment in which the particle finds itself, the latter even ignored in some treatments. One other general advice, when ever you introduce notation, it helps to define it. For example, if you must introduce notation for particles you would do something like:
Example wrote:Particles

are emitted by the source, where

heads towards Alice's and

towards Bob.
Then, within the detector there are 2 functions:
(i).
Via the polariser 
we have
\,\rightarrow\,p(a^{\pm}))
; the output being determined by the equivalence class
])
or
])
to which
)
belongs. See
§3.1; me now thinking that it might be clearer to replace

with

??
Please no. Polarizers should work the same way irrespective of which arm of the experiment they are located at. A polarizer Transforms a particle so the details should show how the relevant particle properties change. I would change your notation to
 = \pm a)
. But you still haven't shown exactly how the transformation happens. Anyway, you write

instead of

. Please explain why you think the former is more correct, otherwise, the latter is a much better notation. Again, please stay clear of using functions to denote particles.
Note: Bob, via a suitable test in his locale, could tell us (with certainty), which class applied (and thus that class is an element of physical reality). However, absent that knowledge, we must work probabilistically: with each

being a random latent variable from one class or the other.
(ii).
Via the analyser, say

, we have
\,\rightarrow\,{a}\cdot\,a^{\pm}={\pm1}=A^{\pm})
.
In other words, you are saying you don't know how the transformation happens. Does the polarizer analyzer combination need any additional information except the setting

and particle property

to produce an outcome

? If not you need to explain why the result is probabilistic and not deterministic.
So the detector function
)
is the composition of

and

.
Yes, I figured. This is a longwinded way of going about it. Traditionally, Bell's function
)
is understood to include everything required to generate an outcome

. Thus, while everything you have described polarizers and analyzers and detectors may be interesting to you, they are superfluous to anyone else familiar with these types of analyses. You will do your audience a lot of good by going straight to
=A_a(\lambda)=\pm\,1)
. I've deliberately omitted
=A^\pm)
because it is problematic. I think you are focusing too much on equivalence classes because it allows you to segway to the probability analysis. However, combining it together with

in that way is not proper. At best it is an abuse of notation because the common understanding of the meaning of

in Bell literature is not restricted to equivalence classes of lambda that produce specific outcomes. If you must do that, then you must introduce the concept and new notation to boot. I think I see now clearly why you are struggling with

superscripts. But there is an easier way. You don't have to do that at all.
See this post from "floccinauci"
viewtopic.php?f=6&t=451&start=120#p12137.
Especially since all the polarizer/analyzer/detector stuff is superfluous anyway, you can go directly to the probability treatment. No need to mention anything about the details of the functions if you don't know them.
However, if you are going to demonstrate that a function is able to generate the probability result, which is an interesting exercise in its own right (probably more so), then if and when you provide the functions, they better contain details and not rely on the same probabilities to generate outcomes. You need to show the mechanics.
Then, when it seemed some could not complete the related integral, I wrote (for comparison with Bell's use of the sgn function):***
Please no. If I give you a specifc vector

at Alice's station, and a specific setting vector

. Please can you calculate the outcome for that specific particle, step by step using
\cdot a)
. If you can't, please explain why you can't.
*** In my view, the sgn function is too simplistic for the dynamics involved. My function allows for the dynamics associated with spin, torque, precession.
You haven't shown us anything about this "dynamics". This is what I've been asking for.
Anyone can say "the sign function is too simplistic, the function
 = \pm 1)
allows for the dynamics associated with spin, torque, precession". How is this different from what you are saying above, until you provide such a function? It is not sufficient to just replace Bell's notation with yours and claim dynamics. The sign function so far has the advantage that it is transparent about what it thinks is going on, even if it is wrong.