Is the Ensemble Interpretation Inconsistent with the PBR Theorem?

Click For Summary
SUMMARY

The discussion centers on the relationship between Ballentine's interpretation of quantum mechanics and the PBR theorem. Participants argue that Ballentine's view, which posits that quantum states represent probabilities in an ensemble rather than properties of individual objects, is inconsistent with the PBR theorem. The PBR theorem asserts that if properties of a single object are objective, then the quantum state must convey information about those properties, contradicting Ballentine's assumptions. The conversation highlights the need for clearer mathematical formulations of the PBR theorem and its implications for interpretations of quantum mechanics.

PREREQUISITES
  • Understanding of the PBR theorem and its implications in quantum mechanics.
  • Familiarity with Ballentine's interpretation of quantum mechanics.
  • Knowledge of epistemic versus ontic states in quantum theory.
  • Basic grasp of quantum state preparation and measurement procedures.
NEXT STEPS
  • Study the PBR theorem in detail, focusing on its mathematical proof and implications.
  • Examine Ballentine's interpretation as presented in his 1970 paper in Reviews of Modern Physics.
  • Explore the concepts of epistemic and ontic states in quantum mechanics.
  • Review literature on quantum state preparation and measurement techniques.
USEFUL FOR

Quantum physicists, students of quantum mechanics, and researchers interested in the philosophical implications of quantum interpretations will benefit from this discussion.

  • #31
Demystifier said:
The trouble with the ensemble interpretation is that it is not explicit about it.
Then why do you insist that an ensemble interpretation makes asumption 2 of post 3? If it doesn't, because it doesn't have to, then this whole thread is pointless.
 
  • Like
Likes   Reactions: vanhees71
Physics news on Phys.org
  • #32
