naima said:
You say that
"Bell's assumption is that a measurement result can depend only on facts about the causal past of that measurement."
Where it is needed in the derivation of the inequality (1984 paper)?
It's clear that Bell's theorem is false without the assumption about lightcones.
Let P(A, B | \alpha, \beta, \lambda) = the probability that Alice gets result A and Bob gets result B, given that Alice chooses detector setting \alpha, Bob chooses detector setting \beta, and that \lambda is some unknown parameter shared by both particles. We can write, in perfect generality:
P(A, B | \alpha, \beta, \lambda) = P_A(A | \alpha, \beta, \lambda) P_B(B| A, \alpha, \beta, \lambda)
where P_A(A | \alpha, \beta, \lambda) = the probability that Alice gets result A, given \alpha, \beta, and \lambda, and P_B(B | A, \alpha, \beta, \lambda) = the probability that Bob gets result B, given A, \alpha, \beta, and \lambda.
Now, Bell assumes the following:
- P_A(A | \alpha, \beta, \lambda) = P_A(A | \alpha, \lambda) (Alice's result cannot depend on Bob's setting)
- P_B(B | A, \alpha, \beta, \lambda) = P_B(B | \beta, \lambda) (Bob's result cannot depend on Alice's setting, or Alice's result)
These two assumptions imply the following form for P(A,B|\alpha, \beta):
P(A,B|\alpha, \beta) = \sum_\lambda P_{hv} (\lambda) P_A(A |\alpha, \lambda) P_B(B|\beta, \lambda)
The result predicted by quantum mechanics for the twin-pair, spin-1/2, anti-correlated EPR experiment is:
- There are 2 possible results for each measurement: A = spin-up or spin-down, B = spin-up or spin-down.
- P(A,B|\alpha, \beta) = \frac{1}{2} sin^2(\frac{\beta - \alpha}{2}) (if A = B)
- P(A,B|\alpha, \beta) = \frac{1}{2} cos^2(\frac{\beta - \alpha}{2}) (if A \neq B)
Bell proved that it is impossible to find functions P_{hv}, P_A, P_B that give those results. If you allow Bob's result to depend on Alice's setting and result, so that his probability has the form P_B(B | A, \alpha, \beta, \lambda), then it is possible to find functions P_{hv}, P_A, P_B that give those results. So Bell's proof depends on the fact that Bob's result is not influenced by Alice's setting or result.