Deutsch's 1999 paper 'Quantum theory of probability and decisions' derives the Born rule (the standard quantum probability postulate) from non-probabilistic axioms of quantum theory plus a non-probabilistic fragment of classical decision theory, but only for pure states of finite-dimensional systems, and while explicitly assuming rather than justifying that this decision-theoretic rationality framework applies in a quantum world. The generalization to universes that are genuinely in a mixed state was 'left as an exercise for the reader', and the foundational status of the rationality axioms (transitivity, additivity, substitutibility, the zero-sum rule) in a quantum, and specifically Everettian, setting was acknowledged as unaddressed. Later literature partially closes the first gap: Chua and Chen (2025) carried out the exercise for Deutsch's own proof in a mixed-state Everettian multiverse, though the generalization of the stronger Wallace-style Deutsch-Wallace theorem remains open. The second gap - whether the non-probabilistic rationality axioms are justified and consistent with quantum theory without covertly importing probability - remains an actively contested open problem in the foundations of Everettian quantum mechanics.

Background

In the Everett (many-worlds) interpretation of quantum mechanics, all outcomes of every measurement occur in decohering branches (branches between which quantum interference rapidly becomes negligible, so that each evolves effectively autonomously), and the deterministic dynamics assigns no probabilities. This raises the 'probability problem': what can the Born rule - the postulate that measurement outcomes occur with probabilities equal to the squared amplitudes of the corresponding branches - mean, and what justifies it, when every outcome actually happens? The Born rule itself is a probabilistic axiom, so using it to explain probability in Everett would be circular. Deutsch (1999) proposed a decision-theoretic resolution: consider a rational agent who plays 'quantum games' in which the payoff depends on the outcome of a future measurement, but who knows only the non-probabilistic part of quantum theory. Rationality is defined by preference constraints that make no reference to probability: transitivity of preferences (if A is preferred to B and B to C, then A is preferred to C, so preferences are representable by a real-valued utility), additivity (indifference between receiving payoffs of utilities x1x_1 and x2x_2 separately and a single payoff x1+x2x_1+x_2), substitutibility (replacing a sub-game of a composite game by a game of equal value leaves the composite's value unchanged), and the zero-sum rule (in a two-player, zero-sum game, what the 'player' wins the 'banker' loses, so the game has a well-defined value). Deutsch proved that an agent constrained by these axioms must value a game on a system in state ψ\psi, about to be measured for observable X^\hat X, at V[ψ]=∑axa∣⟨xa∣ψ⟩∣2V[\psi]=\sum_a x_a |\langle x_a|\psi\rangle|^2 - i.e. the agent bets exactly as if the Born-rule probabilities were true. The proof, however, was restricted to general pure states of systems with finite-dimensional state spaces; mixed states of a subsystem were handled only by purifying them into a larger pure-state system. Deutsch then left 'further generalisation to exotic situations in which the universe as a whole may be in a mixed state' - situations discussed by Hawking (1976) and Deutsch (1991), such as evaporating black holes or closed timelike curves, where the global state is postulated to be a density matrix (a mixed-state operator generalizing state vectors) that is not anyone's ignorance about a pure state - 'as an exercise for the reader'. Independently, Deutsch flagged a second, methodological gap: the applicability of the non-probabilistic part of classical decision theory in a quantum world is 'a substantive one', and 'it is not self-evident that rational decision making does not have a radically different character, or that rationality is possible at all, in the presence of quantum-mechanical processes'. Later work sharpened this into a debate: Barnum, Caves, Finkelstein, Fuchs and Schack (2000) argued that Deutsch's axioms (especially substitutibility) smuggle in hidden probabilistic content, undermining the claimed derivation of probability from non-probabilistic postulates; Wallace (2003, 2010, 2012) rebuilt the argument on a Savage-style decision-theoretic foundation - an axiom system in the tradition of Leonard Savage's classical axiomatization of rational preference under uncertainty - to obtain the 'Deutsch-Wallace theorem', still for a pure-state multiverse, while density-matrix realism - the view that the fundamental universal state is a possibly mixed density matrix - has become a live alternative (Chua and Chen, 2025).

Problem Statement

The source-faithful problem, as posed by Deutsch (1999) and surviving later literature, has two linked parts. (1) Mixed-state universes: complete the decision-theoretic derivation of the Born rule for situations in which the universe as a whole is in a genuinely mixed state (a density matrix not representing ignorance about any pure state), as envisaged by Hawking (1976) and Deutsch (1991) - Deutsch's own proof covered only pure states of finite-dimensional systems and left this 'as an exercise for the reader'. Deutsch-proof-level generalization has now been carried out (Chua and Chen 2025, giving V[ρ]=Tr(ρX^)V[\rho]=\mathrm{Tr}(\rho\hat X)), so the surviving part is the mixed-state generalization of the full, Savage-style Deutsch-Wallace theorem. (2) Rationality axioms: establish, or refute, whether the non-probabilistic fragment of decision theory used in the derivation - transitivity of preferences, additivity of utilities, substitutibility, the zero-sum rule, and the existence of a value of each game - is justified and consistent within quantum theory without covertly importing probabilistic assumptions, and whether rational agency is possible at all, or must instead take a radically different character, in a quantum (in particular Everettian, pure- or mixed-state) world. The open question of part (2) is whether the non-probabilistic axioms admit a non-circular justification that yields the Born rule, or whether they must be rejected - as ineliminably probabilistic or false in the Everettian setting, or as requiring a radically different account of rational agency in a quantum world; the open question of part (1) is whether the full, Savage-style Deutsch-Wallace theorem admits a mixed-state generalization, or whether the existing axiom set cannot support one. The overarching objective is a probability-free foundation for quantum probability: to determine how much of the Born rule, and of rational decision theory itself, can be derived from assumptions that nowhere presuppose probability.

References

  1. David Deutsch, 'Quantum theory of probability and decisions', Proceedings of the Royal Society of London A 455 (1999) 3129-3137. DOI: 10.1098/rspa.1999.0443, https://doi.org/10.1098/rspa.1999.0443 (arXiv: quant-ph/9906015, https://arxiv.org/abs/quant-ph/9906015).
  2. S. W. Hawking, 'Black holes and thermodynamics', Physical Review D 13 (1976) 191-197. DOI: 10.1103/PhysRevD.13.191, https://doi.org/10.1103/PhysRevD.13.191.
  3. David Deutsch, 'Quantum mechanics near closed timelike lines', Physical Review D 44 (1991) 3197-3217. DOI: 10.1103/PhysRevD.44.3197, https://doi.org/10.1103/PhysRevD.44.3197.
  4. H. Barnum, C. M. Caves, J. Finkelstein, C. A. Fuchs, R. Schack, 'Quantum probability from decision theory?', Proceedings of the Royal Society of London A 456 (2000) 1175-1182. DOI: 10.1098/rspa.2000.0557, https://doi.org/10.1098/rspa.2000.0557 (arXiv: quant-ph/9907024, https://arxiv.org/abs/quant-ph/9907024).
  5. David Wallace, 'Quantum Probability and Decision Theory, Revisited' (2002). arXiv: quant-ph/0211104, https://arxiv.org/abs/quant-ph/0211104.
  6. David Wallace, 'Everettian rationality: defending Deutsch's approach to probability in the Everett interpretation', Studies in History and Philosophy of Science Part B 34 (2003) 415-439. DOI: 10.1016/s1355-2198(03)00036-4, https://doi.org/10.1016/s1355-2198(03)00036-4.
  7. David Wallace, 'How to Prove the Born Rule', in S. Saunders, J. Barrett, A. Kent, D. Wallace (eds.), 'Many Worlds? Everett, Quantum Theory, and Reality', Oxford University Press (2010), pp. 227-263. DOI: 10.1093/acprof:oso/9780199560561.003.0010, https://doi.org/10.1093/acprof:oso/9780199560561.003.0010.
  8. Hilary Greaves, 'Probability in the Everett Interpretation', Philosophy Compass 2 (2007) 109-128. DOI: 10.1111/j.1747-9991.2006.00054.x, https://doi.org/10.1111/j.1747-9991.2006.00054.x.
  9. David Wallace, 'The Emergent Multiverse: Quantum Theory according to the Everett Interpretation', Oxford University Press (2012). DOI: 10.1093/acprof:oso/9780199546961.001.0001, https://doi.org/10.1093/acprof:oso/9780199546961.001.0001.
  10. André L. G. Mandolesi, 'Analysis of Wallace's Proof of the Born Rule in Everettian Quantum Mechanics II: Concepts and Axioms', Foundations of Physics 49 (2019) 24-52. DOI: 10.1007/s10701-018-0226-4, https://doi.org/10.1007/s10701-018-0226-4 (online November 2018, print volume 49, 2019).
  11. Eugene Y. S. Chua, Eddy Keming Chen, 'Decoherence, branching, and the Born rule in a mixed-state Everettian multiverse', Synthese 205(4), article 160 (2025). DOI: 10.1007/s11229-025-04949-0, https://doi.org/10.1007/s11229-025-04949-0 (arXiv: 2307.13218, https://arxiv.org/abs/2307.13218).
  12. Keano De Vos, Gert de Cooman, Alexander Erreygers, Jasper De Bock, 'A decision-theoretic approach to dealing with uncertainty in quantum mechanics' (2025). arXiv: 2503.20607, https://arxiv.org/abs/2503.20607.
  13. Simon Saunders, 'Physical Probability in the Everett Interpretation, and Bell Inequalities', in 'Local Quantum Mechanics: Everett, Many Worlds, and Reality', Oxford University Press (2026), pp. 352-382. DOI: 10.1093/9780197792766.003.0014, https://doi.org/10.1093/9780197792766.003.0014.
  14. Jiaxuan Zhang, 'Summing to Uncertainty: On the Necessity of Additivity in Deriving the Born Rule' (2026). arXiv: 2603.06211, https://arxiv.org/abs/2603.06211 (a preprint).