<div dir="ltr"><div dir="ltr"><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, 21 Jul 2026 at 12:48, John Clark via extropy-chat <<a href="mailto:extropy-chat@lists.extropy.org" target="_blank">extropy-chat@lists.extropy.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><font size="4" face="tahoma, sans-serif"><b>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.</b></font><div><font size="4" face="tahoma, sans-serif"><b><span class="gmail_default" style="font-family:arial,sans-serif;font-size:small;color:rgb(0,0,0)"><snip></span></b></font></div><div></div></div>
_______________________________________________</blockquote><div><br></div><div><br></div><div style="font-family:arial,sans-serif;font-size:small;color:rgb(0,0,0)" class="gmail_default">This is interesting, but it's far outside my area of expertise.   :)</div><div style="font-family:arial,sans-serif;font-size:small;color:rgb(0,0,0)" class="gmail_default"><br></div><div style="font-family:arial,sans-serif;font-size:small;color:rgb(0,0,0)" class="gmail_default">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. </div><div style="font-family:arial,sans-serif;font-size:small;color:rgb(0,0,0)" class="gmail_default">BillK</div><br></div><div class="gmail_quote"><div style="font-family:arial,sans-serif;font-size:small;color:rgb(0,0,0)" class="gmail_default"><br></div><div style="font-family:arial,sans-serif;font-size:small;color:rgb(0,0,0)" class="gmail_default">Gemini 3.5 Flash AI Extended Thinking -</div><div style="font-family:arial,sans-serif;font-size:small;color:rgb(0,0,0)" class="gmail_default"></div><div style="font-family:arial,sans-serif;font-size:small;color:rgb(0,0,0)" class="gmail_default"><div><span id="m_1692413648439257175gmail-message-content-id-r_d391b6222dc12d1d"><div id="m_1692413648439257175gmail-model-response-message-contentr_d391b6222dc12d1d" dir="ltr"><p>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."</p><p>In foundational physics, the issue isn't that we <i>can't</i> derive the Born Rule (<span><span><span aria-hidden="true"><span><span style="height:0.6833em"></span><span style="margin-right:0.0822em">P</span><span style="margin-right:0.2778em"></span><span>=</span><span style="margin-right:0.2778em"></span></span><span><span style="height:1.0641em;vertical-align:-0.25em"></span><span>∣</span><span></span><span style="margin-right:0.0359em">ψ</span><span>∣</span><span><span></span><span><span><span><span style="height:0.8141em"><span style="margin-right:0.05em"><span style="height:2.7em"></span><span><span>2</span></span></span></span></span></span></span></span></span></span></span></span>), 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.</p><p>Here is a critical breakdown of the three key pillars raised in the comment.</p><h3>1. Gleason’s Theorem: Mathematical Uniqueness</h3><p><b>What the comment gets right:</b></p><p>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:</p><ol start="1"><li><p>Probabilities are non-negative and sum to 1.</p></li><li><p>The probability of an outcome is <b>non-contextual</b> (it depends only on the subspace being projected onto, not on the choice of other mutually compatible observables measured alongside it).</p></li></ol><p>Then there is <b>only one possible function</b> that fits: the Born Rule (<span><span><span aria-hidden="true"><span><span style="height:1em;vertical-align:-0.25em"></span><span style="margin-right:0.1389em">P</span><span>(</span><span>A</span><span>)</span><span style="margin-right:0.2778em"></span><span>=</span><span style="margin-right:0.2778em"></span></span><span><span style="height:1em;vertical-align:-0.25em"></span><span><span>Tr</span></span><span>(</span><span>ρ</span><span><span style="margin-right:0.1389em">P</span><span><span><span><span style="height:0.3283em"><span style="margin-right:0.05em"><span style="height:2.7em"></span><span><span>A</span></span></span></span><span></span></span><span><span style="height:0.15em"><span></span></span></span></span></span></span><span>)</span></span></span></span></span>).</p><p><b>The critical nuance:</b></p><p>Gleason’s theorem proves the <i>uniqueness</i> of the Born Rule, but it doesn't explain its <i>physical origin</i>.</p><ul><li><p><b>It assumes probability from the start:</b> Gleason begins by assuming a probability measure exists and acts on projection operators. It doesn't answer <i>why</i> deterministic quantum evolution should give rise to probability in the first place.</p></li><li><p><b>Non-contextuality is a heavy assumption:</b> 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.</p></li></ul><h3>2. Many-Worlds & Self-Locating Uncertainty (Sebens & Carroll)</h3><p><b>What the comment gets right:</b></p><p>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?</p><p>Sebens and Carroll (2016) tackle this using <b>self-locating uncertainty</b>:</p><ul><li><p>Immediately <i>after</i> a measurement occurs, but <i>before</i> you look at the detector, the universe has branched into multiple copies of you.</p></li><li><p>Even though the global wave function evolved deterministically, you now suffer from an ignorance of position: <i>"Which branch am I currently sitting in?"</i></p></li><li><p>Using a symmetry principle called the <i>Epistemic Separability Principle</i> (ESP), they argue that a rational observer ought to assign probabilities to their location proportional to the squared amplitude <span><span><span aria-hidden="true"><span><span style="height:1.0641em;vertical-align:-0.25em"></span><span>∣</span><span></span><span style="margin-right:0.0359em">ψ</span><span>∣</span><span><span></span><span><span><span><span style="height:0.8141em"><span style="margin-right:0.05em"><span style="height:2.7em"></span><span><span>2</span></span></span></span></span></span></span></span></span></span></span></span> of that branch.</p></li></ul><p><b>The critical nuance:</b></p><p>Critics (such as Tim Maudlin or Adrian Kent) push back on two fronts:</p><ol start="1"><li><p><b>Timing of uncertainty:</b> Self-locating uncertainty explains ignorance <i>after</i> the split has happened, but decision-making usually happens <i>before</i> the measurement. Translating post-measurement self-location into pre-measurement expectation requires additional metaphysical steps.</p></li><li><p><b>Hidden assumptions:</b> To get the exact <span><span><span aria-hidden="true"><span><span style="height:1.0641em;vertical-align:-0.25em"></span><span>∣</span><span></span><span style="margin-right:0.0359em">ψ</span><span>∣</span><span><span></span><span><span><span><span style="height:0.8141em"><span style="margin-right:0.05em"><span style="height:2.7em"></span><span><span>2</span></span></span></span></span></span></span></span></span></span></span></span> 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."</p></li></ol><h3>3. Decision-Theoretic Derivation (Deutsch & Wallace)</h3><p><b>What the comment gets right:</b></p><p>David Deutsch (1999) and David Wallace (2002, 2012) bypassed the question of "what probability <i>is</i>" by asking "how a rational agent <i>should act</i>."</p><p>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 <b>must</b> place bets as if the Born Rule dictates the odds. If an agent weighted outcomes by branch count or linear amplitude instead of <span><span><span aria-hidden="true"><span><span style="height:1.0641em;vertical-align:-0.25em"></span><span>∣</span><span></span><span style="margin-right:0.0359em">ψ</span><span>∣</span><span><span></span><span><span><span><span style="height:0.8141em"><span style="margin-right:0.05em"><span style="height:2.7em"></span><span><span>2</span></span></span></span></span></span></span></span></span></span></span></span>, they would violate basic axioms of rationality (like transitivity or dominance).</p><p><b>The critical nuance:</b></p><p>The Deutsch-Wallace proof is widely considered one of the most rigorous derivations available, but it stands or falls on its rationality axioms—specifically <b>Branching Indifference</b>:</p><ul><li><p><i>Branching Indifference</i> posits that an agent should not care if a branch splits into two identical sub-branches, provided the total weight (<span><span><span aria-hidden="true"><span><span style="height:1.0641em;vertical-align:-0.25em"></span><span>∣</span><span></span><span style="margin-right:0.0359em">ψ</span><span>∣</span><span><span></span><span><span><span><span style="height:0.8141em"><span style="margin-right:0.05em"><span style="height:2.7em"></span><span><span>2</span></span></span></span></span></span></span></span></span></span></span></span>) remains unchanged.</p></li><li><p><b>The Catch:</b> 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.</p></li></ul><h3>Summary Verdict</h3><p>The comment is <b>spot on</b> in rejecting the notion that the Born Rule is an underived miracle.</p><ul><li><p><b>Gleason</b> proves it is the <i>only mathematically consistent measure</i> on a Hilbert space (<span><span><span aria-hidden="true"><span><span style="height:0.7719em;vertical-align:-0.136em"></span><span>≥</span><span style="margin-right:0.2778em"></span></span><span><span style="height:0.6444em"></span><span>3</span></span></span></span></span>D) if non-contextuality holds.</p></li><li><p><b>Sebens & Carroll</b> show how it emerges naturally from <i>epistemic self-location</i> in a branching universe.</p></li><li><p><b>Deutsch & Wallace</b> show it is the <i>only rational betting strategy</i> in an Everettian framework.</p></li></ul><p>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.</p><p>---------------------------------------</p><p><span><span></span></span></p><div><div><button></button></div></div><p></p></div></span></div></div></div></div>
</div>