[ExI] Deriving The Born Rule

[BillK]

On Tue, 21 Jul 2026 at 12:48, John Clark via extropy-chat <
extropy-chat at lists.extropy.org> wrote:

> *I've heard it said that we know from quantum mechanical experiments that
> The Born Rule works but nobody has ever been able to derive it from first
> principles, however I'm not sure that's exactly true.*
> *<snip>*
> _______________________________________________



This is interesting, but it's far outside my area of expertise.   :)

I asked Gemini AI to explain and comment.  Gemini agreed, but said that
physicists were still arguing over which was the best description of
physical truth.
BillK


Gemini 3.5 Flash AI Extended Thinking -

This comment is a remarkably sharp, well-informed summary of the modern
debate in quantum foundations. It correctly refutes the popular pop-science
trope that "the Born Rule is just an arbitrary postulate that nobody can
derive."

In foundational physics, the issue isn't that we *can't* derive the Born
Rule (P=∣ψ∣2), but rather that every derivation requires choosing a set of
baseline assumptions. The debate centers on whether those starting
assumptions are self-evident physical principles or subtle restatements of
the rule itself.

Here is a critical breakdown of the three key pillars raised in the comment.
1. Gleason’s Theorem: Mathematical Uniqueness

*What the comment gets right:*

Gleason’s Theorem (1957) is a tour de force in mathematical physics. It
demonstrates that if you have a Hilbert space of dimension 3 or higher, and
you want to assign probabilities to orthogonal projection operators such
that:

   1.

   Probabilities are non-negative and sum to 1.
   2.

   The probability of an outcome is *non-contextual* (it depends only on
   the subspace being projected onto, not on the choice of other mutually
   compatible observables measured alongside it).

Then there is *only one possible function* that fits: the Born Rule (P(A)=Tr
(ρPA)).

*The critical nuance:*

Gleason’s theorem proves the *uniqueness* of the Born Rule, but it doesn't
explain its *physical origin*.

   -

   *It assumes probability from the start:* Gleason begins by assuming a
   probability measure exists and acts on projection operators. It doesn't
   answer *why* deterministic quantum evolution should give rise to
   probability in the first place.
   -

   *Non-contextuality is a heavy assumption:* While non-contextuality
   sounds innocent, theories with hidden variables (like de Broglie–Bohm
   mechanics) explicitly violate Gleason's non-contextuality assumption to
   explain measurement outcomes deterministically.

2. Many-Worlds & Self-Locating Uncertainty (Sebens & Carroll)

*What the comment gets right:*

Because the Schrödinger equation is 100% deterministic, the Many-Worlds
Interpretation (MWI) faces a unique challenge: if every possible outcome
occurs in some branch, what does "probability" even mean?

Sebens and Carroll (2016) tackle this using *self-locating uncertainty*:

   -

   Immediately *after* a measurement occurs, but *before* you look at the
   detector, the universe has branched into multiple copies of you.
   -

   Even though the global wave function evolved deterministically, you now
   suffer from an ignorance of position: *"Which branch am I currently
   sitting in?"*
   -

   Using a symmetry principle called the *Epistemic Separability Principle*
   (ESP), they argue that a rational observer ought to assign probabilities to
   their location proportional to the squared amplitude ∣ψ∣2 of that branch.

*The critical nuance:*

Critics (such as Tim Maudlin or Adrian Kent) push back on two fronts:

   1.

   *Timing of uncertainty:* Self-locating uncertainty explains ignorance
   *after* the split has happened, but decision-making usually happens
   *before* the measurement. Translating post-measurement self-location
   into pre-measurement expectation requires additional metaphysical steps.
   2.

   *Hidden assumptions:* To get the exact ∣ψ∣2 weighting—rather than, say,
   assigning equal probability to every branch regardless of weight—the
   Epistemic Separability Principle must be invoked. Critics contend that ESP
   secretly smuggles in the mathematical structure of the Born measure under
   the guise of an "intuitive symmetry."

3. Decision-Theoretic Derivation (Deutsch & Wallace)

*What the comment gets right:*

David Deutsch (1999) and David Wallace (2002, 2012) bypassed the question
of "what probability *is*" by asking "how a rational agent *should act*."

By combining standard decision theory (Savage / Von Neumann-Morgenstern
axioms of rationality) with the mathematical structure of Everettian
quantum mechanics, they proved that any rational actor facing a branching
event *must* place bets as if the Born Rule dictates the odds. If an agent
weighted outcomes by branch count or linear amplitude instead of ∣ψ∣2, they
would violate basic axioms of rationality (like transitivity or dominance).

*The critical nuance:*

The Deutsch-Wallace proof is widely considered one of the most rigorous
derivations available, but it stands or falls on its rationality
axioms—specifically *Branching Indifference*:

   -

   *Branching Indifference* posits that an agent should not care if a
   branch splits into two identical sub-branches, provided the total weight (
   ∣ψ∣2) remains unchanged.
   -

   *The Catch:* Is Branching Indifference a neutral requirement of pure
   logic, or is it a tailored physical assumption designed specifically to
   yield the Born Rule? Skeptics argue that defining "rationality" in a way
   that respects wave function amplitudes already commits you to the Born Rule
   from the start.

Summary Verdict

The comment is *spot on* in rejecting the notion that the Born Rule is an
underived miracle.

   -

   *Gleason* proves it is the *only mathematically consistent measure* on a
   Hilbert space (≥3D) if non-contextuality holds.
   -

   *Sebens & Carroll* show how it emerges naturally from *epistemic
   self-location* in a branching universe.
   -

   *Deutsch & Wallace* show it is the *only rational betting strategy* in
   an Everettian framework.

The reason foundational physicists still debate the topic isn't because
derivations don't exist, but because we are still arguing over which
foundational axioms (non-contextuality, epistemic symmetry, or branching
indifference) represent the cleanest physical truth.

---------------------------------------
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.extropy.org/pipermail/extropy-chat/attachments/20260721/cdf8d211/attachment.htm>