Gleason-Type Theorems from Cauchy’s Functional Equation

@article{Wright2019GleasonTypeTF,
  title={Gleason-Type Theorems from Cauchy’s Functional Equation},
  author={Victoria J Wright and Stefan Weigert},
  journal={Foundations of Physics},
  year={2019},
  volume={49},
  pages={594-606}
}
Gleason-type theorems derive the density operator and the Born rule formalism of quantum theory from the measurement postulate, by considering additive functions which assign probabilities to measurement outcomes. Additivity is also the defining property of solutions to Cauchy’s functional equation. This observation suggests an alternative proof of the strongest known Gleason-type theorem, based on techniques used to solve functional equations. 
Ideas Abandoned en Route to QBism
The interpretation of quantum mechanics known as QBism developed out of efforts to understand the probabilities arising in quantum physics as Bayesian in character. But this development was neither
Quantum Violation of the Suppes-Zanotti Inequalities and “Contextuality”
  • K. Svozil
  • Physics
    International journal of theoretical physics
  • 2021
The Suppes-Zanotti inequalities involving the joint expectations of just three binary quantum observables are (re-)derived by the hull computation of the respective correlation polytope. A min-max
Are Non-Boolean Event Structures the Precedence or Consequence of Quantum Probability?
TLDR
This paper will avail of Pitowsky's program, along with its extensions in the work of Jeffrey Bub and William Demopoulos, to better explicate QBism's aims and goals.

References

SHOWING 1-10 OF 31 REFERENCES
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
Quantum states and generalized observables: a simple proof of Gleason's theorem.
  • P. Busch
  • Physics
    Physical review letters
  • 2003
TLDR
A simple proof of the result, analogous to Gleason's theorem, that any quantum state is given by a density operator, and a von Neumann-type argument against noncontextual hidden variables is obtained.
Gleason's theorem and Cauchy's functional equation
We study measures on the effect algebras of the closed interval [0, 1] and we describe regular or bounded measures. Applying Gleason's theorem for measures on the system of all closed subspaces of a
An elementary proof of Gleason's theorem
Abstract Gleason's theorem characterizes the totally additive measures on the closed sub-spaces of a separable real or complex Hilbert space of dimension greater than two. This paper presents an
Gleason-Type Derivations of the Quantum Probability Rule for Generalized Measurements
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
Unknown Quantum States: The Quantum de Finetti Representation
We present an elementary proof of the quantum de Finetti representation theorem, a quantum analog of de Finetti’s classical theorem on exchangeable probability assignments. This contrasts with the
Simulating Positive-Operator-Valued Measures with Projective Measurements.
TLDR
This work proves that every measurement on a given quantum system can be realized by classical randomization of projective measurements on the system plus an ancilla of the same dimension, and shows that deciding whether it is PM simulable can be solved by means of semidefinite programming.
Measures on the Closed Subspaces of a Hilbert Space
In his investigations of the mathematical foundations of quantum mechanics, Mackey1 has proposed the following problem: Determine all measures on the closed subspaces of a Hilbert space. A measure on
MATH
TLDR
It is still unknown whether there are families of tight knots whose lengths grow faster than linearly with crossing numbers, but the largest power has been reduced to 3/z, and some other physical models of knots as flattened ropes or strips which exhibit similar length versus complexity power laws are surveyed.
"J."
however (for it was the literal soul of the life of the Redeemer, John xv. io), is the peculiar token of fellowship with the Redeemer. That love to God (what is meant here is not God’s love to men)
...
...