Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2603.06211 · Physical Review A

Summing to Uncertainty: On the Necessity of Additivity in Deriving the Born Rule

Jiaxuan Zhang

quant-phSubmitted Mar 6, 2026• Announced Mar 9, 2026• 2 citations
arXivHTMLPDF

Abstract

The emergence of intrinsic probability has long been one of the most important and puzzling problems in quantum mechanics, and the law most directly related to this problem is the Born rule. For a century, there have been many attempts to derive the Born rule as a theorem rather than postulating it. However, existing derivations of the Born rule are each based on different frameworks and have attracted different criticisms. The assumptions from which they start are also highly divergent, and the connections between them have not been sufficiently studied. These possible connections are very likely to be the key to answering questions about the origin of probability in quantum mechanics. This paper focuses on proving the necessity and indispensability of the additivity assumption in the derivation of the Born rule. This supports the view that the Born rule cannot be derived solely from other non-probabilistic quantum or additional postulates. We first prove that additivity cannot be derived from two other commonly used non-probabilistic additional assumptions, non-contextuality and normalization. Then we analyze the crucial role of the additivity assumption in five important existing derivations of the Born rule. These include Gleason's Theorem, Busch's extension of Gleason's Theorem, the Deutsch-Wallace Theorem, Zurek's envariance proof, and the Finkelstein-Hartle Theorem. We show that these derivations either depend heavily on the additivity assumption or lead to obvious loopholes due to the lack of additivity. We also point out some problems arised from the lack of a non-contextuality assumption. Our results provide a novel insight into the important role of additivity assumption in quantum measurement, as well as into the origin of probability in quantum mechanics.

DOI
10.1103/mqy7-s2db

Related papers

From Primitives to the Born Rule

Allen Proxmire

Quantum mechanics says that when you measure a system, the probability of an outcome is the squared modulus of that outcome's amplitude — not absolute value, not cubed, not some other power. The exponent has been two since Born wrote it down in 1926, and for a century it has been a postulate. Copenhagen accepts it as a brute fact; Many-Worlds tries to derive it from decision theory; QBism reframes it as Bayesian credence; Zurek derives it from environmental symmetries; Hardy derives it from operational axioms. Each program leaves at least part of the question unanswered: why squared, and not some other exponent? Gleason's 1957 theorem went part of the way: given a few structural conditions on quantum probability assignments, the squared form is mathematically forced. But Gleason leans on one substantive assumption — non-contextuality — that standard QM postulates rather than derives. This walkthrough shows how the Event Density framework derives the Born rule, including the squared exponent *and* the non-contextuality assumption underneath it, from a smaller set of structural commitments about what reality is made of at the substrate level. The chain has three load-bearing steps: (i) the participation measure is forced to the form √b · e^{iπ} via the Cauchy functional equation on bandwidth additivity plus Frobenius's theorem on real division algebras; (ii) the sesquilinear inner product on the participation-measure space is forced, delivering the Hilbert-space structure Gleason operates on; (iii) non-contextuality is forced by the channel-as-primitive ontology. With non-contextuality derived rather than postulated, Gleason–Busch applies directly. The squared exponent is a consequence of the framework, not a separate postulate.

•May 12, 2026•0 citations

An Algorithmic Interpretation of Quantum Probability

Allan F. Randall

