Three conditions (basis invariance, orientation independence, projection-integration stability) force μ(αm)=|α|²μ(m) without assuming Hilbert space (Theorem). Under Hilbert Embeddability Ansatz and six explicit Gleason conditions, P(i)=|⟨i|ψ⟩|² follows uniquely (Proposition). Ansatz labeled with bilateral operational consequences. Soler's theorem pathway to deriving the Ansatz identified. Qubit case (dim H=2) explicitly excluded.
Three conditions (basis invariance, orientation independence, projection-integration stability) force μ(αm)=|α|²μ(m) without assuming Hilbert space (Theorem). Under Hilbert Embeddability Ansatz and six explicit Gleason conditions, P(i)=|⟨i|ψ⟩|² follows uniquely (Proposition). Ansatz labeled with bilateral operational consequences. Soler's theorem pathway to deriving the Ansatz identified. Qubit case (dim H=2) explicitly excluded.
Theorem (Quadratic Projection Measure) + Ansatz (Hilbert Embeddability) + Proposition (Standard Born Rule). Under three structural constraints (basis invariance, projection-integration stability, orientation independence), the projection-induced measure on coherent informational states is forced to be ||^2. The standard quantum-mechanical Born rule emerges as a Proposition under the Hilbert Embeddability Ansatz, with Gleason's theorem providing the converse on the Hilbert representation. Inherits from Paper 0 (axioms A4, A5, A6).
Born's Exponent and Gleason's Theorem: Placing the Geometric Reading Beneath the Stronger Derivation — and the Qubit, Where Gleason Is Silent. Papers 53 and 68 read the exponent 2 of Born's rule as a sesquilinear "2": p = |ψ|² = ⟨ψ|P|ψ⟩, the same quadratic form as the Hopf (Bloch) map. This paper asks the honest question (is "why 2" derived or merely assumed?) and places the geometric reading beneath the rigorous royal-road result. Gleason's theorem (1957) shows that on a Hilbert space of dimension ≥ 3, any non-contextual, countably additive measure on the projection lattice has the form μ(P) = Tr(ρP); for a pure state this is Born's rule, exponent 2 included, DERIVED from assumptions strictly weaker than assuming |ψ|². Hence a clear hierarchy: Gleason (and, for all dimensions including the qubit, the POVM extension of Busch 2003) is the derivation; Papers 53/68 are a geometric picture, subordinate as a derivation, complementary as a picture. The one place the picture is not subsumed: projective Gleason requires dim ≥ 3 and FAILS for the qubit (dim 2), exactly the Hopf case of Paper 68, restored only by POVM-Gleason, and precisely where the geometric picture earns its keep. Finally, Gleason grounds Paper 68's "census of twos" by forcing the sesquilinear form (non-contextuality). Neither Gleason nor this paper solves the measurement problem; the distinct roots stay distinct. A note on the aim of this work. This is a structural interpretation and an act of intellectual humility: it defers to Gleason's theorem and keeps only the geometry that survives beneath it. It is not a new derivation of the Born rule and does not solve the measurement problem. Nothing here is intended to contradict existing results. On the making of this work: The ideas and content of this work stem from the author's own considerations. Assistance from an AI (a large language model) was used for structuring, English translation, and checking the algebra. Any remaining errors or misinterpretations are solely the author's. Feedback and corrections are sincerely appreciated. ----- ボルン則の「2」と Gleason の定理 ── 幾何学的な読みを、より強い導出の下に置く ── そして量子ビット、Gleason が黙る場所。 論文53・68 はボルン則の指数2を双一次の「2」と読んだ:p = |ψ|² = ⟨ψ|P|ψ⟩、Hopf(ブロッホ)写像と同じ2次形式。本稿は正直な問い(「なぜ2」は導出か単に仮定か)を立て、幾何学的な読みを王道の厳密結果の下に置く。Gleason の定理(1957)は、次元 ≥ 3 で、射影束上の非文脈的で可算加法的な測度が μ(P) = Tr(ρP) の形を持つと示す;純粋状態ではこれがボルン則で、指数2も含めて、|ψ|² を仮定するより厳密に弱い仮定から導出される。ゆえに明確な階層:Gleason(および量子ビットを含む全次元で Busch 2003 の POVM 拡張)が導出、論文53/68 は幾何学的描像:導出としては従属、描像としては相補的。描像が包摂されない唯一の場所:射影版 Gleason は dim ≥ 3 を要し量子ビット(dim2)で破れる。それこそ論文68の Hopf の場合で、POVM 版でのみ回復され、まさにそこで幾何の描像が値打ちを示す。最後に Gleason は、双一次形式を強制する(非文脈性)ことで論文68の「2たちの点呼」を基礎づける。Gleason も本稿も測定問題を解かず、別根は別根のまま。 本稿の位置づけ。本稿は構造的解釈であり、知的な謙抑の実践です:Gleason の定理に譲り、その下で生き残る幾何だけを保ちます。ボルン則の新しい導出ではなく、測定問題も解きません。既存の結果と矛盾する意図はありません。 作成にあたって:本稿の着想と内容は、著者自身の考察に基づくものです。文章の構成整理や英訳、数式の確認には AI(大規模言語モデル)の助力を得ました。最終的な内容の解釈や誤りがあれば、それらはすべて著者の責に帰します。お気づきの点があれば、ご教示いただければ幸いです。
From a single axiom — that outcomes form one non-separable whole — two consequences fix the quantum state space: a possibility can differ from another in exactly two ways, by magnitude (how much) and by phase (from where). A quantity carrying both is a complex number. On this space, non-separability forces completion by the conjugate, the squared-magnitude weight, linearity, normalization, and the interference cross-term, yielding the Born rule p_i = |ψ_i|² with Σp_i = 1 and interference. The algebraic steps are machine-verified (script included); the structural steps are stated as named claims with every open seam labeled honestly. Hermiticity of observables (A = A†) is argued and machine-verified for the real-weighted case rather than assumed. The derivation presupposes no Hilbert space, inner product, probability measure, or operational structure, and reaches the same targets that existing reconstructions obtain from five or six axioms. Submitted for refutation. The theorem of Section 7B is unchanged, and its proof does not depend on check A10 — it runs on Lemmas 2 and 4 and A1. Check A10 in verify_all.py was defective. It tested whether the product ψ·X is real, rather than whether X completes ψ. Consequently it accepted the sign flip, a partner that A1 explicitly excludes as degree-negating. The check could not fail. A10 is replaced with an exact test of A1’s criterion — that a completer removes vantage while preserving degree — which has the unique solution X = conj(ψ), and which rejects both the sign flip and any neighbouring pole. Two sentences describing A10 (Sections 6 and 7B) stated that a pole multiplied by a neighbour “still carries vantage.” This is false: the product m²e^(−iδ) is vantage-free but does not complete. Both sentences are corrected. This version also revises Lemma 3 to the operator-level criterion, removes the section on Hardy’s Simplicity axiom as superseded by Masanes–Müller (2011), addresses the direct-sum counterexample to Seam 7, and adds eleven references.
This derivation block presents a conditional route to the Born probability rule within the EDC framework, based on two ingredients: the compactness of the extra-dimensional circle S^1_\xi and Gleason’s theorem on Hilbert-space probability measures. The note shows that L^2(S^1_\xi) is automatically a separable Hilbert space, with the standard Fourier basis e^{in\alpha}, and argues that, under the scanning hypothesis, the relevant observer-side amplitudes can be represented in that Hilbert space. Once this conditional step is accepted, Gleason’s theorem yields the Born rule P(n)=|c_n|^2 as the unique probability measure compatible with the Hilbert projection structure. The argument is therefore not a derivation from the full EDC action, but a conditional derivation whose single non-mathematical load-bearing link is the scanning hypothesis itself. A second contribution of the note is conceptual clarification. It explains why complex amplitudes arise naturally as the canonical Fourier language on the circle S^1_\xi, rather than as an independent postulate, and it carefully distinguishes between physical scanning readout with finite window functions and the exact Fourier-mode projection structure required by Gleason’s theorem. The document also sketches how the inner-product structure may be inherited into 4D sectors through Kaluza–Klein decomposition, while explicitly warning that the full physical reduction dictionary is not carried out here. In this way, the note is deliberately narrow in scope: it does not claim to derive the Schrödinger equation, entanglement, collapse, or the scanning hypothesis itself. The document is intended as a derivation note within the larger EDC observer-side quantum program. Its main result is epistemic rather than rhetorical: within the present dependency chain, the Born rule should be classified as [Dc] (derived conditionally) rather than as a conjecture. What remains open is equally explicit: deriving the scanning amplitude from SEDC, establishing the full time-evolution law, constructing a multi-particle tensor-product structure, explaining outcome selection, and making quaternionic exclusion rigorous.
The Born rule — that the probability of obtaining outcome |phi> in a measurement of a quantum system in state |psi> is P = |<phi|psi>|^2 — is one of the most empirically well-confirmed and conceptually contested statements in physics. Existing derivation attempts (Gleason’s theorem; Deutsch–Wallace decision theory; Zurek envariance; many-worlds branch counting) each establish it under their own assumptions, but none has achieved universal acceptance. We show that in the Three Time Dimensions (3+3) spacetime framework (de Haan 2026, book DOI 10.5281/zenodo.19633127), in which the third time dimension t_3 is compactified as a discrete two-sphere S^2 with 2^152 Planck-area cells, the Born rule emerges through three independent geometric routes that all converge on the same result P = |<phi|psi>|^2. Route 1 (Malus’s Law on S^2): the wavefunction is literally a direction on the t_3 S^2; the Bloch sphere IS this S^2; Malus’s 1809 law P = cos^2(theta) is identical to the Born rule for bosons, with SU(2) double cover giving cos^2(theta/2) for fermions. Route 2 (Gleason + S^2 non-contextuality): Gleason’s 1957 theorem uniquely selects |<phi|psi>|^2 given non-contextuality, which in (3+3) is a consequence of the S^2 Riemannian metric rather than an independent postulate. Route 3 (Lévy measure + t_2 isotropy): the t_2 expansion perturbs all t_3 directions isotropically; the unique continuous binary-outcome probability measure is the Lévy / Haar-invariant spherical measure, which gives P(+n_A) = cos^2(theta/2). The three routes use distinct mathematical tools (projection, Hilbert-space theorem, stochastic analysis) and distinct physical inputs (geometry, Riemannian metric, dynamical isotropy). They must converge if the geometric identification is correct; they would diverge if it were wrong. Malus’s 1809 law is the Born rule avant la lettre. The empirical optical law taught to undergraduates as a fact is, under this reading, a direct geometric consequence of photon polarisations being directions on S^2 — a statement about projection geometry that predates quantum mechanics by a century. The same geometric identification simultaneously resolves four foundational puzzles: (1) Schrödinger’s cat is never in superposition (the cat’s ~10^29 t_3 modes are entrained by environmental t_2 perturbation within femtoseconds of the first atomic interaction); (2) the three-polariser paradox dissolves (non-commuting measurements are non-commuting rotations on S^2); (3) the Bell/Tsirelson bound 2sqrt(2) is a geometric consequence of S^2 having dimension exactly 2 — empirical confirmation by loophole-free Bell tests (Hensen, Giustina, Shalm 2015) confirms the S^2 identification; (4) the cosmological decoherence floor tau_cosm = 1/H_0 ~ 14.5 Gyr is a structural upper bound on quantum coherence set by the t_2 cosmic expansion — distinguishing the framework from many-worlds interpretations. Three supporting elegance claims establish the framework’s quantum-foundational coherence: (A) the complex-valuedness of psi in C follows from t_2 being a rotation (the imaginary unit i is the generator of the t_2 precession rotation); (B) the Schrödinger equation i hbar dpsi/dt = H psi is the infinitesimal form of t_2 precession rotating the phase of the t_3 configuration; (C) the canonical commutation [x, p] = i hbar follows from the foam lattice structure. The paper is complementary to the companion Quantum Computing preprint [DOI 10.5281/zenodo.19651560] which uses the Bloch-sphere-as-S^2 identification for applied hardware-level proposals. The Born Rule paper provides the foundational underpinning for why that identification is correct at the level of quantum-mechanical first principles. The paper is honest about what remains open. Four specific items are explicitly acknowledged (§11): (1) the framework does not yet have a 6D Lagrangian formulation from which the Born rule would fall out of path-integral quantisation; (2) the uniqueness of the S^2 identification is only partially addressed — higher-dimensional spheres are ruled out by the Tsirelson bound, but tori and Calabi–Yau alternatives are not examined; (3) the path-integral reformulation of quantum mechanics within (3+3) has not been constructed; (4) detailed comparison with QBism, relational quantum mechanics, and consistent histories is outside the paper’s scope. Falsifiability. Six routes: Tsirelson-bound overshoot/undershoot beyond 2sqrt(2) + measurement precision; indefinite quantum coherence beyond cosmological timescales; real-valued QM experimental confirmation (already ruled out by Renou et al. 2021, reconfirmed by independent tests); detection of genuine contextuality; detection of discrete S^2 cell structure at near-Planck scales. The Born rule, in (3+3), is not a mysterious postulate; it is Malus’s Law on a compact sphere that nobody knew was there.