martinbn said:
Then why do you insist that an ensemble interpretation makes asumption 2 of post 3?
Because the Ballentine interpretation assumes that objective microscopic properties exist, but does not specify what they are. PBR also assume that they exist (they call them ##\lambda##) and also don't specify what they are.
 
  • #33
Demystifier said:
Because the Ballentine interpretation assumes that objective microscopic properties exist, but does not specify what they are. PBR also assume that they exist (they call them ##\lambda##) and also don't specify what they are.
I am still reading the 1970 paper, but where does he say that?
 
  • #34
martinbn said:
I am still reading the 1970 paper, but where does he say that?
He says it implicitly, see my post #14 above.
 
  • #35
Demystifier said:
He says it implicitly, see my post #14 above.
No, that is just your statement. It doesn't follow from the quote.

But I found this in the paper

...In contrast, the Statistical Interpretation considers a particle to always be at some position in space, each position being realized with relative frequency ##|\psi(r)|^2## an ensemble of similarily prepared experiments. ...

It seems that your guess was right.
 
  • Love
  • Like
Likes   Reactions: physika and Demystifier
  • #36
I must say that I am confused. Either I don't understand something (most likely) or what he calls ensemble interpretation is more that an ensemble interpretation, it is ensemble++.
 
  • Haha
Likes   Reactions: Demystifier
  • #37
martinbn said:
I must say that I am confused. Either I don't understand something (most likely) or what he calls ensemble interpretation is more that an ensemble interpretation, it is ensemble++.
C++ is C plus object programming. Ensemble++ is ensemble plus object-ive existence.
 
  • Like
  • Haha
Likes   Reactions: physika, martinbn and mattt
  • #38
Demystifier said:
Yes, ##\lambda## is something like that in the Bell theorem. But it is not assumed that it is deterministic and local. It is only assumed that it is ontic, in the sense defined mathematically (but quite abstractly) in the paper.
So how is then in this example ##\lambda## defined and how do you then conclude that the quantum state is "ontic"? The quantum-mechanical calculation is of course simple and clear, and I still don't see how this example or any other can "disprove" the ensemble interpretation.
 
  • #39
Demystifier said:
Because the Ballentine interpretation assumes that objective microscopic properties exist, but does not specify what they are. PBR also assume that they exist (they call them ##\lambda##) and also don't specify what they are.
No it's very well defined by quantum theory, what's objective: It's the probabilities for the outcome of measurements of any observable, given the state/preparation of the system. "Minimal" means that there's no other objective "reality" than these probabilities described by the quantum state. "Ensemble" means that you can empirically check these probabilities only on an ensemble by statistical evaluation of the measurement outcomes.

Whether or not this is a complete description of nature the minimal interpretation is agnostic about. As for any theory (including classical deterministic theories) it's an empirical question, whether or not it describes all phenomena completely.

The status of QT today is that it does, because there's no experiment in contradiction with the (probabilistic) predictions of QT and nobody has found any "hidden variables" neglected by our present theories. E.g., nobody has ever found an observable which tells us when an individual unstable nucleus decays. All we can predict is some mean lifetime, which can be empirically checked/determined by making a measurement on a large esemble of such nuclei.
 
  • #40
vanhees71 said:
So how is then in this example ##\lambda## defined and how do you then conclude that the quantum state is "ontic"?
It is not defined explicitly, the proof is not constructive. The theorem proves that ##\lambda## with certain property does not exist in the mathematical sense, by assuming that it does and proving a contradiction. It's quite abstract, so it's not so easy to understand it with a typical physicist way of thinking.
 
  • #41
vanhees71 said:
Whether or not this is a complete description of nature the minimal interpretation is agnostic about.
So how do you interpret the Ballentine's claim of incompleteness (post #14)?
 
  • #42
vanhees71 said:
... "Minimal" means that there's no other objective "reality" than these probabilities described by the quantum state. ...

What about this
In contrast, the Statistical Interpretation considers a particle to always be at some position in space, each position being realized with relative frequency ##|\psi(r)|^2## an ensemble of similarily prepared experiments.

It is from Ballentine's paper on the statistical interpretation.
 
  • Like
Likes   Reactions: vanhees71 and Demystifier
  • #43
martinbn said:
It is from Ballentine's paper on the statistical interpretation.

This stood out to me as well. I always thought of the "statistics" in the statistical interpretation as statistics regarding measurement outcomes as opposed to statistics regarding Bell-like beables.
 
  • Like
Likes   Reactions: mattt and Demystifier
  • #44
Maybe for Ballentine "to be" means "to be measured"? :wink:
I don't think so, but maybe @vanhees71 could use such an argument.
 
  • #45
Morbert said:
This stood out to me as well. I always thought of the "statistics" in the statistical interpretation as statistics regarding measurement outcomes as opposed to statistics regarding Bell-like beables.
May be I havn't ready carefully and have taken it out of context. May be in that paragraph he is making the point that it is not like that. May be.
 
  • #46
Demystifier said:
It is not defined explicitly, the proof is not constructive. The theorem proves that ##\lambda## with certain property does not exist in the mathematical sense, by assuming that it does and proving a contradiction. It's quite abstract, so it's not so easy to understand it with a typical physicist way of thinking.
Ok, I try to understand it again. There must be some meaning in what's contradicted by the quantum formalism to what's described by probability distributions for ##\lambda## which is not defined ;-)). I'm always a bit lost with such presumably "mathematical" proofs with only vaguely defined quantities, which then are supposed to have some philosophical meaning like the contradistinction between ontic and epistemic ;-)). It's strange to have vague definitions in mathematics and proving something about these vague definitions ;-)).
 
  • Like
Likes   Reactions: Demystifier
  • #47
Demystifier said:
Maybe for Ballentine "to be" means "to be measured"? :wink:
I don't think so, but maybe @vanhees71 could use such an argument.
I don't know, I'm not able to read Ballentine's mind ;-)).
 
  • Like
Likes   Reactions: Demystifier
  • #48
vanhees71 said:
Ok, I try to understand it again. There must be some meaning in what's contradicted by the quantum formalism to what's described by probability distributions for ##\lambda## which is not defined ;-)). I'm always a bit lost with such presumably "mathematical" proofs with only vaguely defined quantities, which then are supposed to have some philosophical meaning like the contradistinction between ontic and epistemic ;-)). It's strange to have vague definitions in mathematics and proving something about these vague definitions ;-)).
I agree, except that I would not call it vague but abstract. The famous Godel theorems, as well as the Banach-Tarski paradox, are also of this sort.
 
  • #49
martinbn said:
What about this

"In contrast, the Statistical Interpretation considers a particle to always be at some position in space, each position being realized with relative frequency an ensemble of similarily prepared experiments."

It is from Ballentine's paper on the statistical interpretation.
This quote I would not sign. In QT an observable has either a determined value (due to preparation) or it has no determined value, because the system is prepared in a state, where the probability for finding some value is non-zero for at least one possible outcome of the measurement.

For me the strength of the statistical interpretation was that it takes Born's rule seriously and states that the only meaning of the quantum state are the probabilities for the outcomes of measurements.

To assume that "a particle always is at some (definite) position in space" would somehow imply that the position vector has always a determined value, no matter in which state the particle is prepared, but this, at least for me, is not what the quantum formalism tells us. It then would immediately imply some HVs which determine this position and thus that the "quantum probabilities" would be only "subjective", i.e., due to incomplete knowledge about the state. Then you'd need an extension of QT to some (according to Bell and the empirical findings about Bell's inequality necessarily non-local) deterministic theory, which however nobody ever has been able to formulate.
 
  • Like
Likes   Reactions: mattt
  • #50
vanhees71 said:
Then you'd need an extension of QT to some (according to Bell and the empirical findings about Bell's inequality necessarily non-local) deterministic theory, which however nobody ever has been able to formulate.
Except Bohm, of course. :-p
 
  • Like
  • Haha
Likes   Reactions: atyy and vanhees71
  • #51
vanhees71 said:
This quote I would not sign.
So you disagree with Ballentine? o_O :wink:
 
  • #52
I fear so ;-). I've to read the old RMP paper again. The more one thinks about the foundations the more you change your opinion yourself over the years!
 
  • Like
