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

Abstract

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 result, the present one is rather elementary. In the case of a qubit, we investigate similar results for frame functions defined upon various restricted classes of POVMs. For the so-called trine measurements, the standard quantum probability rule is again recovered.

10 pages RevTeX, no figures

References in corpus (6)

• Quantum Mechanics as Quantum Information (and only a little more)
• Finite precision measurement nullifies the Kochen-Specker theorem
• Simulating Quantum Mechanics by Non-Contextual Hidden Variables
• Kochen-Specker theorem for a single qubit using positive operator-valued measures
• Finite-precision measurement does not nullify the Kochen-Specker theorem
• Existential Contextuality and the Models of Meyer, Kent and Clifton

Cited by in corpus (37)

• Contextuality for preparations, transformations, and unsharp measurements
• Negativity and contextuality are equivalent notions of nonclassicality
• No-go theorem for the characterisation of work fluctuations in coherent quantum systems
• Local Quantum Measurement and No-Signaling Imply Quantum Correlations
• Framed Hilbert space: hanging the quasi-probability pictures of quantum theory
• A sub-ensemble theory of ideal quantum measurement processes
• Kolmogorov extension theorem for (quantum) causal modelling and general probabilistic theories
• The status of determinism in proofs of the impossibility of a noncontextual model of quantum theory
• Updating the Born rule
• The measurement postulates of quantum mechanics are operationally redundant
• A Generalization of Kochen-Specker Sets Relates Quantum Coloring to Entanglement-Assisted Channel Capacity
• A quantum causal discovery algorithm
• Minimal state-dependent proof of measurement contextuality for a qubit
• Contextuality of general probabilistic theories
• Unitarity as preservation of entropy and entanglement in quantum systems
• Beyond the Cabello-Severini-Winter framework: Making sense of contextuality without sharpness of measurements
• Born's rule as a quantum extension of Bayesian coherence
• A Gleason-type theorem for qubits based on mixtures of projective measurements
• Classification of all alternatives to the Born rule in terms of informational properties
• Quaternionic Quantum Dynamics on Complex Hilbert Spaces
• Extended statistical modeling under symmetry; the link toward quantum mechanics
• Entropy and canonical ensemble of hybrid quantum classical systems
• Quantum Theory is a Quasi-stochastic Process Theory
• General Probabilistic Theories with a Gleason-type Theorem
• A Gleason-type theorem for any dimension based on a gambling formulation of Quantum Mechanics
• Logical inference approach to relativistic quantum mechanics: derivation of the Klein-Gordon equation
• Contextuality in composite systems: the role of entanglement in the Kochen-Specker theorem
• Photocounting measurements with dead time and afterpulses in the continuous-wave regime
• Gleason-type Theorems from Cauchy's Functional Equation
• Quantum mechanics explained
• Extending Kolmogorov's axioms for a generalized probability theory on collections of contexts
• Law of Total Probability in Quantum Theory and Its Application in Wigner's Friend Scenario
• On the connection between the theorems of Gleason and of Kochen and Specker
• Quantum violation of the Suppes-Zanotti inequalities and "contextuality"
• Quantum Logic and Quantum Reconstruction
• Intermediate determinism in general probabilistic theories
• Gleason's Theorem for a Qubit as Part of a Composite System