A writer I often admire, previously on Quora and more recently on Substack, is the New Zealand physician who goes by the pen name DrJo. His take-downs of anti-scientific nonsense (and sometimes actual fraud) are welcome and appear to be based on a good understanding of the relevant science and statistics, but getting closer to my own area of expertise, his take on quantum physics leaves me more doubtful.
Let’s first jump to the chase and look the concluding question in DrJo’s recent post on the subject:
“How can a space be both Hausdorff and non-local? What does ‘non-local’ even mean here? Can you explain the maths of this ‘non-local’ property, specifically the topology, without resorting to hand-waving?”
The main point is that DrJo appears here to be confusing the separability of points in space-time, just in the sense of how we can tell them apart (corresponding to his abuse of the word “Hausdorff”) and locality of a theory based on that space-time (which refers to some limit on how things happening at one point in space-time can affect those at another). Locality of a theory is a property that places some limit on how quickly actions at one place can affect the situation far away, but no such limit is required in order to tell events apart in either space or time. For example, I could still compute the distance from my home to the grocery store on the basis of how long it takes me to walk there – even if I had some way of instantly checking on the availability of a product and having them set it aside for me to pick up whenever I eventually arrive.
There is nothing wrong with feeling somewhat disoriented by the “spooky action at a distance” aspects of quantum theory – or with writing about that disorientation without having a technical background in the subject. But I do think that DrJo’s use of technical language for that purpose in his latest article is inappropriate – both because it is not correctly applied and because its effect is to create an aura of greater authority than is warranted.
Why do I say that? Well here goes.
DrJo’s post starts with what I consider a perfectly reasonable brief outline of the story behind the 2022 Nobel Prize in Physics (which was awarded to Alain Aspect, John F Clauser, and Anton Zeilinger for work on verifying the prediction of quantum mechanics that physical observations cannot be described by a theory in which the measurements correspond to permanent properties of classical particles which cannot somehow have instantaneous effects on one another). He follows this with a brief discussion of some aspects of the mathematical subject called topology which, while not wrong, strikes me as just introducing and throwing around technical terms for no useful purpose. And then comes the part about which I am actually “grumpy” but I hope not “inarticulate”:
Now here’s my problem. In terms of our current theories, spacetime is a Hausdorff differentiable manifold. Note the word ‘Hausdorff’ here. This assumption underpins both General Relativity and Quantum Mechanics.
But … if one of a pair of detectors interacts with one of a pair of entangled particles, and the other particle that is far removed instantaneously assumes a correlated state, how can this space possibly be Hausdorff? As has been pointed out ad nauseam by physicists like Einstein and Bell and Aspect and Clauser and Zeilinger, this is a non-local effect.
The points in the region of the second detector at an arbitrary distance from the first surely can’t be considered ‘Hausdorff’ (or ‘housed off’) if that distant interaction can influence them.
I guess the questions here are “How can a space be both Hausdorff and non-local? What does ‘non-local’ even mean here? Can you explain the maths of this ‘non-local’ property, specifically the topology, without resorting to hand-waving?”
Now, would a real physicist step up and explain.8 Please
OK. Let’s start with that first paragraph.
In terms of our current theories, spacetime is a Hausdorff differentiable manifold. Note the word ‘Hausdorff’ here. This assumption underpins both General Relativity and Quantum Mechanics.
The word ‘Hausdorff’ is not necessary here (as every differentiable manifold is Hausdorff) and appears to be just a way to appear impressive to the uninitiated by citing an esoteric-sounding, but not necessarily relevant, generalization when the actual spacetime frameworks of the physical theories have much stronger restrictions.
Next we have:
But … if one of a pair of detectors interacts with one of a pair of entangled particles, and the other particle that is far removed instantaneously assumes a correlated state, how can this space possibly be Hausdorff? As has been pointed out ad nauseam by physicists like Einstein and Bell and Aspect and Clauser and Zeilinger, this is a non-local effect.
But… despite lots of badly written pop-sci nonsense, there is nothing in quantum theory which suggests that “the other particle that is far removed instantaneously assumes a correlated state”
And perhaps more importantly, wtf does he mean by “this space”? The discussion of experiments in which particles are separated usually requires our theory to involve observables whose possible values correspond to space-time coordinates relative to an observer, and the set of all possible such coordinate values can be assigned metrics in many ways – with the corresponding topologies all satisfying (among other things) the technical condition used to define what is called a Hausdorff space. So the question of whether or not there are surprising correlations between the spins of separated particles says nothing at all about whether or not the set of possible values of their positions can or cannot be endowed with a Hausdorff topology.
In fact no real physicist has ever claimed that the Bell-defying correlation of spins “is a non-local effect” but rather just that it would have to be a non-local effect IF the underlying physics was classical (with the spin or polarization values being permanent classical properties of the particles or photons in question).
Next we have:
The points in the region of the second detector at an arbitrary distance from the first surely can’t be considered ‘Hausdorff’ (or ‘housed off’) if that distant interaction can influence them.
But, leaving aside the fact that it’s spaces not points that are Hausdorff, there is absolutely no reason to think that the possibility of some instantaneous interaction causing influence from one point to another makes it impossible to distinguish those points in some other way.
Then at last we come to the final question – which I believe I have addressed above.