What does Lemma A.2 (normalization singles out $p=2$) establish in the Structural Selection corpus, and what is its proof status?
Last reviewed 2026-07-12 · Structural Selection Physics Encyclopedia (AI-assisted pipeline) · This page was drafted by an AI system (Claude) processing the verified Structural Selection corpus and independently retrieved external physics sources, then passed through four scripted review passes (standard-physics, corpus-fidelity, mathematical, skeptical-referee) executed by the same system. It has not been reviewed by a human physicist. Report a problem via the corpus's Open Review page.
Direct answer
Lemma A.2 proves that for a normalized quantum state ψ, the sum Σᵢ‖ψᵢ‖^p over the components of any orthogonal decomposition of the Hilbert space equals 1 for every such decomposition if and only if p = 2. It is marked `verified: true` in the corpus's own mathematics registry and its proof is short, complete, and checks out: it is not a conjecture or a postulate — it is a fully proved lemma about which exponent makes an outcome-weighting rule automatically normalized regardless of which measurement basis (orthogonal decomposition) is chosen.
Standard physics
Gleason's theorem (1957) independently establishes a much stronger result: for any Hilbert space of dimension 3 or greater, any probability measure on the lattice of closed subspaces that is non-contextual (assigns the same probability to a projector regardless of which orthogonal measurement it's embedded in) must have the form Tr(ρP) for some density operator ρ — which for a pure state ψ reduces to the same |⟨ψ|φ⟩|² = ‖ψᵢ‖² weighting.
- Measures on the Closed Subspaces of a Hilbert Space — Indiana University Mathematics Journal (published under this journal's earlier name, Journal of Mathematics and Mechanics) — source
Gleason's original 1957 paper itself restricts the theorem's hypothesis to Hilbert spaces of dimension 3 or greater; the dimension-2 (qubit) case is excluded from the theorem as originally stated. Whether and how the conclusion can be recovered for qubits under additional assumptions remains an active, contested topic in the literature — a 2016 exchange between F. De Zela (proposing an extension via added continuity/eigenstate assumptions) and Michael J. W. Hall (disputing that De Zela's specific derivation is valid, via a counterexample) shows this is not settled by simple patching.
- Measures on the Closed Subspaces of a Hilbert Space — Indiana University Mathematics Journal — source
- Comment on "Gleason-Type Theorem for Projective Measurements, Including Qubits" by F. De Zela — arXiv (comment paper; not independently peer-review-verified by this pipeline beyond confirming it exists at this identifier and its stated abstract) (preprint) — source
Mathematical background
The proof uses Parseval's identity (a form of the Pythagorean theorem in Hilbert space): for any orthogonal decomposition ℋ = ⊕ᵢ Pᵢℋ and normalized ψ, Σᵢ‖ψᵢ‖² = ‖ψ‖² = 1 automatically, for every decomposition — so p = 2 always satisfies the normalization requirement. The corpus's proof then shows p ≠ 2 fails: for ψ an equal superposition of d orthonormal basis states, Σᵢ‖ψᵢ‖^p = d^(1 − p/2), which equals 1 only when p = 2 — for any other p it depends on d, i.e. on which decomposition you picked. This is a correct, checkable algebraic identity, not an asserted-without-proof claim.
What remains open
Lemma A.2 (with its companion Lemma A.1) only shows that within any one fixed orthogonal decomposition, p = 2 is the unique exponent making the weights automatically normalized and locally additive. It does not re-derive the harder, genuinely open part of Gleason's theorem: that a single consistent probability assignment can be found that works simultaneously across every possible choice of measurement context (every possible resolution of the identity) at once — Lemma A.1's own remark in the corpus explicitly says this cross-context step 'is not' established here. It also does not extend to dimension-2 (qubit) systems, and does not treat mixed states/POVMs.
Structural Selection perspective
The corpus derives, under the following assumptions…
Under the assumptions that (a) the outcome-weighting function depends only on the projected-state norm ‖ψᵢ‖, and (b) it must be automatically normalized (sum to 1) for every choice of orthogonal decomposition, the corpus derives that the exponent must be exactly 2 — i.e. that the weighting rule must be the familiar Born-rule form. This is a real, internally valid derivation for the stated narrow claim (single-context normalization), not an assertion, and not a re-derivation of Gleason's full non-contextuality result.
Corpus derivation / interpretation
Lemma A.2 (verified, in Appendix A of 'Born Rule from Stability & Measure Geometry'): normalization across every orthogonal decomposition holds for all such decompositions iff p = 2.
The companion Lemma A.1 explicitly disclaims that this establishes the full cross-context uniqueness that is 'the actual technical heart of Gleason's theorem,' and explicitly notes the result does not hold at dim ℋ = 2.
Comparison
Both the corpus's Lemma A.1/A.2 pair and Gleason's theorem conclude that squared-norm weighting is forced by a normalization/additivity requirement — the resemblance is real, not coincidental, and the corpus's own text frames itself explicitly against Gleason. The corpus's result is narrower: it fixes p = 2 within a single decomposition (a much easier, single-context statement), while Gleason's theorem proves the same conclusion must hold consistently across every possible decomposition simultaneously, for dim ≥ 3, which is a substantially harder non-contextuality argument that the corpus does not re-derive. Neither the corpus's lemmas nor Gleason's theorem cover dimension 2 — this is a genuine shared gap, not a corpus-specific weakness, though the corpus is transparent about it while some popular expositions of the Born rule are not.
Falsifiability
Not independently falsifiable: the result reproduces the standard Born-rule weighting already used throughout quantum mechanics, rather than predicting any numerical deviation from it. Any experimental test of the Born rule itself (e.g. Born-rule violation searches) would bear on this exactly as much as it bears on Gleason's theorem's conclusion — it is not a separate, independently checkable claim.
Limitations
Restricted to single-context normalization; does not cover cross-context consistency, dimension-2 Hilbert spaces, or mixed states. Its contribution relative to Gleason's theorem is a simplified special case, not an extension or improvement — the corpus's own appendix text says this plainly and this page follows that framing rather than overstating the result's novelty.
References
- Measures on the Closed Subspaces of a Hilbert Space — Indiana University Mathematics Journal — https://doi.org/10.1512/iumj.1957.6.56050
- Comment on "Gleason-Type Theorem for Projective Measurements, Including Qubits" by F. De Zela — arXiv (preprint) — https://arxiv.org/abs/1611.00613