Gleason’s Theorem in Quantum Mechanics

• Gleason’s theorem is a foundational result that shows noncontextual probability measures on projections in Hilbert spaces (d ≥ 3) are uniquely given by the Born rule.
• The theorem constructs a density operator from a frame function using quadratic forms and the Riesz representation theorem, ensuring additivity holds for all orthogonal resolutions.
• Extensions of Gleason’s theorem address generalized measurements, operator-algebraic frameworks, and composite systems, offering ways to handle the exception of qubits.

Gleason’s theorem is a result in the foundations of quantum mechanics and in the geometry of Hilbert spaces. In its standard Hilbert-space form, it states that for a real or complex Hilbert space with dimension at least $3$, any non-contextual probability assignment to projections that is additive on orthogonal resolutions of the identity must be representable by a density operator through the Born rule, $\mu(P)=\operatorname{Tr}(\rho P)$. The theorem therefore links probability measures on quantum propositions to the operator-state formalism, and it has become a central reference point for contextuality, quantum logic, state reconstruction, and operator-algebraic generalizations (Rajan et al., 2019).

1. Classical Hilbert-space statement

In the standard formulation, one considers a Hilbert space $H$ and the set $\mathcal{P}(H)$ of orthogonal projections. A measurement is modeled as a projection-valued measure (PVM), that is, a finite family of projectors $\{\Pi_i\}$ satisfying

$$\Pi_i^2=\Pi_i,\qquad \Pi_i^\dagger=\Pi_i,\qquad \Pi_i\Pi_j=\delta_{ij}\Pi_i,\qquad \sum_i \Pi_i=I.$$

A probability assignment is then a map on projectors such that probabilities sum to $1$ on every PVM and depend only on the projector, not on which PVM contains it; in the frame-function language, this is a map $f$ on rays or unit vectors satisfying $\sum_i f(e_i)=1$ for every orthonormal basis (Fiorentino et al., 19 Nov 2025).

The standard theorem can be stated as follows. Let $H$ be a complex Hilbert space with $\mu(P)=\operatorname{Tr}(\rho P)$0. Suppose $\mu(P)=\operatorname{Tr}(\rho P)$1 satisfies $\mu(P)=\operatorname{Tr}(\rho P)$2 for all projectors and

$\mu(P)=\operatorname{Tr}(\rho P)$3

for every orthogonal resolution of the identity $\mu(P)=\operatorname{Tr}(\rho P)$4. Then there exists a density operator $\mu(P)=\operatorname{Tr}(\rho P)$5, with $\mu(P)=\operatorname{Tr}(\rho P)$6 and $\mu(P)=\operatorname{Tr}(\rho P)$7, such that

$\mu(P)=\operatorname{Tr}(\rho P)$8

for all projectors $\mu(P)=\operatorname{Tr}(\rho P)$9 (Fiorentino et al., 19 Nov 2025). In equivalent rank-one language, for $H$0, one has

$H$1

so the theorem yields the Born rule on pure outcomes (Semrl, 2021).

A constructive route begins from a frame function $H$2 and defines a quadratic form

$H$3

By polarization one obtains a bounded sesquilinear form $H$4, and by the Riesz representation theorem a unique bounded positive self-adjoint operator $H$5 such that $H$6. The frame-function weight gives $H$7, so $H$8 is the density operator $H$9 representing the measure (Rajan et al., 2019). In finite-dimensional complex Hilbert spaces, an $\mathcal{P}(H)$0 version of the theorem shows that if a complex frame function $\mathcal{P}(H)$1 lies in $\mathcal{P}(H)$2, then there exists a unique linear operator $\mathcal{P}(H)$3 with

$\mathcal{P}(H)$4

for all $\mathcal{P}(H)$5; if $\mathcal{P}(H)$6 is real-valued, then $\mathcal{P}(H)$7 is Hermitean (Moretti et al., 2012).

2. The two-dimensional obstruction

The classical dimension threshold is essential. In $\mathcal{P}(H)$8, every rank-one projector $\mathcal{P}(H)$9 appears only in a single two-outcome PVM $\{\Pi_i\}$0. Consequently, the additivity constraint provides only

$\{\Pi_i\}$1

without the higher-dimensional “intertwining” across different resolutions of the identity that drives the original theorem (Fiorentino et al., 19 Nov 2025).

This leaves room for non-Born assignments. In Bloch form, a rank-one qubit projector can be written as

$\{\Pi_i\}$2

and a density operator as

$\{\Pi_i\}$3

The Born rule for the PVM $\{\Pi_i\}$4 is

$\{\Pi_i\}$5

