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 the set of effects, we obtain a simple proof of the result, analogous to Gleason's theorem, that any quantum state is given by a density operator. As a corollary we obtain a von Neumann-type argument against noncontextual hidden variables. It follows that on an individual interpretation of quantum mechanics the values of effects are appropriately understood as propensities.
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 the set of effects, we obtain a simple proof of the result, analogous to Gleason's theorem, that any quantum state is given by a density operator. As a corollary we obtain a von Neumann-type argument against noncontextual hidden variables. It follows that on an individual interpretation of quantum mechanics the values of effects are appropriately understood as propensities.
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 outcome-deterministic case and, more generally, by the Gleason theorem. The latter establishes that there is only one noncontextual classical model compatible with quantum theory, the one that trivially identifies the quantum state with the classical state. However, this model requires a breaking of the unitary evolution to account for macroscopic realism. Thus, a causal classical model compatible with the unitary evolution of the quantum state is necessarily contextual to some extent. Inspired by well-known results in quantum communication complexity, we consider a particular class of hidden variable theories by assuming that the amount of information about the measurement context is finite. Aiming at establishing some general features of these theories, we first present a generalized version of the Gleason theorem and provide a simple proof of it. Assuming that Gleason's hypotheses hold only locally for small changes of the measurement procedure, we obtain almost the same conclusion of the original theorem about the functional form of the probability measure. An additional constant and a relaxed property of the density operator are the only two differences from the original result. By this generalization of the Gleason theorem and the assumption of finite information for the context, we prove that the probabilities over three or more outcomes of a projective measurement must be linear functions of the projectors associated with the outcomes, given the information on the context.
Introduction To know the quantum mechanical state of a system implies, in general, only statistical restrictions on the results of measurements. It seems interesting to ask if this statistical element be thought of as arising, as in classical statistical mechanics, because the states in question are averages over better defined states for which individually the results would be quite determined. These hypothetical ‘dispersion free’ states would be specified not only by the quantum mechanical state vector but also by additional ‘hidden variables’ – ‘hidden’ because if states with prescribed values of these variables could actually be prepared, quantum mechanics would be observably inadequate. Whether this question is indeed interesting has been the subject of debate. The present paper does not contribute to that debate. It is addressed to those who do find the question interesting, and more particularly to those among them who believe that ‘the question concerning the existence of such hidden variables received an early and rather decisive answer in the form of von Neumann's proof on the mathematical impossibility of such variables in quantum theory.’ An attempt will be made to clarify what von Neumann and his successors actually demonstrated. This will cover, as well as von Neumann's treatment, the recent version of the argument by Jauch and Piron, and the stronger result consequent on the work of Gleason. It will be urged that these analyses leave the real question untouched.
Abstract In chapter 12 we give an overview of the historical development of hidden-variable theories aiming to attribute ‘hidden’ definite outcomes to any potential measurement on a quantum system. We start with a discussion of von Neumann’s assumption on hidden-variable models, which was later realized not to hold by Hermann, Kochen, Specker, and Bell, going into detail on Bell’s refutation of von Neumann’s arguments. We then turn to the notion of contextuality, which severely restricts hidden-variable models: we discuss Gleason’s theorem before stating and proving the famous Kochen-Specker theorem, as well as the simpler versions of Peres’ nonet and Mermin’s pentagram. These results show that quantum mechanics is not compatible with the assignment of definite measurement outcomes to all possible measurements, and such assignments can hence only be made once a restricted set of observables, a context, is selected
In quantum physics the tests of most properties do not have predetermined outcomes. The latter have nevertheless well-defined probabilities of being realized during a test. Following Popper we interpret these probabilities as physical propensities. A first purpose of the present article is to formalize the propensity interpretation in the framework of state-property structures. Next, Gleason’s theorem asserts that in the Hilbert space there exists a unique propensity function (i.e., one probability measure for each state vector); the propensities are thus uniquely determined by the state vector. Conversely, we prove that if the state-property structure admits one and only one propensity function, then the set ℒ of all properties is a complete atomic orthomodular lattice. We point out that according to our assumption the probabilistic aspect of the system is entirely determined by its deterministic aspect. Assuming furthermore that each property can be ideally tested, it follows that ℒ is isomorphic to the direct union of Hilbertian space lattices. We recover thus the purely classical and purely quantum frameworks as the two extreme cases. The intermediate cases correspond to quantum mechanics with—possibly continuous—superselection variables. Finally, we prove that a system is classical, i.e., all properties are mutually compatible, if and only if the propensity function is dispersion free. In our approach the quantum probabilities appear thus as a generalization of classical determinism rather than a generalization of classical probabilities.
The postulates of quantum theory are rather abstract in comparison with those of other physical theories such as special relativity. This thesis considers two tools for investigating this discrepancy and makes a connection between them. The first of these tools, Gleason-type theorems, illustrates the interplay between postulates concerning observables, states and probabilities of measurement outcomes, demonstrating that they need not be entirely independent. Gleason’s original and remarkable result applied to observables described by projection-valued measures; however, the theorem does not hold in dimension two. Busch generalised the idea to observables described by positive operator measures, proving a result which holds for all separable Hilbert spaces. We show that Busch’s assumptions may be weakened without affecting the result. The manner in which we weaken the assumptions brings them closer to Gleason’s original treatment of projection-valued measures. We will then demonstrate the connection between Gleason-type theorems and Cauchy’s functional equation, a connection which yields an alternative proof of Busch’s result. The second tool we consider is the family of general probabilistic theories which offers a means of comparing quantum theory with reasonable alternatives. We identify a general probabilistic theory which reproduces the set of non-local correlations achievable in quantum theory, a property often thought to be particular to quantum theory. Finally, we connect these two tools by determining the class of general probabilistic theories which admit a Gleason-type theorem.
Abstract Philosophical accounts of quantum theory commonly suppose that the observables of a quantum system form a Type-I factor von Neumann algebra. Such algebras always have atoms, which are minimal projection operators in the case of quantum mechanics. However, relativistic quantum field theory and the thermodynamic limit of quantum statistical mechanics make extensive use of von Neumann algebras of more general types. This chapter addresses the question whether interpretations of quantum probability devised in the usual manner continue to apply in the more general setting. Features of non-type I factor von Neumann algebras are cataloged. It is shown that these novel features do not cause the familiar formalism of quantum probability to falter, since Gleason's Theorem and the Lüders Rule can be generalized. However, the features render the problem of the interpretation of quantum probability more intricate.