billschnieder said:
It appears you have classically reproduced the QM result E(AB) for the Aspect experiment. However, I'm not sure how you obtained P(B^+|Y, A^+) = \cos^2(a,b)
See below, noting that I've changed the order of your questions.
billschnieder said:
Thanks to Delta Kilo, we do have a locally causal derivation of the W case. Do you have a derivation of the Aspect case that is locally causal? Is it a straightforward application of Malus?
Thanks indeed to
Delta Kilo! It being understood that the classical analysis essentially proceeds on the basis that there is at least one physically significant formulation of Bell's functions A(
a, λ) = ±1 and B(
b, λ) = ±1.
The derivation in both W and Y is locally causal to the same (and essential) extent that Bell's protocol (see OP) is locally causal. That is, we capture Einstein-locality (an essentially classical concept) via Bell's functions A(
a, λ) = ±1 and B(
b, λ) = ±1: which we are happy to restrict to classical functions, in keeping with our classical analysis.
The application of Malus is straight-forward, bearing in mind that Malus examined the results of "one-sided" experiments and gave us his famous classical Malus' Law (ML) -- see below. He did not have double-sided experiments (involving Alice and Bob), but we easily follow him by examining and generalising Alice and Bob's classical results (+1 and -1 and their correlation) just as Malus did with his own classical results.
billschnieder said:
In other words, why is P(B^+|Y, A^+) = \cos^2(a,b) for Aspect 2004 (Y), different from P(B^+|W, A^+) = \frac{1}{2}cos^2(a,b) + \frac{1}{4} for the the classical case in the OP (W)?
Since the sources in W and Y differ, we allow that the HVs differ too: Let ∅ be the pair-wise common HV in W (i.e., ∅ is the linear polarisation; replacing x); let λ (replacing x) be the pair-wise common HV in Y (where, following Bell, we allow that the particles are unpolarised); let s denote the relevant intrinsic spin; let δ
a∅ →
a denote the interaction of a particle (its HV ∅) with a test-device oriented
a such that the result is the transition ∅ →
a, etc. Then, with a little study, and noting that s = 1 in W and Y:
ML: P(δ
b∅ →
b|W, ∅, s) = cos
2[s(
b, ∅)]; etc.
ML-W: P(B^+|W, A^+) =
(ML-W1) P(δ
b∅ →
b|W, ∅, s, δ
a∅ →
a) =
(ML-W2) [P(δ
b∅ →
b, δ
a∅ →
a|W, ∅, s)]/[P(δ
a∅ →
a|W, ∅, s)] =
(ML-W3) 2∫d∅ ρ(∅){cos
2[s(
b, ∅)]}{cos
2[s(
a, ∅)]} =
(ML-W4) (1/2) cos
2(
a,
b) + 1/4.
ML-Y: P(B^+|Y, A^+) =
(ML-Y1) P(δ
bλ →
b|Y, λ, s, δ
aλ →
a) = cos
2[s(
b,
a)].
Each Malus Law arises from the classical analysis of classical outcomes in experiments. The differing results for W and Y that you ask about arise because of the differing sources: all else being the same. (You have already checked the W result, so you should be able to discern ML-W in play. You can check Aspect 2004 to see ML-Y in play; it falls out of the experimental results, essentially by observation.)
billschnieder said:
Also since
P(B^+|W,\,{A^+}) + P(B^-|W,\,{A^+}) = 1, \; \; <br />
P(B^+|W,\,{A^-}) + P(B^-|W,\,{A^-}) = 1
and P(B^+|W,\,{A^+}) = P(B^-|W,\,{A^-})
Your condition V-4 can be reduced to:
E(AB)_V= \int dx \, \rho (x) \left [ 2 \cdot P(B^+|V,\,A^+) - 1 \right ]
Correct, with many similarly instructive re-workings. For example: The product AB can only take values from the set {+1, -1}, so we need only assess the probabilities for these two AB values.
However, imho, we need to maintain the expository value of the version given in
(V-1) -
(V-4) above (at POST #100) ... perhaps with re-formatted maths. For it is easy to lose sight of the respective Einstein-local outcomes (+1, -1) and their origin in Bell's A(
a, λ) = ±1 and B(
b, λ) = ±1.
Note that, for EPRB (say condition Z; s = 1/2):
E(AB)_Z= - \int dx \, \rho (x) \left [ 2 \cdot P(B^+|Z,\,A^+) - 1 \right ],
since B(
b, λ) = - A(
b, λ) ... after Bell (1964).
PS: I appreciate your engagement with the classical maths here, and am happy to rely on you (alone, it seems) spotting any errors. DrC has a comment that I've yet to study. If he is saying that Einstein-locality holds, then he and I agree. :!) Which would be nice!
How does all this, including DrC's comment, sit with your own views?
In conclusion: For me, maths is the best logic: so I'd like to reduce any disagreements to maths. The important point here being that every relevant element of the physical reality is included in the equations.
As the Accountants say: E. and O.E. (With apologies: I'm still way from my office, on a borrowed mini-screen computer.)