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:1308.0946

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

Stephen Mark Barnett, James D. Cresser, John Jeffers, David Thomas Pegg

Published Aug 5, 2013• 0 citations
arXivHTMLPDF

Abstract

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.

DOI
10.48550/arxiv.1308.0946

Related papers

Quantum probability rule: a generalization 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 generalization 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.

New Journal of Physics•Apr 29, 2014•9 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.

•Sep 10, 2019•1 citation

Quantum Foundations in the Light of Quantum Information

Christopher A. Fuchs

This paper reports three almost trivial theorems that nevertheless appear to have significant import for quantum foundations studies. 1) A Gleason-like derivation of the quantum probability law, but based on the positive operator-valued measures as the basic notion of measurement (see also Busch, quant-ph/9909073). Of note, this theorem also works for 2-dimensional vector spaces and for vector spaces over the rational numbers, where the standard Gleason theorem fails. 2) A way of rewriting the quantum collapse rule so that it looks almost precisely identical to Bayes rule for updating probabilities in classical probability theory. And 3) a derivation of the tensor-product rule for combining quantum systems (and with it the very notion of quantum entanglement) from Gleason-like considerations for local measurements on bipartite systems along with classical communication.

arXiv:quant-ph/0106166•Jun 29, 2001•124 citations

Gleason-Busch theorem for sequential measurements

Kieran Flatt, Stephen Mark Barnett, Sarah Croke

Gleason's theorem is a statement that, given some reasonable assumptions, the Born rule used to calculate probabilities in quantum mechanics is essentially unique [A. M. Gleason, Indiana Univ. Math. J. 6, 885 (1957)]. We show that Gleason's theorem contains within it also the structure of sequential measurements, and along with this the state update rule. We give a small set of axioms, which are physically motivated and analogous to those in Busch's proof of Gleason's theorem [P. Busch, Phys. Rev. Lett. 91, 120403 (2003)], from which the familiar Kraus operator form follows. An axiomatic approach has practical relevance as well as fundamental interest, in making clear those assumptions which underlie the security of quantum communication protocols. Interestingly, the two-time formalism is seen to arise naturally in this approach.

Physical Review A•Dec 20, 2017•7 citations

Sequential measurements: Busch-Gleason theorem and its applications

Kieran Flatt, Stephen Mark Barnett, Sarah Croke

Probabilities enter quantum mechanics via Born's rule, the uniqueness of which was proven by Gleason. Busch subsequently relaxed the assumptions of this proof, expanding its domain of applicability in the process. Extending this work to sequential measurement processes is the aim of this paper. Given only a simple set of postulates, a probability measure is derived utilising the concept of Liouville space and the most general permissible quantum channel arises in the same manner. Super-Liouville space is constructed and a Bayesian interpretation of this object is provided. An important application of the new method is demonstrated, providing an axiomatic derivation of important results of the BB84 protocol in quantum cryptography.

arXiv:1704.07137•Apr 24, 2017•0 citations

General Probabilistic Theories with a Gleason-type Theorem

Victoria J Wright, Stefan Weigert

Gleason-type theorems for quantum theory allow one to recover the quantum state space by assuming that (i) states consistently assign probabilities to measurement outcomes and that (ii) there is a unique state for every such assignment. We identify the class of general probabilistic theories which also admit Gleason-type theorems. It contains theories satisfying the no-restriction hypothesis as well as others which can simulate such an unrestricted theory arbitrarily well when allowing for post-selection on measurement outcomes. Our result also implies that the standard no-restriction hypothesis applied to effects is not equivalent to the dual no-restriction hypothesis applied to states which is found to be less restrictive.

arXiv:2005.14166•Quantum•Nov 25, 2021•12 citations
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 generalization 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.
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.
This paper reports three almost trivial theorems that nevertheless appear to have significant import for quantum foundations studies. 1) A Gleason-like derivation of the quantum probability law, but based on the positive operator-valued measures as the basic notion of measurement (see also Busch, quant-ph/9909073). Of note, this theorem also works for 2-dimensional vector spaces and for vector spaces over the rational numbers, where the standard Gleason theorem fails. 2) A way of rewriting the quantum collapse rule so that it looks almost precisely identical to Bayes rule for updating probabilities in classical probability theory. And 3) a derivation of the tensor-product rule for combining quantum systems (and with it the very notion of quantum entanglement) from Gleason-like considerations for local measurements on bipartite systems along with classical communication.
Gleason's theorem is a statement that, given some reasonable assumptions, the Born rule used to calculate probabilities in quantum mechanics is essentially unique [A. M. Gleason, Indiana Univ. Math. J. 6, 885 (1957)]. We show that Gleason's theorem contains within it also the structure of sequential measurements, and along with this the state update rule. We give a small set of axioms, which are physically motivated and analogous to those in Busch's proof of Gleason's theorem [P. Busch, Phys. Rev. Lett. 91, 120403 (2003)], from which the familiar Kraus operator form follows. An axiomatic approach has practical relevance as well as fundamental interest, in making clear those assumptions which underlie the security of quantum communication protocols. Interestingly, the two-time formalism is seen to arise naturally in this approach.
Probabilities enter quantum mechanics via Born's rule, the uniqueness of which was proven by Gleason. Busch subsequently relaxed the assumptions of this proof, expanding its domain of applicability in the process. Extending this work to sequential measurement processes is the aim of this paper. Given only a simple set of postulates, a probability measure is derived utilising the concept of Liouville space and the most general permissible quantum channel arises in the same manner. Super-Liouville space is constructed and a Bayesian interpretation of this object is provided. An important application of the new method is demonstrated, providing an axiomatic derivation of important results of the BB84 protocol in quantum cryptography.
Gleason-type theorems for quantum theory allow one to recover the quantum state space by assuming that (i) states consistently assign probabilities to measurement outcomes and that (ii) there is a unique state for every such assignment. We identify the class of general probabilistic theories which also admit Gleason-type theorems. It contains theories satisfying the no-restriction hypothesis as well as others which can simulate such an unrestricted theory arbitrarily well when allowing for post-selection on measurement outcomes. Our result also implies that the standard no-restriction hypothesis applied to effects is not equivalent to the dual no-restriction hypothesis applied to states which is found to be less restrictive.