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.
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.
In a recent paper Griffiths claims that the consistent histories interpretation of quantum mechanics gives rise to results that contradict those obtained from the Bohm interpretation. This is in spite of the fact that both claim to provide a realist interpretation of the formalism without the need to add any new mathematical content and both always produce exactly the same probability predictions of the outcome of experiments. In constrasting the differences Griffiths argues that the consistent histories interpretation provides a more physically reasonable account of quantum phenomena. We exam…
A central principle of consistent histories quantum theory, the requirement that quantum descriptions be based upon a single framework (or family), is employed to show that there is no conflict between consistent histories and a no-hidden-variables theorem of Bell, and Kochen and Specker, contrary to a recent claim by Bassi and Ghirardi. The argument makes use of ``truth functionals'' defined on a Boolean algebra of classical or quantum properties.
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 interpretations of a particular quantum gedanken experiment provided by Bohmian mechanics and consistent histories are shown to contradict each other, both in the absence and in the presence of a measuring device. The consistent history result seems closer to standard quantum mechanics, and shows no evidence of the mysterious nonlocal influences present in the Bohmian description.
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…
Modal interpretations of quantum mechanics assign definite properties to physical systems and specify single-time joint probabilities of these properties. We show that a natural extension, applying to properties at several times, can be given if a decoherence condition is satisfied. This extension defines "consistent histories" of modal properties. We suggest a new form of the modal scheme, that offers prospects of a more general applicability of the histories concept. Finally, we discuss a possible way of applying these ideas to relativistic quantum field theory.
In the consistent histories formalism one specifies a family of histories as an exhaustive set of pairwise exclusive descriptions of the dynamics of a quantum system. We define branching families of histories, which strike a middle ground between the two available mathematically precise definitions of families of histories, viz., product families and Isham's history projector operator formalism. The former are too narrow for applications, and the latter's generality comes at a certain cost, barring an intuitive reading of the ``histories''. Branching families retain the intuitiveness of produc…
Recent work with Dowker on the scientific status of the consistent histories approach to quantum theory is reviewed and summarised. The approach is compared with formulations of quantum theory, such as Bohmian mechanics and the Copenhagen interpretation a la Landau-Lifshitz, in which classical variables are explicitly appended. I try to explain why the consistent histories formulation is scientifically problematic, in that it is a very weak theory, but also scientifically interesting, shedding new light on quantum theory.
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…
Observer dependence is central to Quantum Mechanics; in particular if we associate consistent sets with observer worldviews we can think of the Consistent Histories (CH) interpretation as a formalisation of observer dependence. However we lack a theory of the observers themselves. In this paper we begin by building such a theory within General Relativity (GR), and find that this framework bears close mathematical resemblance to the treatment of consistent sets in CH. We therefore adapt the CHSH framework to identify the `gap' between the classical and quantum theories. We find that the CHSH ar…
Although quantum computers are predicted to have many commercial applications, less attention has been given to their potential for resolving foundational issues in quantum mechanics. Here we focus on quantum computers' utility for the Consistent Histories formalism, which has previously been employed to study quantum cosmology, quantum paradoxes, and the quantum-to-classical transition. We present a variational hybrid quantum-classical algorithm for finding consistent histories, which should revitalize interest in this formalism by allowing classically impossible calculations to be performed.…
The best developed formulation of closed system quantum theory that handles multiple-time statements, is the consistent (or decoherent) histories approach. The most important weaknesses of the approach is that it gives rise to many different consistent sets, and it has been argued that a complete interpretation should be accompanied with a natural mechanism leading to a (possibly) unique preferred consistent set. The existence of multiple consistent sets becomes more problematic because it allows the existence of contrary inferences (Kent 1997). We analyse the conceptual difficulties that aris…
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…
We present a decomposition of the general quantum mechanical evolution operator, that corresponds to the path decomposition expansion, and interpret its constituents in terms of the quantum Zeno effect (QZE). This decomposition is applied to a finite dimensional example and to the case of a free particle in the real line, where the possibility of boundary conditions more general than those hitherto considered in the literature is shown. We reinterpret the assignment of consistent probabilities to different regions of spacetime in terms of the QZE. The comparison of the approach of consistent h…
A system of quantum reasoning for a closed system is developed by treating non-relativistic quantum mechanics as a stochastic theory. The sample space corresponds to a decomposition, as a sum of orthogonal projectors, of the identity operator on a Hilbert space of histories. Provided a consistency condition is satisfied, the corresponding Boolean algebra of histories, called a {\it framework}, can be assigned probabilities in the usual way, and within a single framework quantum reasoning is identical to ordinary probabilistic reasoning. A refinement rule, which allows a probability distributio…
In the consistent histories formulation of quantum theory it was shown that it is possible to retrodict contrary properties. We show that this problem do not appear in our formalism of generalized contexts for quantum histories.
Interpretational questions that arise in the Consistent Histories formulation of quantum mechanics are illustrated by the familiar example of a beam passing through multiple slits.
The consistent histories formalism is discussed using path-projected states. These are used to analyse various criteria for approximate consistency. The connection between the Dowker-Halliwell criterion and sphere packing problems is shown and used to prove several new bounds on the violation of probability sum rules. The quantum Zeno effect is also analysed within the consistent histories formalism and used to demonstrate some of the difficulties involved in discussing approximate consistency. The complications associated with null histories and infinite sets are briefly discussed.
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.
Traditional interpretations of quantum theory in terms of wave function collapse are particularly unappealing when considering the universe as a whole, where there is no clean separation between classical observer and quantum system and where the description is inherently relativistic. As an alternative, the consistent histories approach provides an attractive "no collapse" interpretation of quantum physics. Consistent histories can also be linked to path-integral formulations that may be readily generalized to the relativistic case. A previous paper described how, in such a relativistic space…
John Wheeler devised a gedanken experiment in which a piece of apparatus can be altered just before the arrival of particle, and this ``delayed choice'' can, seemingly, alter the quantum state of the particle at a much earlier time, long before the choice is made. A slightly different gedanken experiment, which exhibits the same conceptual difficulty, is analyzed using the techniques of consistent history quantum theory. The idea that the future influences the past disappears when proper account is taken of the diversity of possible quantum descriptions of the world, and their mutual compatibi…
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…
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…
A relation is obtained between weak values of quantum observables and the consistency criterion for histories of quantum events. It is shown that ``strange'' weak values for projection operators (such as values less than zero) always correspond to inconsistent families of histories. It is argued that using the ABL rule to obtain probabilities for counterfactual measurements corresponding to those strange weak values gives inconsistent results. This problem is shown to be remedied by using the conditional weight, or pseudo-probability, obtained from the multiple-time application of Luders' Rule…
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…
A distinction is made between two kinds of consistent histories: (1) robust histories consistent by virtue of decoherence, and (2) verifiable histories consistent through the existence of accessible records. It is events in verifiable histories which describe amplified quantum fluctuations. If the consistent-histories formalism is to improve on the Copenhagen interpretation by providing a self-contained quantum representation of the quasi-classical world, the appropriate quantum state must track closely all macroscopic phenomena, and the von Neumann entropy of that quantum state ought to chang…
We show how the quantum-to-classical transition of the cosmological fluctuations produced during an inflationary stage can be described using the consistent histories approach. We identify the corresponding histories in the limit of infinite squeezing. To take the decaying mode into account, we propose an extension to coarse-grained histories.
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…
The decoherence of a two-state tunneling molecule, such as a chiral molecule or ammonia, due to collisions with a buffer gas is analyzed in terms of a succession of quantum states of the molecule satisfying the conditions for a consistent family of histories. With $\hbar ω$ the separation in energy of the levels in the isolated molecule and $γ$ a decoherence rate proportional to the rate of collisions, we find for $γ\gg ω$ (strong decoherence) a consistent family in which the molecule flips randomly back and forth between the left- and right-handed chiral states in a stationary Markov process.…
We describe some properties of consistent sets of histories in the Gell-Mann--Hartle formalism, and give an example to illustrate that one cannot recover the standard predictions, retrodictions and inferences of quasiclassical physics using the criterion of consistency alone.
We discuss the use of histories labelled by a continuous time in the approach to consistent-histories quantum theory in which propositions about the history of the system are represented by projection operators on a Hilbert space. This extends earlier work by two of us \cite{IL95} where we showed how a continuous time parameter leads to a history algebra that is isomorphic to the canonical algebra of a quantum field theory. We describe how the appropriate representation of the history algebra may be chosen by requiring the existence of projection operators that represent propositions about tim…
We critically evaluate the treatment of the notion of measurement in the Consistent Histories approach to quantum mechanics. We find such a treatment unsatisfactory because it relies, often implicitly, on elements external to those provided by the formalism. In particular, we note that, in order for the formalism to be informative when dealing with measurement scenarios, one needs to assume that the appropriate choice of framework is such that apparatuses are always in states of well defined pointer positions after measurements. The problem is that there is nothing in the formalism to justify …
In response to a recent rebuttal of [1] presented in [2], we defend the claim that the Consistent Histories formulation of quantum mechanics does not solve the measurement problem. In order to do so, we argue that satisfactory solutions to the problem must not only not contain anthropomorphic terms (such as measurement or observer) at the fundamental level, but also that applications of the formalism to concrete situations (e.g., measurements) should not require any input not contained in the description of the situation at hand at the fundamental level. Our assertion is that the Consistent Hi…
Classical mechanics and standard Copenhagen quantum mechanics respect subspace implications. For example, if a particle is confined in a particular region $R$ of space, then in these theories we can deduce that it is confined in regions containing $R$. However, subspace implications are generally violated by versions of quantum theory that assign probabilities to histories, such as the consistent histories approach. I define here a new criterion, ordered consistency, which refines the criterion of consistency and has the property that inferences made by ordered consistent sets do not violate s…
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.
Although the notion of superdeterminism can, in principle, account for the violation of the Bell inequalities, this potential explanation has been roundly rejected by the quantum foundations community. The arguments for rejection, one of the most substantive coming from Bell himself, are critically reviewed. In particular, analysis of Bell's argument reveals an implicit unwarranted assumption: that the Euclidean metric is the appropriate yardstick for measuring distances in state space. Bell's argument is largely negated if this yardstick is instead based on the alternative $p$-adic metric. Su…
In a recent paper, arXiv:1604.04596, Griffiths questioned - based on an informative consistent-histories (CH) argument - the counterfactuality, for one of the bit choices, of Salih et al.'s protocol for communicating without sending physical particles, Phys. Rev. Lett. 110, 170502 (2013). Here, we first show that for the Mach-Zehnder version used to explain our protocol, no family of consistent histories exists where any history has the photon travelling through the communication channel, thus rendering the question of whether the photon was in the communication channel meaningless from a CH v…
We review the application of the consistent (or decoherent) histories formulation of quantum theory to canonical loop quantum cosmology. Conventional quantum theory relies crucially on "measurements" to convert unrealized quantum potentialities into physical outcomes that can be assigned probabilities. In the early universe and other physical contexts in which there are no observers or measuring apparatus (or indeed, in any closed quantum system), what criteria determine which alternative outcomes may be realized and what their probabilities are? In the consistent histories formulation it is t…
We illustrate the crucial role played by decoherence (consistency of quantum histories) in extracting consistent quantum probabilities for alternative histories in quantum cosmology. Specifically, within a Wheeler-DeWitt quantization of a flat Friedmann-Robertson-Walker cosmological model sourced with a free massless scalar field, we calculate the probability that the univese is singular in the sense that it assumes zero volume. Classical solutions of this model are a disjoint set of expanding and contracting singular branches. A naive assessment of the behavior of quantum states which are sup…
Quantum measure theory can be introduced as a histories based reformulation (and generalisation) of Copenhagen quantum mechanics in the image of classical stochastic theories. These classical models lend themselves to a simple interpretation in which a single history (a single element of the sample space) is deemed to be 'real'; we require only that this real history should not be ruled out by the dynamics, the axioms of which ensure that not all histories are precluded. However, applying this interpretation naively to quantum measure theory we can find experimentally realisable systems (notab…
The decoherent (consistent) histories formalism has been proposed as a means of eliminating measurements as a fundamental concept in quantum mechanics. In this formalism, probabilities can be assigned to any description which satisfies a particular consistency condition. The formalism, however, admits incompatible descriptions which cannot be combined, unlike classical physics. This seems to leave an ambiguity in the choice of the description. I argue that this ambiguity is removed by considering the observer as a physical system.
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 …
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…
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 Consistent Histories (CH) formalism aims at a quantum mechanical framework which could be applied even to the universe as a whole. CH stresses the importance of histories for quantum mechanics, as opposed to measurements, and maintains that a satisfactory formulation of quantum mechanics allows one to assign probabilities to alternative histories of a quantum system. It further proposes that each realm, that is, each set of histories to which probabilities can be assigned, provides a valid quantum-mechanical account, but that different realms can be mutually incompatible. Finally, some of …
The consistent histories approach to quantum mechanics is traditionally based on linearly ordered sequences of events. We extend the histories formalism to sets of events whose causal ordering is described by directed acyclic graphs. The need for a global time is eliminated and our construction reflects the causal structure faithfully.
This dissertation investigates questions arising in the consistent histories formulation of the quantum mechanics of closed systems. Various criteria for approximate consistency are analysed. The connection between the Dowker-Halliwell criterion and sphere packing problems is shown and used to prove several new bounds on the violation of probability sum rules. The quantum Zeno effect is also analysed within the consistent histories formalism and used to demonstrate some of the difficulties involved in discussing approximate consistency. The complications associated with null histories and infi…
We review the consistent histories formulations of quantum mechanics developed by Griffiths, Omnès and Gell-Mann and Hartle, and describe the classification of consistent sets. We illustrate some general features of consistent sets by a few simple lemmas and examples. We consider various interpretations of the formalism, and examine the new problems which arise in reconstructing the past and predicting the future. It is shown that Omnès' characterisation of true statements --- statements which can be deduced unconditionally in his interpretation --- is incorrect. We examine critically Gell-Man…
We present a formulation of the decoherent (or consistent) histories quantum theory of closed systems starting with records of what histories happen. Alternative routes to a formulation of quantum theory like this one can be useful both for understanding quantum mechanics and for generalizing and extending it to new realms of application and experimental test.
It was pointed out recently [A. Kent, Phys. Rev. Lett. 78 (1997) 2874] that the consistent histories approach allows contrary inferences to be made from the same data. These inferences correspond to projections $P$ and $Q$, belonging to different consistent sets, with the properties that $PQ = QP = 0$ and $P \neq 1 -Q$. To many, this seems undesirable in a theory of physical inferences. It also raises a specific problem for the consistent histories formalism, since that formalism is set up so as to eliminate contradictory inferences, i.e. inferences $P$ and $Q$ where $P = 1 - Q$. Yet there see…
This paper describes an algorithm for selecting a consistent set within the consistent histories approach to quantum mechanics and investigates its properties. The algorithm uses a maximum information principle to select from among the consistent sets formed by projections defined by the Schmidt decomposition. The algorithm unconditionally predicts the possible events in closed quantum systems and ascribes probabilities to these events. A simple spin model is described and a complete classification of all exactly consistent sets of histories formed from Schmidt projections in the model is prov…
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'.
The theme of this paper is the multiplicity of the consistent sets appearing in the consistent histories approach to quantum mechanics. We propose one criterion for choosing preferred families among them: that the physically realizable quasiclassical domain ought to be one corresponding to classical histories. We examine the way classical mechanics arises as a particular window and the important role played by the canonical group and the Hamiltonian. We finally discuss possible implications of our having a selection criterion generally and of our criterion in particular.
A fundamental issue for any quantum cosmological theory is to specify how probabilities can be assigned to various quantum events or sequences of events such as the occurrence of singularities or bounces. In previous work, we have demonstrated how this issue can be successfully addressed within the consistent histories approach to quantum theory for Wheeler-DeWitt-quantized cosmological models. In this work, we generalize that analysis to the exactly solvable loop quantization of a spatially flat, homogeneous and isotropic cosmology sourced with a massless, minimally coupled scalar field known…
The basic ingredients of the consistent histories approach to quantum mechanics are the space of histories and the space of decoherence functionals. In this work we extend the classification theorem for decoherence functionals proven by Isham, Linden and Schreckenberg to the case where the space of histories is the lattice of projection operators on an arbitrary separable or non-separable complex Hilbert space of dimension strictly greater than two.
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…
We investigate the idea that different interpretations of quantum mechanics can be seen as restrictions of the consistent (or decoherent) histories quantum mechanics of closed systems to particular classes of histories,together with the approximations and descriptions of these histories that the restrictions permit. (Talk at the the workshop Quo Vadis Quantum Mechanics, Center for Frontier Sciences, Temple University, Philadelphia, PA, September 24--27, 2002.)
