PeroK said:
But, if Alice uses the digits of ##\pi## then we need them to be correlated with the photon polarisation - but they are not being generated using initial conditions and the superdeterministic laws of physics. The digits of ##\pi## are independent of the physcal processes that set the photon polarisation and compelled Alice to choose ##\pi##.
I think you're still misunderstanding the point. Alice's choices don't need to be determined by anything about the universe but they need to be predictable. The digits of pi are perfectly predictable. More so than baseball results.
Let me illustrate the idea behind Bell's inequality using a simulation, rather than the real laws of physics.
We have 5 computers running different programs:
- CA: On one computer, we have a simulation of Alice.
- CAD: On another computer, we have a simulation of Alice's detector.
- CB: On another computer, we have a simulation of Bob.
- CBD: On another computer, we have a simulation of Bob's detector.
- CS: On another computer, we have a simulation of the source of twin pairs.
Their interaction is split up into a number of "rounds". Each round, the following sequence of actions takes place:
- The computer CS produces two messages, representing the correlated twin pairs. For round number ##i##, we will call the messages produced on that round ##ma_i## and ##mb_i##.
- One message ##ma_i## is sent to CAD, one message, ##mb_i## is sent to CBD.
- The computers CA and CB each produce a detector setting (a unit vector). Let ##\alpha_i## be the setting chosen by CA on round ##i##, and let ##\beta_i## be the setting chosen by CB.
- The output of CA is sent to CAD, and the output of CB is sent to CBD.
- Each of the computers CAD and CBD produce an output, either "spin-up" or "spin-down", based on their inputs. Let ##ra_i## be the output of CAD, and let ##rb_i## be the output of CBD.
You run this simulation for many rounds to get adequate statistics.
For any pair of unit vectors ##\alpha, \beta##, let ##I(\alpha, \beta)## be the set of all rounds ##i## such that ##\alpha_i = \alpha## and ##\beta_i = \beta##.
For the simulation to successfully simulate the quantum predictions for EPR, it must be the case that for every pair ##\alpha, \beta## such that there are adequate statistics (that is, the set ##I(\alpha, \beta)## should be sufficiently large), the fraction of ##i## in ##I(\alpha, \beta)## such that ##ra_i = rb_i## should be close to ##sin^2(\frac{\theta}{2})##, where ##\theta## is the angle between ##\alpha## and ##\beta##.
The simulation depends on 5 algorithms, for each of the 5 computers:
- For CS: An algorithm that computes ##ma_i## and ##mb_i## based on nothing more than the round number, ##i##
- For CA: An algorithm that computes ##\alpha_i##
- For CB: An algorithm that computes ##\beta_i##
- For CAD: An algorithm that computes ##ra_i## from ##\alpha_i## and ##ma_i##
- For CBD: An algorithm that computes ##rb_i## from ##\beta_i## and ##mb_i##
What you can prove (from Bell's inequality) is that there are no choice of algorithms for CS and CBD that will get the statistics of the results right, no matter what algorithms are chosen for CA and CB. To turn that around, no matter what algorithm is chosen for CS and CBD, there are algorithms CA and CB that will spoil the statistics and make them unlike the predictions of QM for the EPR experiment.
The various "loopholes" correspond to tweaks to the setup:
- The FTL loophole corresponds to allowing CBD and CAD to communicate.
- The superdeterminism loophole corresponds to allowing CS to know the algorithms CA and CB and to take those algorithms into account in computing the messages ##ma_i## and ##mb_i##.
- The retrocausality loophole corresponds to allowing CS to know the settings ##\alpha_i## and ##\beta_i## before creating the messages ##ma_i## and ##mb_i##.
- I suppose there is also a "mind control" loophole corresponding to CS being able to choose ##\alpha_i## and ##\beta_i##, or force CA and CB to make those choices.
Anyway, to me, the plausibility or implausibility of the superdeterminism loophole is not affected by letting the choices ##\alpha_i## and ##\beta_i## depend on the digits of ##\pi##. But it becomes very implausible if you allow those choices to depend on arbitrary other inputs (such as from astronomical data, baseball scores, etc.)