Likes   Reactions: Demystifier
  • #53
Demystifier said:
Except Bohm, of course. :-p

This quote from the 1970 paper...

In contrast, the Statistical Interpretation considers a particle to always be at some position in space, each position being realized with relative frequency ##|\psi(r)|^2## an ensemble of similarily prepared experiments.

...makes it seem to me like Ballentine himself is a Bohmian!
 
  • Like
  • Haha
Likes   Reactions: vanhees71, mattt and Demystifier
  • #54
vanhees71 said:
This quote I would not sign. In QT an observable has either a determined value (due to preparation) or it has no determined value, because the system is prepared in a state, where the probability for finding some value is non-zero for at least one possible outcome of the measurement.

For me the strength of the statistical interpretation was that it takes Born's rule seriously and states that the only meaning of the quantum state are the probabilities for the outcomes of measurements.

To assume that "a particle always is at some (definite) position in space" would somehow imply that the position vector has always a determined value, no matter in which state the particle is prepared, but this, at least for me, is not what the quantum formalism tells us. It then would immediately imply some HVs which determine this position and thus that the "quantum probabilities" would be only "subjective", i.e., due to incomplete knowledge about the state. Then you'd need an extension of QT to some (according to Bell and the empirical findings about Bell's inequality necessarily non-local) deterministic theory, which however nobody ever has been able to formulate.
Can you phrase all that using statistical interpretation language? You talk about the system/particle, its state and the observables as if everything refers to a single object, but the state is the state of the ensemble, not of just one representative of it and so on.
 
  • Like
Likes   Reactions: Demystifier
  • #55
PeterDonis said:
This quote from the 1970 paper...
...makes it seem to me like Ballentine himself is a Bohmian!
The difference is that Ballentine is agnostic about determinism. Particle can have a position x at each time t, but x(t) can be stochastic (instead of deterministic). An explicit example is the Nelson interpretation.
 
  • Like
