# Is the Born rule trivially encoded in the structure of Hilbert space?

+ 5 like - 0 dislike
585 views

I am working my way through Everett's long thesis (1956) and got to the section where he "derives" the Born rule. On working it through myself, I found that his derivation was essentially a restatement of the normalization condition, ie that the norm of a state as the square root of the sum of squares of the coefficients of its decomposition in some basis must be equal to one. The abbreviated derivation would be essentially that if we have a generic QM state $\sum a_i \phi_i$ that is normalized $\sum a_i^*a_i = 1$ and we want to find a measure M($a_i$) for each possible outcome $\phi_i$ then by definition we want $\sum M(a_i)=1$, and so by comparison with the normalization condition it must be that $M(a_i)=a_i^*a_i$. Again this isn't exactly what Everett does, but as far as I can tell his derivation is morally equivalent to the abbreviated argument above.

At this point I had two competing realizations:

1) That I understand why Everett's derivation of the Born rule does not stand up to scrutiny, in that it is tautologically dependent on the inner product structure of Hilbert space.

2) That there is really no other option if you are working with a Hilbert space, it is basically just an example of Gleason's theorem in action. The only way to have a more satisfying derivation of the Born rule would be to somehow derive the inner product structure of Hilbert space from some form of branch counting, but that presents a chicken/egg problem.

My question is whether my above reasoning is correct. Is the Born rule trivially encoded in the structure of Hilbert space (at some level it must be given Gleason's theorem)? If so, isn't all the fuss about the Born rule in the MWI completely missing the point?

As per Arnold Neumaier's suggestion, and with the consent of user1247 and Vladimir Kalitvianski, I've moved a tangential (yet nevertheless perhaps useful) discussion to chat.

 Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead. To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL. Please consult the FAQ for as to how to format your post. This is the answer box; if you want to write a comment instead, please use the 'add comment' button. Live preview (may slow down editor)   Preview Your name to display (optional): Email me at this address if my answer is selected or commented on: Privacy: Your email address will only be used for sending these notifications. Anti-spam verification: If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:p$\hbar$ysicsOverfl$\varnothing$wThen drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds). To avoid this verification in future, please log in or register.