The Everett (or relative-state, or many-worlds) interpretation of quantum mechanics has come under fire for inadequately dealing with the Born rule (the formula for calculating quantum probabilities). Numerous attempts have been made to derive this rule from the perspective of observers within the quantum wavefunction. These are not really analytic proofs, but are rather attempts to derive the Born rule as a synthetic a priori necessity, given the nature of human observers (a fact not fully appreciated even by all of those who have attempted such proofs). I show why existing attempts are unsuccessful or only partly successful, and postulate that Solomonoff's algorithmic approach to the interpretation of probability theory could clarify the problems with these approaches. The Sleeping Beauty probability puzzle is used as a springboard from which to deduce an objectivist, yet synthetic a priori framework for quantum probabilities, that properly frames the role of self-location and self-selection (anthropic) principles in probability theory. I call this framework "algorithmic synthetic unity" (or ASU). I offer no new formal proof of the Born rule, largely because I feel that existing proofs (particularly that of Gleason) are already adequate, and as close to being a formal proof as one should expect or want. Gleason's one unjustified assumption--known as noncontextuality--is, I will argue, completely benign when considered within the algorithmic framework that I propose. I will also argue that, to the extent the Born rule can be derived within ASU, there is no reason to suppose that we could not also derive all the other fundamental postulates of quantum theory, as well. There is nothing special here about the Born rule, and I suggest that a completely successful Born rule proof might only be possible once all the other postulates become part of the derivation. As a start towards this end, I show how we can already derive the essential content of the fundamental postulates of quantum mechanics, at least in outline, and especially if we allow some educated and well-motivated guesswork along the way. The result is some steps towards a coherent and consistent algorithmic interpretation of quantum mechanics.

•Jan 31, 2014•1 citation

The Born Rule as Constraint Measure: Dissolving the Probability Problem in Quantum Mechanics

Ryuhei ISHIBASHI

The Born rulethe prescription that measurement probabilities equal the squared mod- ulus of wave function amplitudeshas resisted satisfactory explanation for nearly a century. We argue that this diculty stems from a hidden assumption: that probability names a causal concept requiring causal explanation. Drawing on causal eliminativism, we reinterpret the Born rule not as describing the probabilistic eects of measurement, but as specifying a measure on the space of constraint-satisfying congurations. From this perspective, Glea- son's theorem does not derive probability from quantum mechanics; rather, it identies |ψ|2 as the unique coherent measure compatible with Hilbert space geometry. The question Why does measurement cause probabilistic outcomes? dissolves: there is no causation, hence no probabilistic causation, hence no puzzle. What remains is a geometric fact about constraint structure

•Jan 15, 2026•0 citations

The Born rule in Bohmian mechanics

T. G. Philbin

The predictions of quantum mechanics are probabilistic. Quantum probabilities are extracted using a postulate of the theory called the Born rule, the status of which is central to the problem of quantum mechanics. Efforts to justify the Born rule from other physical principles, and thus elucidate the measurement process, have involved lengthy statistical or information-theoretic arguments. Here we show that Bohm's deterministic formulation of quantum mechanics allows the Born rule for measurements on a single system to be derived, without any statistical assumptions. We solve a simple example where the creation of an ensemble of identical quantum states, together with position measurements on those states, are described by Bohm's quantum dynamics. The calculated measurement outcomes agree with the Born-rule probabilities, which are thus a consequence of deterministic evolution. Our results demonstrate that quantum probabilities can emerge from simple dynamical laws alone, and they support the view that there is no underlying indeterminism in quantum phenomena.

•Sep 28, 2014•0 citations

First-Principle Derivation of the Born Rule Without Collapse or Observers

Zhen Su

The Born rule stands as the fundamental probability postulate of quantum mechanics, yet its first-principle derivation remains a longstanding open problem. This paper presents a rigorous, collapse-free, and observer-independent derivation of the Born rule. Starting from four physically natural and minimal axioms—unitary dynamics, uniqueness of classical records, unitary invariance, and consistency with the classical limit and ergodicity—we uniquely deduce the Born rule from first principles. We prove that the Born rule is not an independent postulate, but a necessary mathematical consequence of the core axiomatic structure. Our approach is self-contained, assumption-free, and purely unitary, establishing that the Born rule is canonically determined by the fundamental mathematical and physical principles of quantum mechanics.

•May 7, 2026•0 citations

Derivation of quantum probabilities from deterministic evolution

T. G. Philbin

