vanhees71 said:
The word "realism" I'd completely abandon from any serious physics discussion. I have never understood what the philosophers precisely mean. In most of the cases they mean "deterministic". Bell's theorem is about what he called "local deterministic theories", and that's how we should label this class of models which are all ruled out by all "Bell tests" done today.
I feel that "determinism" versus "nondeterminism" is not what Bell's theorem is about, and local realism is not about determinism. Determinism is a conclusion, not an assumption. (Well, it can be an assumption, as well, but it doesn't need to be.)
In an EPR-like experiment in which Alice and Bob are measuring spins of different particles, the local realism assumption is that for each measurement:
- The probability that Alice measures spin-up depends on facts about her detector (the orientation ##\vec{a}## and possibly other variables) plus facts about her particle. So it's a function ##P_A(\vec{a}, X_A, \lambda)## of her setting ##\vec{a}##, other variables describing her device, ##X_A##, and variables describing the particle, ##\lambda##.
- Similarly, the probability that Bob measures spin-up is another function: ##P_B(\vec{b}, X_B, \lambda)##, which depends on his setting, ##\vec{b}##, other facts about his detector, ##X_B##, and facts about the particle, ##\lambda##.
The EPR perfect anti-correlations (for spin-1/2 pairs) imply that
For all ##\vec{a}##, for all ##X_A##, for all ##X_B##, if Alice gets spin-up with setting ##\vec{a}## (which means that the probability of getting spin-up must be greater than 0), then Bob will definitely not get spin-up at setting ##\vec{a}##. This means that for fixed ##\lambda##,
- If ##P_A(\vec{a}, X_A, \lambda) \gt 0##, then ##P_B(\vec{a}, X_B, \lambda) = 0##
Similarly, if Alice gets spin-down with setting ##\vec{a}## (which means that the probability of getting spin-up must be less than 1), then Bob will definitely get spin-up at setting ##\vec{a}##. So
- If ##P_A(\vec{a}, X_A, \lambda) \lt 1##, then ##P_B(\vec{a}, X_B, \lambda) = 1##
Together, these imply that for each value of ##\lambda##, and for fixed ##\vec{a}##, either
##P_B(\vec{a}, X_B, \lambda) = 0## for all ##X_B##, or ##P_B(\vec{a}, X_B, \lambda) = 1## for all ##X_B##. In other words, for each pair ##\lambda, \vec{a}##, it is 100% deterministic whether Bob gets spin-up or spin-down. Similarly, Alice's probability must be either 0 or 1 for each pair of setting and ##\lambda##.
Determinism follows from perfect correlation/anti-correlation and the assumption (local realism) that a measurement's probability depends only on facts local to the measurement. It doesn't follow from local realism alone. You could have an intrinsically nondeterministic process that would still satisfy some notion of local realism, but it would then not predict perfect correlations/anti-correlations.