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

This paper argues that the additivity assumption is indispensable for deriving the Born rule, demonstrating that it cannot be deduced from non-contextuality and normalization alone and is essential to avoid loopholes in major existing derivations, thereby suggesting that intrinsic probability in quantum mechanics cannot be derived solely from non-probabilistic postulates.

The Gist

Imagine the universe is a giant, complex video game. In this game, there are two main sets of rules:

1. The Smooth Rules: When no one is looking, everything flows like water. A character can be in two places at once, moving in a perfect, predictable wave. This is the Schrödinger equation.
2. The Snap Rules: The moment you press a button (measure the system), the wave collapses. The character suddenly appears in one specific spot. But here's the mystery: Which spot?

The game doesn't tell you exactly where the character will land. It only gives you a chance (a probability). The rule that calculates these chances is called the Born Rule.

For 100 years, physicists have been trying to figure out: Can we derive this "chance" rule from the "smooth" rules alone? Or do we have to just accept "chance" as a separate, magical rule we add to the game?

This paper, written by Jiaxuan Zhang, argues that you cannot derive the chance rule without explicitly assuming that "chances add up."

Here is the breakdown using simple analogies.

The Big Problem: The "Magic Dice"

In the quantum world, we want to know why the dice roll the way they do. Many scientists have tried to prove that the dice must roll according to the Born Rule, using only the fact that the universe is made of waves and that measurements are consistent.

They tried to build a house (the Born Rule) using only bricks (non-probabilistic rules). But this paper says: "You can't build a house without a roof, and the roof is the 'Additivity' rule."

What is "Additivity"?

Imagine you have a pizza.

• If you cut the pizza into two slices, the size of the whole pizza is the sum of the two slices.
• Additivity is the mathematical rule that says: The probability of "Event A OR Event B" happening is simply the probability of A plus the probability of B.

It sounds obvious, right? "Of course 50% + 50% = 100%!"

But in the quantum world, things are weird. The paper argues that you cannot prove this "adding up" rule just by looking at how waves behave. You have to assume it from the start. If you don't assume it, the math breaks, and you can't get the Born Rule.

The Three Suspects

The paper looks at three common assumptions scientists use to try to derive the Born Rule:

1. Normalization: The total probability of everything happening must equal 1 (100%).
2. Non-Contextuality: The result of a measurement shouldn't depend on what other measurements you are doing at the same time. (If I measure your height, it shouldn't matter if I'm also measuring your weight).
3. Additivity: Probabilities of separate events add up.

The Paper's Verdict:
Scientists previously thought, "Maybe we don't need Additivity! Maybe Non-Contextuality or Normalization is enough to force the math to work."

The author says: "Nope."

• You can have a world where things add up to 100% (Normalization) but the probabilities don't add up correctly for sub-groups.
• You can have a world where measurements are consistent (Non-Contextuality) but the probabilities are weird and don't sum up.
• Additivity is the missing key. It is the only assumption that actually carries the "flavor" of probability. You can't get probability from non-probability without assuming that probabilities behave like probabilities (i.e., they add up).

The Five Attempts (The "Detective Stories")

The author analyzes five famous attempts to derive the Born Rule (by Gleason, Busch, Deutsch, Zurek, and Hartle). Here is what he found:

1. Gleason & Busch (The Mathematicians): They tried to use pure geometry. The author shows they secretly relied on the "Additivity" rule the whole time. Without it, their geometric proofs fall apart.
2. Deutsch & Wallace (The Gamblers): They tried to use game theory and decision-making. They assumed a rational player would make choices that imply the Born Rule. The author points out that their proof only works if they silently assume that probabilities add up. If they don't, a player could make weird choices that break the rules.
3. Zurek (The Entanglement Expert): He tried to use "entanglement" (spooky connections between particles) to prove the rule. The author argues Zurek's proof is too weak. It works for simple cases but fails for complex ones because it lacks the strong "Additivity" glue to hold the math together.
4. Hartle (The Statistician): He tried to use infinite copies of the universe to count frequencies. The author found a logical hole: without assuming Additivity, the math for "mixed" states (a mix of different possibilities) becomes contradictory.

The "Loophole" Analogy

Imagine trying to prove that a bag of marbles contains exactly 50 red and 50 blue ones.