but one can also define dispersion-free assignments $\{\Pi_i\}$6 consistent with $\{\Pi_i\}$7 (Fiorentino et al., 19 Nov 2025). A geometric example is a hemisphere assignment on the Bloch sphere: $\{\Pi_i\}$8 for $\{\Pi_i\}$9 in some hemisphere and $$\Pi_i^2=\Pi_i,\qquad \Pi_i^\dagger=\Pi_i,\qquad \Pi_i\Pi_j=\delta_{ij}\Pi_i,\qquad \sum_i \Pi_i=I.$$0 otherwise (Fiorentino et al., 19 Nov 2025).

Explicit counterexamples recur throughout the modern literature. One example is

$$\Pi_i^2=\Pi_i,\qquad \Pi_i^\dagger=\Pi_i,\qquad \Pi_i\Pi_j=\delta_{ij}\Pi_i,\qquad \sum_i \Pi_i=I.$$1

which respects every two-outcome PVM on $$\Pi_i^2=\Pi_i,\qquad \Pi_i^\dagger=\Pi_i,\qquad \Pi_i\Pi_j=\delta_{ij}\Pi_i,\qquad \sum_i \Pi_i=I.$$2 but is not of Born form (Wright et al., 2018). Another family is

$$\Pi_i^2=\Pi_i,\qquad \Pi_i^\dagger=\Pi_i,\qquad \Pi_i\Pi_j=\delta_{ij}\Pi_i,\qquad \sum_i \Pi_i=I.$$3

where $$\Pi_i^2=\Pi_i,\qquad \Pi_i^\dagger=\Pi_i,\qquad \Pi_i\Pi_j=\delta_{ij}\Pi_i,\qquad \sum_i \Pi_i=I.$$4 is fixed and $$\Pi_i^2=\Pi_i,\qquad \Pi_i^\dagger=\Pi_i,\qquad \Pi_i\Pi_j=\delta_{ij}\Pi_i,\qquad \sum_i \Pi_i=I.$$5 is continuous, odd, and satisfies $$\Pi_i^2=\Pi_i,\qquad \Pi_i^\dagger=\Pi_i,\qquad \Pi_i\Pi_j=\delta_{ij}\Pi_i,\qquad \sum_i \Pi_i=I.$$6; unless $$\Pi_i^2=\Pi_i,\qquad \Pi_i^\dagger=\Pi_i,\qquad \Pi_i\Pi_j=\delta_{ij}\Pi_i,\qquad \sum_i \Pi_i=I.$$7 is linear, this is not representable as $$\Pi_i^2=\Pi_i,\qquad \Pi_i^\dagger=\Pi_i,\qquad \Pi_i\Pi_j=\delta_{ij}\Pi_i,\qquad \sum_i \Pi_i=I.$$8 (Hall, 2016). A Bloch-space analysis makes the contrast geometrically explicit: for $$\Pi_i^2=\Pi_i,\qquad \Pi_i^\dagger=\Pi_i,\qquad \Pi_i\Pi_j=\delta_{ij}\Pi_i,\qquad \sum_i \Pi_i=I.$$9, additivity reduces to a two-term constraint $1$0, while for $1$1 one obtains genuine multi-term constraints that force linearity (Bianchi, 8 Mar 2026).

3. Operator-algebraic and field-theoretic generalizations

The Hilbert-space theorem extends naturally to von Neumann algebras and, in part, to $1$2-algebras. For a von Neumann algebra $1$3 with no type $1$4 direct summand, the Mackey–Gleason–Bunce–Wright theorem states that any bounded orthoadditive measure on $1$5 extends uniquely to a bounded linear operator on $1$6; scalar-valued positive measures extend to states (Hamhalter, 2014). In $1$7-algebras, a COrtho-morphism $1$8 preserving orthocomplements and arbitrary joins extends to a normal Jordan $1$9-homomorphism when $f$0 has no type $f$1 direct summand (Hamhalter, 2014). This formulation emphasizes a general principle already present in the Hilbert-space theorem: projection-level data determine global operator-algebraic structure (Hamhalter, 2014).

The exclusion of type $f$2 is the operator-algebraic counterpart of the qubit obstruction. In homogeneous type $f$3 $f$4-algebras with $f$5, bounded measures on projections extend to bounded linear maps, while the type $f$6 case retains the classical obstruction (Hamhalter, 2014).

Field dependence is also nontrivial. For real and complex Hilbert spaces, the classical trace formula remains basis-independent in the usual way. In quaternionic Hilbert spaces, however, the naive trace

$f$7

depends on the orthonormal basis $f$8 unless $f$9 is self-adjoint. The corrected common form of the theorem for $\sum_i f(e_i)=1$0, $\sum_i f(e_i)=1$1, and $\sum_i f(e_i)=1$2 uses the real trace

$\sum_i f(e_i)=1$3

