Let $\mathcal H$ be a finite-dimensional complex Hilbert space, and let $w(P,\mathsf M)$ be a normalized probability weight assigned to an outcome projection $P$ as it occurs in a projective measurement $\mathsf M$. For fixed $P$, let $G_P\cong\mathcal U(P^\perp)$ be the group of unitaries acting identically on $\operatorname{ran}P$ and arbitrarily on $P^\perp$. We classify the $G_P$-orbits of projective measurements containing $P$: two measurements lie in the same orbit exactly when the multisets of ranks of their complementary outcomes agree. The orbit with profile $λ=(r_1,\ldots,r_k)$ is a compact homogeneous space of real dimension $(d-\operatorname{rank}P)^2-\sum_j r_j^2$. On maximal rank-one measurements there is one orbit, so context independence is equivalent to $G_P$-invariance, with equality of the corresponding uniform defects; invariance under two-level complementary unitaries already suffices. For arbitrary projective measurements, every context containing an outcome $P\neq I$ coarsens to the unique binary context $\{P,I-P\}$. Consequently, refinement consistency alone is equivalent to context independence. The finite orbit space carries a natural rank-profile refinement graph, whose diameter is $d-\operatorname{rank}P-1$ when $P\neq I$. We prove a stability theorem that compares the binary-coarsening path with a shortest path in this graph followed by one complementary unitary. In dimension at least three, Gleason's theorem converts the maximal-context invariance condition and the all-context refinement condition, on their respective domains, into the Born form $\operatorname{Tr}(ρP)$. The results are structural characterizations, not independent physical derivations of context independence.
Comments
14 pages, no figures. Finite-dimensional projective measurements; unitary-orbit classification, compact homogeneous-space geometry, a rank-profile refinement graph, quantitative stability bounds, and consequences of Gleason's theorem
Let H be a finite-dimensional complex Hilbert space, and let w(P,M) be a normalized probability weight assigned to an outcome projection P as it occurs in a projective measurement M. For fixed P, let GP≅U(P⊥) be the group of unitaries acting identically on ranP and arbitrarily on P⊥. We classify the GP-orbits of projective measurements containing P: two measurements lie in the same orbit exactly when the multisets of ranks of their complementary outcomes agree. The orbit with profile λ=(r1,…,rk) is a compact homogeneous space of real dimension (d−rankP)2−∑jrj2. On maximal rank-one measurements there is one orbit, so context independence is equivalent to GP-invariance, with equality of the corresponding uniform defects; invariance under two-level complementary unitaries already suffices. For arbitrary projective measurements, every context containing an outcome P=I coarsens to the unique binary context {P,I−P}. Consequently, refinement consistency alone is equivalent to context independence. The finite orbit space carries a natural rank-profile refinement graph, whose diameter is d−rankP−1 when P=I. We prove a stability theorem that compares the binary-coarsening path with a shortest path in this graph followed by one complementary unitary. In dimension at least three, Gleason's theorem converts the maximal-context invariance condition and the all-context refinement condition, on their respective domains, into the Born form Tr(ρP). The results are structural characterizations, not independent physical derivations of context independence.
This paper establishes a carrier-classification theorem for finite-dimensional pure-state ontology in quantum mechanics. The starting point is carrier identification. Physical pure-state predictions are invariant under nonzero complex rescaling of Hilbert-space representatives. Consequently, the empirical pure-state carrier is projective Hilbert space (equivalently, the rank-one density operators) rather than the unquotiented Hilbert-space vectors themselves. The central question is therefore not which ontology should be preferred, but which ontological assignments are defined on the empirical carrier. The main result is an exact projective descent and factorization theorem. A representative-level ontology assignment is well-defined on the empirical pure-state carrier if and only if it is invariant under all nonzero complex rescalings, equivalently if and only if it factors uniquely through the projective quotient. Admissible pure-state ontology is therefore characterized by descent and unique factorization through the projective carrier. Assignments that distinguish vector representatives lying over the same ray are not invariants of the standard pure-state datum and require an explicitly extended carrier. The theorem yields a positive carrier classification. Rays, rank-one density operators, projective subspaces, histories, records, and explicitly extended structures carrying gauge, branch, measure, pointing, or selection data are all admissible carrier classes when their defining data are supplied. A nontrivial branch decomposition is not selected by the bare Hilbert-space datum alone. Once a branch or measurement context is fixed, the associated probabilities and branch weights are projective quantities: they depend on the ray rather than on a distinguished vector representative. As an application, representative-level universal-state formulations that employ branch weights, typicality measures, observer-location claims, or “our branch” claims cannot remain simultaneously projectively well-defined and bare-Hilbert minimal. Such formulations must either factor through projective or density carriers, supply branch-selection structure (for example through factorization, decoherence, histories, records, or measurement context), or supply additional pointing, conditioning, indexical, gauge, or selection data. More broadly, the paper develops a carrier-first foundation for pure-state ontology. Rather than beginning with an ontological proposal and asking whether it reproduces quantum predictions, the theorem begins with the empirical carrier and classifies the ontology classes naturally associated with it through descent, factorization, and explicit carrier extension. License note: Distributed under CC BY-NC-ND 4.0.
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.
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.
We study how much of the Hilbert-space and Born-rule structure of quantum theory can be obtained from operational primitives that involve records but not probabilities. The setting is a regime in which coherent alternatives recombine without leaving a stable record. We obtain three results of different kinds. Geometry. From composable contributions, record-inert reversible controls and amplitude scalings, under named conditions, we obtain a real inner-product event geometry. The existence of the inner product is equivalent to bounded mixing and is assumed in that form. In a worked interferometer with one mode per channel, the metric is not an input: metric-free port swaps and phase flips fix the form up to scale, and boundedness only forces the other controls to preserve it. Its uniqueness up to scale, the orthogonality of distinct outcomes, and the representation of events by orthogonal projections are derived. Obstruction. This geometry, even with full symmetry about the preparation and exact dyadic standards, does not select the quadratic weight: the preparation mixed with the maximally mixed state survives. The structural operations exhibited here certify only values on which the quadratic weight equals the counting weight. On restricted event families where Gleason’s theorem is unavailable, a calibration order oriented by the quadratic magnitude selects it: given exact standards, a state is the quadratic one exactly when it respects all such brackets. Whether such an orientation can be earned is the open problem. Given such brackets and refinement only to a finite depth K, every admissible state lies within 2^-K of the quadratic weight, without the Archimedean step. On the full projection lattice, Gleason’s theorem with null support, or sphere-transitive symmetry with null support, gives other conditional routes. Bridge. A predictive probability kernel is introduced separately. Its identification with the real quadratic weight ||P_A ψ||² / ||ψ||² is conditional on kernel-admission hypotheses, one of which is equivalent to the Born value; the complex form needs phase invariance in addition. The hypotheses select a class of contexts, and none is shown to be forced. For each we state the physical feature it expresses and a sufficient condition where one is known, and we work out one apparatus in which the geometry-stage hypotheses hold together. For all but one we give a context in which it fails (for the founding conditions, one that leaves the regime); for the remaining one, TCC-1, we give an illustration. This paper is the first in a series built on a common framework, Structural Ledger Consistency (in preparation).
Unity Within Unity: Nested Born Refinement, Multifractal Measures, and the Basis Dependence of Probability Structure develops a closure-based interpretation of normalized quantum probability under repeated operational refinement. Beginning from the shared quadratic form of the unit circle, the complex norm, and Born normalization, the paper asks whether probabilistic unity can be preserved through nested distinctions and whether repeated refinement can generate fractal structure. For compatible orthogonal refinements, the paper proves the exact parent–child identity P_alpha = sum_j P_alpha,j showing that normalized probability is conserved at every level of a nested hierarchy. This result is identified explicitly as standard measure additivity expressed in projector notation. The paper then studies the standard binary multiplicative cascade generated by repeated Born weights. Equal branching produces the monofractal null D_q = 1 while unequal self-similar branching produces the familiar binomial multifractal spectrum. The principal computational result is that this multifractal spectrum is not invariant under a change of measurement basis. A coherent Hadamard transformation preserves normalization exactly while changing the resolved generalized dimensions. Thus the invariant is not the detailed fractal spectrum, but the quadratic unity that survives different operational resolutions. A shuffled-hierarchy null further shows that cross-scale structure depends on relational placement, not merely on the multiset of terminal probabilities. The paper therefore distinguishes carefully between invariant normalization, standard nested additivity, conditional multifractality, and measurement-context dependence. Within the ENSO framework, the result supports a refined account of Intrinsic Closure: unity may be preserved exactly through nested distinction even when its resolved probability architecture changes with the operational context. The upload includes the main paper, reproducible Python validator, numerical results, figures, and a separate visual supplement, The Geometry of Return: A Visual Atlas of Counter-Spiral Closure and Nested Probability, containing the fifteen original plates that motivated the investigation. The visual material is presented as a source of mathematical intuition, not as independent evidence.For further information about the ENSO Framework - please contact Eric Needham:esnotheory1@gmail.com
Unity Survives Distinction develops a structural interpretation of the Born rule as the quadratic law by which the unity of a quantum state is preserved across operational distinction. For a normalized state |ψ⟩ and a complete projective measurement {Π_j}, Hilbert-space Pythagoras gives: 1 = ||ψ||² = Σ_j ||Π_jψ||² = Σ_j ⟨ψ|Π_j|ψ⟩ The Born weights are therefore not merely numerical assignments attached to outcomes. They are the non-negative quadratic quantities through which the norm of one complex state is distributed across an exhaustive family of orthogonal alternatives without loss of totality. The paper extends this structure to compatible nested refinements and generalized measurements. Under refinement, probability closure is preserved through the zero-residual identity: P_α = Σ_k P_αk For a generalized measurement effect E, the same internal quadratic structure is expressed as: P(E) = ⟨ψ|E|ψ⟩ = ||E^(1/2)ψ||² The paper distinguishes this quantum claim from ordinary classical additivity. Additivity alone is measure-theoretic and is not uniquely quantum. The specifically quantum architecture lies in the conjunction of complex amplitudes, conjugate quadratic form, global-phase invariance, interference-sensitive recombination, operator-defined measurement contexts, and exact preservation of the total norm. Gleason’s theorem and related results for effects and positive operator-valued measures are used to explain why, under standard noncontextual additivity assumptions, the trace form of quantum probability is essentially forced rather than arbitrarily selected. Within the ENSO framework, this structure is formulated as Born intrinsic closure: fixed unity, zero refinement residual, and an internal quadratic witness. The paper does not claim a new formula for the Born rule, a new proof of Gleason’s theorem, or a derivation of Hilbert space from pre-quantum principles. It develops the structural and interpretive significance of established quantum mathematics. Its central conclusion is: The Born rule is the quadratic law by which unity survives distinction.