An introduction is given to an algebraic formulation and generalisation of the consistent histories approach to quantum theory. The main technical tool in this theory is an orthoalgebra of history propositions that serves as a generalised temporal analogue of the lattice of propositions of standard quantum logic. Particular emphasis is placed on those cases in which the history propositions can be represented by projection operators in a Hilbert space, and on the associated concept of a `history group'.
I briefly review the ''decohering histories'' or ''consistent histories'' formulation of quantum theory, due to Griffiths, Omnes, and Gell-Mann and Hartle (and the subject of my graduate work with George Sudarshan). I also sift through the many meanings that have been attached to decohering histories, with an emphasis on the most basic one: Decoherence of appropriate histories is needed to establish that quantum mechanics has the correct classical limit. Then I will describe efforts to find physical mechanisms that do this. Since most work has focused on density matrix versions of decoherence,…
We continue our efforts to understand, within the framework of the quantum mechanics of the universe as a whole, the quasiclassical realm of familiar experience as a feature emergent from the Hamiltonian of the elementary particles and the initial condition of the universe. Quantum mechanics assigns probabilities to exhaustive sets of alternative decoherent histories of the universe. We introduce and define the notion of strong decoherence. We replace the notion of maximal sets of alternative decohering histories by defining the more useful concept of "full" sets of alternative strongly decohe…
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…
The decoherent histories approach is a natural medium in which to address problems in quantum theory which involve time in a non-trivial way. This article reviews the various attempts and difficulties involved in using the decoherent histories approach to calculate the probability for crossing the surface $x=0$ during a finite interval of time. The commonly encountered difficulties in assigning crossing times arise here as difficulties in satisfying the consistency (no-interference) condition. This can be overcome by introducing an environment to produce decoherence, and probabilities exhibiti…
The relationship between quantum logic, standard propositional logic, and the (consistent) histories rules for quantum reasoning is discussed. It is shown that Maudlin's claim [Am. J. Phys. 79 (2011) 954] that the histories approach is inconsistent, is incorrect. The histories approach is both internally consistent and adequate for discussing the physical situations considered by Maudlin.
A major problem in the consistent-histories approach to quantum theory is contending with the potentially large number of consistent sets of history propositions. One possibility is to find a scheme in which a unique set is selected in some way. However, in this paper we consider the alternative approach in which all consistent sets are kept, leading to a type of `many world-views' picture of the quantum theory. It is shown that a natural way of handling this situation is to employ the theory of varying sets (presheafs) on the space $\B$ of all Boolean subalgebras of the orthoalgebra $\UP$ of …
We sketch a quantum mechanical framework for the universe as a whole. Within that framework we propose a program for describing the ultimate origin in quantum cosmology of the quasiclassical domain of familiar experience and for characterizing the process of measurement. Predictions in quantum mechanics are made from probabilities for sets of alternative histories. Probabilities can be assigned only to sets of histories that approximately decohere. Decoherence is defined and the mechanism of decoherence is reviewed. Decoherence requires a sufficiently coarse-grained description of alternative …
Isham's topos-theoretic perspective on the logic of the consistent-histories theory is extended in two ways. First, the presheaves of consistent sets of history propositions in the topos proposed by Isham are endowed with a Vietoris-type of topology and subsequently they are sheafified with respect to it. The category resulting from this sheafification procedure is the topos of sheaves of sets varying continuously over the Vietoris-topologized base poset category of Boolean subalgebras of the universal orthoalgebra of quantum history propositions. The second extension of Isham's topos consists…
Sorkin's coevent interpretation shifts the focus of quantum logic from the structure of a propositional lattice to the nature of truth valuations thereon. We apply this shift in emphasis to a simple formulation of the consistent histories approach, expressing it in terms of truth valuations which are brought together in a logical framework. We see that these consistent histories valuations are related to Sorkin's multiplicative coevents, and that they can be naturally described by an adaptation of Isham's early topos-theoretic approach.
We develop a new algorithm for the quantisation of systems with first-class constraints. Our approach lies within the (History Projection Operator) continuous-time histories quantisation programme. In particular, the Hamiltonian treatment (either classical or quantum) of parameterised systems is characterised by the loss of the notion of time in the space of true degrees of freedom (i.e. the `problem of time'). The novel temporal structure of the HPO theory (two laws of time transformation that distinguish between the temporal logical structure and the dynamics) persists after the imposition o…
In this work a generalization of the consistent histories approach to quantum mechanics is presented. We first critically review the consistent histories approach to nonrelativistic quantum mechanics in a mathematically rigorous way and give some general comments about it. We investigate to what extent the consistent histories scheme is compatible with the results of the operational formulation of quantum mechanics. According to the operational approach nonrelativistic quantum mechanics is most generally formulated in terms of effects, states and operations. We formulate a generalized consiste…
It is shown how all the major conceptual difficulties of standard (textbook) quantum mechanics, including the two measurement problems and the (supposed) nonlocality that conflicts with special relativity, are resolved in the consistent or decoherent histories interpretation of quantum mechanics by using a modified form of quantum logic to discuss quantum properties (subspaces of the quantum Hilbert space), and treating quantum time development as a stochastic process. The histories approach in turn gives rise to some conceptual difficulties, in particular the correct choice of a framework (pr…
Symmetries are defined in histories-based generalized quantum mechanics paying special attention to the class of history theories admitting quasitemporal structure (a generalization of the concept of `temporal sequences' of `events' using partial semigroups) and logic structure for `single time histories'. Symmetries are classified into orthochronous (those preserving the `temporal order' of `events') and non-orthochronous. A straightforward criterion for physical equivalence of histories is formulated in terms of orthochronous symmetries; this criterion covers various notions of physical equi…
Understanding quantum theory has been a subject of debate from its birth. Many different formulations and interpretations have been proposed. Here we examine a recent novel formulation, namely the coevents formulation. It is a histories formulation and has as starting point the Feynman path integral and the decoherence functional. The new ontology turns out to be that of a coarse-grained history. We start with a quantum measure defined on the space of histories, and the existence of zero covers rules out single-history as potential reality (the Kochen Specker theorem casted in histories form i…
In a recent paper Kent has pointed out that in consistent histories quantum theory it is possible, given initial and final states, to construct two different consistent families of histories, in each of which there is a proposition that can be inferred with probability one, and such that the projectors representing these two propositions are mutually orthogonal. In this note we stress that, according to the rules of consistent history reasoning two such propositions are not contrary in the usual logical sense namely, that one can infer that if one is true then the other is false, and both coul…
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. Omnes' logical interpretation is generalized to the present context. The result of this …
The paper develops a version of modal logic that stays completely within the framework provided by quantum principles, and then proves, within the framework of quantum thinking, and in particular without invoking "hidden variables", a Bell-type nonlocality result.
Anhomomorphic logic is a new interpretation of Quantum Theory (due to R. Sorkin). It is a histories formulation (c.f. consistent histories, quantum measure theory). In this approach, reality is a co-event, which is essentially an assignment of a truth value {True, False} to each question. The way this assignment is done mimics classical physics in as much as possible allowing however for sufficient flexibility to accommodate quantum 'paradoxes', as is shown by the analysis of Kochen-Specker theorem. In this contribution, after briefly reviewing the approach, we will examine how probabilistic p…
We reconsider the Decoherent Histories approach to Quantum Mechanics and we analyze some problems related to its interpretation which, according to us, have not been adequately clarified by its proponents. We put forward some assumptions which, in our opinion, are necessary for a realistic interpretation of the probabilities that the formalism attaches to decoherent histories. We prove that such assumptions, unless one limits the set of the decoherent families which can be taken into account, lead to a logical contradiction. The line of reasoning we will follow is conceptually different from o…
Topos theory has been suggested by Doring and Isham as an alternative mathematical structure with which to formulate physical theories. In particular it has been used to reformulate standard quantum mechanics in such a way that a novel type of logic is used to represent propositions. In this paper we extend this formulation to include temporally-ordered collections of propositions as opposed to single-time propositions. That is to say, we have developed a quantum history formalism in the language of topos theory where truth values can be assigned to temporal propositions. We analyse the extent…
An example shows that weak decoherence is more restrictive than the minimal logical decoherence structure that allows probabilities to be used consistently for quantum histories. The probabilities in the sum rules that define minimal decoherence are all calculated by using a projection operator to describe each possibility for the state at each time. Weak decoherence requires more sum rules. They bring in additional variables, that require different measurements and a different way to calculate probabilities, and raise questions of operational meaning. The example shows that extending the line…
We give a mathematical framework to describe the evolution of an open quantum systems subjected to finitely many interactions with classical apparatuses. The systems in question may be composed of distinct, spatially separated subsystems which evolve independently but may also interact. This evolution, driven both by unitary operators and measurements, is coded in a precise mathematical structure in such a way that the crucial properties of causality, covariance and entanglement are faithfully represented. We show how our framework may be expressed using the language of (poly)categories and fu…
A recent claim by Bassi and Ghirardi that the consistent (decoherent) histories approach cannot provide a realistic interpretation of quantum theory is shown to be based upon a misunderstanding of the single-framework rule: they have replaced the correct rule with a principle which directly contradicts it. It is their assumptions, not those of the consistent histories approach, which lead to a logical contradiction.
In the past few years it has been shown that universal quantum computation can be obtained by projective measurements alone, with no need for unitary gates. This suggests that the underlying logic of quantum computing may be an algebra of sequences of quantum measurements rather than an algebra of products of unitary operators. Such a Sequential Quantum Logic (SQL) was developed in the late 70's and has more recently been applied to the consistent histories framework of quantum mechanics as a possible route to the theory of quantum gravity. In this letter, I give a method for deciding the trut…
It will be presented in this chapter a historical account of the consistent histories interpretation of quantum mechanics based on primary and secondary literature. Firstly, the formalism of the consistent histories approach will be outlined. Secondly, the works by Robert Griffiths and Roland Omnès will be discussed. Griffiths' seminal 1984 paper, the first physicist to have proposed a consistent-histories interpretation of quantum mechanics, followed by Omnès' 1990 paper, were instrumental to the consistent-histories model based on Boolean logic. Thirdly, Murray Gell-Mann and James Hartle's s…
Motivated by the advances of quantum Darwinism and recognizing the role played by redundancy in identifying the small subset of quantum states with resilience characteristic of objective classical reality, we explore the implications of redundant records for consistent histories. The consistent histories formalism is a tool for describing sequences of events taking place in an evolving closed quantum system. A set of histories is consistent when one can reason about them using Boolean logic, i.e., when probabilities of sequences of events that define histories are additive. However, the vast m…
In the consistent histories (CH) approach to quantum theory probabilities are assigned to histories subject to a consistency condition of negligible interference. The approach has the feature that a given physical situation admits multiple sets of consistent histories that cannot in general be united into a single consistent set, leading to a number of counter-intuitive or contrary properties if propositions from different consistent sets are combined indiscriminately. An alternative viewpoint is proposed in which multiple consistent sets are classified according to whether or not there exists…
Presented is a topological representation of quantum logic that views entangled qubit spacetime histories (or qubit world lines) as a generalized braid, referred to as a superbraid. The crossing of world lines is purely quantum in nature, most conveniently expressed analytically with ladder-operator-based quantum gates. At a crossing, independent world lines can become entangled. Complicated superbraids are systematically reduced by recursively applying novel quantum skein relations. If the superbraid is closed (e.g. representing quantum circuits with closed-loop feedback, quantum lattice gas …
The classical notions of continuity and mechanical causality are left in order to refor- mulate the Quantum Theory starting from two principles: I) the intrinsic randomness of quantum process at microphysical level, II) the projective representations of sym- metries of the system. The second principle determines the geometry and then a new logic for describing the history of events (Feynman's paths) that modifies the rules of classical probabilistic calculus. The notion of classical trajectory is replaced by a history of spontaneous, random an discontinuous events. So the theory is reduced to …
The inherent difficulty in talking about quantum decoherence in the context of quantum cosmology is that decoherence requires subsystems, and cosmology is the study of the whole Universe. Consistent histories gave a possible answer to this conundrum, by phrasing decoherence as loss of interference between alternative histories of closed systems. When one can apply Boolean logic to a set of histories, it is deemed 'consistent'. However, the vast majority of the sets of histories that are merely consistent are blatantly nonclassical in other respects, and further constraints than just consistenc…
I will propose that the reality to which the quantum formalism implicitly refers is a kind of generalized history, the word history having here the same meaning as in the phrase sum-over-histories. This proposal confers a certain independence on the concept of event, and it modifies the rules of inference concerning events in order to resolve a contradiction between the idea of reality as a single history and the principle that events of zero measure cannot happen (the Kochen-Specker paradox being a classic expression of this contradiction). The so-called measurement problem is then solved if …
Any attempt to introduce probabilities into quantum mechanics faces difficulties due to the mathematical structure of Hilbert space, as reflected in Birkhoff and von Neumann's proposal for a quantum logic. The (consistent or decoherent) histories solution is provided by its single framework rule, an approach that includes conventional (Copenhagen) quantum theory as a special case. Mermin's Ithaca interpretation addresses the same problem by defining probabilities which make no reference to a sample space or event algebra (``correlations without correlata''). But this leads to severe conceptual…
I discuss the meaning of probability in the Everett-Wheeler interpretation of quantum mechanics, together with the problem of defining histories. To resolve these, I propose an understanding of probability arising from a form of temporal logic: the probability of a future-tense proposition is identified with its truth value in a many-valued and context-dependent logic. In short, probability is degree of truth. These ideas appear to be new (though I expect correction on this), but they are natural and intuitive, and relate to traditional naive ideas of time and chance. Indeed, I argue that Ever…
In R.D. Sorkin's framework for logic in physics a clear separation is made between the collection of unasserted propositions about the physical world and the affirmation or denial of these propositions by the physical world. The unasserted propositions form a Boolean algebra because they correspond to subsets of an underlying set of spacetime histories. Physical rules of inference, apply not to the propositions in themselves but to the affirmation and denial of these propositions by the actual world. This physical logic may or may not respect the propositions' underlying Boolean structure. We …
The (consistent or decoherent) histories interpretation provides a consistent realistic ontology for quantum mechanics, based on two main ideas. First, a logic (system of reasoning) is employed which is compatible with the Hilbert-space structure of quantum mechanics as understood by von Neumann: quantum properties and their negations correspond to subspaces and their orthogonal complements. It employs a special (single framework) syntactical rule to construct meaningful quantum expressions, quite different from the quantum logic of Birkhoff and von Neumann. Second, quantum time development is…
In consistent history quantum theory, a description of the time development of a quantum system requires choosing a framework or consistent family, and then calculating probabilities for the different histories which it contains. It is argued that the framework is chosen by the physicist constructing a description of a quantum system on the basis of questions he wishes to address, in a manner analogous to choosing a coarse graining of the phase space in classical statistical mechanics. The choice of framework is not determined by some law of nature, though it is limited by quantum incompatibil…
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 spa…
Formulations of quantum mechanics 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 t…
