We give a finite-dimensional geometric account of the Born weights that separates three logically distinct questions: selection of the projective measure, geometric realisation of the outcome weights, and their interpretation as empirical frequencies. Pure states are rays
[ψ]∈CPN−1. Unitary symmetry fixes a unique invariant Borel probability measure on this homogeneous space, the Fubini–Study measure
μFS. This uniqueness result is now machine-checked in Lean 4 at general finite
N. The Born weights then follow by a separate geometric step. Under the toric moment map,
m([ψ])=(∣⟨e0,ψ⟩∣2,…,∣⟨eN−1,ψ⟩∣2), the normalised Fubini–Study measure induces the uniform Dirichlet
(1,…,1) measure on the probability simplex. For a preparation
b=m([ψ]), the state-dependent barycentric region associated with outcome
i has relative Fubini–Study volume
μFS(Ri(ψ))=∣⟨ei,ψ⟩∣2. The formal result holds for all finite dimensions and includes vanishing Born weights. Symmetry therefore fixes the measure, not the measurement regions themselves. The latter are explicit geometric realisations whose physical implementation belongs to the measurement layer of CSD. A second, independent route based on Gleason-type operational consistency is retained as corroborating support rather than as the load-bearing derivation. Finally, the deterministic volume-typicality result of Paper A connects these weights to repeated-trial frequencies under its stated preparation assumptions. The resulting account derives the finite-dimensional Born weights without postulating them as a fundamental stochastic law.
T99 provides a geometric interpretation of the Born rule within a real symplectic-metric framework. Rather than treating quantum probabilities as fundamental postulates, the theorem derives them as normalized projection weights onto an observable subspace of a larger real state space. The construction begins with a real vector space
R equipped with a compatible metric-symplectic-complex structure
(R,g,ω,J), where \[J^2=-I,\qquadg(Ju,Jv)=g(u,v).\] The state space is assumed to be split into complementary components \[R=O\oplusO',\] where
O is the observable subspace and
O′=JO is its conjugate counterpart. The theorem introduces the observable projection operator
ΠO:R→O and an orthogonal decomposition of the observable sector into measurement directions
O=⨁iOi, with associated projectors
Πi. Every state
v∈R admits a unique decomposition \[v=o+h,\qquado\in O,\qquadh\in O'.\] The observable component is
o=ΠOv, while the conjugate component lies outside the directly observed sector. A central result is that the conjugate sector is metrically equivalent to the observable sector. Because
g(Jv,Jv)=g(v,v), The conjugate component possesses the same norm structure as the observable component. It is therefore not a lower-order correction or negligible remainder, but a geometrically equivalent part of the larger real state space. The theorem then derives the Born readout formula as a projection law. For each measurement direction
Oi,
Pi(v)=∥v∥2∥Πiv∥2. The probabilities satisfy
0≤Pi(v)≤1, and
∑iPi(v)=PO(v)=∥v∥2∥ΠOv∥2. Whenever the state is normalized entirely within the observable sector,
∥ΠOv∥=∥v∥, The probabilities satisfy
∑iPi(v)=1. The Born rule, therefore, emerges as the normalized squared projection of the full state onto observable measurement directions. Choosing the complex structure
J recovers the familiar complex formulation. The real metric and symplectic structures combine into the Hermitian inner product
g(⋅,⋅)+iω(⋅,⋅), and the projection formula becomes
Pi=∣⟨i∣ψ⟩∣2. The standard Born rule is thus recovered as the complex representation of the underlying projection geometry. Several consequences follow. Components lying entirely in the conjugate sector contribute no direct observable readout when measurements are restricted to the observable slice. The observable sector nevertheless remains a complete probability space, since normalized states within
O satisfy the usual probability-sum rule. Standard quantum mechanics, therefore, appears as the special case in which measurements access only the observable sector and no probability weight leaks from the conjugate component into observable readout. T99 provides a geometric foundation for the Born rule within the reduced Q5 framework. The theorem interprets quantum probabilities as observable-slice projections of a larger real symplectic structure and identifies the standard complex Born rule as the closed-observable-sector limit of that broader geometric description.
We prove a conditional uniqueness theorem for projective measurements on pure states: given the
L2 Hilbert space structure of quantum mechanics, the Born rule
P=∣ψ∣2 is the only outcome-local probability assignment compatible with five operational postulates (outcome-locality, normalization, phase independence of the classical record, tensor product factorization, and continuity), with interference consistency used only as a post-hoc check. Physically, the theorem addresses a boundary problem: amplitudes support interference and cancellation before measurement, whereas a stabilized classical record cannot retain the full relative-phase distinction structure in accessible form. Irreversible record formation motivates this phase-insensitivity requirement, although no thermodynamic quantity enters the formal proof. Mathematically, phase independence reduces the map to a function of modulus, factorization and continuity force a power law, and consistency with
L2 normalization fixes the exponent to
2. Within this framework, the squared modulus is the unique classicalization map from phase-sensitive amplitudes to accessible record weights. The result is complementary in physical motivation to Gleason-type derivations but narrower in scope: it is confined to the pure-state projective setting and does not derive the general trace rule for mixed states and POVMs.
We present a symmetry-first account of Born weights for finite-dimensional quantum systems that does not take probabilistic postulates as primitive. The core observation is geometric: pure states are rays in
Cn, hence the operational state space is complex projective space
CPn−1, equipped with its natural
SU(n) action. We show that this symmetry fixes, up to normalisation, a unique
SU(n)-invariant Borel probability measure on
CPn−1, namely the Fubini–Study measure
μFS[1] (Ashtekar & Schilling 1999). Symmetry alone, however, does not determine how weights attach to specific outcome projectors. To close this gap without appealing to stochastic axioms, we introduce minimal operational consistency requirements for a probability assignment
p(P∣ψ) over projectors: normalisation on orthonormal resolutions, additivity on orthogonal projectors, noncontextuality, and unitary covariance. For
n≥3 these assumptions imply the quadratic form
p(P∣ψ)=⟨ψ∣P∣ψ⟩ by a Gleason-class theorem[2], and the qubit case is handled by a standard strengthening such as extension to POVMs (Busch 2003). Finally, combining these Born weights with deterministic volume-typicality results from our companion work (Paper A) yields observed outcome frequencies as long-run volume ratios under measure-preserving dynamics. The result is a compact, finite-dimensional foundation in which Born statistics arise from symmetry plus operational consistency, with empirical content residing in the typicality and invariance assumptions.
Abstract The Born rule, which assigns probabilities as squared amplitudes, is traditionally introduced as an independent postulate of quantum mechanics. In this work, we demonstrate that the quadratic structure of probability is instead a geometric necessity. Within a multi-channel phase algebra admitting a spectral decomposition, measurement is identified as a projection onto a single stable sector of an underlying linear state space. The norm is not postulated independently; its quadratic form is forced by the requirement that measurement produce a positive, phase-insensitive scalar while discarding unobservable phase information. Probability thus emerges as the squared norm preserved under projection, rather than as an additional axiom. In this perspective, the Born rule is revealed as a direct consequence of phase geometry and measurement stability, grounded in the geometric structure of the state space itself.
We derive the Born rule as a consequence of two physical processes: environment-induced decoherence, which selects the pointer-basis decomposition of the density matrix, and a contraction map on projective Hilbert space, which assigns each pointer state to a definite outcome basin. The contraction map partitions projective space into basins of attraction whose boundaries are determined by the measurement projectors. We prove that the decoherence-selected decomposition of the reduced density matrix, combined with the basin assignment, reproduces the Born probabilities p_i = ⟨ψ|Π_i|ψ⟩ exactly for projective measurements in any finite dimension, including dimension 2 where Gleason's theorem does not apply. For generalized measurements (POVMs), the result extends via Naimark dilation. The derivation resolves the "probability problem" of decoherence-based approaches: standard decoherence produces the correct diagonal density matrix but leaves open why diagonal entries should be interpreted as outcome probabilities. Our answer is geometric — each diagonal component corresponds to a pointer state lying deep inside a definite basin of the contraction map, and the mixture weights become outcome probabilities through the basin assignment. The derivation is geometric rather than decision-theoretic, does not assume the probability interpretation of the density matrix, requires no ensemble averaging, and applies to single systems. Perturbations to the contraction map produce bounded corrections to the Born probabilities, providing a falsifiable prediction: any measured deviation from Born statistics constrains the perturbation strength. This work connects quantum measurement theory to the geometry of projective Hilbert space and contraction dynamics, offering a new perspective on the origin of quantum probabilities that complements existing approaches by Gleason, Zurek, and Deutsch-Wallace.