ttn said:
Look, there are just two different possible attitudes you could take here. You could take the "completeness doctrine" at face value, and say that the wave function in OQM provides a literal description of the physical state of quantum systems.
Maybe you (or I) misunderstood the "completeness doctrine" then. I thought that Bohr meant to say: OQM does NOT provide a literal description for the physical state of a quantum system, AND NO SUCH STATE EXISTS. In other words, there IS no quantum ontology that is somehow modellisable by a mathematical construction. The only thing (for Bohr) that is real are events in a classical world, and these events just "happen", and he calls them measurements.
But, funnily, we have an algorithm to say something about their probabilities of happening. But there's nothing really going on beneath it. There IS no ontological quantum world.
Let me make it clear: I find that a difficult-to-accept attitude, but it lives on. It would be the ultimate demise of physics as an attempt to understand the world, because it is not describing it, it is only giving you some calculational tricks for "things that happen".
It is not entirely schizophrenic (only half way

). After all, Einstein once said: "the most incomprehensible thing about nature is that it is comprehensible". Well, Bohr answers: "well, it isn't comprehensible, after all". Things happen. But, we can estimate ourselves lucky to at least have found some statistical account of the things that happen.
Or, as you suggest, one could just forget about objective reality and use the QM formalism as a black box algorithm. But that is just failing to address the question at hand (about local causality), not answering it in a certain way (i.e., proving an example of a causally local theory, or proving that Bell Locality doesn't make sense or something).
Nevertheless, that's the spirit of OQM.
I mean, maybe we need to go back to the beginning. There *is* an objective reality, right?
Not according to OQM. Well, not on the quantum level according to OQM. Bohr's doctrine sees the strictly classical world as objectively real, but in which some "events happen". So the classical kinematics is true, but not classical dynamics, because it is perturbed by "things that happen" which are spurious "quantum processes", or "acts of measurement".
But there's no further reality underlying these processes - at least that's the way I understand his completeness doctrine. And I don't like it.
You're just not *talking* about it. But the question of whether or not the causality out there in the world is or isn't relativistically local, remains. Your not talking about objective reality right now doesn't make that question magically disappear or become meaningless.
Well, unless there IS no such objective world out there on the quantum level, and "things just happen". That's all what's in the word "realist", no ? The fact that there is a mathematically modelisable objective reality in the first place. Exactly the kind of thing that Bohr rejects.
So you just accept as an a priori truth that objective reality is deterministic. OK, I mean, I actually lean that way too. I wouldn't claim it as an a priori truth, but certainly all other things being equal it's better to have a deterministic theory than not -- especially since you could never possibly have a strong argument for the stochasticity in a given theory being irreducible (Patrick's theorem).
We're on exactly the same wavelength here. I have to admit that I feel extremely bad about Bohr's viewpoint - although it cannot be dismissed, but one should try to avoid it. And I'm also of the opinion that IF there is to be a mathematical description of an ontological reality (which Bohr rejects), then it must take on the form of a deterministic theory --- in which, of course, random variables might occur - which are variables to which one could assign a definite ontological value, but of which we ignore it, so we give it a probability distribution, which is our "ignorance description".
But, nevertheless, as a strategic point, I think it is very important to point out that Bell's inequalities in principle apply both to local deterministic and to local stochastic theories. You don't want to even consider the latter.
No, and you still do not get my point. I'm claiming that irreducibly stochastic theories ALWAYS have some "Bohr doctrine" to them, for which there is no modellisable ontological reality in the first place. Exactly as OQM - otherwise they would take on the form of a deterministic theory with random variables.
Once you drop the requirement of having an ontological reality which is mathematically describable, there's no such concept as causality anymore, because "things just happen" and all we have, at best, are statistical rules of these happenings. This can still be relativistically invariant, and in this case, Bell's locality condition becomes less evident, because there IS no causality in this setup, just rules of "things that happen" without any underlying ontology (apart from the "things that happen": a loose set of events, observations, if you want).
This is why I find the description of "local realist" rather accurate for Bell's condition: one can drop the "realist" part (namely, what you take as an a priori, that there IS a describable ontology with causal links) and just consider the "local" part as the relativistically invariant statistical rules that govern the "bag of events that just happen".
Just to make clear of what is the "ontological model" in this case:
{ (x1,y1,z1,t1: click) ; (x2,y2,z2,t2: push button) ; (x3,y3,z3,t3: reading = 5 V); (x4,y4,z4,t4: red light on) ; ...}: a simple list of events filling up the universe. No causal structure. Just events. And all things about "particles", "fields", ... are nothing else but algorithmic constructs to allow us to express observed statistical regularities in this list. This is how I see Bohr's doctrine.
Ok, fine, but some other people do, and it's important for them to know that they're barking up the wrong tree. If you're made uncomfortable by the non-locality Bell's Theorem proves must be present in any deterministic theory, then you should be *very* uncomfortable, because you CANNOT RESTORE LOCALITY BY DROPPING DETERMINISM.
But you might (although it is another form of locality) by dropping the attempt at constructing an ontological, causal model in the first place, and limit yourself to a set of statistical rules that events have to obey (without any claim of causality). If this set of statistical rules is relativistically invariant, then that's still "local" ; and then, signal locality is enough.
And that is true whether or not your philosophical sensibilities permit you to take irreducible stochasticity seriously.
I can take it seriously, but - as you do - I don't feel right with it. I prefer (as you do) an ontological model of reality, which, I think, should always be cast in the form of a deterministic theory (eventually with random variables describing our ignorance).
BTW, Patrick, does this mean you are unwilling to consider the GRW theory as a serious version of QM?
I don't know. GRW has the same problem as Bohm in that it is not relativistically invariant, and unless one finds a good explanation for relativity starting from other principles, I don't want to drop relativity.
GRW does something "nice" to OQM, which is to make appear in a natural way what is "an macroscopic" and what is a "microscopic and hence quantum" system. Now, I don't know too much about GRW, so I should be careful with my comments about it, but it seems to me as "fudge factor" kind of work. A physically based GRW, such as Penrose's approach, looks however more promising. If, at the same time, it can EXPLAIN why the world looks relativistic, then that would be a big leap forwards.
How about orthodox QM with a "cut" put in at some artibtrary level of "macroscopicness" (however that is measured)?
This is the other (and even more important) problem that I see with OQM: the arbitrariness in the Heisenberg cut.
I'm sorry, this just doesn't make any sense. "Signal locality" is about whether you can transmit a message faster than light. Bell Locality is about whether there are FTL causal influences. They're not just different "formulations" of the same concept, locality. They're about two very different things. So it's not an issue of "signal locality will do". If what you're interested in is whether it's possible to send signals, then yeah, signal locality will do. If, alternatively, what you're interested in is whether or not there exist FTL causal influences out there in the world, then only Bell Locality will do.
Exactly. That's the whole point. Now, if all you think, exists for real, are events, with NO causal influence, but just obeying some statistical distribution, then you see that signal locality is good enough.
If you think that there is causal influence, then one should go to Bell locality.
Let's not forget that the only reason to require locality is to keep relativity alive, not just "effective relativity" (as in an aether theory), but the principle of relativity. If there ARE causal influences, then the only way to describe these causal influences is by obeying Bell locality. True. If causality is not something that exists, and we just have a list of events which obeys certain statistical rules (~ Bohr's doctrine), then all relativity will require is that these statistical rules are invariant under Lorentz transformations. And then, signal locality is good enough.
Yes, they make the same predictions. But on the other hand THEY ARE COMPLETELY DIFFERENT THEORIES because they posit completely different ontologies.
No, that's what you don't seem to understand: OQM does NOT posit any ontology: it says that there IS no such thing as a quantum ontology.
(ok, it posits a classical ontology on the macroscopic level and denies an ontology on the microscopic level).
That's not quite phrased right. Bohmians think that Bohm's theory provides the best available candidate picture of the world. That picture is the ontology of the theory, just like some other picture is the ontology of MWI or of GRW. What is the confusion here?
"Bell locality of the predicted probabilities"? Sheesh. I can only correct your refusal to understand the meaning of "Bell Locality" so many times...
Yes, yes, I know. I know that "Bell locality" is a litmus test on a theory. But I losely use the word "Bell locality" for probabilities (whether observed or predicted) for sets of probabilities satifying all the possible Bell inequalities.
You're drunk or something. They're the *same* algorithm to calculate probabilites. Where they differ is in the ontology they posit (well, and the clarity of their formulations). You're now saying that really we shouldn't take the ontology of Bohm's theory seriously, and we should just consider it as another black box algorithm... except it's really just *the same* black box algorithm?? Did you overdose on some kind of positivism pills or something?
A misunderstanding here: OQM is an algorithm to predict probabilities, because for OQM THERE DOES NOT EXIST AN ONTOLOGY apart from a list of "events happening" (and hence no "causal" influences or what ever).
In the same way as you cannot compare apples to oranges, the only point of comparison of OQM (= an algorithm to predict probabilities) and Bohmian mechanics is, well, the predicted probabilities. They are the same.
But, as we've seen, OQM not positing any ontology, there's no causality either, so there's no application of Bell's Locality criterium, because there are no beable in OQM.
As I've said, for a probability algorithm, in order to be relativitically invariant, it is good enough to be signal local. OQM and Bohm, seen as a probability algorithm, both being identical, pass the test.
Now, Bohm also pretends to be an ontological description (while OQM tells you that there is no such thing). As such, one can apply Bell's locality criterium to it, and it fails. We also know, from the Bell inequalities, that any attempt at an ontological description of the predictions of OQM, will fail too.
Forget about "opening the box" of a theory. Start with the existence of a real world out there. Insist that there aren't any FTL causal influences.
But that is exactly the assumption that Bohr rejects.
Derive an inequality from this. Test this empirically and find that it's violated. Infer that there *do* exist nonlocal causal influences in nature.
Or, that there is no such thing as "causal influences" and that "things just happen" and that we find statistical descriptions of "what happens". That's Bohr's point of view.
The point is just the reverse - you infer that any theory at all is going to have to have nonlocal mechanisms "in its box", because we already know going in that NATURE is nonlocal.
No, because of two reasons. The first is Bohr's viewpoint: it can be that there ARE no causal influences, and that "things just happen" and all we can do is infer statistical regularities of the things that happen. As such, Bell's condition fails, because of the assumption of existing causality, which is not true here. As I said, I don't like that, but it is a possibility.
The other possibility is the tacit assumption that observations are unique events that happened, even though we can only know about it by later observation (upon meeting the other observer). As such, we have to take the word of the other observer that he saw something (fine) AND ALSO THE ASSUMPTION that there was no possible alternative other observer.
You know that this is the way out by MWI, which, in this way, is entirely Bell local, ontological-realist and even deterministic (but deluded).
So I claim that you make about the same error as Bohmians had to suffer from the rest of the community for years: the claim of impossibility while there exists an obvious counter example.
Bohm's theory suffered from it by von Neumann's erroneous theorem (a realist theory could not explain QM) which claimed it was impossible to build a theory as Bohmian mechanics ; while MWI suffers from an erroneous interpretation of Bell's theorem that any underlying realistic ontology must be non-local, MWI clearly being a counter example.