Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2511.15607 · Physical Review A

Gleason's Theorem for a Qubit as Part of a Composite System

Vincenzo Fiorentino, Stefan Weigert

quant-phSubmitted Nov 19, 2025• Announced Nov 20, 2025• 0 citations
v1 · Nov 19, 2025v2 · Jun 25, 2026
arXivHTMLPDF

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.

Journal reference
Phys. Rev. A 113, 062221 (2026)
DOI
10.1103/8dyw-6ktq
Comments
8 pages

Related papers

A Gleason-type theorem for qubits based on mixtures of projective measurements

Stefan Weigert, Victoria J Wright

We derive Born's rule and the density-operator formalism for quantum systems with Hilbert spaces of dimension two or larger. Our extension of Gleason's theorem only relies upon the consistent assignment of probabilities to the outcomes of projective measurements and their classical mixtures. This assumption is significantly weaker than those required for existing Gleason-type theorems valid in dimension two.

•Jan 10, 2019•28 citations

Why qubits are exceptional in Gleason's theorem: a Bloch-space perspective

Massimiliano Sassoli de Bianchi

Gleason's theorem is often cited as establishing the Born rule from the structure of Hilbert space, yet its original proof is mathematically sophisticated and rarely accessible to physicists. In this article we present a simple route to the dimensional distinction at the heart of Gleason's result, using the generalized Bloch representation of quantum states. More precisely, we consider a restricted but instructive class of probability assignments obtained by replacing the linear dependence of the Born expression on a Bloch-space scalar product with a real function f. For qubits, infinitely many continuous non-Born assignments of this form satisfy normalization for every projective measurement. In dimension greater than 3, by contrast, the geometry of the measurement simplex imposes additional relations among the relevant scalar products. Requiring normalization for arbitrary states then leads to a Cauchy-type functional equation, which, together with boundedness, forces f to be linear. Our argument provides a complementary geometric illustration of why the freedom present in dimension two disappears in higher dimensions, reaching this conclusion directly from the geometry of the measurement simplices and normalization, without explicitly invoking the intertwining of projectors across different orthogonal resolutions of the identity.

quant-pharXiv:2603.07745•Mar 10, 2026•0 citations

A Gleason-type theorem for qubits based on mixtures of projective measurements

Victoria J Wright, Stefan Weigert

Abstract We derive Born’s rule and the density-operator formalism for quantum systems with Hilbert spaces of dimension two or larger. Our extension of Gleason’s theorem only relies upon the consistent assignment of probabilities to the outcomes of projective measurements and their classical mixtures. This assumption is significantly weaker than those required for existing Gleason-type theorems valid in dimension two.

arXiv:1808.08091•Journal of Physics A Mathematical and Theoretical•Dec 18, 2018•18 citations

On Dirac-type correlations

James Fullwood, Boyu Yang

Quantum correlations often defy an explanation in terms of fundamental notions of classical physics, such as causality, locality, and realism. While the mathematical theory underpinning quantum correlations between spacelike separated systems has been well-established since the 1930s, the mathematical theory for correlations between non-spacelike separated systems is much less developed. In this work, we develop the theory of what we refer to as "local-density operators", which we view as joint states for possibly non-spacelike separated quantum systems. Local-density operators are unit trace operators whose marginals are genuine density operators, which we show not only subsumes the notion of density operator, but also several extensions of the notion of density operator into the spatiotemporal domain, such as pseudo-density operators and quantum states over time. More importantly, we prove a result which establishes a one-to-one correspondence between local-density operators and what we refer to as "Dirac measures", which are complex-valued measures on the space of separable projectors associated with two quantum systems. In the case that one of the systems is the trivial quantum system with a one-dimensional Hilbert space, our result recovers the fundamental result known as Gleason's Theorem, which implies that the Born rule from quantum theory is the only way in which one may assign probabilities to the outcomes of measurements performed on quantum systems in a non-contextual manner. As such, our results establish a direct generalization of Gleason's Theorem to measurements performed on possibly non-spacelike separated systems, thus extending the mathematical theory of quantum correlations across space to quantum correlations across space and time.

quant-pharXiv:2512.08068•Dec 10, 2025•0 citations

Gleason-Type Derivations of the Quantum Probability Rule for Generalized Measurements

Carlton M. Caves, Christopher A. Fuchs, Manne, K +1 more

