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

  title={Gleason-Type Derivations of the Quantum Probability Rule for Generalized Measurements},
  author={Carlton M. Caves and Christopher A. Fuchs and Kiran K. Manne and Joseph M. Renes},
  journal={Foundations of Physics},
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… Expand

Tables from this paper

Gleason-Type Theorem for Projective Measurements, Including Qubits: The Born Rule Beyond Quantum Physics
Born’s quantum probability rule is traditionally included among the quantum postulates as being given by the squared amplitude projection of a measured state over a prepared state, or else as a traceExpand
A Generalization of Gleason's Frame Function for Quantum Measurement
The goal is to extend Gleason's notion of a frame function, which is essential in his fundamental theorem in quantum measurement, to a more general function acting on 1-tight, so-called, ParsevalExpand
A Gleason-type theorem for qubits based on mixtures of projective measurements
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 consistentExpand
A Gleason-Type Theorem for Any Dimension Based on a Gambling Formulation of Quantum Mechanics
Based on a gambling formulation of quantum mechanics, we derive a Gleason-type theorem that holds for any dimension n of a quantum system, and in particular for $$n=2$$n=2. The theorem states thatExpand
Some remarks on the theorems of Gleason and Kochen-Specker
A Gleason-type theorem is proved for two restricted classes of informationally complete POVMs in the qubit case. A particular (incomplete) Kochen-Specker colouring, suggested by Appleby in dimensionExpand
Framed Hilbert space: hanging the quasi-probability pictures of quantum theory
Building on earlier work, we further develop a formalism based on the mathematical theory of frames that defines a set of possible phase-space or quasi-probability representations ofExpand
Generating quantum-measurement probabilities from an optimality principle
An alternative formulation to the (generalized) Born rule is presented. It involves estimating an unknown model from a finite set of measurement operators on the state. An optimality principle isExpand
Contextuality for preparations, transformations, and unsharp measurements
The Bell-Kochen-Specker theorem establishes the impossibility of a noncontextual hidden variable model of quantum theory, or equivalently, that quantum theory is contextual. In this paper, anExpand
The measurement postulates of quantum mechanics are operationally redundant
The mathematical structure of quantum measurements and the Born rule are usually imposed as axioms; the authors show instead that they are the only possible measurement postulates, if the authors require that arbitrary partitioning of systems does not change the theory’s predictions. Expand
Quantum Theory as Efficient Representation of Probabilistic Information
Quantum experiments yield random data. We show that the most efficient way to store this empirical information by a finite number of bits is by means of the vector of square roots of observedExpand


Quantum Mechanics as Quantum Information (and only a little more)
In this paper, I try once again to cause some good-natured trouble. The issue remains, when will we ever stop burdening the taxpayer with conferences devoted to the quantum foundations? The suspicionExpand
Operational Quantum Physics
Quantum physics is certainly one of the greatest scientific achievements of the 20th century. Nevertheless, there has always been a gap between the formalistics approach of quantum theory and itsExpand
Finite-precision measurement does not nullify the Kochen-Specker theorem
It is proven that any hidden variable theory of the type proposed by Meyer [Phys. Rev. Lett. 83, 3751 (1999)], Kent [ibid. 83, 3755 (1999)], and Clifton and Kent [Proc. R. Soc. London, Ser. A 456,Expand
Finite Precision Measurement Nullifies the Kochen-Specker Theorem
Only finite precision measurements are experimentally reasonable, and they cannot distinguish a dense subset from its closure. We show that the rational vectors, which are dense in S 2 , can beExpand
Kochen-Specker theorem for a single qubit using positive operator-valued measures.
  • A. Cabello
  • Physics, Mathematics
  • Physical review letters
  • 2003
A proof of the Kochen-Specker theorem for a single two-level system using five eight-element positive operator-valued measures and simple algebraic reasoning based on the geometry of the dodecahedron is presented. Expand
Quantum Theory: Concepts and Methods
Preface. Part I: Gathering the Tools. 1. Introduction to Quantum Physics. 2. Quantum Tests. 3. Complex Vector Space. 4. Continuous Variables. Part II: Cryptodeterminism and Quantum Inseparability. 5.Expand
Classical and quantum noise in measurements and transformations
This paper has been withdrawn. See quant-ph/0408115: G. M. D'Ariano, P. Perinotti and P. Lo Presti, "Classical randomness in quantum measurements"
States, effects, and operations : fundamental notions of quantum theory : lectures in mathematical physics at the University of Texas at Austin
States and effects.- Operations.- The first Representation theorem.- Composite systems.- The second representation theorem.- 6 Coexistent effects and observables.- References.
Group Theory in Physics
An introductory text book for graduates and advanced undergraduates on group representation theory. It emphasizes group theory's role as the mathematical framework for describing symmetry propertiesExpand
Transition to effect algebras
An account is given of the recent development of the theory of effect algebras, their connection with partially ordered abelian groups, and their use for the mathematical representation of fuzzy orExpand