REVIEW 3 major objections 4 minor 25 references
Gleason's Theorem for a Qubit as Part of a Composite System
T0 review · 3 major / 4 minor · reviewed 2026-08-03 · deepseek-v4-flash
Pith's one-line read The paper proves that Gleason's theorem extends to qubits once valid probability assignments are required to be consistent with viewing the qubit as a subsystem of any larger system.
desk verdict A clean, correct proof that marginal frame functions on a qubit are exactly density matrices; the abstract overreaches on foil theories, but the main theorem holds. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The key object is the marginal frame function (Definition 1): a frame function f on system A is marginal if, for every finite-dimensional system B with dimension ≥2, there exists a frame function F on A⊗B such that f(P_A)=F(P_A⊗I_B) for all projectors P_A. This condition encodes the operational rule that probabilities for subsystem measurements must match the corresponding local measurements on the composite. The proof's mechanism is the composite Hilbert space: because its dimension exceeds two for any non-trivial companion B, Gleason's theorem forces every composite frame function to be a trace with a density matrix; the marginality equation then makes the partial trace the unique reductio
What would settle it
The claim would be refuted by finding a frame function on C^2 that satisfies the marginality condition for all finite-dimensional B but is not of the form f(P)=Tr(Pρ) for any density matrix. Concretely, one could search the space of functions f:P(H_2)→[0,1] with f(P)+f(I−P)=1 and check whether any non-trace assignment can be extended to a composite frame function F on H_2⊗H_2 satisfying Eq. (7); the paper proves no such assignment exists, so exhibiting one would invalidate Theorem 2.
Extended reading notes
Core claim
The central claim is Theorem 2: assuming (H), (M), (C) and (eS), for every d≥2 any marginal frame function f∈eF_d satisfies f(P_x)=Tr(P_xρ) for a density matrix ρ∈S(H_d), so eF_d ≅ S(H_d). For d=2 the proof fixes a second system B of dimension d'≥2, applies Gleason's theorem to the composite Hilbert space H_2⊗H_d' (whose dimension 2d'≥4 exceeds the critical value), and uses the marginality condition Eq. (7) to express the qubit probabilities as f(P_A)=F(P_A⊗I_B)=Tr[P_A Tr_B(ρ_F)]. Since every 2×2 density matrix is the partial trace of some composite state, the marginal frame functions coincide exactly with the quantum states of a qubit.
Load-bearing premise
The load-bearing premise is the marginality condition (Definition 1, Eq. (7)): every valid probability assignment on a system must be realizable as the marginal of some composite state for every finite-dimensional companion system. If a theory allowed subsystem states that are not obtainable as marginals, the derivation of the qubit density-matrix form would collapse, and non-quantum assignments such as definite values for incompatible observables would remain possible.
Editorial extensions
If this is right
- For all finite-dimensional quantum systems d≥2, the state space is exactly S(H_d) and outcome probabilities are given by Born's rule, so the qubit case no longer needs a separate axiom.
- The extension is obtained without changing the measurement postulate: only projection-valued measures are needed, avoiding the POVM or projective-simulable generalizations used in earlier qubit Gleason-type results.
- The partial trace is uniquely determined as the map from composite states to subsystem states by the consistency condition, for d≥2.
- The proof shows that the tensor-product composition rule is not just a technical convenience but a structurally consequential axiom: it carries the logical weight that makes the qubit case follow from Gleason's theorem.
Reading between the lines
- The proof of Theorem 2 for d=2 uses the marginality condition for a single companion system of dimension ≥2; thus Definition 1 could be weakened from 'for all B' to 'for at least one B' without losing the conclusion, a strengthening of the result as stated.
- The abstract's claim that the extension remains valid for some foil theories suggests a concrete research direction: characterise which composition rules (beyond the tensor product) admit product effects e_A⊗u_B satisfying Eq. (7); if such theories exist, the marginality condition could serve as a generalised derivation of Born-like rules.
- The result provides a new route in the quantum reconstruction programme: instead of postulating density matrices or rays, one can take the tensor-product axiom plus non-contextual projective measurement probabilities as primitive, since the qubit state space then follows automatically.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes an extension of Gleason's theorem to the two-dimensional Hilbert space of a qubit. After recalling Gleason's theorem for dimensions d≥3, the authors define 'marginal frame functions' (Definition 1): a frame function on a system A is marginal if it can be obtained by restricting a frame function on A⊗B for every finite-dimensional composite B, using the tensor-product embedding P↦P⊗I. Assumption (eS) identifies states of a d-dimensional system with marginal frame functions. Lemma 1 shows that for d≥3 all frame functions are marginal. Theorem 2 then states that for all d≥2 the set of marginal frame functions is isomorphic to the set of density matrices S(H_d). For d=2, the proof embeds the qubit into a composite system of dimension 2d'≥4, applies Gleason's theorem on the composite, and obtains f(P)=Tr(P Tr_B(ρ_F)), so every marginal qubit frame function arises from a 2×2 density matrix. The paper concludes with a discussion of related work and a comment on foil theories.
Significance. If the result stands, it is a clean and useful contribution: it closes the well-known d=2 gap in Gleason's theorem without enlarging the measurement set to POVMs, and it does so by invoking only projective measurements plus a consistency condition on composite systems. The proof of Theorem 2 is mathematically sound and short, and the paper explicitly identifies its new assumption (eS). The result is relevant to the reconstruction programme and to the logical structure of quantum theory. However, the significance is partly conditional: Theorem 2 is a derivation from (eS), which is an additional postulate rather than a consequence of the standard tensor-product axiom, and the abstract's claim about validity for 'some foil theories' is not supported by any analysis in the text. As a mathematical theorem conditional on (eS), the paper is correct; as a claim about standard quantum theory or about foil theories, it is overstated.
major comments (3)
- [Abstract and §4] The abstract's final sentence states that the extension 'is shown to remain valid for some foil theories of quantum theory.' No foil theory is defined anywhere in the paper, and no theorem or argument about foil theories appears. Section 4 only cites Ref. [25] and remarks that the proof relies on the tensor product. This claim is unsupported and should either be removed or replaced by a precise statement identifying the foil theories and proving an analog of Theorem 2 for them. As written, it overstates the scope of the paper.
- [§3.3, Definition 1 and (eS)] The proof of Theorem 2 rests entirely on the new assumption (eS), namely that states of a d-dimensional system correspond to marginal frame functions. The paper presents (eS) as an operational consistency requirement, but it is not derived from the standard axioms (H), (M), (C), or (CC). In particular, (C) and (CC) imply only that every composite frame function induces a frame function on A via restriction; they do not imply that every valid frame function on A is extendable to a composite system. The authors should state explicitly that (eS) is a substantive new postulate, not a consequence of the tensor-product axiom, and discuss its physical status. The abstract's phrase 'invoking the standard axiom that describes composite quantum systems' is potentially misleading, since the standard axiom is (C)/(CC), whereas the marginality requirement is an extra condition.
- [§3.3, Lemma 1 and Theorem 2] In the proof of Lemma 1, the step 'Eq. (8) is satisfied for all P_x^A if and only if Tr_B(ρ_F)=ρ_f' relies on the fact that the projectors P_x^A span the Hermitian operators on H_A. This is true, but it is not stated; adding one sentence would make the proof fully explicit. Similarly, in Theorem 2, the statement that 'all such matrices can arise in this way' is correct but can be made explicit by choosing ρ_F=ρ⊗I_{d'}/d', which yields the desired marginal ρ. These are minor lacunae, but they affect the self-containedness of the proof.
minor comments (4)
- [§3.2, Eq. (4)] Notation: Eq. (4) writes I^B_d and refers to a 'd-dimensional system B', but the system B has dimension d' elsewhere (e.g., Definition 1 and Eq. (7)). Use I^B_{d'} to avoid confusion.
- [Throughout] There are minor typographical issues, e.g., 'compositequantum' in the Introduction (missing space), and the use of both d and d' for dimensions is sometimes inconsistent. A careful copyedit is needed.
- [§1, introductory example] The example with ⟨ψ|σ_x|ψ⟩=⟨ψ|σ_z|ψ⟩=1 is clear and useful, but it might help to explicitly state that no ray in H_2 satisfies both equalities because that would require a simultaneous eigenstate of σ_x and σ_z, which do not commute.
- [References] The discussion of earlier attempts (Refs. [16,17]) is appropriately cautious. It would strengthen the paper to briefly mention which step of Ref. [17] was shown to be flawed by Ref. [16], as the reader cannot access both easily.
Circularity Check
No load-bearing circularity: Theorem 2 reduces d=2 to Gleason's theorem on a composite Hilbert space plus an explicit marginality axiom; the self-citations are incidental.
full rationale
The derivation is not circular. Theorem 2 assumes the marginality condition (Eq. 7) as an axiom, not as the target conclusion, and then invokes Gleason's Theorem 1 on the composite space H_2⊗H_B of dimension 2d'>2. That use is legitimate: Gleason's theorem is an independent, previously established result, and the composite frame functions are just ordinary frame functions on a Hilbert space of dimension >2. For d=2, marginality gives f(P)=F(P⊗I), and Gleason on the composite gives F(P⊗I)=Tr((P⊗I)ρ_F)=Tr(P Tr_B ρ_F), so every marginal qubit frame function is induced by a 2×2 density matrix; conversely, any 2×2 density matrix extends via ρ⊗ρ_B. For d≥3, Lemma 1 uses Gleason's theorem again to show eF_d=F_d. No fitted parameter is later called a prediction, no quantity is defined in terms of the conclusion, and no uniqueness result is imported from the authors' own prior work. The self-citations ([7], [15]) are merely contextual pointers and do not carry the proof. I flag the abstract's final sentence about foil theories: no foil-theory model is defined or analyzed in the paper, so that sentence is an unsupported scope claim rather than a circular step; it does not affect the validity of Theorem 2.
Assumptions & free parameters
assumptions (7)
- domain assumption (H) Each quantum system has a finite-dimensional Hilbert space H_d with d≥2.
- domain assumption (M) Measurements are PVMs: sets of mutually orthogonal projectors summing to identity.
- domain assumption (S) States are frame functions respecting M_d.
- domain assumption (C) Composite systems: H_AB = H_A ⊗ H_B.
- domain assumption (CC) Local measurements embed as P ⊗ I_B.
- ad hoc to paper (eS) States of a d-dimensional system correspond to marginal frame functions.
- standard math Gleason's theorem for d≥3 (Thm. 1) is used as a black box for the composite system.
Cite this review
Pith. "Pith review of Gleason's Theorem for a Qubit as Part of a Composite System." pith.science (2026). https://pith.science/paper/FHLJJPBE
@misc{pith2026251115607,
author = {Pith},
title = {Pith review of: Gleason's Theorem for a Qubit as Part of a Composite System},
year = {2026},
howpublished = {\url{https://pith.science/paper/FHLJJPBE}},
note = {Machine review of arXiv:2511.15607}
}
abstract
We extend Gleason's theorem to the two-dimensional Hilbert space of a qubit by invoking the standard axiom that describes composite quantum systems. The tensor-product structure allows us to derive density matrices and Born's rule for $d=2$ from a simple requirement: the probabilities assigned to measurement outcomes must not depend on whether a system is considered on its own or as a subsystem of a larger one. In line with Gleason's original theorem, our approach assigns probabilities only to projection-valued measures, while other known extensions rely on considering more general classes of measurements. This extension of Gleason's theorem to two-dimensional systems is shown to remain valid for some foil theories of quantum theory.
Reference graph
Works this paper leans on
-
[25]
& Hinrichsen, H
Janotta, P. & Hinrichsen, H. Generalized probability theories: what determines the structure of quantum theory?J. Phys. A: Math. Theor.47,323001 (2014). 8
2014
-
[1]
Gleason, A. M. Measures on the closed subspaces of a Hilbert space.J. Math. Mech.6,885 (1957)
1957
-
[2]
Quantum theory from five reasonable axioms.arXiv:quant-ph/0101012(2001)
Hardy, L. Quantum theory from five reasonable axioms.arXiv:quant-ph/0101012(2001)
arXiv 2001
-
[3]
Reconstruction of quantum theory.Br
Grinbaum, A. Reconstruction of quantum theory.Br. J. Philos. Sci.58,387 (2007)
2007
-
[4]
& Perinotti, P
Chiribella, G., D’Ariano, G. & Perinotti, P. Informational derivation of quantum theory.Phys. Rev. A84,012311 (2011)
2011
-
[5]
& M¨ uller, M
Masanes, L. & M¨ uller, M. A derivation of quantum theory from physical requirements.New J. Phys. 13,063001 (2011)
2011
-
[6]
Information and the reconstruction of quantum physics.Ann
Jaeger, G. Information and the reconstruction of quantum physics.Ann. Phys.531,1800097 (2019)
2019
-
[7]
Fiorentino, V. & Weigert, S. Beyond the Projection Postulate and Back: Quantum Theories with Generalised State-Update Rules.arXiv:quant-ph/2506.06207(2025)
arXiv 2025
Show all 25 references
-
[8]
& Ormrod, N
Wilson, M. & Ormrod, N. On the Origin of Linearity and Unitarity in Quantum Theory.arXiv: quant-ph/2305.20063(2023)
2023
-
[9]
& Perinotti, P
Erba, M. & Perinotti, P. The composition rule for quantum systems is not the only possible one. arXiv:quant-ph/2411.15964(2024)
2024 arXiv
-
[10]
Information processing in generalized probabilistic theories.Phys
Barrett, J. Information processing in generalized probabilistic theories.Phys. Rev. A75,032304 (2007)
2007
-
[11]
& M¨ uller, M
Masanes, L., Galley, T. & M¨ uller, M. The measurement postulates of quantum mechanics are oper- ationally redundant.Nat. Commun.10,1361 (2019)
2019
-
[12]
General probabilistic theories: An introduction.Phys
Pl´ avala, M. General probabilistic theories: An introduction.Phys. Rep.1033,1 (2023)
2023
-
[13]
Dvurecenskij, A.Gleason ’s Theorem and its Applications(Kluwer Academic Publishers, 1993)
1993
-
[14]
Quantum states and generalized observables: a simple proof of Gleason’s theorem.Phys
Busch, P. Quantum states and generalized observables: a simple proof of Gleason’s theorem.Phys. Rev. Lett.91,120403 (2003). 8See also Sec. II of [21]. 7
2003
-
[15]
& Weigert, S
Wright, V. & Weigert, S. A Gleason-type theorem for qubits based on mixtures of projective mea- surements.J. Phys. A: Math. Theor.52,055301 (2019)
2019
-
[16]
Hall, M. J. W. Comment on” Gleason-Type Theorem for Projective Measurements, Including Qubits” by F. De Zela.arXiv:quant-ph/1611.00613(2016)
2016 arXiv
-
[17]
Gleason-type theorem for projective measurements, including qubits: the Born rule beyond quantum physics.Found
De Zela, F. Gleason-type theorem for projective measurements, including qubits: the Born rule beyond quantum physics.Found. Phys.46,1293 (2016)
2016
-
[18]
An unentangled Gleason’s theorem.Contemp
Wallach, N. An unentangled Gleason’s theorem.Contemp. Math.305,291 (2002)
2002
-
[19]
& D¨ oring, A
Frembs, M. & D¨ oring, A. Gleason’s theorem for composite systems.J. Phys. A: Math. Theor.56, 445303 (2023)
2023
-
[20]
& Smerzi, A
Logiurato, F. & Smerzi, A. Born Rule and Noncontextual Probability.J. Mod. Phys.3,1802 (2012)
2012
-
[21]
Vollbrecht, K. G. H. & Werner, R. F. Why two qubits are special.J. Math. Phys.41,6772 (2000)
2000
-
[22]
B.Quantum theory of open systems(Academic Press London, 1976)
Davies, E. B.Quantum theory of open systems(Academic Press London, 1976)
1976
-
[23]
Bell, J. S. On the Einstein Podolsky Rosen paradox.Phys. Phys. Fiz.1,195 (1964)
1964
-
[24]
Bell, J. S. On the problem of hidden variables in quantum mechanics.Rev. Mod. Phys.38,447 (1966)
1966
Reviewed August 3, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.