We prove a Gleason-type theorem for the quantum probability rule using frame functions defined on positive-operator-valued measures (POVMs), as opposed to the restricted class of orthogonal projection-valued measures used in the original theorem. The advantage of this method is that it works for two-dimensional quantum systems (qubits) and even for vector spaces over rational fields--settings where the standard theorem fails. Furthermore, unlike the method necessary for proving the original result, the present one is rather elementary. In the case of a qubit, we investigate similar results for frame functions defined upon various restricted classes of POVMs. For the so-called trine measurements, the standard quantum probability rule is again recovered.

•Jun 26, 2003•77 citations

Comment on "Gleason-Type Theorem for Projective Measurements, Including Qubits" by F. De Zela

Michael J. W. Hall

It has recently been claimed by De Zela that Gleason's theorem, for probability measures on the lattice of projection operators, can be extended to qubits by adding assumptions related to continuity and the existence of 'eigenstates'. This amounts to a claim of the derivation of Born's rule for Hermitian qubit observables. I point out a simple counterexample, and the flaw in De Zela's derivation (these are equally applicable to the repetition of the derivation given in a recent Reply). I also briefly discuss a valid extension to qubits given by Busch.

arXiv:1611.00613•Nov 2, 2016•3 citations
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=2d=2d=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.
Gleason's theorem is often cited as establishing the Born rule from the structure of Hilbert space, yet its original proof is mathematically sophisticated and rarely accessible to physicists. In this article we present a simple route to the dimensional distinction at the heart of Gleason's result, using the generalized Bloch representation of quantum states. More precisely, we consider a restricted but instructive class of probability assignments obtained by replacing the linear dependence of the Born expression on a Bloch-space scalar product with a real function f. For qubits, infinitely many continuous non-Born assignments of this form satisfy normalization for every projective measurement. In dimension greater than 3, by contrast, the geometry of the measurement simplex imposes additional relations among the relevant scalar products. Requiring normalization for arbitrary states then leads to a Cauchy-type functional equation, which, together with boundedness, forces f to be linear. Our argument provides a complementary geometric illustration of why the freedom present in dimension two disappears in higher dimensions, reaching this conclusion directly from the geometry of the measurement simplices and normalization, without explicitly invoking the intertwining of projectors across different orthogonal resolutions of the identity.
Quantum correlations often defy an explanation in terms of fundamental notions of classical physics, such as causality, locality, and realism. While the mathematical theory underpinning quantum correlations between spacelike separated systems has been well-established since the 1930s, the mathematical theory for correlations between non-spacelike separated systems is much less developed. In this work, we develop the theory of what we refer to as "local-density operators", which we view as joint states for possibly non-spacelike separated quantum systems. Local-density operators are unit trace operators whose marginals are genuine density operators, which we show not only subsumes the notion of density operator, but also several extensions of the notion of density operator into the spatiotemporal domain, such as pseudo-density operators and quantum states over time. More importantly, we prove a result which establishes a one-to-one correspondence between local-density operators and what we refer to as "Dirac measures", which are complex-valued measures on the space of separable projectors associated with two quantum systems. In the case that one of the systems is the trivial quantum system with a one-dimensional Hilbert space, our result recovers the fundamental result known as Gleason's Theorem, which implies that the Born rule from quantum theory is the only way in which one may assign probabilities to the outcomes of measurements performed on quantum systems in a non-contextual manner. As such, our results establish a direct generalization of Gleason's Theorem to measurements performed on possibly non-spacelike separated systems, thus extending the mathematical theory of quantum correlations across space to quantum correlations across space and time.
We prove a Gleason-type theorem for the quantum probability rule using frame functions defined on positive-operator-valued measures (POVMs), as opposed to the restricted class of orthogonal projection-valued measures used in the original theorem. The advantage of this method is that it works for two-dimensional quantum systems (qubits) and even for vector spaces over rational fields--settings where the standard theorem fails. Furthermore, unlike the method necessary for proving the original result, the present one is rather elementary. In the case of a qubit, we investigate similar results for frame functions defined upon various restricted classes of POVMs. For the so-called trine measurements, the standard quantum probability rule is again recovered.
It has recently been claimed by De Zela that Gleason's theorem, for probability measures on the lattice of projection operators, can be extended to qubits by adding assumptions related to continuity and the existence of 'eigenstates'. This amounts to a claim of the derivation of Born's rule for Hermitian qubit observables. I point out a simple counterexample, and the flaw in De Zela's derivation (these are equally applicable to the repetition of the derivation given in a recent Reply). I also briefly discuss a valid extension to qubits given by Busch.