Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Deriving the statistical interpretation from Schrodinger's equation?

  1. Jan 14, 2014 #1
    So, there are two things in Quantum Mechanics that I understand are axioms: the first is the schrodinger equation, which cannot be derived. Okay fine, we have to start somewhere. The second axiom is that the integral from a to b of the wavefunction-mod-squared gives the probability of finding the particle between a and b. My question is: Is there any framework that can derive the statistical interpretation just by manipulating the schrodinger equation and building on other principles, or is this just treated as fundamental?
     
  2. jcsd
  3. Jan 14, 2014 #2

    tom.stoer

    User Avatar
    Science Advisor

    There are claims that it's possible to derive the Born-rule in the Many-Worls-Interpretation. However it is still open whether these statements are true.

    We had a some discussions here in the forum, but I don't think that anybody can provide a sound and complete result.
     
  4. Jan 14, 2014 #3

    dextercioby

    User Avatar
    Science Advisor
    Homework Helper

    Schrödinger's equation is a theorem in a symmetry based axiomatization of QM, following the ideas of Weyl and Wigner. The symmetry based axiomatization starts off with Born's rule regarding the statistical nature of the mathematical objects describing the quantum states.
     
  5. Jan 14, 2014 #4

    jcsd

    User Avatar
    Science Advisor
    Gold Member

    In Bohmian mechanics the Born rule is derived (given the odd assumption). One interesting feature though Bohmian mechanics it allows for the possibility of a system to be in a state of quantum non-equilibrium where the Born rule is not obeyed.
     
  6. Jan 14, 2014 #5
    but then that's not a derivation, thats just an assumption that it works.
     
  7. Jan 14, 2014 #6

    atyy

    User Avatar
    Science Advisor

    Two leading approaches for deriving the Born rule are:

    1) Deutsch and Wallace's decision theoretic approach
    http://arxiv.org/abs/quant-ph/9906015
    (Proc. R. Soc. Lond. A 8 August 1999 vol. 455 no. 1988 3129-3137)
    http://arxiv.org/abs/0906.2718

    2) Zurek's quantum Darwinism
    http://arxiv.org/abs/0707.2832
    http://arxiv.org/abs/0903.5082
    (Nature Physics, vol. 5, pp. 181-188 (2009))

    I believe both are best seen within the many-worlds interpretation, but it is not entirely clear which interpretation Zurek is using. As tom.stoer says, there is no consensus about their correctness.
     
    Last edited: Jan 14, 2014
  8. Jan 14, 2014 #7

    jcsd

    User Avatar
    Science Advisor
    Gold Member

    It depends on whether you think the underlying assumption is reasonable or not.
     
  9. Jan 15, 2014 #8

    tom.stoer

    User Avatar
    Science Advisor

    Even Wallace admits that it's still open whether his approach does succeed.
     
  10. Jan 15, 2014 #9

    bhobba

    Staff: Mentor

    Exactly.

    Personally I like Gleason's Theorem:
    http://kof.physto.se/theses/helena-master.pdf

    But that has an assumption - basis independence (physically this means non-contextuality).

    Dextercioby also hit the nail on the head - while one can axiomatize QM in various ways most exposed to it would say the approach with the greatest elegance is to use Born's rule and symmetry to derive Schrodinger's equation.

    You will find this approach in Ballentine - Quantum Mechanics - A Modern Development:
    https://www.amazon.com/Quantum-Mechanics-A-Modern-Development/dp/9810241054

    He develops it from 2 axioms. The first axiom is the observable postulate (ie the eigenvalues are the possible outcomes of an observation) and the second is Born's rule.

    Interestingly, via Gleason's Theorem, you can derive Born's rule from the first axiom, so QM is really just one axiom. Obviously that's a crop of the proverbial - more than one axiom is required. Its just in that approach the rest are derivable from quite reasonable further assumptions, such as the probabilities from Born rule does not depend on inertial frames.

    Still it's very interesting to see just what the real key non intuitive assumption of QM is and that the rest really follow from that in a reasonable way.

    Thanks
    Bill
     
    Last edited by a moderator: May 6, 2017
  11. Jan 15, 2014 #10

    Demystifier

    User Avatar
    Science Advisor

  12. Jan 15, 2014 #11

    tom.stoer

    User Avatar
    Science Advisor

    I don't agree.

    Gleason's theorem says that if a probability measure shall be introduced, then it must comply with Born's rule. But Gleason's theorem does not say that you have to introduce a probability measure at all.
     
  13. Jan 15, 2014 #12

    Demystifier

    User Avatar
    Science Advisor

    This indeed is an important assumption of the Gleason's theorem, but there is an even more important one: The aditivity of the expectation values for commuting observables.

    As shown by Bell, hidden variable theories (such as the Bohmian one) may violate this assumption in general, and yet be compatible with all measurable predictions of QM in situations when measurements are performed.
     
  14. Jan 15, 2014 #13

    bhobba

    Staff: Mentor

    I suspect you are thinking about the error in Von-Neumanns hidden variable proof which made that assumption and not Gleason's Theorem which has much weaker assumptions. The only assumption is the measure must be basis independent.

    I have posted the proof - you can check it for yourself - but its well known - basis independence is innocuous mathematically, and more or less required by the fact you are dealing with a vector space - physically though it implies non-contextuality which is far from trivial.

    Thanks
    Bill
     
    Last edited: Jan 15, 2014
  15. Jan 15, 2014 #14

    bhobba

    Staff: Mentor

    Are you seriously doubting the expectation of an observation will reach a stable value?

    Kolmogorov's axioms follow from Cox's axioms. Do you seriously doubt Coxes axioms can't be applied?

    Of course they are assumptions but I suspect most would put them in the innocuous category.

    Thanks
    Bill
     
  16. Jan 15, 2014 #15

    atyy

    User Avatar
    Science Advisor

    Even in the context of many-worlds? (I agree there's a good argument they can, but is it really clear that the argument is completely correct and without flaw?)
     
  17. Jan 15, 2014 #16

    tom.stoer

    User Avatar
    Science Advisor

    Bill,

    Gleason's theorem says that there is one unique probability measure on Hilbert spaces. But Gleason's theorem does not say that you must introduce a probability measure at all. You can use Hilbert spaces for many other purposes, not only QM, and in these cases you don't introduce a probability measure. The fact that you want to introduce a probability is a matter of interpretation or applicability of the Hilbert space formalism to nature.

    So first you have to use two axioms like
    1) QM uses Hilbert spaces
    2) QM makes probabilistic predictions
    Then you can use Gleason's theorem which tells you which measure to use.

    Suppose you formulate classical electrodynamics using Hilbert spaces. Does Gleason's theorem force you to introduce a probability measure for electrodynamics? I would say "no".
     
  18. Jan 15, 2014 #17

    bhobba

    Staff: Mentor

    The operator rule says the outcomes of an observation is an eigenvalue of the operator. It implies you get outcomes with each observation.

    Are you seriously doubting, when given outcome values you can't apply probability to analyse those outcomes? If so many areas of applied mathematics go down the gurgler such as actuarial science, weather forecasting, econometrics, the list goes on and on. Its such a trivial assumption that no text in such areas, to the best of my knowledge anyway, even state it as an assumption. It is of course, but its so utterly obvious no one elevates it to that status. But for some reason in QM, there are those, when confronted with observational data, say its a real issue.

    Sorry, my background in applied math tells me its so trivial it does not rate a mention as a key assumption.

    Thanks
    Bill
     
    Last edited: Jan 15, 2014
  19. Jan 15, 2014 #18

    bhobba

    Staff: Mentor

    In many worlds one interprets it as a confidence level you are in a particular world obeying Cox's axioms and derives probabilities that way.

    What I am talking about here is from the formalism - not a particular interpretation. Its simply that from the first axiom, that the outcome of an observation is an eigenvalue of the observable, you get data from carrying out the same observation under that same conditions a number of times, trials or whatever terminology you want to use.

    Its utterly trivial that one can do statistical analysis of such data assuming values have a certain provability of occurring.

    My background is in applied math where I studied such things as mathematical statistics and stochastic models. That one can do such things is considered so trivial it is assumed without even mentioning it that values can be assigned a probability and those probabilities must add up to one.

    I believe your background is biology. Do you seriously doubt we cant do things like assign a probability to the number of offspring a member of a population will have? Of course its an assumption, but its so utterly obvious its doubtful anyone would even think of questioning it. And if you did its so widely used in such areas as weather forecasting and actuarial science you would have to really push it convincing anyone it even debatable.

    Thanks
    Bill
     
  20. Jan 15, 2014 #19

    bhobba

    Staff: Mentor

    Does EM have the axiom of QM that observables are Hermitian operators and the possible outcomes of observations are the operators eigenvalues? Its an axiom from which you get data - data implies you can assign probabilities.

    Imagine someone has given you a sequence of numbers and said they can only be certain values and asked you to analyse them. Don't you think you would get a strange look if you said - can I assume a probability can be assigned to a particular numbers occurrence?

    Thanks
    Bill
     
    Last edited: Jan 15, 2014
  21. Jan 15, 2014 #20

    tom.stoer

    User Avatar
    Science Advisor

    Bill, you don't get the point.

    In http://arxiv.org/abs/quant-ph/0405161 I found the following text statement:

    That's exactly my point.

    Gleason's theorem says that if you want to construct a probability measure on a Hilbert space, then the probability measure is uniquely determined. But Gleason's theorem does not tell you why you should introduce a probability measure at all. There are applications for separable Hilbert spaces in other branches of physics, and in these other branches you do not introduced probabilities. This shows that Gleason's theorem alone is not sufficient to explain why you should do that.

    Anyway, the assumption may be trivial, but it is an assumption. No mathematical theorem about a mathematical structure forces you to interpret this mathematical structure in a certain way, or to interpret it at all.
     
    Last edited: Jan 15, 2014
  22. Jan 15, 2014 #21

    atyy

    User Avatar
    Science Advisor

    So your point is that the opposite of determinism is not probability (even though that is standard colloquial usage), since technically, determinism is a subset of probability (assuming measurability, which I do think is natural). Instead, in the context of quantum mechanics, the opposite of determinism is contextuality.

    If in many-worlds, we take probability to be "a confidence level you are in a particular world obeying Cox's axioms and derives probabilities that way", but don't assume non-contextuality, I presume we could get certainty (no Born rule)?
     
    Last edited: Jan 15, 2014
  23. Jan 15, 2014 #22

    bhobba

    Staff: Mentor

    Scratching my head what you even mean.

    Contextuality simply means the outcome of an observation is not dependent on other parts of the observation. Think of an observation with outcomes |bi> and another with outcomes |gi> but |b1> = |g1>. We can assign the value 1 to outcome |b1> and zero for all the rest. The two observables created this way are equal. If the formalism of QM is correct we would expect the probability of getting |b1> to be the same in both cases ie not dependent on which observation is involved because the obserables are exactly the same. Since the outcomes |bi> and |gi> are two different basis with exactly the same first element this is exactly the same as saying the probability is basis independent.

    Added Later:
    I made a goof in replying to Demystifyer. He is correct - Gleason makes the assumption expectations are additive for commuting observables. Its exactly the same as basis independence - for commuting observables (basically) they have the same eigenvectors. Simply by changing the value of the outcome either can be made the same as the other observable, so you are really dealing with the same observable, and, even though they are physically different, if the formalism of QM is correct you would expect them to give exactly the same expectation values.

    What Gleason's Theorem shows is that's enough to derive Borns rule. Basically its simply requiring we take the interpretation of observables at face value. If two obserables are exactly the same, even though the physical apparatus are different, then the probabilities of getting a particular outcome is the same.

    This is why contextuality in QM is often seen as a bit strange - its really at odds with the formalism.

    The out hidden variable theories have is the hidden variables can be contextual hence invalidating the theorem.

    Its a subtler form of the error Von-Neumann made in his proof that hidden variables cant exist - except he assumed that expectation values are additive always - not just for commuting observables. That's true in QM - but hidden variables are another matter.

    Thanks
    Bill
     
    Last edited: Jan 15, 2014
  24. Jan 15, 2014 #23

    bhobba

    Staff: Mentor

    I have been though this one many times before and I think I do get the point.

    Its simply this - its an assumption that we can assign probabilities to outcomes - no question - but its of a very trivial sort I doubt anyone would seriously question - especially anyone with a background in applied math.

    What really seems to lie at the heart of it is not that one can assign probabilities, it's that Born's rule doesn't allow the assigning of only 0 and 1 as probabilities which means determinism is caput.

    What Gleason shows, is determinism and non-contextuality within the formalism of QM (ie directly from the definition of obsderables) is not allowed. It doesn't give any intuitive picture why this is - its just a mathematical 'quirk'. Personally I am very comfortable with taking the mathematics at face value.

    Its the same why that would lead you to assign probabilities to outcomes of a sequence of data you were handed to analyse. You would naturally assign probabilities and work out things like the probability of getting a particular value.

    Its the same why that when asked to analyse queue lengths at a bank teller you would assign a probability to a person arriving in a short time interval.

    Its the same why if you were an actuary you would assign probabilities to people living to a certain age.

    Its the same why if you were a weather forecaster you would try and figure out the probability of rain occurring tomorrow.

    Its simply a natural and reasonable thing to do. Sure its an assumption you can do those things, but its an assumption that's made all the time in trying to make sense of the world, and its so prevalent I doubt anyone would seriously question it.

    Sure. I am not questioning its an assumption. What I am questioning is why make a big deal about it.

    I often say Ballentine is a very interesting treatment of QM because it's based on just two axioms - others have a lot more. Its not that those other axioms are not required - its that they have been replaced with other assumptions that seem natural, almost trivial, to the point its not specifically stated as an axiom. That you can assign probabilities to such things is a very common assumption used in many areas of applied math, so much so no one even states its an assumption - its simply assumed.

    This sort of thing occurs in other areas of physics. For example one can actually derive Maxwell's equations from relativity and Coulombs law. It's a really nice proof - I like it. But the EM guru, Jackson, in his book (so I have been told anyway) broadsides it calling such proofs silly because they have hidden assumptions. Personally I am not so pessimistic - yes they have such assumptions - and I managed to locate the one in the derivation of Maxwell's equations - but to me a presentation where the assumptions are natural and almost trivial is superior to one that is opaque. Just my view.

    Thanks
    Bill
     
    Last edited: Jan 15, 2014
  25. Jan 15, 2014 #24

    bhobba

    Staff: Mentor

    :eek::eek::eek::eek::eek::eek::eek::eek:

    My goof. I didn't notice this was for COMMUTING observables.

    Its exactly the same as basis independence.

    Thanks
    Bill
     
  26. Jan 15, 2014 #25

    atyy

    User Avatar
    Science Advisor

    @bhobba, regarding posts #21 & #22, would it be better if I had said "in the context of quantum mechanics, the opposite of determinism is non-contextuality"?

    @tom.stoer, I believe bhobba point's is the assigning a measure does not imply a loss of determinism. After all, one can assign a delta measure on phase space in classical mechanics and evolve it with the Liouville equation, completely deterministic. So I think what he is saying is that the non-trivial assumption in Gleason's theorem is not that a measure can be assigned, but something else like non-contextuality.
     
    Last edited: Jan 15, 2014
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook