A canonical formulation of projective quantum measurement is developed from the selected order-two Taub–NUT/Hopf–Spinᶜ primitive. Its complete normalized geometric trace also yields the infrared fine-structure constant under the electromagnetic coupling identification, providing a common foundation for coupling normalization and measurement evaluation. The ordered chiral carrier supplies an inherited Hermitian pairing and a preparation representation with fixed normalization. Naturality under the unspecified outgoing frame action exhausts the incoming record endomorphisms, while positivity and eigenstate calibration uniquely determine the Born evaluation. For canonically projected pure preparations, rank-one compression fixes the normalized complete-functional insertion ratio before determinant and collective integration. Canonical normalized restriction yields the Lüders-form state transformation. Conserved-current identities connect represented spatial records to the same evaluation, and a reduced Maxwell–Dirac calculation establishes two-channel separation with a quantified finite-resolution correction. Independent repeated preparations yield frequency concentration and, under the corresponding record probability law, convergence almost surely to the Born weights. Within the canonical incoming-record representation, the Born weights and normalized projection rule are therefore fixed by the same primitive geometry, without independent outcome weights or an additional probability exponent.
A canonical formulation of projective quantum measurement is developed from the selected order-two Taub–NUT/Hopf–Spinᶜ primitive. Its complete normalized geometric trace also yields the infrared fine-structure constant under the electromagnetic coupling identification, providing a common foundation for coupling normalization and measurement evaluation. The ordered chiral carrier supplies an inherited Hermitian pairing and a preparation representation with fixed normalization. Naturality under the unspecified outgoing frame action exhausts the incoming record endomorphisms, while positivity and eigenstate calibration uniquely determine the Born evaluation. For canonically projected pure preparations, rank-one compression fixes the normalized complete-functional insertion ratio before determinant and collective integration. Canonical normalized restriction yields the Lüders-form state transformation. Conserved-current identities connect represented spatial records to the same evaluation, and a reduced Maxwell–Dirac calculation establishes two-channel separation with a quantified finite-resolution correction. Independent repeated preparations yield frequency concentration and, under the corresponding record probability law, convergence almost surely to the Born weights. Within the canonical incoming-record representation, the Born weights and normalized projection rule are therefore fixed by the same primitive geometry, without independent outcome weights or an additional probability exponent.
This paper proves a finite-dimensional structural theorem identifying canonical projective quantum measurement as a boundary-channel projection. For a finite projection-valued measurement context P = {Π₁, …, Πₘ}, the central sectorwise phase action Uθ = ∑ⱼ e^{iθⱼ}Πⱼ has normalized Haar average E_P(X) = ∫ Uθ X Uθ* dθ = ∑ⱼ Πⱼ X Πⱼ. Its trace-dual state-side map is the Lüders nonselective channel Δ_P(ρ) = ∑ⱼ Πⱼ ρ Πⱼ. The theorem characterizes this Lüders, or minimal-disturbance, channel: a projection-valued measurement fixes the outcome weights, but in degenerate sectors it does not by itself determine every compatible instrument. The additional structure used here is the sectorwise phase symmetry together with preservation of the full fixed block algebra. The fixed observable algebra is B_fix = {X : [X, Πⱼ] = 0 for all j}, while the classical outcome algebra is its center Z_out = span{Π₁, …, Πₘ}. The Born weights pⱼ(ρ) = Tr(Πⱼρ) are the unique weights representing the restricted state on Z_out, and selective measurement is conditioning on the corresponding boundary record. Except for the trivial one-sector context, the Lüders projection is idempotent, noninvertible, and nonmultiplicative on the full matrix algebra; it therefore defines a boundary-channel operation rather than full reversible Heisenberg–Schrödinger collapse. The results are interpretation-neutral and isolate the operator-theoretic structure that any finite projective measurement account using the canonical Lüders update must preserve. License note: Distributed under CC BY-NC-ND 4.0.
This paper proves a finite-dimensional structural recovery-and-obstruction theorem for Bell-local factorization inside projective phase structure. The primitive object is a completion-locked projective probability datum: a bipartite state, fixed local projective contexts, the Born–Haar reduction rule, and fixed normalization. A projective measurement context carries a compact relative phase torus, and Haar averaging over that torus gives the nonselective Born/Lüders projection channel. The Born probability table is therefore determined before any hidden-variable or Bell-local representation is tested. Bell-local factorization is determined as a derived classical recovery representation of the locked Born table. The paper proves canonical recovery regimes: pure product rays are exactly Segre-factorized projective phase classes, mixed separability yields Bell-local recovery, and one-sided commutative local readout pairs yield Bell-local recovery through a joint-outcome hidden variable. Conversely, a Clauser–Horne–Shimony–Holt (CHSH) value larger than 2 proves obstruction: no Bell-local representation exists for the chosen datum. No-signaling follows from the trace identities of the projective Born law, while Tsirelson’s bound 2√2 follows from the operator geometry of admissible binary projective observables. The theorem chain therefore determines the hierarchy: projective phase carrier → Born–Haar reduction → Segre/separable recovery or Bell-factorization obstruction → no-signaling and Tsirelson admissibility. This hierarchy also determines the intermediate cases: Bell–CHSH violation is a property of the complete projective measurement datum, not of entanglement alone. Product states, separable mixtures, commutative readouts, and nonoptimal settings can remain below the classical threshold even inside quantum theory. The constructive spin instantiation is derived explicitly. For the diagonal SU(2) action on ℂ² ⊗ ℂ², rotational invariance selects the unique spin-zero singlet line. The singlet is entangled by failure of Segre factorization, its Pauli spin correlations satisfy E(a,b) = −a·b, and optimal admissible spin readouts attain the exact Tsirelson value 2√2. In this derivation, 2√2 is not introduced by experiment-fitting; it is the Hilbert-space admissibility ceiling of the projective phase datum, realized exactly by the spin-zero SU(2) sector. License note: Distributed under CC BY-NC-ND 4.0.
This paper proves a finite-dimensional carrier-descent theorem for canonical projective quantum measurement channels. Under explicit universal-carrier, Ward-admissibility, and finite projective-sector hypotheses, each nonzero sector carries a compact U(1) phase carrier, and a finite family of orthogonal sectors determines a central sectorwise phase torus. Haar averaging over this compact carrier gives the conditional expectation E_P(X) = ∑ⱼ Πⱼ X Πⱼ, whose trace-dual state map is the Lüders nonselective measurement channel Δ_P(ρ) = ∑ⱼ Πⱼ ρ Πⱼ. The fixed observable algebra is the block algebra B_fix = {X : [X, Πⱼ] = 0 for all j}, while the classical outcome algebra is its center Z_out = span{Π₁, …, Πₘ}. The Born weights pⱼ(ρ) = Tr(Πⱼρ) are the unique coefficients representing the restricted state on Z_out, and selective measurement is conditioning on the corresponding boundary record. Except in the trivial one-sector case, the Lüders projection is idempotent, noninvertible, and nonmultiplicative on the full matrix algebra; hence the associated boundary-channel datum is a boundary-channel projection rather than full reversible Heisenberg–Schrödinger collapse, i.e. full-algebra unitary equivalence. The paper proves that canonical finite projective measurement is the endpoint of a carrier-to-phase-to-Haar boundary-channel descent: phase selection determines Haar projection, Haar projection determines the Lüders channel, central restriction determines the Born weights, and the collapse criterion certifies the obstruction to full reversible Heisenberg–Schrödinger collapse in every nontrivial projective context. License note: Distributed under CC BY-NC-ND 4.0.
We derive the Born rule as the unique outcome statistics induced by a canonical symmetry projection beneath nonselective measurement and unobservable symmetry structure. Concretely, given a compact symmetry group acting by conjugation, we identify the quantum channel that removes symmetry-orbit dependence while preserving exactly the invariant operator algebra. In a standard von Neumann algebraic setting, we prove that Haar averaging yields a normal, unital, completely positive idempotent map whose range is the fixed-point algebra, and hence a conditional expectation onto the invariant subalgebra. Moreover, any normal channel that is invariant under the symmetry action and fixes the invariant algebra pointwise must coincide with this Haar-induced projection. Specializing to projective measurement, Haar averaging over the associated phase-rotation symmetry yields the Lüders (pinching) reduction as the unique normal update map satisfying the same invariance and fixpoint requirements. The induced outcome weights are characterized as the unique probabilities specified by the restriction of the quantum state to the commutative outcome algebra, and they are preserved by the canonical reduction. As a further structural consequence of this symmetry projection, the von Neumann entropy is monotone under the induced reduction. The channel-based derivation applies in all finite dimensions, including qubits, and addresses a structural question not resolved by Gleason-type and positive operator-valued measure (POVM)-based classification results: it identifies the unique normal symmetry-forced reduction channel associated to a fixed measurement context, rather than characterizing admissible global probability functionals. License note: Distributed under CC BY-NC-ND 4.0.
Paper 3 of a four-paper program on generalized quantum measurement, realization geometry, and informational invariance. Generalized quantum measurements admit multiple purification and dilation realizations of the same operational state–measurement data. This paper studies the geometric structure induced by that representation freedom and develops a transport theory on the resulting realization space. On each finite-dimensional regular fixed-rank state–POVM stratum, framed purification amplitudes and framed Naimark realizations are shown to assemble into a smooth principal bundle whose fibers are precisely compact auxiliary gauge orbits. The paper establishes complete-POVM robustness results controlling states, labeled measurement architectures, fixed coarse events, canonical normalization, and smooth operational paths. A framed Hilbert–Schmidt response geometry is then introduced on the realization bundle. The associated minimum-response construction yields a smooth gauge-equivariant principal connection and an induced positive response metric on the operational base manifold. This provides a geometrically distinguished transport law and establishes relative canonicity within the framed response geometry. The manuscript further introduces Quantum Informational Identity (QII) and Dynamical Quantum Informational Identity (DQII) as explicit foundational identity assumptions. Exact gauge transformations are shown to preserve the generated informational profile of a realization, while smooth gauge paths preserve the corresponding dynamical profile history. Under QII and DQII, all quantum-informationally admissible principal connections determine the same represented quantum-physical transport content. Relative to the framed Hilbert–Schmidt response geometry, the minimum-response connection is the unique minimum-response representative of that common content. The paper refers to this combination of: uniqueness of represented quantum-physical transport content, and uniqueness of the framed minimum-response representative, as absolute canonicity within the generated realization framework. The results are restricted to finite-dimensional generated realizations on regular fixed-rank strata with fixed outcome labels. The paper does not claim that the framed response geometry is uniquely derived from informational principles, nor does it extend the transport theory across singular or rank-changing loci.
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.