This paper presents an elementary introduction to consistent quantum theory, as developed by Griffiths and others over the past $25\phantom{\rule{0.3em}{0ex}}\text{years}$. The theory is a version of orthodox (Copenhagen) quantum mechanics based on the notion that the unique and mysterious feature of quantum, as opposed to classical systems, is the simultaneous existence of multiple incompatible representations of reality, referred to as ``frameworks.'' A framework is a maximal set of properties of a system for which probabilities can be consistently defined. This notion is expressed by stating that a framework provides an exhaustive set of exclusive alternatives, but no single framework suffices to fully characterize a quantum system. Any prediction of the theory must be confined to a single framework and combining elements from different frameworks leads to quantum mechanically meaningless statements. This ``single-framework rule'' is the precise mathematical statement of Bohr's complementarity. It is shown that if the microscopic description is assumed to incorporate these elements in a local setting, then distant entanglements, macroscopic measurements, wave-function collapse, and other features of quantum behavior follow in a logical manner. The essential elements of the theory are first explained using the simplest quantum system, a single spin-$\frac{1}{2}$ degree of freedom at one time.
This paper presents an elementary introduction to consistent quantum theory, as developed by Griffiths and others over the past 25years. The theory is a version of orthodox (Copenhagen) quantum mechanics based on the notion that the unique and mysterious feature of quantum, as opposed to classical systems, is the simultaneous existence of multiple incompatible representations of reality, referred to as frameworks.'' A framework is a maximal set of properties of a system for which probabilities can be consistently defined. This notion is expressed by stating that a framework provides an exhaustive set of exclusive alternatives, but no single framework suffices to fully characterize a quantum system. Any prediction of the theory must be confined to a single framework and combining elements from different frameworks leads to quantum mechanically meaningless statements. This single-framework rule'' is the precise mathematical statement of Bohr's complementarity. It is shown that if the microscopic description is assumed to incorporate these elements in a local setting, then distant entanglements, macroscopic measurements, wave-function collapse, and other features of quantum behavior follow in a logical manner. The essential elements of the theory are first explained using the simplest quantum system, a single spin-21 degree of freedom at one time.
Formulations of quantum mechanics (QM) can be characterized as realistic, operationalist, or a combination of the two. In this paper a realistic theory is defined as describing a closed system entirely by means of entities and concepts pertaining to the system. An operationalist theory, on the other hand, requires in addition entities external to the system. A realistic formulation comprises an ontology, the set of (mathematical) entities that describe the system, and assertions, the set of correct statements (predictions) the theory makes about the objects in the ontology. Classical mechanics is the prime example of a realistic physical theory. A straightforward generalization of classical mechanics to QM is hampered by the inconsistency of quantum properties with classical logic, a circumstance that was noted many years ago by Birkhoff and von Neumann. The present realistic formulation of the histories approach originally introduced by Griffiths, which we call 'compatible quantum theory (CQT)', consists of a 'microscopic' part (MIQM), which applies to a closed quantum system of any size, and a 'macroscopic' part (MAQM), which requires the participation of a large (ideally, an infinite) system. The first (MIQM) can be fully formulated based solely on the assumption of a Hilbert space ontology and the noncontextuality of probability values, relying in an essential way on Gleason's theorem and on an application to dynamics due in large part to Nistico. Thus, the present formulation, in contrast to earlier ones, derives the Born probability formulas and the consistency (decoherence) conditions for frameworks. The microscopic theory does not, however, possess a unique corpus of assertions, but rather a multiplicity of contextual truths ('c-truths'), each one associated with a different framework. This circumstance leads us to consider the microscopic theory to be physically indeterminate and therefore incomplete, though logically coherent. The completion of the theory requires a macroscopic mechanism for selecting a physical framework, which is part of the macroscopic theory (MAQM). The selection of a physical framework involves the breaking of the microscopic 'framework symmetry', which can proceed either phenomenologically as in the standard quantum measurement theory, or more fundamentally by considering the quantum system under study to be a subsystem of a macroscopic quantum system. The decoherent histories formulation of Gell-Mann and Hartle, as well as that of Omnès, are theories of this fundamental type, where the physical framework is selected by a coarse-graining procedure in which the physical phenomenon of decoherence plays an essential role. Various well-known interpretations of QM are described from the perspective of CQT. Detailed definitions and proofs are presented in the appendices.
Precise rules are developed in order to formalize the reasoning processes involved in standard non-relativistic quantum mechanics, with the help of analogies from classical physics. A classical or quantum description of a mechanical system involves a {\it framework}, often chosen implicitly, and a {\it statement} or assertion about the system which is either true or false within the framework with which it is associated. Quantum descriptions are no less ``objective'' than their classical counterparts, but differ from the latter in the following respects: (i) The framework employs a Hilbert space rather than a classical phase space. (ii) The rules for constructing meaningful statements require that the associated projectors commute with each other and, in the case of time-dependent quantum histories, that consistency conditions be satisfied. (iii) There are incompatible frameworks which cannot be combined, either in constructing descriptions or in making logical inferences about them, even though any one of these frameworks may be used separately for describing a particular physical system. A new type of ``generalized history'' is introduced which extends previous proposals by Omnès, and Gell-Mann and Hartle, and a corresponding consistency condition which does not involve density matrices or single out a direction of time. Applications which illustrate the formalism include: measurements of spin, two-slit diffraction, and the emergence of the classical world from a fully quantum description.
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.
Some mostly recent theoretical and mathematical advances can be linked together to yield a new consistent interpretation of quantum mechanics. It relies upon a unique and universal interpretative rule of a logical character which is based upon Griffiths consistent historie. Some new results in semi-classical physics allow to derive classical physics from this rule, including its logical aspects, and to prove accordingly the existence of determinism within the quantum framework. Together with decoherence, this can be used to retrieve the existence of facts, despite the probabilistic character of the theory. Measurement theory can then be made entirely deductive. It is accordingly found that wave packet reduction is a logical property, whereas one can always choose to avoid using it. The practical consequences of this interpretation are most often in agreement with the Copenhagen formulation but they can be proved never to give rise to any logical inconsistency or paradox.
Within the last decade, significant progress has been made towards a consistent and complete reformulation of the Copenhagen interpretation (an interpretation consisting in a formulation of the experimental aspects of physics in terms of the basic formalism; it is consistent if free from internal contradiction and complete if it provides precise predictions for all experiments). The main steps involved decoherence (the transition from linear superpositions of macroscopic states to a mixing), Griffiths histories describing the evolution of quantum properties, a convenient logical structure for dealing with histories, and also some progress in semiclassical physics, which was made possible by new methods. The main outcome is a theory of phenomena, viz., the classically meaningful properties of a macroscopic system. It shows in particular how and when determinism is valid. This theory can be used to give a deductive form to measurement theory, which now covers some cases that were initially devised as counterexamples against the Copenhagen interpretation. These theories are described, together with their applications to some key experiments and some of their consequences concerning epistemology.
The foundations of quantum mechanics have been plagued by controversy throughout the 85 year history of the field. It is argued that lack of clarity in the formulation of basic philosophical questions leads to unnecessary obscurity and controversy and an attempt is made to identify the main forks in the road that separate the most important interpretations of quantum theory. The consistent histories formulation, also known as "consistent quantum theory", is described as one particular way (favored by the author) to answer the essential questions of interpretation. The theory is shown to be a realistic formulation of quantum mechanics, in contrast to the orthodox or Copenhagen formulation which will be referred to as an operationalist theory.