Related papers: Gleason's theorem for composite systems
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 assignment of probabilities to the outcomes of…
We extend Gleason's theorem to the two-dimensional Hilbert space of a qubit by invoking the standard axiom that describes composite quantum systems. The tensor-product structure allows us to derive density matrices and Born's rule for $d=2$…
It has recently been claimed by De Zela that Gleason's theorem, for probability measures on the lattice of projection operators, can be extended to qubits by adding assumptions related to continuity and the existence of 'eigenstates'. This…
In a previous article [1] we presented an argument to obtain (or rather infer) Born's rule, based on a simple set of axioms named "Contexts, Systems and Modalities" (CSM). In this approach there is no "emergence", but the structure of…
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…
Gleason's theorem is a fundamental 60 year old result in the foundations of quantum mechanix, setting up and laying out the surprisingly minimal assumptions required to deduce the existence of quantum density matrices and the Born rule. Now…
Gleason's theorem is often cited as establishing the Born rule from the structure of Hilbert space, yet its original proof is mathematically sophisticated and rarely accessible to physicists. In this article we present a simple route to the…
We present a derivation of Born's rule and unitary transforms in Quantum Mechanics, from a simple set of axioms built upon a physical phenomenology of quantization. Combined to Gleason's theorem, this approach naturally leads to the usual…
Kochen and Specker's theorem can be seen as a consequence of Gleason's theorem and logical compactness. Similar compactness arguments lead to stronger results about finite sets of rays in Hilbert space, which we also prove by a direct…
In previous articles we presented a simple set of axioms named Contexts, Systems and Modalities (CSM), where the structure of quantum mechanics appears as a result of the interplay between the quantized number of modalities accessible to a…
As it is known, Gleason's theorem is not applicable for a two-dimensional Hilbert space since in this situation Gleason's axioms are not strong enough to imply Born's rule thus leaving room for a dispersion-free probability measure i.e.,…
The purpose of this note is to give a generalization of Gleason's theorem inspired by recent work in quantum information theory on "nonlocality without entanglement." For multipartite quantum systems, each of dimension three or greater, the…
From the viewpoint of the theory of orthomodular lattices of elementary propositions, Quantum Theories can be formulated in real, complex or quaternionic Hilbert spaces as established in Sol\'er's theorem. The said lattice eventually…
Consider a finite dimensional complex Hilbert space $\cH$, with $dim(\cH) \geq 3$, define $\bS(\cH):= \{x\in \cH \:|\: ||x||=1\}$, and let $\nu_\cH$ be the unique regular Borel positive measure invariant under the action of the unitary…
We present a heuristic derivation of Born's rule and unitary transforms in Quantum Mechanics, from a simple set of axioms built upon a physical phenomenology of quantization. This approach naturally leads to the usual quantum formalism,…
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…
We analyse an argument of Deutsch, which purports to show that the deterministic part of classical quantum theory together with deterministic axioms of classical decision theory, together imply that a rational decision maker behaves as if…
We develop a synthesis of Turing's paradigm of computation and von Neumann's quantum logic to serve as a model for quantum computation with recursion, such that potentially non-terminating computation can take place, as in a quantum Turing…
Quantum processes cannot be reduced, in a nontrivial way, to classical processes without specifying the context in the description of a measurement procedure. This requirement is implied by the Kochen-Specker theorem in the…
Gleason's theorem asserts the equivalence of von Neumann's density operator formalism of quantum mechanics and frame functions, which are functions on the pure states that sum to 1 on any orthonormal basis of Hilbert space of dimension at…