Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

[SUPERSEDED] 10 Born Rule from Projection Measures

Travis Bergen

Published Jan 25, 2026• 0 citations
Publisher

Abstract

SUPERSEDED (2026-07-21): this record belongs to an earlier lineage of the Information Manifold Model and has been superseded by the current IMM Paper series. See the successor record linked under Related identifiers, and the series anchor doi:10.5281/zenodo.19697792. Preserved unchanged as a historical record. Abstract. Derives the Born rule as the unique stable projection measure consistent with IMM. Context. Provides a structural derivation of quantum probability.

DOI
10.5281/zenodo.18367672

Related papers

[SUPERSEDED] 2 Conscious Projection and the Quantum Measurement Problem

Travis Bergen

SUPERSEDED (2026-07-21): this record belongs to an earlier lineage of the Information Manifold Model and has been superseded by the current IMM Paper series. See the successor record linked under Related identifiers, and the series anchor doi:10.5281/zenodo.19697792. Preserved unchanged as a historical record. Abstract. Reframes the quantum measurement problem as a structural consequence of informational projection from M to E. Context. Addresses quantum measurement without collapse postulates or observer dualism.

•Jan 25, 2026•0 citations

Derivation III: The Born Rule from Syndrome Minimization

Yuri Alcocer

We derive the Born rule not as a probabilistic postulate, but as the unique measure that minimizes geometric syndrome (rank-deficit risk) while preserving foliation consistency. Probability emerges as the regulator's optimal allocation of existence to stable geometries. Key Result: is the least-squares solution to projecting high-dimensional quantum states onto measurable 3D slices without breaking the manifold's geometric continuity.

•Feb 15, 2026•0 citations

[SUPERSEDED] 1 The Information Manifold Model: Structural Realism and the Form of Quantum Mechanics

Travis Bergen

SUPERSEDED (2026-07-21): this record belongs to an earlier lineage of the Information Manifold Model and has been superseded by the current IMM Paper series. See the successor record linked under Related identifiers, and the series anchor doi:10.5281/zenodo.19697792. Preserved unchanged as a historical record. Abstract. Establishes the foundational Information Manifold Model (IMM), introducing the information manifold M and the experiential projection operator. Context. Provides the foundational structural realist framework underlying all subsequent chapters.

•Jan 25, 2026•0 citations

Born Rule as a Closure Fixed Point: { Uniqueness of Quantum Probability in Perfectly Self-Contained Theories}

Nova Spivack

Programme status: This record belongs to an active research programme. It is not a finished or final theory. The framework is currently undergoing a systematic audit, together with corrections and improvements prompted by reader feedback. Several significant issues have been identified, and some claims, derivations and interpretations in the current version may be revised, qualified or withdrawn in future versions. Revised versions will be released when this work is complete. Status as of October 2026. We prove that the Born rule is the unique consistent probability assignment for any perfectly self-contained (PSC) theory whose records carry quantum effect structure. The argument has two interlocking stages. Formal stage. We machine-check in Lean 4 that any normalized, POVM-additive probability assignment \mu on n-dimensional quantum effects has at most one density operator \rho representing it: [ \mu(E) = \re\bigl(\Tr(\rho E)\bigr) \quad\textfor all effects E. ] What is machine-checked here is the uniqueness of the density-operator representation under the closure constraints. Existence of such a representation is imported from known Busch/Gleason-type results. The uniqueness theorem busch_gleason_unique is fully proved with zero sorrys, using three families of test effects that together span \Herm(n) and extract every matrix entry of \rho. Physical stage. PSC forces any record-level probability assignment to be noncontextual and POVM-additive, because probabilities that depend on external measurement context introduce semantic externality that PSC excludes. Therefore, if a Born-rule density operator exists (Busch/Gleason existence, acknowledged as a known result), it is provably unique by our machine-checked argument. The Born rule is thus not a postulate but the only fixed point of closure. The approach generalizes standard Gleason-type derivations: it applies to POVMs (not only projectors), requires no dimension lower bound, and is interlocked with the NEMS record-closure framework. The Lean artifact constitutes the first machine-verified uniqueness proof for quantum probability in an operationally grounded formalization. This overview presents the core NEMS theorem engine and selected applications; stronger domain-specific derivation and ontological synthesis claims belong to separate release surfaces with their own premise bundles and formal artifacts. Trust boundary. Machine-checked content is the density-operator uniqueness lemma under stated effect constraints (nems-lean ); Busch/Gleason existence is imported as classical mathematics. PSC⇒noncontextual semantics links are premise-sensitive. See .

•Apr 5, 2026•0 citations

Structural Origin of the Born Rule within the Order-Projection Principle