which is basis-independent on trace-class operators (Moretti et al., 2018). The resulting theorem states that for a separable Hilbert space over $\sum_i f(e_i)=1$4 with $\sum_i f(e_i)=1$5, every $\sum_i f(e_i)=1$6-additive probability measure on $\sum_i f(e_i)=1$7 is represented as

$\sum_i f(e_i)=1$8

(Moretti et al., 2018). This corrects the quaternionic formulation attributed to Varadarajan by replacing the naive trace with its real part (Moretti et al., 2018).

4. Extensions beyond the original projection setting

A major line of work extends Gleason-type conclusions to $\sum_i f(e_i)=1$9 by enlarging the class of measurements from PVMs to POVMs. In Busch’s theorem, probabilities are assigned to effects $H$0 with $H$1, and under additivity and noncontextuality one obtains

$H$2

for all effects, including the qubit case (Fiorentino et al., 19 Nov 2025). Closely related approaches due to Caves–Fuchs–Schack derive the same conclusion from consistency conditions for probabilities on effects (Fiorentino et al., 19 Nov 2025). A Parseval-frame reformulation shows that rank-one POVMs are essentially equivalent to Parseval frames, and that under appropriate assumptions Gleason functions for Parseval frames are quadratic forms $H$3 (Benedetto et al., 2020).

A more restrictive route stays closer to the projective setting while still enlarging the operational assumptions. One theorem derives Born’s rule for all finite dimensions $H$4 by requiring consistent probability assignments to projective measurements and their classical mixtures. In that setting, projective-simulable measurements $H$5 are enough: if a frame function respects $H$6, then

$H$7

for all effects $H$8 (Wright et al., 2018). In the qubit case, the proof uses only the two-outcome POVMs

$H$9

and the restricted three-outcome simulable POVMs

$\mu(P)=\operatorname{Tr}(\rho P)$00

from which one derives

$\mu(P)=\operatorname{Tr}(\rho P)$01

and hence the trace form (Wright et al., 2018).

Other generalizations weaken the global hypotheses rather than enlarging the measurement set. A generalized Gleason theorem shows that if the additivity and normalization constraints hold only locally on an open connected set of commuting projectors, then the probability assignment still has an affine-linear form

$\mu(P)=\operatorname{Tr}(\rho P)$02

with $\mu(P)=\operatorname{Tr}(\rho P)$03 Hermitian and $\mu(P)=\operatorname{Tr}(\rho P)$04 constant on overlapping connected domains (Montina et al., 2022). In hidden-variable models with a finite amount of information about the measurement context, this implies that conditional on the finite context index $\mu(P)=\operatorname{Tr}(\rho P)$05, probabilities for projective measurements with at least three outcomes are affine-linear in the projectors (Montina et al., 2022).

5. Qubits, composition, and composite systems

A distinct strategy for recovering the qubit case keeps the measurement class at PVMs but strengthens the structural assumptions about composition. One recent theorem assumes finite-dimensional Hilbert spaces, PVMs, the tensor-product composition axiom

$\mu(P)=\operatorname{Tr}(\rho P)$06

the local measurement representation

$\mu(P)=\operatorname{Tr}(\rho P)$07

and a strengthened state assumption that states of a $\mu(P)=\operatorname{Tr}(\rho P)$08-dimensional system correspond to marginal frame functions (Fiorentino et al., 19 Nov 2025). The resulting statement is: $\mu(P)=\operatorname{Tr}(\rho P)$09 for every $\mu(P)=\operatorname{Tr}(\rho P)$10, including $\mu(P)=\operatorname{Tr}(\rho P)$11, with $\mu(P)=\operatorname{Tr}(\rho P)$12 a density matrix (Fiorentino et al., 19 Nov 2025).

The key additional condition is independence across composition: $\mu(P)=\operatorname{Tr}(\rho P)$13 Operationally, the probability assigned to a local outcome must be the same whether the system is treated on its own or as part of a larger one (Fiorentino et al., 19 Nov 2025). For a qubit $\mu(P)=\operatorname{Tr}(\rho P)$14, one chooses an ancilla $\mu(P)=\operatorname{Tr}(\rho P)$15 with $\mu(P)=\operatorname{Tr}(\rho P)$16, so that $\mu(P)=\operatorname{Tr}(\rho P)$17. Gleason’s theorem applies on $\mu(P)=\operatorname{Tr}(\rho P)$18, yielding

$\mu(P)=\operatorname{Tr}(\rho P)$19

Then the partial trace identity gives

$\mu(P)=\operatorname{Tr}(\rho P)$20

so

$\mu(P)=\operatorname{Tr}(\rho P)$21

(Fiorentino et al., 19 Nov 2025).