The predictions of quantum mechanics are probabilistic. Quantum probabilities are extracted using a postulate of the theory called the Born rule, the status of which is central to the "measurement problem" of quantum mechanics. Efforts to justify the Born rule from other physical principles, and thus elucidate the measurement process, have involved lengthy statistical or information-theoretic arguments. Here we show that Bohm's deterministic formulation of quantum mechanics allows the Born rule for measurements on a single system to be derived, without any statistical assumptions. We solve a simple example where the creation of an ensemble of identical quantum states, together with position measurements on those states, are described by Bohm's quantum dynamics. The calculated measurement outcomes agree with the Born-rule probabilities, which are thus a consequence of deterministic evolution. Our results demonstrate that quantum probabilities can emerge from simple dynamical laws alone, and they support the view that there is no underlying indeterminism in quantum phenomena.

arXiv:1409.7891•Sep 28, 2014•4 citations
The emergence of intrinsic probability has long been one of the most important and puzzling problems in quantum mechanics, and the law most directly related to this problem is the Born rule. For a century, there have been many attempts to derive the Born rule as a theorem rather than postulating it. However, existing derivations of the Born rule are each based on different frameworks and have attracted different criticisms. The assumptions from which they start are also highly divergent, and the connections between them have not been sufficiently studied. These possible connections are very likely to be the key to answering questions about the origin of probability in quantum mechanics.
This paper focuses on proving the necessity and indispensability of the additivity assumption in the derivation of the Born rule. This supports the view that the Born rule cannot be derived solely from other non-probabilistic quantum or additional postulates. We first prove that additivity cannot be derived from two other commonly used non-probabilistic additional assumptions, non-contextuality and normalization. Then we analyze the crucial role of the additivity assumption in five important existing derivations of the Born rule. These include Gleason's Theorem, Busch's extension of Gleason's Theorem, the Deutsch-Wallace Theorem, Zurek's envariance proof, and the Finkelstein-Hartle Theorem. We show that these derivations either depend heavily on the additivity assumption or lead to obvious loopholes due to the lack of additivity. We also point out some problems arised from the lack of a non-contextuality assumption.
Our results provide a novel insight into the important role of additivity assumption in quantum measurement, as well as into the origin of probability in quantum mechanics.
Quantum mechanics says that when you measure a system, the probability of an outcome is the squared modulus of that outcome's amplitude — not absolute value, not cubed, not some other power. The exponent has been two since Born wrote it down in 1926, and for a century it has been a postulate. Copenhagen accepts it as a brute fact; Many-Worlds tries to derive it from decision theory; QBism reframes it as Bayesian credence; Zurek derives it from environmental symmetries; Hardy derives it from operational axioms. Each program leaves at least part of the question unanswered: why squared, and not some other exponent? Gleason's 1957 theorem went part of the way: given a few structural conditions on quantum probability assignments, the squared form is mathematically forced. But Gleason leans on one substantive assumption — non-contextuality — that standard QM postulates rather than derives. This walkthrough shows how the Event Density framework derives the Born rule, including the squared exponent *and* the non-contextuality assumption underneath it, from a smaller set of structural commitments about what reality is made of at the substrate level. The chain has three load-bearing steps: (i) the participation measure is forced to the form √b · e^{iπ} via the Cauchy functional equation on bandwidth additivity plus Frobenius's theorem on real division algebras; (ii) the sesquilinear inner product on the participation-measure space is forced, delivering the Hilbert-space structure Gleason operates on; (iii) non-contextuality is forced by the channel-as-primitive ontology. With non-contextuality derived rather than postulated, Gleason–Busch applies directly. The squared exponent is a consequence of the framework, not a separate postulate.
The Everett (or relative-state, or many-worlds) interpretation of quantum mechanics has come under fire for inadequately dealing with the Born rule (the formula for calculating quantum probabilities). Numerous attempts have been made to derive this rule from the perspective of observers within the quantum wavefunction. These are not really analytic proofs, but are rather attempts to derive the Born rule as a synthetic a priori necessity, given the nature of human observers (a fact not fully appreciated even by all of those who have attempted such proofs). I show why existing attempts are unsuccessful or only partly successful, and postulate that Solomonoff's algorithmic approach to the interpretation of probability theory could clarify the problems with these approaches. The Sleeping Beauty probability puzzle is used as a springboard from which to deduce an objectivist, yet synthetic a priori framework for quantum probabilities, that properly frames the role of self-location and self-selection (anthropic) principles in probability theory. I call this framework "algorithmic synthetic unity" (or ASU). I offer no new formal proof of the Born rule, largely because I feel that existing proofs (particularly that of Gleason) are already adequate, and as close to being a formal proof as one should expect or want. Gleason's one unjustified assumption--known as noncontextuality--is, I will argue, completely benign when considered within the algorithmic framework that I propose. I will also argue that, to the extent the Born rule can be derived within ASU, there is no reason to suppose that we could not also derive all the other fundamental postulates of quantum theory, as well. There is nothing special here about the Born rule, and I suggest that a completely successful Born rule proof might only be possible once all the other postulates become part of the derivation. As a start towards this end, I show how we can already derive the essential content of the fundamental postulates of quantum mechanics, at least in outline, and especially if we allow some educated and well-motivated guesswork along the way. The result is some steps towards a coherent and consistent algorithmic interpretation of quantum mechanics.
The Born rulethe prescription that measurement probabilities equal the squared mod- ulus of wave function amplitudeshas resisted satisfactory explanation for nearly a century. We argue that this diculty stems from a hidden assumption: that probability names a causal concept requiring causal explanation. Drawing on causal eliminativism, we reinterpret the Born rule not as describing the probabilistic eects of measurement, but as specifying a measure on the space of constraint-satisfying congurations. From this perspective, Glea- son's theorem does not derive probability from quantum mechanics; rather, it identies |ψ|2 as the unique coherent measure compatible with Hilbert space geometry. The question Why does measurement cause probabilistic outcomes? dissolves: there is no causation, hence no probabilistic causation, hence no puzzle. What remains is a geometric fact about constraint structure
The predictions of quantum mechanics are probabilistic. Quantum probabilities are extracted using a postulate of the theory called the Born rule, the status of which is central to the problem of quantum mechanics. Efforts to justify the Born rule from other physical principles, and thus elucidate the measurement process, have involved lengthy statistical or information-theoretic arguments. Here we show that Bohm's deterministic formulation of quantum mechanics allows the Born rule for measurements on a single system to be derived, without any statistical assumptions. We solve a simple example where the creation of an ensemble of identical quantum states, together with position measurements on those states, are described by Bohm's quantum dynamics. The calculated measurement outcomes agree with the Born-rule probabilities, which are thus a consequence of deterministic evolution. Our results demonstrate that quantum probabilities can emerge from simple dynamical laws alone, and they support the view that there is no underlying indeterminism in quantum phenomena.
The Born rule stands as the fundamental probability postulate of quantum mechanics, yet its first-principle derivation remains a longstanding open problem. This paper presents a rigorous, collapse-free, and observer-independent derivation of the Born rule. Starting from four physically natural and minimal axioms—unitary dynamics, uniqueness of classical records, unitary invariance, and consistency with the classical limit and ergodicity—we uniquely deduce the Born rule from first principles. We prove that the Born rule is not an independent postulate, but a necessary mathematical consequence of the core axiomatic structure. Our approach is self-contained, assumption-free, and purely unitary, establishing that the Born rule is canonically determined by the fundamental mathematical and physical principles of quantum mechanics.
The predictions of quantum mechanics are probabilistic. Quantum probabilities are extracted using a postulate of the theory called the Born rule, the status of which is central to the "measurement problem" of quantum mechanics. Efforts to justify the Born rule from other physical principles, and thus elucidate the measurement process, have involved lengthy statistical or information-theoretic arguments. Here we show that Bohm's deterministic formulation of quantum mechanics allows the Born rule for measurements on a single system to be derived, without any statistical assumptions. We solve a simple example where the creation of an ensemble of identical quantum states, together with position measurements on those states, are described by Bohm's quantum dynamics. The calculated measurement outcomes agree with the Born-rule probabilities, which are thus a consequence of deterministic evolution. Our results demonstrate that quantum probabilities can emerge from simple dynamical laws alone, and they support the view that there is no underlying indeterminism in quantum phenomena.