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.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.

quant-pharXiv:2511.15607Physical Review ANov 20, 20250 citations

Gleason-type theorems and general probabilistic theories

Victoria J Wright

The postulates of quantum theory are rather abstract in comparison with those of other physical theories such as special relativity. This thesis considers two tools for investigating this discrepancy and makes a connection between them. The first of these tools, Gleason-type theorems, illustrates the interplay between postulates concerning observables, states and probabilities of measurement outcomes, demonstrating that they need not be entirely independent. Gleason’s original and remarkable result applied to observables described by projection-valued measures; however, the theorem does not hold in dimension two. Busch generalised the idea to observables described by positive operator measures, proving a result which holds for all separable Hilbert spaces. We show that Busch’s assumptions may be weakened without affecting the result. The manner in which we weaken the assumptions brings them closer to Gleason’s original treatment of projection-valued measures. We will then demonstrate the connection between Gleason-type theorems and Cauchy’s functional equation, a connection which yields an alternative proof of Busch’s result. The second tool we consider is the family of general probabilistic theories which offers a means of comparing quantum theory with reasonable alternatives. We identify a general probabilistic theory which reproduces the set of non-local correlations achievable in quantum theory, a property often thought to be particular to quantum theory. Finally, we connect these two tools by determining the class of general probabilistic theories which admit a Gleason-type theorem.The postulates of quantum theory are rather abstract in comparison with those of other physical theories such as special relativity. This thesis considers two tools for investigating this discrepancy and makes a connection between them. The first of these tools, Gleason-type theorems, illustrates the interplay between postulates concerning observables, states and probabilities of measurement outcomes, demonstrating that they need not be entirely independent. Gleason’s original and remarkable result applied to observables described by projection-valued measures; however, the theorem does not hold in dimension two. Busch generalised the idea to observables described by positive operator measures, proving a result which holds for all separable Hilbert spaces. We show that Busch’s assumptions may be weakened without affecting the result. The manner in which we weaken the assumptions brings them closer to Gleason’s original treatment of projection-valued measures. We will then demonstrate the connection between Gleason-type theorems and Cauchy’s functional equation, a connection which yields an alternative proof of Busch’s result. The second tool we consider is the family of general probabilistic theories which offers a means of comparing quantum theory with reasonable alternatives. We identify a general probabilistic theory which reproduces the set of non-local correlations achievable in quantum theory, a property often thought to be particular to quantum theory. Finally, we connect these two tools by determining the class of general probabilistic theories which admit a Gleason-type theorem.

Sep 10, 20191 citation

ON QUANTUM PROBABILITY

Igor Evgenievich Pris

Философия наукиJan 1, 20223 citations

AN APPROACH TO QUANTUM PROBABILITY

Stanley Gudder

Foundations of probability and physicsDec 1, 200127 citations

Quantum probability rule: a generalisation of the theorems of Gleason and Busch

Stephen Mark Barnett, James D. Cresser, John Jeffers +1 more

Busch's theorem deriving the standard quantum probability rule can be regarded as a more general form of Gleason's theorem. Here we show that a further generalisation is possible by reducing the number of quantum postulates used by Busch. We do not assume that the positive measurement outcome operators are effects or that they form a probability operator measure. We derive a more general probability rule from which the standard rule can be obtained from the normal laws of probability when there is no measurement outcome information available, without the need for further quantum postulates. Our general probability rule has prediction-retrodiction symmetry and we show how it may be applied in quantum communications and in retrodictive quantum theory.Busch's theorem deriving the standard quantum probability rule can be regarded as a more general form of Gleason's theorem. Here we show that a further generalisation is possible by reducing the number of quantum postulates used by Busch. We do not assume that the positive measurement outcome operators are effects or that they form a probability operator measure. We derive a more general probability rule from which the standard rule can be obtained from the normal laws of probability when there is no measurement outcome information available, without the need for further quantum postulates. Our general probability rule has prediction-retrodiction symmetry and we show how it may be applied in quantum communications and in retrodictive quantum theory.

arXiv:1308.0946Aug 5, 20130 citations

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.