• The Non-Probabilistic Rules: You know the bag is heavy, and you know the marbles are round.
• The Additivity Assumption: You assume that if you pull out a red marble, the chance of it being red plus the chance of it being blue must equal 1.

The paper says: "You cannot prove the bag has 50/50 split just because the marbles are round and the bag is heavy. You must assume that the chances add up to 100% to even start the calculation."

Why Does This Matter?

For decades, supporters of the Many-Worlds Interpretation (the idea that every quantum possibility happens in a parallel universe) hoped to prove that "probability" is just an illusion and that the Born Rule pops out naturally from the math of parallel worlds.

This paper delivers a reality check: You can't escape probability.
To get the Born Rule, you have to put probability into the system at the very beginning. You can't derive "chance" from "certainty" unless you assume that "chance" behaves like "chance" (by adding up).

The Takeaway

The universe is weird, but it's not that weird.

• We can't derive the rules of chance from the rules of waves alone.
• The "Additivity" rule (that probabilities sum up) is the essential ingredient.
• Any attempt to explain quantum probability without explicitly assuming that probabilities add up is like trying to bake a cake without flour: you might have eggs and sugar, but you won't get a cake.

In short: Probability is a fundamental ingredient of the universe, not a side effect we can derive from something else.

Technical Summary

Here is a detailed technical summary of the paper "Summing to Uncertainty: On the Necessity of Additivity in Deriving the Born Rule" by Jiaxuan Zhang.

1. Problem Statement

The intrinsic probabilistic nature of quantum mechanics, specifically the Born rule ($p(A) = \text{Tr}[\rho A]$), remains one of the most fundamental unresolved issues in the foundations of physics. While the Schrödinger equation describes deterministic evolution, the Born rule introduces discontinuous, random measurement outcomes.

A century of research has attempted to derive the Born rule from non-probabilistic quantum postulates (such as the state postulate, evolution postulate, and observable postulate) rather than postulating it as an axiom. However, these derivations rely on various "additional assumptions" (e.g., non-contextuality, normalization, decision-theoretic axioms).

• The Core Question: Is the Born rule derivable solely from non-probabilistic quantum axioms, or is an explicitly probabilistic assumption (like additivity) indispensable?
• The Specific Controversy: Recent literature (e.g., Logiurato and Smerzi, 2012) has suggested that the additivity assumption can be replaced by non-contextuality or normalization, implying that additivity is not fundamental. This paper challenges that view, arguing that additivity is a distinct, non-derivable, and indispensable property.

2. Methodology

The author employs a rigorous mathematical analysis combining quantum mechanics formalism and measure theory. The methodology involves:

1. Formal Definitions: Establishing precise, distinct definitions for three key assumptions often conflated in literature:
   • Additivity: Countable or finite additivity of the measurement function $\mu$.
   • Non-Contextuality: Specifically distinguishing between Observable Non-Contextuality (ONC) (outcome independence from compatible measurements) and Additivity Non-Contextuality (ANC) (additivity holding regardless of context).
   • Normalization: Distinguishing between simple normalization ($\mu(I)=1$) and Strong Normalization ($\sum \mu(A_i) = 1$ for a complete set), which implicitly contains additivity.
2. Logical Proofs and Counterexamples:
   • Proving logical independence between additivity, non-contextuality, and normalization.
   • Constructing specific counterexamples (e.g., the "Equal rule" or specific functional forms like $\mu(A) = (\text{Tr}[A]/d)^2$) to demonstrate that satisfying one assumption does not imply the others.
3. Critical Review of Existing Derivations: Systematically analyzing five prominent derivations of the Born rule to identify where additivity is used, hidden, or missing:
   • Gleason's Theorem (1957).
   • Busch's Extension to POVMs (2003).
   • Deutsch–Wallace Theorem (Decision Theory, 1999/2009).
   • Zurek's Envariance Proof (2003/2005).
   • Finkelstein–Hartle Theorem (Frequentist approach, 1963/1967).

3. Key Contributions and Results

A. Independence of Assumptions

The paper proves that additivity cannot be derived from non-contextuality or normalization alone.