This excludes dispersion-free assignments precisely because a non-Born qubit frame function cannot be written as $\mu(P)=\operatorname{Tr}(\rho P)$22 for any density matrix $\mu(P)=\operatorname{Tr}(\rho P)$23, hence cannot arise as a subsystem marginal of a composite-system frame function (Fiorentino et al., 19 Nov 2025). The same idea reappears in a broader operator-algebraic setting for bipartite systems: contextual probability data over product abelian subalgebras become a genuine state on the tensor-product von Neumann algebra once one adds compatibility with dilations and with dynamical correspondences (Frembs et al., 2022). In that setting, for $\mu(P)=\operatorname{Tr}(\rho P)$24 and $\mu(P)=\operatorname{Tr}(\rho P)$25 with no type $\mu(P)=\operatorname{Tr}(\rho P)$26 summands, time-oriented global sections of the normal dilated probabilistic presheaf over $\mu(P)=\operatorname{Tr}(\rho P)$27 correspond bijectively to normal states on $\mu(P)=\operatorname{Tr}(\rho P)$28 (Frembs et al., 2022).

6. Relation to contextuality, symmetry, and modern interpretations

Gleason’s theorem and the Kochen–Specker theorem are closely related but distinct. The Kochen–Specker obstruction concerns $\mu(P)=\operatorname{Tr}(\rho P)$29-$\mu(P)=\operatorname{Tr}(\rho P)$30 valuations on projectors, whereas Gleason’s theorem rules out all non-Born noncontextual probability measures in dimension at least $\mu(P)=\operatorname{Tr}(\rho P)$31. An elementary comparison based on linear equations for a function $\mu(P)=\operatorname{Tr}(\rho P)$32 on the unit sphere shows that Kochen–Specker contradictions can be exhibited on a finite set of rays, whereas the reduced Gleason argument requires constraints across the whole sphere to force the quadratic form $\mu(P)=\operatorname{Tr}(\rho P)$33 in the real case (Marzlin et al., 2014). In both cases, dimension $\mu(P)=\operatorname{Tr}(\rho P)$34 is exceptional (Marzlin et al., 2014).

The theorem also underlies modern symmetry results. In a complex separable Hilbert space with $\mu(P)=\operatorname{Tr}(\rho P)$35, if a map on rank-one projections sends complete orthogonal systems of rank-one projections to complete orthogonal systems, then for any density operator $\mu(P)=\operatorname{Tr}(\rho P)$36, the quantity

$\mu(P)=\operatorname{Tr}(\rho P)$37

defines a frame function. Gleason’s theorem then gives a density operator $\mu(P)=\operatorname{Tr}(\rho P)$38 with

$\mu(P)=\operatorname{Tr}(\rho P)$39

which can be used to show that $\mu(P)=\operatorname{Tr}(\rho P)$40 preserves transition probabilities and hence is implemented by a unitary or antiunitary operator (Semrl, 2021). This yields an optimal version of Wigner’s theorem under one-direction orthogonality preservation plus the image of a single complete orthogonal system (Semrl, 2021).

Several contemporary derivations of the Born rule use Gleason’s theorem as the last structural step after establishing a frame-function condition by other means. One example combines envariance with a basis-independent sum rule over orthonormal sets and then invokes Gleason to obtain

$\mu(P)=\operatorname{Tr}(\rho P)$41

followed by specialization to projective measurements and POVMs (Nenashev, 2014). Another line, formulated in terms of contexts, systems, and modalities, uses Uhlhorn’s theorem to derive unitary changes of context and then uses Gleason to infer

$\mu(P)=\operatorname{Tr}(\rho P)$42

from normalization over rank-one resolutions of the identity (Auffeves et al., 2021). These approaches do not change the theorem’s mathematical content, but they reinterpret its hypotheses as consequences of other structural principles.

A recurring misconception is that Gleason’s theorem directly settles the qubit case. It does not in its original PVM form. The two-dimensional obstruction persists unless one adds further assumptions, such as POVMs, classical mixtures of projective measurements, or consistency under composition (Wright et al., 2018). Another misconception is that the theorem is merely a statement about continuity; several modern proofs and reformulations derive the trace form from additivity, noncontextuality, and structural constraints without assuming continuity as an independent axiom (Wright et al., 2018).

In this sense, Gleason’s theorem remains both a precise representation theorem and a benchmark for extensions. Its classical content is the identification of noncontextual additive measures with density operators. Its modern extensions clarify exactly which extra assumptions—POVMs, classical mixing, dilations, dynamical correspondences, or composition consistency—are sufficient to recover Born-rule probabilities when the original hypotheses are too weak, most notably in dimension $\mu(P)=\operatorname{Tr}(\rho P)$43 (Fiorentino et al., 19 Nov 2025).