John Jude Hathway

⚠️ CORRECTION NOTICE (added 2026): The author has since identified serious errors in this work through a systematic adversarial audit. The central claims of this record should not be relied upon. Specific issues found across this research program include implementation errors (e.g., conflation of signed cosine with cos²), circular definitions, proof gaps, results that reduce to known theorems, and effects that vanish under proper null models and direct-influence correction. This record is left online for transparency and as a documented case, not as a valid result. For the author's current, audited methodology, see the later work on classical-baseline auditing of quantum-like contextuality claims: https://doi.org/10.5281/zenodo.20680607 — A. Ogasawara This work investigates the structural origin of the Born rule within the framework of the Order-Projection Principle (OPP). We consider outcome-indexed measurements associated with orthonormal bases in finite-dimensional Hilbert spaces and analyze the constraints imposed by:(i) outcome-information separation (OIS),(ii) positivity and completeness of measurement operators, and(iii) non-contextuality of probability assignments. Under these conditions, we show that measurement operators reduce to rank-1 projectors and that, within an overlap-based family of candidate probability functions, the quadratic form P(e|ψ) = |⟨e|ψ⟩|² is uniquely compatible with non-contextuality. The result is obtained without introducing additional auxiliary axioms beyond the outcome-level formulation of the OPP framework. The role of linear structure (A4) and quadratic observation (A5) is also discussed, including their structural relationship to more primitive assumptions. Numerical experiments are provided to corroborate the consistency of the derivation across multiple dimensions. This work focuses on finite-dimensional, orthonormal-basis-indexed measurements and pure states. Extensions to mixed states, generalized POVMs, and continuous observables are left for future investigation. Note: Parts of the manuscript were linguistically and structurally refined with the assistance of AI-based tools.All scientific content, analysis, and conclusions are the author's own. Note: This work represents Version 1.0 of an ongoing research program on the Order-Projection Principle (OPP). Minor typographical corrections and clarifications may appear in later versions. The core conceptual claims remain unchanged.

•Apr 6, 2026•0 citations

The Born Rule as a Theorem, Not a Postulate: Quantum Measurement in the GTE Framework

Nova Spivack

Programme status: This record belongs to an active research programme. It is not a finished or final theory. The framework is currently undergoing a systematic audit, together with corrections and improvements prompted by reader feedback. Several significant issues have been identified, and some claims, derivations and interpretations in the current version may be revised, qualified or withdrawn in future versions. Revised versions will be released when this work is complete. See PROGRAM_STATUS.md. Status as of October 2026. Quantum mechanics says a particle can be in a superposition — in two states at once. Measurement collapses it to one. The measurement problem is: what causes the collapse, and why do the probabilities follow the formula P(k) = |c_k|^2? Nobody has a satisfying answer from within standard quantum theory. This tutorial explains how the GTE (Generative Triple Evolution) framework derives the Born rule — the law that links quantum amplitudes to measurement probabilities — as a theorem from first principles, requiring no additional postulates. The Born rule emerges necessarily from the arithmetic structure of the GTE substrate.