• Additivity vs. Non-Contextuality: The author refutes the claim that non-contextuality implies additivity. A counterexample is provided where a function is non-contextual but fails additivity (e.g., the "Equal rule" where probabilities are assigned based on the number of outcomes in a specific context, violating additivity across different contexts). Conversely, additivity without Additivity Non-Contextuality (ANC) does not imply Observable Non-Contextuality (ONC).
• Additivity vs. Normalization: The paper clarifies that "Strong Normalization" (sum of probabilities equals 1 for any complete set) is mathematically equivalent to "Additivity + Normalization." Therefore, using Strong Normalization as a premise effectively smuggles in the additivity assumption. Simple normalization ($\mu(I)=1$) does not imply additivity.

B. Analysis of Five Major Derivations

The author demonstrates that all five derivations rely critically on additivity, either explicitly or implicitly, and that attempts to weaken or remove it lead to logical loopholes or failures.

1. Gleason's Theorem:

   • Role of Additivity: It is the central postulate (Frame Function).
   • Result: Without additivity, the proof that the measure is regular (linear) fails. The non-negativity assumption is used to ensure continuity, but additivity is required to establish the linear structure over rational coefficients.

2. Busch's Extension (POVMs):

   • Role of Additivity: Assumes countable additivity for POVM effects.
   • Result: This assumption simplifies the proof and is essential for establishing continuity from rational to real coefficients. Without it, the derivation cannot guarantee the Born rule form.

3. Deutsch–Wallace Theorem (Decision Theory):

   • Role of Additivity: The "Additivity" postulate (indifference between a single reward $a+b$ and separate rewards $a, b$) is used to derive Strong Normalization ($\sum \mu = 1$).
   • Result: The author shows that Deutsch implicitly assumes countable additivity (via Strong Normalization) and a hidden ONC assumption. Without these, the proof fails in finite-dimensional spaces (specifically $d=2$), allowing for counterexamples (e.g., $\mu \propto |\langle \psi|x \rangle|^4$) that satisfy all other Deutsch postulates but violate the Born rule.

4. Zurek's Envariance:

   • Role of Additivity: Zurek attempts to use a "Weak Additivity" (only for mutually exclusive events summing to 1).
   • Result: The paper proves this weak additivity is insufficient to guarantee continuity for real-valued probabilities. Consequently, Zurek's derivation cannot rule out discontinuous, non-Born rule functions (e.g., functions that behave differently for rational vs. irrational amplitudes). The derivation also suffers from the same dimensionality issues as Deutsch's.

5. Finkelstein–Hartle Theorem (Frequentist):

   • Role of Additivity: The original derivation lacks an explicit additivity assumption for mixed states.
   • Result: This leads to a mathematical incoherence: the infinite ensemble of a mixed state is treated inconsistently (as an eigenstate vs. a superposition). The author shows that introducing a countable additivity assumption for disjoint states resolves this incoherence, proving that additivity is necessary even in frequentist derivations.

4. Significance and Implications

• Refutation of Equivalence: The paper definitively settles the debate regarding the equivalence of additivity and non-contextuality. It demonstrates that non-contextuality is a weaker condition that does not guarantee the probabilistic structure required for the Born rule.
• Indispensability of Probability: The results support the view that the Born rule cannot be derived solely from non-probabilistic quantum axioms. Any successful derivation must introduce an assumption that carries explicit probabilistic features, with additivity being the most fundamental and necessary one.
• Clarification of Literature: By distinguishing between different types of continuity (e.g., continuity of the function vs. continuity of the measure) and different forms of normalization, the paper eliminates confusion that has plagued previous analyses.
• Impact on Interpretations:
  • For Many-Worlds Interpretation (MWI) proponents (Deutsch, Wallace, Zurek), the paper suggests that their derivations are not purely deterministic; they implicitly rely on probabilistic axioms (additivity) to bridge the gap between the wavefunction and observed probabilities.
  • It reinforces the position that the origin of probability in quantum mechanics lies in the additivity of the measure, a property that must be postulated or derived from a probabilistic framework, not from unitary evolution alone.

Conclusion

Jiaxuan Zhang concludes that additivity is the "sine qua non" of the Born rule. It is not a derivable consequence of non-contextuality or normalization but a fundamental, independent assumption that introduces the probabilistic nature of quantum mechanics. The paper argues that future attempts to derive the Born rule must explicitly address the necessity of additivity, as no equivalent non-probabilistic substitute exists.