# 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.

## 3 Citations

Ideas Abandoned en Route to QBism

- Physics
- 2019

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”

- PhysicsInternational 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?

- Philosophy
- 2019

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

- MathematicsJournal of Physics A: Mathematical and Theoretical
- 2019

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.

- PhysicsPhysical review letters
- 2003

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

- Mathematics
- 1996

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

- MathematicsMathematical Proceedings of the Cambridge Philosophical Society
- 1985

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

- Mathematics
- 2004

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

- Mathematics
- 2001

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.

- MathematicsPhysical review letters
- 2017

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

- Mathematics
- 1957

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

- Biology
- 1992

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.