- 48,827
- 24,954
Demystifier said:(The Rule 7 is the same as the rule (ii) in my #49 above.)
Which is now in the new thread, here:
https://www.physicsforums.com/threads/difference-between-collapse-and-projection.998545/post-6444527
Demystifier said:(The Rule 7 is the same as the rule (ii) in my #49 above.)
PeterDonis said:As discussed (and as noted in the 7 Rules Insights article), Ballentine does not include Rule 7 in his axioms. His equation 9.9 is more or less equivalent to Rule 7, but as the Insights article notes, Ballentine does not accept that equation as fundamental. He derives it as an effective rule in his equation 9.28.
atyy said:It is not generally accepted that postulate 7 can of the Insights article can be derived from the first 6 postulates alone
Yes, that matches my reading of Ballentine.PeterDonis said:As discussed (and as noted in the 7 Rules Insights article), Ballentine does not include Rule 7 in his axioms. His equation 9.9 is more or less equivalent to Rule 7, but as the Insights article notes, Ballentine does not accept that equation as fundamental.
No, this does not match my reading of Ballentine. (Where does he use the phrase "effective rule" or equivalent? I don't see that.)He derives it as an effective rule in his equation 9.28.
He derives the formula (9.28) in the context of filter-type measurements only, and if you're going to do filtering, of course the experimental preparation must supply an ensemble to the filter's input.[...] from what I can see, Ballentine's derivation of his effective rule appears to assume the ensemble interpretation;
If there is no "derivation" of such kind in the first place, but rather a derivation of a specific formula applicable to filter-type measurements only, then this is not the question, but rather a straw man.atty said:But the question is whether the derivation is correct.
Straw man again.atty said:Other possibilities are that Ballentine is unaware that he has used the postulate here, since he rejects it in his criticism of Interpretation A and the watched pot experiment, and thus has made a double error of rejecting the postulate, and using it.
PeterDonis said:That said, from what I can see, Ballentine's derivation of his effective rule appears to assume the ensemble interpretation; if that is the case, then that would be an additional assumption.
atyy said:How would the ensemble interpretation allow the derivation?
PeterDonis said:See @strangerep's response in post #54.
PeterDonis said:Agreed. I had raised the possibility earlier that something might have changed between editions of Ballentine, but that turned out not to be the case. So it looks like we'll need to make some corrections to the article.
vanhees71 said:It's hard to say, what Bohr really meant ;-)). I'm not sure whether or not he proposed a state reduction.
He simple defines what is understood as a projective or von Neumann filter measurement. It's not a general rule or postulate but just a definition of a special type of experiment, which an be formulated in terms of the postulates of the minimal interpretation (as described in our Insights article). That such types of experiments are feasible in the real world is also evident from the many real-world experiments done with all kinds of systems in the labs where QT is investigated (e.g., quantum optics, AMO, HEP, condensed matter...).PeterDonis said:The term "derived" is ambiguous. Ballentine does not claim to derive his version of the projection postulate (his equation 9.28) as a rigorous mathematical theorem valid in all cases. He only derives it as an "effective rule" (to use the term used in the Insights article) applying to certain particular cases. Doing that is not inconsistent with it being impossible to derive it as a rigorous mathematical theorem valid in all cases.
That said, from what I can see, Ballentine's derivation of his effective rule appears to assume the ensemble interpretation; if that is the case, then that would be an additional assumption.
vanhees71 said:He simple defines what is understood as a projective or von Neumann filter measurement. It's not a general rule or postulate but just a definition of a special type of experiment, which an be formulated in terms of the postulates of the minimal interpretation (as described in our Insights article). That such types of experiments are feasible in the real world is also evident from the many real-world experiments done with all kinds of systems in the labs where QT is investigated (e.g., quantum optics, AMO, HEP, condensed matter...).
vanhees71 said:I'm not happy with calling it a postulate for the said reason. It's the definition of a special (usually idealized) kind of experiments. It's rather a question of how to apply the theory to a specific kind of preparation-observation procedures in each individual case of such a kind of experiment.
vanhees71 said:There is only unitary evolution of the quantum state when considering a closed system.
A filter measurement necessarily involves more than the measured system, namely the filter.
vanhees71 said:No, you need to take a partial trace and describe the evolution by some master equation. That can be FAPP a kind of "state reduction", but it's nothing outside the dynamical laws of QT!
But unitary evolution is deterministic. Does it mean that the quantum state of a closed system evolves deterministically and that there is no randomness in the quantum state of a closed system? But something does change randomly in a closed system, right? So does it mean that, in a closed system, there is something which is not the quantum state?vanhees71 said:There is only unitary evolution of the quantum state when considering a closed system.
So there are two things, the state (which is deterministic) and the observables (which are random). I have two questions.vanhees71 said:A system is described by an observable algebra (realized usually by a set of self-adjoint operators) on an appropriate Hilbert space. The properties of the system is described by the statistical operator, representing its state. What else should there be?
Does quantum theory say anything about those values when they are not measured?vanhees71 said:1) doesn't make sense, and it's not what quantum theory says. Quantum theory tells you the probability to find a certain value when measuring an observable, given the state the measured system is prepared in.
So there are 3 things, not 2. The state (which is deterministic), the observable operator (which is also deterministic), and the value of the observable operator (which is random). Is that right?vanhees71 said:2) Quantum theory doesn't depend on the picture of time evolution used. The observable (probabilistic) predictions of quantum theory are always in the picture-independent matrix elements of the statistical operator,
$$\rho(t,o,o') \langle o,t|\hat{\rho}(t)|o,t' \rangle.$$
where ##|o,t \rangle## is a common eigenvector of a complete set of compatible observables ##O##.
Both the equations of motion for the states (statistical operators) and the self-adjoint operators representing observables in an arbitrary picture of time evolution are of course deterministic.
So why do you care that conserved charge exists even when it is not measured?vanhees71 said:Physics doesn't care about unobserved things.
That's my strategy of phishing, to catch you in an inconsistency.vanhees71 said:I'm a bit puzzled why we are discussing these completely basic undisputed facts about QT all of a sudden.
Some might say that an unobserved universe doesn't exist; for an observer to exists in the first place it or he needs a universe to exists in and for such a universe to exists it needs an observer in it that will observe/notice its existence.Demystifier said:So why do you care that conserved charge exists even when it is not measured?
I have quoted the general version of the postulate in the other thread. Do you think the state-after-measurement rule (2.93) there shouldn't be included as part of a postulate because it can be derived from the other postulates? (I'm not sure if it makes sense to keep these two threads separate)vanhees71 said:I'm not happy with calling it a postulate for the said reason. It's the definition of a special (usually idealized) kind of experiments. It's rather a question of how to apply the theory to a specific kind of preparation-observation procedures in each individual case of such a kind of experiment.
vanhees71 said:There is only unitary evolution of the quantum state when considering a closed system.
vanhees71 said:There is no randomness in the evolution of the quantum state of a closed system at all.
kith said:I'm not sure if it makes sense to keep these two threads separate
In principle, yes. In practice, part of the critique of the projection postulate is that it isn't general. This discussion has been going on at PF without resolution for a long time and currently, I think the best road to identify the core of the issue is the general case. I think this thread and it's spin-off have contributed quite a bit here, so in any case thanks for starting them.PeterDonis said:I think this is a separate question from the one I described above.
I would appreciate this but I can only contribute limited time and limited expertise.PeterDonis said:Perhaps we need to either augment the article or do a follow-up article to cover how the rules need to be generalized to the POVM formalism. If there is interest in doing that, I'll start a separate thread on that topic (and post a link to it here).
PeterDonis said:The term "closed system", at least as it is used in the 7 Basic Rules Insights article, does not include any system on which a measurement is being made. So your statement here, while true, is irrelevant to what happens when a measurement is made, which is the case under discussion.
kith said:In practice, part of the critique of the projection postulate is that it isn't general. This discussion has been going on at PF without resolution for a long time and currently, I think the best road to identify the core of the issue is the general case.
atyy said:I suspect that @vanhees71 refers to a closed system, because he believes that we can in principle include the observer and measurement apparatus in the quantum state, so that there is only unitary evolution.
atyy said:This is also my reading of what Ballentine means in his textbook, given his criticism of standard QM.
Please give a specific reference that supports your account of what Ballentine supposedly believes.PeterDonis said:I'm not sure Ballentine's viewpoint is that of "only unitary evolution", because he believes quantum measurements have single outcomes.
strangerep said:Please give a specific reference that supports your account of what Ballentine supposedly believes.
PeterDonis said:I'm not sure Ballentine's viewpoint is that of "only unitary evolution", because he believes quantum measurements have single outcomes. You can't get single outcomes out of only unitary evolution. I'm not sure Ballentine is taking any of the alternative viewpoints you mention (many worlds, hidden variables, etc.), but it doesn't seem to me like he is taking an "only unitary evolution" viewpoint either.
vanhees71 said:That's precisely the question. Which additional postulates do you mean?
Fine with me, but if this splits in zillions of subthreads it's hard to follow. I think the claim that Ballentine's book is "wrong" is just the claim that the ensemble interpretation is "wrong". So why not keeping the postings in one thread such that the context of the arguments is clear.PeterDonis said:Since your post took this question far beyond just a question about Ballentine specifically, and well over the line into interpretation, I have moved it to the other thread in the interpretations forum where collapse is being discussed:
https://www.physicsforums.com/threads/difference-between-collapse-and-projection.998545/post-6445336
vanhees71 said:I think the claim that Ballentine's book is "wrong" is just the claim that the ensemble interpretation is "wrong".
vanhees71 said:why not keeping the postings in one thread such that the context of the arguments is clear.
See my comments here.atyy said:@A. Neumaier will have to clarify that part, as I think it wasn't in the drafts I read, or I missed it. However, the possibility is the edition and page numbers are correct, and that A. Neumaier read that as a derivation of effective state reduction, because that is what Ballentine intends 9.21 to be. At this point, Ballentine believes that Interpretation A has a state reduction, and he is trying to explain why Interpretation A seems to work most of the time.
A. Neumaier said:See my comments here.
Oh, I see now what you meant. I misunderstood you before.PeterDonis said:Um, his entire textbook? [...]
I agree.atyy said:Thanks. I think the revised comments have essentially the same meaning as the original comments.
With respect to the subject of the OP of this thread, I think Ballentine's derivation in that section is problematic, as it
(i) is in the context of wrongly assuming that the standard interpretation has a state reduction, where the standard interpretation has none.
(ii) on p244, Ballentine says about his derivation that "This “reduction” of the state is not a new fundamental process, and, contrary to the impression given in some of the older literature, it has nothing specifically to do with measurement."
Well, perhaps it is not a new fundamental process (we don't care about that in the orthodox interpretation, as the state is just a way of calculating probabilities of measurement outcomes), but given that Nielsen and Chuang still state reduction as a postulate, explicitly acknowledging that its derivation is controversial, it still remains correct to state it as a postulate. And even if one derives state reduction in the orthodox interpretation by defining it via consistency of simultaneous and sequential measurements (reference in post #93), there the state reduction is specifically related to measurement, and specifically with the measurement outcome.
This is self-contradictory: According to local relativistic QFT (in this case particularly QED) describes all findings correctly. This implies that there can be no causal effect between measurement events that are spacelike separated (that's a mathematical statement!). So there can be no state reduction through the measurement at one place affecting causally the outcome of the (in some frame) later measurement at the other place.atyy said:Heuristically, one can see this in Bell tests, where if the measurement is simultaneous in one frame, it is sequential in another, then it can be seen that state reduction is required for consistency.
vanhees71 said:This is self-contradictory: According to local relativistic QFT (in this case particularly QED) describes all findings correctly. This implies that there can be no causal effect between measurement events that are spacelike separated (that's a mathematical statement!). So there can be no state reduction through the measurement at one place affecting causally the outcome of the (in some frame) later measurement at the other place.
Since nature is frame-independent if there's no state reduction in one frame, there cannot be one in any other.