A formulation of the consistent histories approach to quantum mechanics in terms of generalized observables (POV measures) and effect operators is provided. The usual notion of ‘‘history’’ is generalized to the notion of ‘‘effect history.’’ The space of effect histories carries the structure of a D-poset. Recent results of J. D. Maitland Wright imply that every decoherence functional defined for ordinary histories can be uniquely extended to a bi-additive decoherence functional on the space of effect histories. Omnès’ logical interpretation is generalized to the present context. The result of this work considerably generalizes and simplifies the earlier formulation of the consistent effect histories approach to quantum mechanics communicated in a previous work of this author.
A formulation of the consistent histories approach to quantum mechanics in terms of generalized observables (POV measures) and effect operators is provided. The usual notion of ‘‘history’’ is generalized to the notion of ‘‘effect history.’’ The space of effect histories carries the structure of a D-poset. Recent results of J. D. Maitland Wright imply that every decoherence functional defined for ordinary histories can be uniquely extended to a bi-additive decoherence functional on the space of effect histories. Omnès’ logical interpretation is generalized to the present context. The result of this work considerably generalizes and simplifies the earlier formulation of the consistent effect histories approach to quantum mechanics communicated in a previous work of this author.
A histories approach to quantum mechanics is formulated without the consistency requirement. Plausible, physically motivated axioms for a history structure are presented. In this structure, the consistency requirement is unnecessary because the joint sequential distributions are already probability measures. It is shown that the logic of a history structure is a temporal effect algebra and conversely, any temporal effect algebra is isomorphic to the logic of a history structure. When this general framework is specialized to a Hilbert space context, it reduces to a previously studied formalism.
The geometry of decoherence in generalized "consistent histories" quantum theory is explored, revealing properties of the theory that are independent of any particular application of it. It is shown how the decoherence functional of a closed quantum system may be regarded as an Hermitian form on the space of linear operators on the Hilbert space of the system. This identification makes manifest a number of structural properties of decoherence functionals. For example, a bound on the maximum number of histories in a consistent set is determined. When the decoherence functional is positive -- as in conventional quantum mechanics -- it defines a semi-inner product on the space of history operators. This shows that consistent sets of histories are just orthogonal sets in this inner product. It further implies the existence in general of Cauchy-Schwarz and triangle inequalities for positive decoherence functionals. The geometrical significance of the ILS theorem classifying all possible decoherence functionals is illuminated, and a version of the ILS theorem for decoherence functionals on class operators is given. The class of history operators consistent according to a given decoherence functional is found, and, conversely, it is shown how to construct the decoherence functionals according to which a given set of histories is consistent. More generally, the "geometric" point of view here developed supplies a powerful unified language with which to solve problems in generalized quantum theory.
I review the decoherent (or consistent) histories approach to quantum mechanics, due to Griffiths, to Gell-Mann and Hartle, and to Omnes. This is an approach to standard quantum theory specifically designed to apply to genuinely closed systems, up to and including the entire universe. It does not depend on an assumed separation of classical and quantum domains, on notions of measurement, or on collapse of the wave function. Its primary aim is to find sets of histories for closed systems exhibiting negligble interference, and therefore, to which probabilities may be assigned. Such sets of histories are called consistent or decoherent, and may be manipulated according to the rules of ordinary (Boolean) logic. The approach provides a framework from which one may predict the emergence of an approximately classical domain for macroscopic systems, together with the conventional Copenhagen quantum mechanics for microscropic subsystems. In the special case in which the total closed system naturally separates into a distinguished subsystem coupled to an environment, the decoherent histories approach is closed related to the quantum state diffusion approach of Gisin and Percival.
Here Roland Omnès offers a clear, up-to-date guide to the conceptual framework of quantum mechanics. In an area that has provoked much philosophical debate, Omnès has achieved high recognition for his Interpretation of Quantum Mechanics (Princeton 1994), a book for specialists. Now the author has transformed his own theory into a short and readable text that enables beginning students and experienced physicists, mathematicians, and philosophers to form a comprehensive picture of the field while learning about the most recent advances. This new book presents a more streamlined version of the Copenhagen interpretation, showing its logical consistency and completeness. The problem of measurement is a major area of inquiry, with the author surveying its history from Planck to Heisenberg before describing the consistent-histories interpretation. He draws upon the most recent research on the decoherence effect (related to the modern resolution of the famous Schrödinger’s cat problem) and an exact formulation of the correspondence between quantum and particle physics (implying a derivation of classical determinism from quantum probabilism). Interpretation is organized with the help of a universal and sound language using so-called consistent histories. As a language and a method, it can now be shown to be free of ambiguity and it makes interpretation much clearer and closer to common sense.
The basic ingredients of the ‘‘consistent histories’’ approach to a generalized quantum theory are ‘‘histories’’ and decoherence functionals. The main aim of this program is to find and to study the behavior of consistent sets associated with a particular decoherence functional d. In its recent formulation by Isham [‘‘Quantum logic and the histories approach to quantum theory,’’ J. Math. Phys. 35, 2157–2185 (1994)] it is natural to identify the space 𝒰𝒫 of propositions about histories with an orthoalgebra or lattice. When 𝒰𝒫 is given by the lattice of projectors 𝒫(𝒱) in some Hilbert space 𝒱, consistent sets correspond to certain partitions of the unit operator in 𝒱 into mutually orthogonal projectors {α1,α2,...}, such that the function d(α,α) is a probability distribution on the boolean algebra generated by {α1,α2,...}. Using the classification theorem for decoherence functionals proven in Isham et al. [‘‘The classification of decoherence functionals: An analog of Gleason’s Theorem,’’ J. Math. Phys. 35, 6360–6370 (1994)] we show that in the case where 𝒱 is some separable Hilbert space there exists for each partition of the unit operator into a set of mutually orthogonal projectors, and for any probability distribution p(α) on the corresponding boolean algebra, decoherence functionals d with respect to which this set is consistent and which are such that for the probability functions d(α,α)=p(α) holds.
The basic ingredients of the “consistent histories” approach to quantum theory are a space 𝒰𝒫 of “history propositions” and a space 𝒟 of “decoherence functionals.” In this article we consider such history quantum theories in the case where 𝒰𝒫 is given by the set of projectors 𝒫(𝒱) on some Hilbert space 𝒱. Using an analog of Wigner’s theorem in the context of history quantum theories proven earlier, we develop the notion of a “symmetry of a decoherence functional” and prove that all such symmetries form a group which we call “the symmetry group of a decoherence functional.” We calculate for the case of standard quantum mechanics—when looked at from the perspective of the history program—some of these symmetries explicitly and relate them to some discussions that have appeared previously.