The Born Rule as a Theorem, Not a Postulate
P(k) = |⟨k|ψ⟩|² is Max Born's 1926 postulate — stated as a fact, never explained. GTE derives it four independent ways, two machine-certified in Lean 4 with zero sorry. The Born rule is a structural necessity of any PSC-consistent theory.
The Born Rule in Standard Quantum Mechanics
In standard quantum mechanics, a quantum state is written as a superposition:
The coefficients ck are complex numbers called amplitudes. The Born rule says: when you measure the system, the probability of getting outcome k is:
The Born rule has been tested billions of times across all of quantum chemistry, particle physics, quantum computing, and quantum optics. It always works. The question of why it works — what physical principle forces it — is what the GTE derivation answers.
Why Previous Derivation Attempts Fell Short
Deriving the Born rule is notoriously difficult. Previous attempts either:
Many derivations secretly assume some form of the Born rule — or a probabilistic principle equivalent to it — in their premises. The conclusion is then not independently derived.
Gleason's theorem derives the Born rule from the structure of quantum measurements, but requires assuming the measurement outcomes form a noncontextual probability frame — an independent postulate.
Everettian derivations (decision-theoretic and envariance) require accepting many-worlds, which has its own unresolved problems. The Born rule is derived within one interpretation — not generally.
The GTE requirement: A valid derivation must derive the Born rule without assuming any form of it, within a self-contained framework that also explains why measurement happens at all (the transputation mechanism from L23). The derivation must be non-circular and independently verifiable.
Four Independent Derivation Routes
The GTE derivation does not rely on a single argument. Four logically independent routes all converge on the same formula P(k) = |ck|². The redundancy is intentional: each route uses different mathematical tools and different premises, making the result extremely robust.
Route α — ℤ₇ superselection
The GTE kink Hilbert space decomposes into sectors labeled by winding number (the ℤ₇ charge from Path 3). The only probability assignment compatible with the ℤ₇ block structure and the Hilbert-space inner product is |ck|². Any other assignment would fail to respect the superselection sectors.
Route β — PSC closure + Gleason
PSC forces quantum probabilities to form a noncontextual effect algebra — this is derivable from PSC rather than postulated. By Gleason's theorem, the unique measure on a Hilbert space that respects noncontextuality is the Born trace formula. Both the noncontextuality and the Born rule follow.
Route γ — 't Hooft information-loss (CatAD)
The fMDL cellular automaton on ℤ₇⁵ is irreversible: 98.71% of states collapse to the vacuum attractor. The remaining ~1.29% — the PSC-admissible orbit states — carry a natural invariant measure. The fraction of this measure belonging to winding sector k equals |ck|² because both the measure and the amplitudes are governed by the same ℤ₇ superselection structure as route α.
Route δ — Page-Wootters clock (CatAD)
The GTE shared causal clock τc = 3/7 satisfies the Page-Wootters prerequisites for a timeless relational formulation of quantum mechanics. The Born rule emerges from the relational formalism applied to the GTE three-tape substrate, using the shared clock as the reference frame.
Routes α and β are machine-certified at CatAL — Lean 4, zero sorry, zero custom axioms — and are logically independent: different premises, different mathematical frameworks, same conclusion. Routes γ and δ are fully analytic derivations at CatAD, providing two further independent convergences.
Why the Argument Is Not Circular
A natural concern: did these derivations secretly assume the Born rule in order to derive it? The answer is no, and this is checked formally.
Route α premises
Route α uses only: (1) the ℤ₇ superselection structure of the GTE kink Hilbert space, and (2) the standard Hilbert-space inner product. Neither of these is a statement of the Born rule or equivalent to it. The Born rule is the output — not a hidden input.
Route β premises
Route β uses: (1) PSC — Perfect Self-Containment — which is the fundamental axiom of the GTE framework, not a quantum-mechanical postulate; and (2) Gleason's theorem — a pure mathematical result about measures on Hilbert spaces that makes no probabilistic assumptions. No Born-rule assumption appears anywhere.
Machine-verified non-circularity
The Lean proof of born_rule_from_psc_mdl uses no axiom whose
statement is equivalent to the Born rule. Lean's type checker independently
verifies that every step in the proof follows from its stated hypotheses.
The proof is:
- Zero sorry — no gaps skipped
- Zero custom axioms — no undischarged assumptions
- Machine-checkable by anyone with Lean 4 installed
Why Quantum Amplitudes Are Complex Numbers
The Born rule tells us what to do with amplitudes. A deeper question: why are amplitudes complex numbers in the first place? Why ℂ rather than ℝ?
The GTE substrate provides a structural answer. The master quadratic
m(x) = x² + x − 1 is irreducible over GF(7) — the discriminant
is 5, which is a quadratic non-residue mod 7. Its splitting field is therefore
GF(49) = GF(7²), a degree-2 Galois extension. The Frobenius automorphism
x ↦ x⁷ acts on the two roots exactly as complex conjugation z ↦ z̄.
The consequence: In the continuum limit, the base field is ℝ, and ℂ is the unique degree-2 extension of ℝ. The amplitude field is therefore forced to be ℂ — not a choice, but a consequence of the GF(7) arithmetic. This is a first-principles derivation of the complex structure of quantum mechanics (CatAD).
This result is consistent with recent experimental exclusions of real-valued quantum mechanics — experiments confirm that the imaginary unit is not a formal convenience but a physical requirement.
Three-Level MDL Unification
The Born rule derivation reveals a deeper pattern. The same principle — Minimum Description Length (MDL) — appears at three distinct, non-circular levels of the GTE framework:
The three levels are logically disjoint — MDL at the theory-selection level does not presuppose MDL at the adjudication level. The same principle applies independently at each scale, from the most abstract (which rule governs the universe?) to the most concrete (which measurement outcome is realized?).
Key Results
- The Born rule P(k) = |ck|² is Postulate 5 of standard QM — stated, never derived, and not explained by Copenhagen or many-worlds.
- GTE derives it by four independent routes (α, β, γ, δ). Routes α and β are
machine-certified in Lean 4 with zero sorry (
born_rule_from_psc_mdl, CatAL). - The derivation is non-circular: no route assumes any form of the Born rule in its premises. Lean's type checker independently verifies this.
- Complex amplitudes are not a convention — they are forced by the GF(7) arithmetic of the master quadratic m(x) = x² + x − 1 (CatAD).
- The Born rule sits at the third level of Three-Level MDL Unification: one minimization principle (MDL) governing theory selection, field dynamics, and event adjudication.
- Together with transputation (L23), this closes the quantum measurement problem within the GTE framework without any new postulates.
Source material
- Path 7 — Cosmology: the cosmological constant, baryon asymmetry, defect cosmology
Path 6 Complete
You've seen how quantum measurement is not a postulate but a necessity — transputation forced by PSC, the Born rule derived four independent ways, two machine-certified. Quantum mechanics is a theorem of the GTE framework.