Note: My statements below should be taken as tentative, or better, as questions (even though they're not all formed as questions). I don't feel as though I necessarily 'understand' everything involved, so any corrections are appreciated. My current understanding is that Bell's analysis and Bell tests have pretty much disallowed local hidden variable theories, but that it is the consideration of hidden variables, and not the consideration of locality itself, that is essential to the disallowance of these sorts formal expressions wrt certain quantum states.
ttn said:
If "the principle of locality still holds" maybe you could provide an example of a local theory which makes the same predictions as QM (which is *not* a local theory) for the standard EPR-Bohm/Bell situation.
I've followed your reasoning (at least, I think I understand it) wrt your conclusion that qm is a nonlocal theory. I don't think it's quite correct to conclude that. The qm evolutions and wave function 'collapse' are happening in an imaginary space (for lack of knowledge of what is happening in reality), and no pretense is made (at least the way I'm learning quantum theory) about this being in 1-1 correspondence with the evolutions of quanta in the real three-dimensional world. So, what does any expansion or superposition or whatever tell you about exactly what's happening in reality? Well, I don't know. Do you? Does anyone? It seems like a pretty good bet that there's some sort of wave activity amenable to a wave mechanical description happening, but beyond that the particulars aren't exactly clear. So I don't think it can be justifiably concluded, from an examination of formal quantum theory alone, that qm is necessarily a nonlocal theory (in any sense that the term, 'nonlocal', has anything necessarily to do with nature).
Which brings us to the results of experiments and their interpretation. Can it be concluded from any of this that nature is nonlocal. My current answer is that it can't.
ttn said:
You haven't understood Bell's theorem. It is not based on some particular model of local hv's. It is very general. It assumes precisely the type of hv's that have to exist if locality is going to be true (given the EPR correlations). So if the inequality is violated, if the QM predictions are correct, locality is refuted. That's it.
Or maybe it's that if the inequality is violated, and if the qm predictions are correct, then the local hidden variable expression is refuted, but not locality itself. As you read through my comments, you'll hopefully get some idea why I think that locality isn't the essential consideration. And if this orientation is indeed wrong, then, also hopefully, you'll be able to tell me exactly where I'm erring.
The general lhv formulation is characterized by the factorizability of a joint (AB) state into its components A and B.
The factorizable form is incompatible with (gives different predictions for most joint settings of the analyzers) qm.
Bell tests provide a quantitative measure of the viability of this general lhv formulation and the qm formulation.
The tests support qm.
Assuming that nature is local, it can be concluded that the factorizable formulation lacks the specific information that would, conceivably, make it viable.
In the case of entangled particles, one might need a *complete* specification of the evolutionary histories of particles A and B in order to make accurate predictions using the factorizable form.
But, according to quantum theory, this is impossible. There are constraints on what we can know. So, it can be further concluded that the factorizable formulation is, in principle, not viable wrt certain quantum correlations.
In all of this, the assumptions that qm is an incomplete description of physical reality (after all, qm can't predict the results of individual measurements at A or B, or the results of individual joint, AB, measurements) and that nature is local still hold.
Nature seems to require a respect for the principle of locality, while at the same time making it impossible to develop a theory of quantum correlations that is explicitly Bell local.
This doesn't seem paradoxical to me.
Below are some excerpts from the paper, "EPR and Bell Locality", in quotations and italicized, wrt which I comment:
"In the case of the (reformulated) EPR argument, the relevant theory is the orthodox interpretation of quantum mechanics, according to which the wave function alone is regarded as providing a complete description of physical reality. We may thus state the upshot of the argument as follows: if you maintain that QM is complete (and that its empirical predictions are correct) you are forced to concede that the theory violates Bell Locality. Thus, the completeness assumption entails the failure of Bell Locality."
The interpretation of qm that I've learned says that the wave function contains what's known about the quantum system, not that it's a complete description of the physical reality of the quantum system. Thus, the incompleteness assumption allows us to conclude nothing about the locality or nonlocality of nature wrt the correlations that are examined.
------------------------
"Bell’s Theorem, on the other hand, tells us that a certain type of local hidden variable theory cannot agree with experiment – or, equivalently, the only way a hidden variable theory (i.e., a theory in which the wave function alone is regarded as an incomplete description of physical reality) can be made to agree with experiment is to violate the Bell Locality condition.
Combining these two arguments forces us to conclude (without qualification, for surely QM either is or is notcomplete) that Bell Locality fails."
Bell local formulations fail wrt certain (nonseparable) qm states. Is this because nature is nonlocal, or because the information required to adequately describe the states in factorizable form is unattainable (or at least so far unattained) ?
-------------------------
"Mermin is, strictly speaking, correct when he says: “to those for whom nonlocality is anathema, Bell’s Theorem finally spells the death of the hidden-variables program.” But he seems to have forgotten that, to those same people (for whom nonlocality is anathema), the EPR argument spells the death of the non-hidden-variables program – i.e., the orthodox interpretation of QM which upholds the completeness doctrine. For orthodox QM itself violates Bell Locality, the same locality condition that empirically-viable hidden-variable theories must, according to Bell’s Theorem, violate."
Nonlocality isn't anathema for me. It just can't be necessarily inferred from anything that's been observed or any analysis yet.
QM doesn't violate Bell locality in any sense that can be considered necessarily physically meaningful, and neither do empirically-viable hidden-variable theories. QM is an incomplete description of physical reality. And, assuming that nature is local, empirically-viable hidden-variable theories are just incorrect descriptions of physical reality, even though they can be constructed to give accurate empirical predictions.
Mermin is correct, and I don't think he forgot anything. In a universe where the speed of light is a limiting factor wrt any and all physical interactions, processes, transmissions, etc., and where the principles of quantum theory are essentially correct, then the hidden variables program is a lost cause.
--------------------------
"The choice between orthodox QM and hidden variables theories is thus not a choice between a local theory and a nonlocal theory; it is a choice between two non-local theories, two theories that violate Bell Locality. What Bell’s Theorem (combined with the reformulated EPR argument) spells the death of is thus the principle of Bell Locality – nothing more and nothing less. People “for whom [such] nonlocality is anathema” are therefore simply out of luck."
The choice between qm and lhv's is a choice between, as far as is known, two local theories. QM assumes a common emitter and a common measurement operator, and from that it's calculational principles of superposition and expansion can be applied. Nothing nonlocal is assumed or evident wrt the execution of qm procedures. That it isn't known exactly why qm works as well as it does is not evidence for, or a reason for positing the existence of, nonlocal transmissions.
LHV's assume that sufficient information regarding the evolutionary histories of A and B is attainable. The, thus far, falsification of this assumption is not evidence for, or a reason for positing the existence of, nonlocal transmissions. Rather, it can be understood in terms of the limits on what can be known wrt quantum phenomena.
That a nonlocal hidden variable theory can be constructed which mimics the predictions of qm is not evidence for, or a reason for positing the existence of, nonlocal transmissions.
-----------------------------
"This should clarify exactly why Bell understood his theorem not as ruling out the hidden-variables program, but rather as evidencing a deep conflict between the predictions of quantum theory as such, in any interpretation, and the locality principle suggested by relativity."
Could it be that Bell was wrong about that ? If Bell's theorem and Bell tests don't necessarily discern nonlocality in nature, then Bell interpreted the meaning of his theorem incompletely. Could it be that, in a universe governed by the principle of locality, the incompatibility between qm and lhv's is due to the unattainability, in (qm) principle, of the information required to make lhv's empirically viable wrt the sort quantum states Bell was considering ? If so, even if it's only just a possibility, then this obviates the considerations and inferences regarding nonlocality in nature due to Bell issues.