•Jun 12, 2026•0 citations
SUPERSEDED (2026-07-21): this record belongs to an earlier lineage of the Information Manifold Model and has been superseded by the current IMM Paper series. See the successor record linked under Related identifiers, and the series anchor doi:10.5281/zenodo.19697792. Preserved unchanged as a historical record. Abstract. Derives the Born rule as the unique stable projection measure consistent with IMM. Context. Provides a structural derivation of quantum probability.
SUPERSEDED (2026-07-21): this record belongs to an earlier lineage of the Information Manifold Model and has been superseded by the current IMM Paper series. See the successor record linked under Related identifiers, and the series anchor doi:10.5281/zenodo.19697792. Preserved unchanged as a historical record. Abstract. Reframes the quantum measurement problem as a structural consequence of informational projection from M to E. Context. Addresses quantum measurement without collapse postulates or observer dualism.
SUPERSEDED (2026-07-21): this record belongs to an earlier lineage of the Information Manifold Model and has been superseded by the current IMM Paper series. See the successor record linked under Related identifiers, and the series anchor doi:10.5281/zenodo.19697792. Preserved unchanged as a historical record. Abstract. Establishes the foundational Information Manifold Model (IMM), introducing the information manifold M and the experiential projection operator. Context. Provides the foundational structural realist framework underlying all subsequent chapters.
Programme status: This record belongs to an active research programme. It is not a finished or final theory. The framework is currently undergoing a systematic audit, together with corrections and improvements prompted by reader feedback. Several significant issues have been identified, and some claims, derivations and interpretations in the current version may be revised, qualified or withdrawn in future versions. Revised versions will be released when this work is complete. Status as of October 2026. We prove that the Born rule is the unique consistent probability assignment for any perfectly self-contained (PSC) theory whose records carry quantum effect structure. The argument has two interlocking stages. Formal stage. We machine-check in Lean 4 that any normalized, POVM-additive probability assignment \mu on n-dimensional quantum effects has at most one density operator \rho representing it: [ \mu(E) = \re\bigl(\Tr(\rho E)\bigr) \quad\textfor all effects E. ] What is machine-checked here is the uniqueness of the density-operator representation under the closure constraints. Existence of such a representation is imported from known Busch/Gleason-type results. The uniqueness theorem busch_gleason_unique is fully proved with zero sorrys, using three families of test effects that together span \Herm(n) and extract every matrix entry of \rho. Physical stage. PSC forces any record-level probability assignment to be noncontextual and POVM-additive, because probabilities that depend on external measurement context introduce semantic externality that PSC excludes. Therefore, if a Born-rule density operator exists (Busch/Gleason existence, acknowledged as a known result), it is provably unique by our machine-checked argument. The Born rule is thus not a postulate but the only fixed point of closure. The approach generalizes standard Gleason-type derivations: it applies to POVMs (not only projectors), requires no dimension lower bound, and is interlocked with the NEMS record-closure framework. The Lean artifact constitutes the first machine-verified uniqueness proof for quantum probability in an operationally grounded formalization. This overview presents the core NEMS theorem engine and selected applications; stronger domain-specific derivation and ontological synthesis claims belong to separate release surfaces with their own premise bundles and formal artifacts. Trust boundary. Machine-checked content is the density-operator uniqueness lemma under stated effect constraints (nems-lean ); Busch/Gleason existence is imported as classical mathematics. PSC⇒noncontextual semantics links are premise-sensitive. See .
⚠️ CORRECTION NOTICE (added 2026): The author has since identified serious errors in this work through a systematic adversarial audit. The central claims of this record should not be relied upon. Specific issues found across this research program include implementation errors (e.g., conflation of signed cosine with cos²), circular definitions, proof gaps, results that reduce to known theorems, and effects that vanish under proper null models and direct-influence correction. This record is left online for transparency and as a documented case, not as a valid result. For the author's current, audited methodology, see the later work on classical-baseline auditing of quantum-like contextuality claims: https://doi.org/10.5281/zenodo.20680607 — A. Ogasawara This work investigates the structural origin of the Born rule within the framework of the Order-Projection Principle (OPP). We consider outcome-indexed measurements associated with orthonormal bases in finite-dimensional Hilbert spaces and analyze the constraints imposed by:(i) outcome-information separation (OIS),(ii) positivity and completeness of measurement operators, and(iii) non-contextuality of probability assignments. Under these conditions, we show that measurement operators reduce to rank-1 projectors and that, within an overlap-based family of candidate probability functions, the quadratic form P(e|ψ) = |⟨e|ψ⟩|² is uniquely compatible with non-contextuality. The result is obtained without introducing additional auxiliary axioms beyond the outcome-level formulation of the OPP framework. The role of linear structure (A4) and quadratic observation (A5) is also discussed, including their structural relationship to more primitive assumptions. Numerical experiments are provided to corroborate the consistency of the derivation across multiple dimensions. This work focuses on finite-dimensional, orthonormal-basis-indexed measurements and pure states. Extensions to mixed states, generalized POVMs, and continuous observables are left for future investigation. Note: Parts of the manuscript were linguistically and structurally refined with the assistance of AI-based tools.All scientific content, analysis, and conclusions are the author's own. Note: This work represents Version 1.0 of an ongoing research program on the Order-Projection Principle (OPP). Minor typographical corrections and clarifications may appear in later versions. The core conceptual claims remain unchanged.
Programme status: This record belongs to an active research programme. It is not a finished or final theory. The framework is currently undergoing a systematic audit, together with corrections and improvements prompted by reader feedback. Several significant issues have been identified, and some claims, derivations and interpretations in the current version may be revised, qualified or withdrawn in future versions. Revised versions will be released when this work is complete. See PROGRAM_STATUS.md. Status as of October 2026. Quantum mechanics says a particle can be in a superposition — in two states at once. Measurement collapses it to one. The measurement problem is: what causes the collapse, and why do the probabilities follow the formula P(k) = |c_k|^2? Nobody has a satisfying answer from within standard quantum theory. This tutorial explains how the GTE (Generative Triple Evolution) framework derives the Born rule — the law that links quantum amplitudes to measurement probabilities — as a theorem from first principles, requiring no additional postulates. The Born rule emerges necessarily from the arithmetic structure of the GTE substrate.