RockyMarciano said:
You are free to make your own distinction of realism and deterrminism but in the context of Bell's theorem realism is usually referring to classical determinism.
I don't think that's true. Determinism
follows from local realism + perfect correlations in EPR. It's not an assumption of local realism.
Bell only considered deterministic realistic models in his theorem because if there is no deterministic theory, then there is no nondeterministic theory, either. You can prove quite easily that the assumption of local realism implies determinism.
In an EPR type experiment, Alice chooses a detector setting, \alpha and gets a measurement result, A. Bob chooses a detector setting, \beta and gets a measurement result, B. We perform the experiment over and over, for different values of \alpha and \beta, and we get a probability distribution:
P(A, B|\alpha, \beta) (the probability Alice gets A and Bob gets B, given that Alice chose setting \alpha and Bob chose setting \beta)
The assumption of local realism is that Bob's outcome should depend only on conditions local to him (in his past lightcone) and Alice's outcome should depend only on conditions local to her (in her past lightcone). This implies that the probability distribution should factor into the form:
P(A,B|\alpha, \beta) = \sum_{c_a} \sum_{c_b} \sum_\lambda P(\lambda) P(c_a) P(c_b) P(A | \alpha, \lambda, c_a) P(B | \beta, \lambda, c_b)
where \lambda represents conditions in the common past lightcone of Alice and Bob, c_a represents conditions local to Alice's detector, c_b represents conditions local to Bob's detector. So Bob's outcome only depends on \lambda and c_b and Alice's outcome only depends on \lambda and c_a.
The perfect correlations (or anti-correlations) from EPR allow us to show that c_a and c_b are irrelevant, so we can simplify to the form:
P(A,B|\alpha, \beta) = \sum_\lambda P(\lambda) P(A | \alpha, \lambda) P(B | \beta, \lambda)
We can further show that perfect correlations imply in fact that P(A |\alpha, \lambda) = 0 or P(A |\alpha, \lambda) = 1. In other words, A is determined by \alpha and \lambda. Furthermore, B must be determined by \beta and \lambda.
Determinism is not an assumption of local realism, but a derivable conclusion from local realism.