Completing the additivity audit of Born-rule derivations: the refined Deutsch–Wallace and Farhi–Goldstone–Gutmann proofs, Bohmian typicality and QBist coherence, and the physical status of non-contextuality and continuity as substitutes for additivity

The Born rule, which assigns probability $|\langle\psi|x_k\rangle|^2$ to the outcome $x_k$ of a measurement on a state $|\psi\rangle$, is the only probabilistic axiom of quantum mechanics, and a century of work has tried to derive it from non-probabilistic postulates. Zhang (arXiv:2603.06211, 2026) proved that probability additivity cannot be derived from the other standard auxiliary assumptions — non-contextuality and normalization — and audited five major derivations (Gleason's theorem, Busch's POVM extension, Deutsch's decision-theoretic proof, Zurek's envariance proof, and Hartle's frequentist derivation), finding that each either depends on an additivity assumption or develops loopholes without it. The source defers the first three of the following four linked tasks, while the fourth follows from its body diagnosis of the continuity and dimensionality problems and its stated goal of determining the minimal set of additional postulates required to derive the Born rule; all four remain open in the wider literature: (1) determine whether Wallace's refined decision-theoretic Deutsch–Wallace proof and Farhi, Goldstone, and Gutmann's improved frequentist theorem avoid additivity or merely re-encode it in another guise; (2) determine whether Bohmian typicality and QBist Bayesian-coherence derivations provide a genuine substitute for additivity; (3) provide the more complete discussion of the role of non-contextuality that the paper defers: whether any formulation (observable, additivity, or state non-contextuality) can replace additivity, and what considerations bear on the physical defensibility of each formulation; (4) settle the minimal continuity and dimensionality assumptions needed to extend rational-weight results to real weights, especially in finite-dimensional Hilbert spaces. No work in the wider literature performs these analyses: recent work continuing this program assumes additivity carriers of its own, the long-running debate over the decision-theoretic route (Barnum et al., Kent, Brown and Ben Porath, March) is unresolved, and the envariance route has been weakened rather than completed. The problem of completing the additivity audit — and thereby precisely locating the origin of quantum probability — is open.

Background

In quantum mechanics the Born rule assigns to a measurement outcome $x_k$ the probability $|\langle\psi|x_k\rangle|^2$. Because this is the only place where probability enters the theory, a long research program has sought to derive it as a theorem from the non-probabilistic postulates (states as Hilbert-space vectors, unitary evolution, observables as self-adjoint operators) plus a minimal set of auxiliary assumptions. The central danger is circularity: if the auxiliary assumptions already encode part of probability theory, the derivation does not explain the origin of quantum probability.

A convenient formalization introduces a real-valued measurement function $\mu$ that maps a projector (or, for generalized measurements, an effect of a positive-operator-valued measure, i.e. a POVM — a collection of positive operators summing to the identity) to the number assigned to that outcome. The auxiliary assumptions then take comparable forms across derivations. Additivity requires $\mu(A)+\mu(B)=\mu(A+B)$ for orthogonal projectors $A,B$ (Gleason's frame-function assumption; a countable version covers countable families) — a manifestly probabilistic requirement, since it states that probabilities of exclusive alternatives sum. Non-contextuality appears in several strengths: observable non-contextuality (ONC) requires $\mu(A)$ to be independent of which other compatible measurements are performed alongside $A$; additivity non-contextuality (ANC) requires that the additivity law itself hold independently of the measurement context, and is strictly stronger than ONC; state non-contextuality requires $\mu(|\psi\rangle,|x_i\rangle\langle x_i|)$ to depend only on the state and the projector, excluding any hidden-variable influence. Normalization fixes $\mu(I)=1$.

Gleason (1957) showed that additivity over closed subspaces in Hilbert spaces of dimension at least 3 forces $\mu$ to be the Born trace rule; Busch (2003) extended this to POVMs. Deutsch (1999) recast the problem in decision theory for the Everett (many-worlds) interpretation, where all outcomes of a measurement occur on different branches: a rational agent's preferences over 'games' with payoffs on branches are claimed to be constrained by Born weights without assuming probability. Wallace (2009, published as 'How to prove the Born rule' in the volume Many Worlds?) turned this into a formal proof — the Deutsch–Wallace theorem — whose rationality axioms include additivity of utility over branches, prompting a two-decade debate over whether the decision-theoretic axioms smuggle in the probabilistic content (Barnum, Caves, Finkelstein, Fuchs and Schack 2000; Kent 2009). Zurek (2005) derived the Born rule from envariance (environment-assisted invariance, a symmetry of entangled states under paired local unitaries), claiming to weaken additivity. Hartle (1968) gave a frequentist derivation via a frequency operator whose eigenvalue on the infinite ensemble $|\psi\rangle^{\otimes\aleph_0}$ is the Born weight, improved by Farhi, Goldstone and Gutmann (1989) using an eigenvalue postulate and the strong law of large numbers; Caves and Schack (2005) argued that frequency-operator properties do not imply the probability postulate. Bohmian mechanics justifies Born statistics through typicality: Dürr, Goldstein and Zanghì (1992) argue that the initial configuration of the universe is typical with respect to the $|\Psi|^2$ measure ('quantum equilibrium', yielding 'absolute uncertainty'). QBism (DeBrota, Fuchs, Pienaar and Stacey 2021) derives the Born rule as a quantum extension of Bayesian coherence — the Dutch-book requirement that an agent's probability assignments avoid sure-loss bets — with probability taken as primitive personalist degrees of belief.

Zhang (2026) proved that additivity cannot be derived from ONC plus normalization (with counterexamples in both directions, using ANC to expose where earlier arguments conflated the notions), and audited the five derivations above: in Gleason's and Busch's theorems additivity is the core postulate; in Deutsch's it is implicit and central; in Zurek's, the weakened additivity fails to guarantee continuity of $\mu$; in Hartle's, the absence of additivity creates a new mixed-state incoherence. The paper also distinguishes five different continuity notions used across proofs. Two structural problems recur. The continuity problem: results proven first for rational weights (from equal-amplitude branches) are extended to real amplitudes only by assuming continuity of $\mu$, which Zurek's weak additivity cannot guarantee (Zhang exhibits a discontinuous counterexample satisfying it). The dimensionality problem: the extension step in Deutsch's and Zurek's proofs requires an auxiliary system of countably infinite dimension ($\aleph_0$), so in every finite-dimensional Hilbert space contextual non-Born measurement functions satisfy the stated assumptions. What remains unsettled is the completion of this audit over the derivation families Zhang did not analyze, and the two cross-cutting questions — which non-contextuality notion is physically defensible, and what continuity/dimensionality input is minimally sufficient — on which any genuine substitute for additivity would have to rest.

Problem Statement

Complete the additivity-necessity program for deriving the Born rule, covering the derivation families not yet audited by Zhang (arXiv:2603.06211) and resolving the two cross-cutting questions that would identify a genuine substitute for additivity. Concretely, determine — with the same standard of rigor as the source paper's audit of Gleason, Busch, Deutsch, Zurek and Hartle — for each of the following families whether the Born rule is derived without a probabilistic additivity input, or whether additivity reappears in another technical guise (for example as additivity of utility over branches, as countable additivity inside measure-theoretic limit theorems, or as a coherence norm on probabilities): (1) Wallace's refined decision-theoretic proof of the Deutsch–Wallace theorem; (2) the improved Finkelstein–Hartle frequentist theorem of Farhi, Goldstone and Gutmann; (3) Bohmian typicality derivations of the quantum-equilibrium hypothesis and absolute uncertainty; (4) QBist derivations of the Born rule as a quantum extension of Bayesian coherence. For each family, completing the audit means reconstructing the proof's full assumption list in the source taxonomy (forms of additivity, ONC/ANC/state non-contextuality, normalization, non-negativity, the relevant continuity notion, and any auxiliary-system dimensionality requirement), locating every step at which a probabilistic or context-dependence input enters, exhibiting an explicit contextual non-Born measurement function where the stated assumptions are insufficient (in the style of the source's finite-dimensional counterexamples), and classifying the family as additivity-free, additivity-re-encoding, or genuine-substitute — where a family is additivity-free if its derivation reaches the Born rule with no probabilistic assumption and without any stand-in for additivity; genuine-substitute if a non-probabilistic assumption takes over the structural role that additivity plays in the other derivations, without itself encoding probabilistic content; and additivity-re-encoding if the probabilistic input reappears in another guise. In addition, the two cross-cutting questions on which any substitute must rest are to be resolved: (a) the more complete discussion of the role of non-contextuality deferred by the source — whether any formulation (ONC, ANC, or state non-contextuality) can replace additivity in at least one derivation route, and what considerations bear on the physical defensibility of each formulation; and (b) the minimal continuity and dimensionality assumptions that extend rational-weight Born assignments to arbitrary real weights in finite-dimensional Hilbert spaces — in particular, whether the needed continuity can be derived from non-probabilistic assumptions or must be postulated, and whether auxiliary countably infinite-dimensional systems can be eliminated. These components jointly serve one objective: either exhibit a derivation family that derives the Born rule with no probabilistic assumption, or establish that every major family re-encodes additivity — thereby precisely locating the origin of quantum probability. A complete answer covers all four families and both cross-cutting questions; an answer resolving only some families is partial progress, not a resolution.

References

1. Jiaxuan Zhang (2026). 'Summing to Uncertainty: On the Necessity of Additivity in Deriving the Born Rule.' arXiv:2603.06211, DOI 10.48550/arXiv.2603.06211, https://arxiv.org/abs/2603.06211
2. David Wallace (2009). 'A formal proof of the Born rule from decision-theoretic assumptions.' arXiv:0906.2718, https://arxiv.org/abs/0906.2718 (published as 'How to prove the Born rule' in Saunders, Barrett, Kent and Wallace (eds.), Many Worlds? Everett, Quantum Theory, and Reality, Oxford University Press, 2010, pp. 227–263, DOI 10.1093/acprof:oso/9780199560561.003.0010)
3. Edward Farhi, Jeffrey Goldstone, Sam Gutmann (1989). 'How probability arises in quantum mechanics.' Annals of Physics 192, 363–372, DOI 10.1016/0003-4916(89)90141-3, https://doi.org/10.1016/0003-4916(89)90141-3
4. D. Dürr, S. Goldstein, N. Zanghì (1992). 'Quantum equilibrium and the origin of absolute uncertainty.' Journal of Statistical Physics 67, 843–907, DOI 10.1007/BF01049004, https://doi.org/10.1007/BF01049004
5. J. B. DeBrota, C. A. Fuchs, J. L. Pienaar, B. C. Stacey (2021). 'Born's rule as a quantum extension of Bayesian coherence.' Physical Review A 104, 022207, DOI 10.1103/PhysRevA.104.022207, https://doi.org/10.1103/PhysRevA.104.022207 (preprint arXiv:2012.14397)
6. W. H. Zurek (2005). 'Probabilities from entanglement, Born's rule $p_k=|\psi_k|^2$ from envariance.' Physical Review A 71, 052105, DOI 10.1103/PhysRevA.71.052105, https://doi.org/10.1103/PhysRevA.71.052105
7. H. Barnum, C. M. Caves, J. Finkelstein, C. A. Fuchs, R. Schack (2000). 'Quantum probability from decision theory?' Proceedings of the Royal Society of London Series A 456, 1175–1182, DOI 10.1098/rspa.2000.0557, https://doi.org/10.1098/rspa.2000.0557
8. Harvey R. Brown, Gal Ben Porath (2020). 'Everettian Probabilities, The Deutsch-Wallace Theorem and the Principal Principle.' In M. Hemmo and O. Shenker (eds.), Quantum, Probability, Logic: The Work and Influence of Itamar Pitowsky (Jerusalem Studies in Philosophy and History of Science), Springer, pp. 165–198, DOI 10.1007/978-3-030-34316-3_7, https://doi.org/10.1007/978-3-030-34316-3_7 (preprint arXiv:2010.11591, https://arxiv.org/abs/2010.11591)
9. Adrian Kent (2009). 'One world versus many: the inadequacy of Everettian accounts of evolution, probability, and scientific confirmation.' arXiv:0905.0624, https://arxiv.org/abs/0905.0624 (published in Saunders, Barrett, Kent and Wallace (eds.), Many Worlds? Everett, Quantum Theory, and Reality, Oxford University Press, 2010, pp. 307–354, DOI 10.1093/acprof:oso/9780199560561.003.0012)
10. Eleanor March (2024). 'Is the Deutsch-Wallace Theorem Redundant?' Philosophy of Physics 2, article 7, DOI 10.31389/pop.65, https://doi.org/10.31389/pop.65
11. Eugene Y. S. Chua, Eddy Keming Chen (2025). 'Decoherence, Branching, and the Born Rule in a Mixed-State Everettian Multiverse.' Synthese 205, article 160, DOI 10.1007/s11229-025-04949-0, https://doi.org/10.1007/s11229-025-04949-0 (preprint arXiv:2307.13218, https://arxiv.org/abs/2307.13218)
12. Tayfun Ustun (2026). 'Local Uniqueness of the Born Rule on Categories with Complex-Weighted Morphisms.' arXiv:2608.05197, https://arxiv.org/abs/2608.05197
13. Marko Lela (2026). 'The Born Rule as the Unique Refinement-Stable Induced Weight on Robust Record Sectors.' arXiv:2603.24619, https://arxiv.org/abs/2603.24619
14. Lotte Mertens, Jasper van Wezel (2023). 'Environment-Assisted Invariance Does Not Necessitate Born's Rule for Quantum Measurement.' Entropy 25, 435, DOI 10.3390/e25030435, https://doi.org/10.3390/e25030435 (preprint arXiv:2302.12614, https://arxiv.org/abs/2302.12614)
15. F. Logiurato, A. Smerzi (2012). 'Born Rule and Noncontextual Probability.' Journal of Modern Physics 3, 1802–1812, DOI 10.4236/jmp.2012.311225, https://doi.org/10.4236/jmp.2012.311225
16. Andrew M. Gleason (1957). 'Measures on the Closed Subspaces of a Hilbert Space.' Journal of Mathematics and Mechanics 6, 885–893, DOI 10.1512/iumj.1957.6.56050, https://doi.org/10.1512/iumj.1957.6.56050
17. David Deutsch (1999). 'Quantum Theory of Probability and Decisions.' Proceedings of the Royal Society of London Series A 455, 3129–3137, DOI 10.1098/rspa.1999.0443, https://doi.org/10.1098/rspa.1999.0443; preprint arXiv:quant-ph/9906015, https://arxiv.org/abs/quant-ph/9906015
18. J. B. Hartle (1968). 'Quantum Mechanics of Individual Systems.' American Journal of Physics 36, 704–712, DOI 10.1119/1.1975096, https://doi.org/10.1119/1.1975096 (reposted as arXiv:1907.02953, https://arxiv.org/abs/1907.02953)
19. P. Busch (2003). 'Quantum States and Generalized Observables: A Simple Proof of Gleason's Theorem.' Physical Review Letters 91, 120403, DOI 10.1103/PhysRevLett.91.120403, https://doi.org/10.1103/PhysRevLett.91.120403
20. C. M. Caves, R. Schack (2005). 'Properties of the frequency operator do not imply the quantum probability postulate.' Annals of Physics 315, 123–146, DOI 10.1016/j.aop.2004.09.009, https://doi.org/10.1016/j.aop.2004.09.009
21. L. Vaidman (2020). 'Derivations of the Born Rule.' In M. Hemmo and O. Shenker (eds.), Quantum, Probability, Logic: The Work and Influence of Itamar Pitowsky, Springer, pp. 567–584, DOI 10.1007/978-3-030-34316-3_26, https://doi.org/10.1007/978-3-030-34316-3_26
22. Massimiliano Sassoli de Bianchi (2026). 'Why qubits are exceptional in Gleason's theorem: a Bloch-space perspective.' arXiv:2603.07745, https://arxiv.org/abs/2603.07745
23. Enso O. Torres Alegre (2026). 'Causal Rigidity of Born-Type Probability Rules in Infinite-Dimensional Operational Theories.' arXiv:2602.09056, https://arxiv.org/abs/2602.09056
24. Sachin Gupta, Jacques Pienaar (2026). 'Quantum correlations in QBism's reconstruction program.' arXiv:2606.07485, https://arxiv.org/abs/2606.07485