- #141
vanesch
Staff Emeritus
Science Advisor
Gold Member
- 5,117
- 20
DrChinese said:The burden would be on the developer of this hypothesis to provide some explanation of how that might work. Thus, I will critique an actual superdeterministic theory once there is one.
Yes, and my point is in fact, that I don't even see how such a superdeterministic theory could even be shown to work. What's proposed would be to demonstrate, through a mathematical theorem of relative simplicity (say, less than 200 pages :-) that the proposed local dynamics is "equivalent" to quantum mechanics - I suppose a bit such as the proof that BM is equivalent to quantum theory, that must be what proponents of looking for a superdeterministic theory are hoping for.
But I don't see how that could be the case, because in normal quantum mechanics (as in BM for instance) you impose *externally* that Joe is going to measure along theta1 and Jane along theta2. You PUT IN BY HAND the experimental choice.
The superdeterministic theory, on the other hand, gets its "superdeterminism" from the fact that with given initial conditions (and according to 't Hooft, these don't even have to be exceptional) and the proposed dynamics, Joe can't do anything else but pick theta1, and Jane can't do anything else but pick theta2. So the class of possible situations described by quantum theory is much larger (you could pick all pairs theta1 and theta2) than the class of situations described by the superdeterministic theory (which, of course, according to that theory, are the only ones that are actually possible): just one pair (theta1,theta2) or maybe just a limited set (theta1,theta2).
So there cannot be a simple theorem that demonstrates in all generality that both are equivalent: our superdeterminist must show WHAT pairs will result from the dynamics. And to do that, he will have to work out in all detail how these angles are picked, and as there are remote stars, brains, or computers with all thinkable algorithms in the loop, he would have to follow through all details there - which is FAPP impossible.