Likes   Reactions: mattt
  • #56
PeterDonis said:
...makes it seem to me like Ballentine himself is a Bohmian!

Yes, both the book and the paper mention Einstein's interpretation, which is why it is plausible to read Ballentine as assuming hidden variables. However, such an assumption ought to be stated clearly, and the variables and their dynamics stated. But Ballentine doesn't do that. And even if one preferred a hidden variables interpretation, it would not justify his criticism of the standard interpretation - since if the hidden variables view were right, it must derive the standard Copenhagen-style interpretation as an effective theory. I dislike his criticism of Messiah, since Messiah discusses the possibility of hidden variables, and says they have not been ruled out, but it appears not possible to test at the moment, and says he will present Copenhagen in the rest of the book - so it's a broad minded view that gives proper weight to Einstein's view.

Incidentally, the paper also has another wrong criticism of the standard interpretation. The paper claims that position and momentum can be simultaneously measured, but in the counterexample he gives, the position and momentum are not canonically conjugate. So like the book there are technically incorrect criticisms of standard physics. And although these might be incidental carelessness, the overall point he is making is a huge point - he is saying that textbook QM is wrong (as opposed to saying that standard textbooks are a little sloppy in their presentation). Incidentally, the error he makes shows he has not understood why the Bohmian and Copenhagen interpretations are consistent - in making the error, he does not use Bohmian trajectories.
 
Last edited:
  • Like
Likes   Reactions: physika and Demystifier
  • #57
vanhees71 said:
Ok, I try to understand it again. There must be some meaning in what's contradicted by the quantum formalism to what's described by probability distributions for ##\lambda## which is not defined ;-)). I'm always a bit lost with such presumably "mathematical" proofs with only vaguely defined quantities, which then are supposed to have some philosophical meaning like the contradistinction between ontic and epistemic ;-)). It's strange to have vague definitions in mathematics and proving something about these vague definitions ;-)).

I think one way you can think of it is that the state space of quantum mechanics is not a simplex, However, the state space of classical probability is a simplex. The question is whether it is possible to construct a theory preserving all the predictions of QM (to some accuracy) that has an enlarged state space that is a simplex. [Though I guess this criterion is problematic for continuous variables, since I think the state space is not a simplex for classical continuous variables?]
 
  • Like
Likes   Reactions: vanhees71
  • #58
vanhees71 said:
I fear so ;-). I've to read the old RMP paper again. The more one thinks about the foundations the more you change your opinion yourself over the years!
Perhaps it's time that you write down a paper on your own interpretation! :wink:
 
  • Like
Likes   Reactions: physika
  • #59
atyy said:
I think one way you can think of it is that the state space of quantum mechanics is not a simplex, However, the state space of classical probability is a simplex. The question is whether it is possible to construct a theory preserving all the predictions of QM (to some accuracy) that has an enlarged state space that is a simplex. [Though I guess this criterion is problematic for continuous variables, since I think the state space is not a simplex for classical continuous variables?]
What do you mean by "simplex"?
 
  • #60
Demystifier said:
What do you mean by "simplex"?

A shape with sharp points. Like Fig 1.2 in https://www.researchgate.net/publication/258239605_Geometry_of_Quantum_States.
 
  • Informative
  • Like
Likes   Reactions: vanhees71 and Demystifier

Similar threads

  • · Replies 84 ·
3
Replies
84
Views
7K
  • · Replies 309 ·
11
Replies
309
Views
16K
  • · Replies 211 ·
8
Replies
211
Views
13K
  • · Replies 19 ·
Replies
19
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 47 ·
2
Replies
47
Views
7K
  • · Replies 62 ·
3
Replies
62
Views
5K
  • · Replies 91 ·
4
Replies
91
Views
8K
  • · Replies 337 ·
12
Replies
337
Views
15K
  • · Replies 1 ·
Replies
1
Views
2K