The Born rule says that the probability of a quantum measurement outcome is the squared modulus of the wavefunction amplitude. It works, universally and without exception. But where does it come from? For decades, physicists have tried to derive it from simpler, non-probabilistic assumptions — to show that probability is emergent rather than fundamental.
Zhang examines five major attempts: Gleason's theorem, Busch's extension, the Deutsch-Wallace theorem, Zurek's envariance proof, and the Finkelstein-Hartle theorem. Each claims to derive the Born rule from structural or logical axioms without assuming probability at the outset. Zhang shows that every one of them relies, explicitly or implicitly, on additivity — the assumption that probabilities of distinct outcomes sum. This isn't a minor technical detail. Additivity is probability. To assume that the measure over outcomes is additive is to assume the thing you're trying to derive.
The proof goes further: additivity cannot itself be derived from non-contextuality (measurement outcomes don't depend on what else you measure) or normalization (probabilities sum to one). These were the candidate axioms that the derivation programs hoped would be sufficient. They aren't. Additivity is irreducible — it doesn't follow from anything more basic within the mathematical framework of quantum mechanics.
This doesn't make the Born rule wrong. It makes the derivation program impossible. You can derive the specific form (|ψ|²) from structural axioms, but only if you've already assumed the probabilistic structure (additivity) that makes “probability” a meaningful concept. The derivations don't explain why quantum mechanics is probabilistic. They explain why, given that it's probabilistic, the probabilities take the form they do.
Every attempt to pull probability out of the hat starts with probability already inside the hat. The question “why is quantum mechanics probabilistic?” may not have an answer within quantum mechanics.