- #211
- 14,380
- 6,872
They seem to be consistent FAPP:atyy said:I don't see how CH is consistent with BM.
https://arxiv.org/abs/quant-ph/0209104
They seem to be consistent FAPP:atyy said:I don't see how CH is consistent with BM.
To make it work, the experimentalist needs to do a lot of fine tuning (and the ability to do it is what makes him a good experimentalist). If such a correlation is not something what you want, it is very unlikely that it will happen spontaneously and ruin your intended experiment.rubi said:You measure two far away spins in an Ising lattice. The pointers of the measurement apparata ...
By finding a Bohmian version of H-theorem, Valentini has shown that quantum equilibrium, in effect, also minimizes entropy.rubi said:But ##\left|\Psi\right|^2## changes depending on ##\Psi## and specific ##\Psi## can have a form that contains correlations. On the other hand, the Boltzmann distribution is a distribution of minimum entropy.
As I explained inrubi said:CH doesn't forbid the classical rules of logic.
I don't really understand this criticism. The dynamics in CH is probabilistic. It's an extension of the theory of classical stochastic processes to the quantum regime. Would you say that there is no dynamics in Brownian motion? Aren't stock prices dynamic? Of course, you can only calculate probabilities, but you can ask for example, what is the probability for ##X## at time ##t##, given ##Y## at time ##0##. If this is non-zero, then ##Y## has a tendency to "cause" ##X##. If the price of some stock is very high today, then it's not so likely that it drops to ##0## overnight, but you can never be sure.stevendaryl said:The way that I understand consistent histories (which is not all that well), there is a sense in which there is no dynamics. The laws of quantum mechanics (such as Schrodinger's equation, or QFT) are used to derive a probability distribution on histories. But within a history, you've just got an unfolding of events (or values of mutually commuting observables). You can't really talk about one event in a history causing or influencing another event. Locality to me is only meaningful in a dynamic view, where future events, or future values of variables are influenced by current events or current values of variables.
I don't understand why not. If the formula for the correlations is ##\int A(\lambda,\alpha,\beta) B(\lambda,\alpha,\beta) P(\lambda|\alpha,\beta)\mathrm d\lambda##, then changing ##P## will in general change the correlations, and thus the specifying the correct ##\alpha##, ##\beta## dependent ##P## seems essential to reproduce the QM correlations. And if ##P## depends on ##\alpha##, ##\beta## in Bohmian mechanics, then it seems like those are determined by the dynamics earlier, i.e. without the correct dynamical determination of ##\alpha## and ##\beta##, BM is unable to reproduce the QM correlations, which sounds very superdeterministic to me.stevendaryl said:Right. If you assume locality, then the dependence of the measurement choices on [itex]\lambda[/itex] implies superdeterminism. But if you don't assume locality, then the dependence of [itex]\lambda[/itex] on the measurement choices doesn't imply superdeterminism.
I don't think of CH as a separate interpretation. It's rather an inevitable advancement of the vanilla formalism of QM. It's just not logically possible to reason about statements of the form ##S_x=1\wedge S_y=1##. You will necessarily get probabilities that don't add up to ##1##, independent of the interpretation. The single framework rule just formalizes how to obtain consistent statements. It's just that people intuitively apply the rules correctly in Copenhagen or other interpretations, except in those cases, in which they obtain paradoxes. I also don't see how CH is incompatible with BM (assuming BM reproduces QM).atyy said:However, I think Copenhagen is superior to CH. Copenhagen retains common sense and is more broadminded. Copenhagen is consistent with all interpretations (BM, CH, MWI), whereas I don't see how CH is consistent with BM.
Up to now, I have carefully explained, where BM satisfies a criterion that Bell himself has proposed as a criterion that formalizes the notion of superdeterminism. So even, if the criterion does not actually imply superdeterminism, I have at least shown that BM satisfies a criterion that has been referred to as "superdeterminism". Now you have gone as far as to say that Bell is wrong and his inequality doesn't really rule out non-superdeterministic local hidden variable theories and one must really use Hardy's proof instead in order to obtain a definite result. I'm not sure Bell would agree with this. All I'm asking for is a convincing argument for why Bell's notion doesn't imply superdeterminism, but so far you have only stated your opinion.Demystifier said:Fine, let us say that I can't prove (with a level of rigor that would satisfy you) that BM is not superdeterministic. Can you prove that it is? As you can see, your arguments so far didn't convince me, and I claim (again, without a proof) that your arguments wouldn't convince Bell.
Maybe I will, but it has a pretty low priority for me.Anyway, if you claim that BM is superdeterministic, this is certainly an important claim (provided that it is correct), so I would suggest you to try to convince a referee of an important physics journal.
The Ising model is used to describe magnetism and it has been well-tested that there is long range order in magnets. See this link.Demystifier said:To make it work, the experimentalist needs to do a lot of fine tuning (and the ability to do it is what makes him a good experimentalist). If such a correlation is not something what you want, it is very unlikely that it will happen spontaneously and ruin your intended experiment.
Boltzmann's H-theorem (which relies on the Stosszahlansatz, which is difficult to prove in general) states that the entropy of a single-particle distribution always grows. Hence it will eventually attain its maximum, which is given by the Maxwell-Boltzmann distribution. It doesn't imply that the phase space distribution is given by a maximum entropy distribution. This is much more difficult to prove.Demystifier said:By finding a Bohmian version of H-theorem, Valentini has shown that quantum equilibrium, in effect, also minimizes entropy.
##S_x=+1\wedge S_x=-1## is not a meaningful statement in any interpretation. You will inevitably get probabilities that don't add up to ##1## and violate classical logic if you allow such statements. The single framework rule just tells you which statements are meaningful, so you can use classical logic to argue about them.Demystifier said:As I explained in
An argument against Bohmian mechanics?
it does. In classical logic, the statement Sx=+1∧Sy=−1 is either true or false, but it is a meaningful statement. In CH this statement is forbidden by claiming that it is meaningless. For me, it's a change of the rules of logic.
Fine, I can agree with that.rubi said:So even, if the criterion does not actually imply superdeterminism, I have at least shown that BM satisfies a criterion that has been referred to as "superdeterminism".
I'm sorry that my argument is not sufficiently convincing for you. But Bell also argued against superdeterminism. Did you find his arguments more convincing?rubi said:All I'm asking for is a convincing argument for why Bell's notion doesn't imply superdeterminism, but so far you have only stated your opinion.
May I ask what is your main research area (if research is what you do for living anyway)?rubi said:Maybe I will, but it has a pretty low priority for me.
As I already mentioned, Holland found a counterexample in his book on Bohmian mechanics.rubi said:##S_x=+1\wedge S_z=-1## is not a meaningful statement in any interpretation.
Well, Bell has argued that we should reject superdeterministic theories and I agree with him, but did he argue that BM is not superdeterministic? Was is even known to him that BM requires the the inclusion of full measurement theory in order to reproduce QM? I thought this was a farily recent result.Demystifier said:I'm sorry that my argument is not sufficiently convincing for you. But Bell also argued against superdeterminism. Did you find his arguments more convincing?
Mostly canonical quantum gravity, but also topics in axiomatic QFT. I can't be more specific, since there are only a few people with that combination and I'd prefer to stay anonymous.May I ask what is your main research area (if research is what you do for living anyway)?
Yes, but it must exploit the ##d=2## loophole of the KS theorem. I don't see how you can allow arbitrary logical connections of quantum propositions in ##d>2## without getting some contradiction with QM. It's a no-go theorem after all.As I already mentioned, Holland found a counterexample in his book on Bohmian mechanics.
If, in some models, classical mechanics can be superdeterministic, and classical mechanics (as an approximation) is perfectly acceptable theory, then superdeterminism is also acceptable. If so, then I see no problem with the idea that BM may also be superdeterministic.rubi said:Depends on the particular model.
Yes, it was very well known by him. And it is not a recent result, because it was discovered by Bohm in 1951.rubi said:Was is even known to him that BM requires the the inclusion of full measurement theory in order to reproduce QM? I thought this was a farily recent result.
Fair enough! By contrast, anyone can check my inSPIRE recordrubi said:Mostly canonical quantum gravity, but also topics in axiomatic QFT. I can't be more specific, since there are only a few people with that combination and I'd prefer to stay anonymous.
No, as I already explained, it does not exploit the ##d=2## loophole. It exploits the contextuality loophole. KS theorem shows that non-contextual hidden variables are impossible (except for ##d=2##). But contextual hidden variables are not restricted by the KS theorem.rubi said:Yes, but it must exploit the ##d=2## loophole of the KS theorem.
Okay, but if superdeterminism was admissible in a physical theory, then why aren't we looking for a (superdeterministic) local hidden variable model instead? (Even if you don't like CH, Hardy's paradox and GHZ are certainly compatible with superdeterministic locality as well.) There would be no need to give up locality and to introduce preferred frames and violate Lorentz symmetry.Demystifier said:If, in some models, classical mechanics can be superdeterministic, and classical mechanics (as an approximation) is perfectly acceptable theory, then superdeterminism is also acceptable. If so, then I see no problem with the idea that BM may also be superdeterministic.
Of course, classical mechanics is generally not considered to be superdeterministic. I have tried to explain why it is not considered superdeterministic, and why, by a similar criterion, BM is also not superdeterministic. If you have a different criterion, by which both can be superdeterministic, I am fine with that too.
That seems odd, since the theory of decoherence, which your argument seems to rely on, was developed in the 70's.Demystifier said:Yes, it was very well known by him. And it is not a recent result, because it was discovered by Bohm in 1951.
But in a contextual theory, the statement is not really ##S_x=+1\wedge S_y=-1##, but rather ##\text{In the context A}, S_x=+1\wedge \text{In the context B}, S_y=-1##. You can never have ##\text{In the context A}, S_x=+1\wedge S_y=-1##. This is exactly what the single framework rule in CH says. You can never argue about ##S_x## and ##S_y## in the same context. There is nothing mysterious about it.Demystifier said:No, as I already explained, it does not exploit the ##d=2## loophole. It exploits the contextuality loophole. KS theorem shows that non-contextual hidden variables are impossible (except for ##d=2##). But contextual hidden variables are not restricted by the KS theorem.
rubi said:I don't understand why not. If the formula for the correlations is ##\int A(\lambda,\alpha,\beta) B(\lambda,\alpha,\beta) P(\lambda|\alpha,\beta)\mathrm d\lambda##, then changing ##P## will in general change the correlations, and thus the specifying the correct ##\alpha##, ##\beta## dependent ##P## seems essential to reproduce the QM correlations. And if ##P## depends on ##\alpha##, ##\beta## in Bohmian mechanics, then it seems like those are determined by the dynamics earlier, i.e. without the correct dynamical determination of ##\alpha## and ##\beta##, BM is unable to reproduce the QM correlations, which sounds very superdeterministic to me.
The general idea is that only "soft" superdeterminism is admissible, i.e. superdeterminism which does not involve some kind of conspiracy in initial conditions. But what exactly is conspiracy? Unfortunately, there is no precise definition. Is thermal equilibrium a conspiracy? Is quantum equilibrium a conspiracy? Is 't Hooft's theory of local hidden variables a conspiracy? As you may guess, opinions differ.rubi said:Okay, but if superdeterminism was admissible in a physical theory, then why aren't we looking for a (superdeterministic) local hidden variable model instead?
In a sense, Bohm's work was a precursor to decoherence. But Bohm was not the first. Before him, von Neumann had similar insights in 1932.rubi said:That seems odd, since the theory of decoherence, which your argument seems to rely on, was developed in the 70's.
As you say, this is contextuality in the CH framework. But in the framework of hidden variable theories, contextuality is interpreted in a slightly different way.rubi said:But in a contextual theory, the statement is not really ##S_x=+1\wedge S_y=-1##, but rather ##\text{In the context A}, S_x=+1\wedge \text{In the context B}, S_y=-1##. You can never have ##\text{In the context A}, S_x=+1\wedge S_y=-1##. This is exactly what the single framework rule in CH says. You can never argue about ##S_x## and ##S_y## in the same context. There is nothing mysterious about it.
rubi said:Hmm... So what is the function ##P(\lambda|\alpha,\beta)## in this model and why don't ##A## and ##B## depend on ##\alpha## and ##\beta##?
Also, why does ##\lambda## change in a probabilistic way? If we want to check for superdeterminism, we must first of all have a deterministic theory.
Demystifier said:The general idea is that only "soft" superdeterminism is admissible, i.e. superdeterminism which does not involve some kind of conspiracy in initial conditions. But what exactly is conspiracy? Unfortunately, there is no precise definition. Is thermal equilibrium a conspiracy? Is quantum equilibrium a conspiracy? Is 't Hooft's theory of local hidden variables a conspiracy? As you may guess, opinions differ.
Exactly! But the problem is to give a precise definition of "fine".stevendaryl said:To me, it's superdeterminism if the explanation for why something happened can potential involve fine-tuning the initial conditions of the entire universe.
Neither do I. But some think that quantum equilibrium is a conspiracy. Unfortunately, it's impossible to give a rigorous proof that it isn't, because there is no precise definition of conspiracy.stevendaryl said:Getting back on-topic: There should be a definitive answer, one way or the other, about whether BM requires superdeterminism of the conspiracy kind. I don't see that it does.
This guy claims to have a superdeterministic local hidden variables model for the EPRB correlations that retains more free will (in a quantifiable way) than non-local models. I didn't study it in depth, but it seems like if we allow superdeterminism at all, then you can get along with soft superdeterminism in local hidden variable models as well.Demystifier said:The general idea is that only "soft" superdeterminism is admissible, i.e. superdeterminism which does not involve some kind of conspiracy in initial conditions. But what exactly is conspiracy? Unfortunately, there is no precise definition. Is thermal equilibrium a conspiracy? Is quantum equilibrium a conspiracy? Is 't Hooft's theory of local hidden variables a conspiracy? As you may guess, opinions differ.
You can certainly interpret it in many ways, but the no-go theorem says that you can't form statements of the form ##S_x=+1\wedge S_y=-1## without somehow including a reference to the context. Bohmian mechanics can't circumvent this necessity.As you say, this is contextuality in the CH framework. But in the framework of hidden variable theories, contextuality is interpreted in a slightly different way.
I don't know how this works exactly in BM, but you can also make such FAPP statements in CH by taking coarse grained families of histories or maybe computing Wigner quasidistributions and cutting off the negative parts and so on.Note also the following. In BM, particle at a given instant of time has both position and momentum (velocity times mass). And yet, in the FAPP sense, it makes the same predictions as standard QM. If you think it's impossible, note again that I said FAPP. The FAPP acronym was devised by Bell, and one always needs to have the FAPP caveat in mind when thinking about BM. Without the FAPP caveat, BM looks impossible, wrong, inconsistent, or in contradiction with experiments. One must learn the FAPP way of thinking to understand BM.
Well, I was asking about ##P(\lambda|\alpha,\beta)## in order to compare it to Bell's formula, because I wasn't sure whether I understood your example.stevendaryl said:Well, if [itex]\lambda[/itex] depends on [itex]\alpha[/itex] and [itex]\beta[/itex], and [itex]A[/itex] depends on [itex]\lambda[/itex], then indirectly, [itex]A[/itex] depends on [itex]\alpha[/itex] and [itex]\beta[/itex].
But the situation is different in BM. Not ##\alpha## or ##\beta## determine ##\lambda##, but ##\lambda## determines ##\alpha## and ##\beta##. The initial conditions must be such that the detector settings attain the values that produce the correct correlations and this is the case if and only if they have been tuned to be distributed according to ##\left|\Psi\right|^2##. A wrong initial distribution of the hidden variables will produce deviations from the QM predictions.If something is not deterministic, then it surely is not superdeterministic, either. The point is to show that having [itex]\lambda[/itex] depend on [itex]\alpha[/itex] and [itex]\beta[/itex] does not imply superdeterminism.
Sure, you must somehow include a reference to the context. Copenhagen does it in one way, CH in another way, and BM in a third way.rubi said:You can certainly interpret it in many ways, but the no-go theorem says that you can't form statements of the form ##S_x=+1\wedge S_y=-1## without somehow including a reference to the context. Bohmian mechanics can't circumvent this necessity.
rubi said:But the situation is different in BM. Not ##\alpha## or ##\beta## determine ##\lambda##, but ##\lambda## determines ##\alpha## and ##\beta##. The initial conditions must be such that the detector settings attain the values that produce the correct correlations and this is the case if and only if they have been tuned to be distributed according to ##\left|\Psi\right|^2##. A wrong initial distribution of the hidden variables will produce deviations from the QM predictions.
Wigner quasidistribution is an interesting quantity for comparison with BM. For a Wigner quasidistribution ##W(x,p)## we haverubi said:or maybe computing Wigner quasidistributions and cutting off the negative parts and so on.
Demystifier said:My point is that EPR realism can be dropped in many different ways. Solipsism is one way, but there are also others. What is the "right" way?
As one possible meaning, let me copy-paste from my presentation at a conference:
1.2 Making sense of local non-reality
- One interpretation of Bell theorem: local non-reality
- Physics is local, but there is no reality.
- Does it mean that nothing really exists?
- That would be a nonsense!
Here is what it should really mean:
- Physics is not a theory of everything.
- Something of course exists, but that’s not the subject of physics.
- Physics is not about reality of nature,
it is only about what we can say about nature.
- In physics we should only talk about measurable stuff.
- It’s important to talk also about non-measurable stuff,
but just because it’s important is not a reason to call it physics.
Bell theorem ⇒ reality is non-local
- logically correct, but that is not physics
QM ⇒ signal locality
- that is measurable, so that is physics
In short, “local non-reality” should mean:
- Reality is non-local.
- Physics is about the measurable, which is local.
- In that form, local non-reality does not necessarily
need to be accepted, but at least can be reasonably debated.
DejanK said:1. I believe that whole QM and related discussions became way too complex, likely because of use of so many abstract terms which everybody interprets in many different ways.
2. For example - what is meant by 'non-reality' is very abstract and confusing. One might wonder if it means material reality, for which some aspect of matter/energy occupies finite physical space, or it also includes an abstract reality as some material creature like us might create an abstract picture in ones mind as part of its reality.
Does reality includes abstraction in form of laws of physics describing part of nature as it is, etc... one might be quite confused with possible spectrum of meanings, so no wonder people are confused.
DrChinese said:1. The differences in interpretations of QM may be as you say ("abstract terms"), but application of QM generally does not. You can look at advanced textbooks on the subject, and see that the theory is well-developed, matches experiment nicely, and generally of high predictive value.
2. In the EPR/Bell sense, "reality" (and therefore "non-reality") has a much more specific meaning. That is: do quantum observables (such as position, momentum, spin) have well-defined values at all times? EPR held that since any of these could be predicted with 100% certainty without disturbing a particle, there must be an element of reality to their existence. Bell showed otherwise if certain "reasonable" assumptions were made.
None of this, in other words, really relates to the kinds of "reality" you refer to - which are more philosophical concepts than physical ones.
DejanK said:...In case that such perspective is considered philosophy, I believe that is perfectly fine, as science does not exist in isolation from people that think and wonder. Also, our ability to question and obtain new perspectives and knowledge, was proven to be the key factor for our evolutionary success, differentiating ourself from the species taking their environment for granted, and because of that, I do not see any reason why we should stop now.
DrChinese said:Well, this is not the philosophy forum for one thing. And I don't think that pondering (or not) whether Bohmian Mechanics is (or is not) the best interpretation will boost evolution of the species. And debating the best way to advance science is a separate topic, and certainly one with room for many different opinions.
At any rate, it would make more sense for this thread if we discussed "realism" within the realm of Bohmian theory. That is why I included point 2 in my post.
This has probably been covered and resolved already, but isn't Bohm's theory saved from a need for superdeterminism by the existence of non-local influences? It sounds like you're wanting to think about local quantum theories, rubi, (and whether they would need to be superdeterministic), but just as far as the issue of Bohmian Mechs and superdeterminism, doesn't the non-local guiding pilot wave adequately answer that charge? And honestly I am asking non-rhetorically, because I'm not at all familiar with the intricacies of Bohmian foundations study. (Sorry!)rubi said:But anyway, I would find it more interesting to restrict the discussion to whether Bohmian mechanics is superdeterministic or not, since this can be analyzed mathematically, while adopting CH is a matter of taste.
Also, while I'm here, I whole-heartedly second DrChinese's sentiments here. Even if it's not pretty, this thread testifies to the broad range of opinions educated people can hold on these topics, despite the seemingly endless discussion. I'm not so impressed that people ARE arguing these issues after so long, but by the quality of the workmanship, and the effort expended by all sides throughout! Cheers!DrChinese said:I just wanted to say to the participants above (especially Arnold Neumaier, demystifier, rubi) that I very much enjoyed reading the back and forth. Although I doubt many minds were changed, the scope and intensity of the debate was very enlightening to me.