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… 
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 trace
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, Parseval
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 consistent
General Probabilistic Theories with a Gleason-type Theorem
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
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 that
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 dimension
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 of
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 is
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, an
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.


Resurrection of von Neumann's No-Hidden-Variables Theorem
A quantum state can be understood in a loose sense as a map that assigns a value to every observable. Formalizing this characterization of states in terms of generalized probability distributions on
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 suspicion
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 its
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,
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 be
Kochen-Specker theorem for a single qubit using positive operator-valued measures.
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.
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.
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 properties