- 8,706
- 4,789
- TL;DR
- Whether Born's rule for arbitrary observables follows from BM (with quantum equilibrium assumption) is unclear to me.
Where can I find a reference to a derivation of Born's rule for arbitrary observables from Bohmian mechanics?
since you are its author:Demystifier said:3) My "Bohmian mechanics for instrumentalists".
This is not strictly on topic here but how do you reduce to position the color of an object (surely a perceptible) sitting at the macroscopic position x? It is not created in the eyes, but later in the brain, by a process nobody really understands. The explanation given in the third paragraph explains nothing.Hrvoje Nikolic said:3.1 All perceptibles can be reduced to macroscopic positions
They are physicaly equivalent, but may differ in some fine mathematical details.A. Neumaier said:Are the three derivations mathematically equivalent?
It says that it's a microscopic observable, so it's understood that it's defined on the Hilbert space of the object measured.A. Neumaier said:You forget to say on which Hilbert space ##K## is defined - that of the object measured or that of the universe, whose wave function provides the position dynamics?
(3) is defined on a larger Hilbert space, that is on the space of the measured system + apparatus.A. Neumaier said:Also, in (3) you assume a tensor product structure compatible with this assumption.
Unitarity is of course assumed, look at (9).A. Neumaier said:But (3) is not what unitary dynamics says. The latter maps the product state into a superposition of product states! This can be seen by writing down a formula for the Hamiltonian responsible for the interaction and considering a small time step in the Born approximation. Thus your derivation is based on assuming already a nonunitary dynamics!
This is linearity, not unitarity. Unitarity seems to be lost in the assumption (3).Demystifier said:Unitarity is of course assumed, look at (9).
Please justify this step from unitary dynamics.Demystifier said:the interaction between the measured system and the apparatus induces a unitary transition of the form
$$|k\rangle|A_0\rangle → |k′\rangle|A_k\rangle.~~~~~~~~~~~~~~~~~~~ (3)$$
I didn't explain it in detail because it is pretty much standard in the quantum theory of measurement. See e.g. https://arxiv.org/abs/quant-ph/9803052 Eq. (2).A. Neumaier said:This is linearity, not unitarity. Unitarity seems to be lost in the assumption (3).
Please justify this step!
But the argument (2) given there is for an idealized model case, where (in the interaction picture), the interaction has no off-diagonal terms in the selected basis. This seems appropriate only if the selected basis is invariant under the dynamics of the system alone (before the interaction begins). Thus if the system is a particle and angular momentum is to be measured, this assumption does not work!Demystifier said:I didn't explain it in detail because it is pretty much standard in the quantum theory of measurement. See e.g. https://arxiv.org/abs/quant-ph/9803052 Eq. (2).
"Color" is not a physical observable but a physiological one. Maybe there's a POVM to desribe the functioning of the human eye ;-)).A. Neumaier said:Are the three derivations mathematically equivalent?
I looked at https://arxiv.org/pdf/1811.11643.pdf =
since you are its author:
This is not strictly on topic here but how do you reduce to position the color of an object (surely a perceptible) sitting at the macroscopic position x? It is not created in the eyes, but later in the brain, by a process nobody really understands. The explanation given in the third paragraph explains nothing.
I don't know how exactly the (orbital) angular momentum is measured in practice, i.e. what kind of interaction is used for that. But this question is not specific to Bohmian mechanics, this question is independent on the interpretation. Indeed, there is absolutely nothing specifically Bohmian about Eq. (3) in my paper or Eq. (2) in the other paper I mentioned. If you tell me in more detail how the angular momentum is measured in practice, I will be able to tell you in more detail how Bohmian mechanics explains this. And whatever the answer (to the question how exactly the angular momentum is measured) is, I am pretty much confident that it fits to the general measurement scheme explained in Sec. 3.3 of my paper.A. Neumaier said:Or at least I'd like to see an argument how this special situation can come about in the case of an angular momentum measurement!
Are you saying that standard QM cannot explain the measurement of angular momentum? Note that the whole Sec. 3 is not about Bohmian mechanics, but about standard QM.A. Neumaier said:The required dynamics cannot be obtained from the dynamics of the universe by coarse-graining
The POVM scheme is so general that it would be a miracle if such a POVM did not exist.vanhees71 said:Maybe there's a POVM to desribe the functioning of the human eye
I only claimed that it is a perceptible in the sense of the paper. The term is used only there, nowhere else.vanhees71 said:"Color" is not a physical observable but a physiological one.
Actually, I don't see what exactly is your problem. The angular momentum is conserved, i.e. the basis consisting of angular-momentum eigenstates in invariant under dynamics. Do I miss something?A. Neumaier said:This seems appropriate only if the selected basis is invariant under the dynamics of the system alone (before the interaction begins).
No, I only claimed that the measurement of angular momentum cannot be described in the interaction picture by a Hamiltonian of the form (1) considered in the decoherence paper by Kiefer and Joos that you had cited.Demystifier said:Are you saying that standard QM cannot explain the measurement of angular momentum? Note that the whole Sec. 3 is not about Bohmian mechanics, but about standard QM.
My query in post #1 was about deriving the Born rule for arbitrary observables. Thus angular momentum should be a special case. If there is no derivation for arbitrary observables then the question is unresolved in general, and the derivation for each particular observable is its own research project.Demystifier said:If you tell me in more detail how the angular momentum is measured in practice, I will be able to tell you in more detail how Bohmian mechanics explains this.
It is possibly problematic only in the context of the derivation from Bohmian mechanics.vanhees71 said:I also don't see what's problematic with angular-momentum measurements, and as usual, to be able to analyze it in detail one must look at the specific experimental setup with which you measure the angular momentum. One example for measuring total angular momenta of atoms is the Stern-Gerlach experiment
In the Stern-Gerlach experiment, there is a magnetic field, breaking the rotational symmetry needed for the invariance.Demystifier said:Actually, I don't see what exactly is your problem. The angular momentum is conserved, i.e. the basis consisting of angular-momentum eigenstates in invariant under dynamics. Do I miss something?
BM assumes only the unitary dynamics of the wave function guiding the particles, and claims to reproduce from this standard quantum mechanics, which includes the Born rule for arbitrary observables. Thus BM must derive the Born rule for arbitrary observables.vanhees71 said:I don't know, whether one can derive Born's rule at all, no matter if within BM or any other interpretation of QT.
You are missing the point. See Sec. 3.3.A. Neumaier said:Thus I conclude that your argument for derive Born's rule in Bohmian mechanics does not apply for angular momentum measurements.
If it's not valid arbitrarily, then it's not merely a problem for Bohmian mechanics. It is a problem for the quantum theory of measurement in general, as physics currently understands it. It would make much more sense if you would rephrase your question accordingly.A. Neumaier said:and got as answer an argument specifically made for the position measurement of a dust grain but claimed (sofar without any justification) to be valid arbitrarily.
I think one of the @A. Neumaier 's problems is precisely the opposite, to conceive how most measurements can be mapped into position measurements. It seems that he thinks that SG is an exception, rather than a rule. That's probably the reason why, in his thermal interpretation, he introduces a separate ontological quantity for each observable.vanhees71 said:As we've discussed earlier, it's hard to conceive a measurement which cannot be somehow mapped into a position measurement.
...except for Born's rule, which therefore needs to be derived.vanhees71 said:BM has the entire quantum formalism at hand
No, because in the traditional interpretations, Born's rule is assumed to hold for all measurements. Thus there is no problem. (The other, well-known general problem of unique outcomes if one insists on unitarity alone is not a problem in the Copenhagen or statistical interpretation.)Demystifier said:If it's not valid arbitrarily, then it's not merely a problem for Bohmian mechanics. It is a problem for the quantum theory of measurement in general, as physics currently understands it.
This would be consistent with the fact that what seems to be a spin measurement in the BM account of the Stern-Gerlach experiment has nothing to do with the particle spin but is in fact only a measurement of position:charters said:At least some (most in my experience) Bohmian interpreters take the view that the only physically possible measurements are position measurements. See https://arxiv.org/abs/1805.07120
A. Neumaier said:In the analysis of
Figure 2 suggests that rather than measuring spin it measures starting in the upper part of the SG arrangement, independent of spin!
- T. Norsen, The pilot-wave perspective on spin. American Journal of Physics, 82 (2014), 337-348.
Please point to the page with the proof for the Born rule for general operators; I didn't see it there.Elias1960 said:The classical reference to the original question of proof for the Born rule for general operators is
Bohm, D. (1952). A suggested interpretation of the quantum theory in terms of "hidden" variables II, Phys.Rev. 85(2), 180-193
The ontology is only for a free bosonic field. Covariant interactions as needed for the interaction with an EM field are not covered.Elias1960 said:For the question about colors counting as positions, I would refer to
Bohm.D., Hiley, B.J., Kaloyerou, P.N. (1987). An ontological basis for the quantum theory, Phys. Reports 144(6), 321-375 part II,
where for bosonic fields a field ontology is proposed. So, we do not have to look for photon positions, they become as irrelevant as phonon positions, but, instead, what really exists in Bohmian field theory are the EM fields themselves. So, the EM fields E and H are defined by the configuration.
Section 3.3 of Kiefer and Joos is about QED, for which no Bohmian version exists.Demystifier said:You are missing the point. See Sec. 3.3.
is without any supporting proof, and (18) is surely not an angular momentum!Hrvoje Nikolic said:Physically, this means that the master formula (17) [...] is valid for any measurement with clearly distinguishable outcomes.
Part II sec. 2 Quantum theory of measurements p.180A. Neumaier said:Please point to the page with the proof for the Born rule for general operators; I didn't see it there.
Of course, this is a physical paper, thus, with physical requirements for proofs instead of mathematical.Let us now consider an observation designed to measure an arbitrary (hermitian) "observable" Q, associated with an electron. ...
Do you think they are somehow problematic? Interaction terms are products of the local field values. That's clearly a problem leading to infinities if you want to have them for arbitrary distances, but not if you accept that you have anyway only an effective field theory. From a Bohmian field-theoretic point of view, no momentum terms are involved, so they are all part of V(q), which is not restricted. So, the straightforward field theory terms will be fine. BFT also does not need any fundamental gauge or relativistic covariance, all that one can hope for is a theory with a preferred frame, where the preferred frame remains unobservable because of relativistic symmetry of the observables.A. Neumaier said:The ontology is only for a free bosonic field. Covariant interactions as needed for the interaction with an EM field are not covered.
You should distinguish standard QM from standard theory of quantum measurements. The standard QM does not contain the theory of quantum measurements, standard QM treats the measuring apparatus as classical and does not attempt to write its wave function. The standard theory of quantum measurement, on the other hand, treats the measuring apparatus as quantum and "my" Eq. (3) is a standard formula in that theory. Bohmian mechanics uses this standard theory of quantum measurements, but this theory exists even without Bohmian mechanics. It is used also in decoherence theory, many-worlds interpretation, Schrodinger-cat and Wigner-friend thought experiments, etc.A. Neumaier said:No, because in the traditional interpretations, Born's rule is assumed to hold for all measurements. Thus there is no problem.
An observable is defined by a measurement procedure, and as I said, it's hard to find an example, where finally a measurement procedure doesn't somehow at the end lead to a position measurement.Demystifier said:I think one of the @A. Neumaier 's problems is precisely the opposite, to conceive how most measurements can be mapped into position measurements. It seems that he thinks that SG is an exception, rather than a rule. That's probably the reason why, in his thermal interpretation, he introduces a separate ontological quantity for each observable.
Suppose that (17) is not true. Then what else the right-hand side of (17) could be?A. Neumaier said:Section 3.3 of your paper is based on (17), generalizing (11) on no clear grounds. Since (11) cannot be trusted in general (being based on the assumption (3) for position measurements of a dust grain in Kiefer and Joos), why should I trust (17)?
It is the macroscopic observable that describes perceptible outcomes associated with a measurement of angular momentum.A. Neumaier said:and (18) is surely not an angular momentum!
Suppose that the measurement of angular momentum is a projective measurement. If Eq. (3) in my paper can be wrong, then what else the right-hand side of Eq. (3) could be?A. Neumaier said:Thus if the system is a particle and angular momentum is to be measured, this assumption does not work!