Analysis of Wallace's Proof of the Born Rule in Everettian Quantum Mechanics: Formal Aspects
arXiv:1504.05259 · doi:10.1007/s10701-018-0179-7
Abstract
To solve the probability problem of the Many Worlds Interpretation of Quantum Mechanics, D.Wallace has presented a formal proof of the Born rule via decision theory, as proposed by D.Deutsch. The idea is to get subjective probabilities from rational decisions related to quantum measurements, showing the non-probabilistic parts of the quantum formalism, plus some rational constraints, ensure the squared modulus of quantum amplitudes play the role of such probabilities. We provide a new presentation of Wallace's proof, reorganized to simplify some arguments, and analyze it from a formal perspective. Similarities with classical decision theory are made explicit, to clarify its structure and main ideas. A simpler notation is used, and details are filled in, making it easier to follow and verify. Some problems have been identified, and we suggest possible corrections.
In comparison with its previous version arXiv:1504.05259v2 [quant-ph], this article has been changed to focus only on the formal aspects of the proof
References in corpus (6)
- Self-Locating Uncertainty and the Origin of Probability in Everettian Quantum Mechanics
- Decoherence and the transition from quantum to classical -- REVISITED
- Probability in the Everett World: Comments on Wallace and Greaves
- Discreteness and the origin of probability in quantum mechanics
- Analysis of Wallace's Proof of the Born Rule in Everettian Quantum Mechanics II: Concepts and Axioms
- Has the Born rule been proven?
Cited by in corpus (5)
- Understanding quantum mechanics: a review and synthesis in precise language
- Quantum fractionalism: the Born rule as a consequence of the complex Pythagorean theorem
- Analysis of Wallace's Proof of the Born Rule in Everettian Quantum Mechanics II: Concepts and Axioms
- Probability in two deterministic universes
- Derive the Born's rule from environment-induced stochastic dynamics of wave-functions in an open system