Consistent histories and operational quantum theory

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 consistent histories theory using the concepts and the terminology which have proven useful in the operational formulation of quantum mechanics. The logical rule of the logical interpretation of quantum mechanics is generalized to the present context. The algebraic structure of the generalized theory is studied in detail.     

A Bayesian account of quantum histories

We investigate whether quantum history theories can be consistent with Bayesian reasoning and whether such an analysis helps clarify the interpretation of such theories. First, we summarise and extend recent work categorising two different approaches to formalising multi-time measurements in quantum theory. The standard approach consists of describing an ordered series of measurements in terms of history propositions with non-additive ‘probabilities.’ The non-standard approach consists of defining multi-time measurements to consist of sets of exclusive and exhaustive history propositions and recovering the single-time exclusivity of results when discussing single-time history propositions. We analyse whether such history propositions can be consistent with Bayes’ rule. We show that certain class of histories are given a natural Bayesian interpretation, namely, the linearly positive histories originally introduced by Goldstein and Page. Thus, we argue that this gives a certain amount of interpretational clarity to the non-standard approach. We also attempt a justification of our analysis using Cox’s axioms of probability theory.     

Quantum histories without contrary inferences

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.     

On the consistent histories approach to quantum mechanics

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' characterization of true statements—statements which can be deduced unconditionally in his interpretation—is incorrect. We examine critically Gell-Mann and Hartle's interpretation of the formalism, and in particular their discussions of communication, prediction, and retrodiction, and conclude that their explanation of the apparent persistence of quasiclassicality relies on assumptions about an as-yetunknown theory of experience. Our overall conclusion is that the consistent histories approach illustrates the need to supplement quantum mechanics by some selection principle in order to produce a fundamental theory capable of unconditional predictions.     

Primordial fluctuations from inflation: a consistent histories approach

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.     

Topos theory and consistent histories: The internal logic of the set of all consistent sets

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 the alternative approach is considered 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 spaceB of all nontrivial Boolean subalgebras of the orthoalgebraUP of history propositions. This approach automatically includes the feature whereby probabilistic predictions are meaningful only in the context of a consistent set of history propositions. More strikingly, it leads to a picture in which the ‘truth values’ or ‘semantic values’ of such contextual predictions are not just two-valued (i.e., true and false) but instead lie in a larger logical algebra—a Heyting algebra—whose structure is determined by the spaceB of Boolean subalgebras ofUP. This topos-theoretic structure thereby gives a coherent mathematical framework in which to understand the internal logic of the many-world-views picture that arises naturally in the approach to quantum theory based on the ideas of consistent histories.     

Quantum mechanical Hamiltonian models of discrete processes that erase their own histories: Application to Turing machines

Work done before on the construction of quantum mechanical Hamiltonian models of Turing machines and general discrete processes is extended here to include processes which erase their own histories. The models consist of three phases: the forward process phase in which a mapT is iterated and a history of iterations is generated, a copy phase, which is activated if and only ifT reaches a fix point, and an erase phase, which erases the iteration history, undoes the iterations ofT, and recovers the initial state except for the copy system. A ballast system is used to stop the evolution at the desired state. The general model so constructed is applied to Turing machines. The main changes are that the system undergoing the evolution corresponding toT iterations becomes three systems corresponding to the internal machine, the computation tape, and computation head. Also the copy phase becomes more complex since it is desired that this correspond also to a copying Turing machine.     

A PC compatible Brazilian software for obtaining thermal histories using apatite fission track analysis

In this work a software developed in the Instituto de Física Gleb Wataghin, IFGW, UNICAMP, Campinas, SP, Brazil for obtaining thermal histories using apatite fission track analysis is presented. This software works in Microsoft-Windows environment. It will be freely disposable in the web site of the Departamento de Raios Cósmicos, IFGW, UNICAMP. Thermal histories obtained through this software are compared with those deduced using Monte Trax the software compatible with Apple Macintosh developed by Gallagher.     

Quantum arrival time formula from decoherent histories

We use the decoherent histories approach to quantum mechanics to compute the probability for a wave packet to cross the origin during a given time interval. We define class operators (sums of strings of projectors) characterizing quantum-mechanical crossing and simplify them using a semiclassical approximation. Using these class operators we find that histories crossing the origin during different time intervals are approximately decoherent for a variety of initial states. Probabilities may therefore be assigned and coincide with the flux of the wave packet (the standard semiclassical formula), and are positive. The known initial states for which the flux is negative (backflow states) are shown to correspond to non-decoherent sets of histories, so probabilities may not be assigned.     

Hidden variable models for quantum theory cannot have any local part

It was shown by Bell that no local hidden variable model is compatible with quantum mechanics. If, instead, one permits the hidden variables to be entirely nonlocal, then any quantum mechanical predictions can be recovered. In this Letter, we consider general hidden variable models which can have both local and nonlocal parts. We show the existence of (experimentally verifiable) quantum correlations that are incompatible with any hidden variable model having a nontrivial local part, such as the model proposed by Leggett.     

Speech perception in children with histories of recurrent otitis media

The present study investigated the ability of 5-year-old children to perceive differences in voice onset time (VOT) in naturally produced speech. Three groups of children whose hearing was within normal limits at the time of the experiment were tested on identification and discrimination tasks: (1) group C, in which the children had normal language abilities and no history of severe, recurrent otitis media (OM), (2) group OM, in which the children had histories of severe, recurrent OM but normal language abilities, and (3) group OM/DL, in which the children had histories of severe OM and delays in the acquisition of linguistic competence. Compared to group C, group OM/DL showed marked differences in their ability to identify and discriminate speech patterns. Their perception was less categorical, as well, in that there was less of a peak in the discrimination function at the region of the phoneme boundary. The performance of group OM fell between the other two groups, with deficits being more pronounced in the discrimination task than in the identification task. The results supported the idea that episodes of OM can produce periods of sensory deprivation that alter perceptual abilities. The relation of a history of OM to later language and academic difficulties was also considered.     

Probability sum rules and consistent quantum histories

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 linearly positive probability formula from weak to minimal decoherence gives probabilities that are different from those calculated in the usual way using the Born and von Neumann rules and a projection operator at each time.     

Consistent Quantum Realism: A Reply to Bassi and Ghirardi

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.     

The consistency of consistent histories: A reply to d'Espagnat

This article is a response to various assertions made by B. d'Espagnat about the consistent history approach to quantum mechanics. It is argued that the consistent history interpretation allows for counterfactual definitions, does not imply that the future influences the past, is realistic according to d'Espagnat's own definition of that term, and provides a consistent substitute for classical logic in the quantum domain.     

Homogeneous Decoherence Functionals¶in Standard and History Quantum Mechanics

General history quantum theories are quantum theories without a globally defined notion of time. Decoherence functionals represent the states in the history approach and are defined as certain bivariate complex-valued functionals on the space of all histories. However, in practical situations – for instance in the history formulation of standard quantum mechanics – there often is a global time direction and the homogeneous decoherence functionals are specified by their values on the subspace of homogeneous histories. In this work we study the analytic properties of (i) the standard decoherence functional in the history version of standard quantum mechanics and (ii) homogeneous decoherence functionals in general history theories. We restrict ourselves to the situation where the space of histories is given by the lattice of projections on some Hilbert space ℋ. Among other things we prove the non-existence of a finitely valued extension for the standard decoherence functional to the space of all histories, derive a representation for the standard decoherence functional as an unbounded quadratic form with a natural representation on a Hilbert space and prove the existence of an Isham–Linden–Schreckenberg (ILS) type representation for the standard decoherence functional. Received: 26 November 1998 / Accepted: 2 December 1998     

The Representation Theory of Decoherence Functionals in History Quantum Theories

In the first part of this paper the general perspective of history quantum theoriesis reviewed. History quantum theories provide a conceptual and mathematicalframework for formulating quantum theories without a globally definedHamiltonian time evolution and for introducing the concept of space-time eventinto quantum theory. On a mathematical level a history quantum theory ischaracterized by the space of histories, which represent the space-time events, andby the space of decoherence functionals, which represent the quantum mechanicalstates in the history approach. The second part of this paper is devoted to thestudy of the structure of the space of decoherence functionals for some physicallyreasonable spaces of histories in some detail. The temporal reformulation ofstandard Hamiltonian quantum theories suggests to consider the case that thespace of histories is given by (i) the lattice of projection operators on someHilbert space or, slightly more generally, (ii) the set of projection operators insome von Neumann algebra. In the case (i) the conditions are identified underwhich decoherence functionals can be represented by, respectively, trace classoperators, bounded operators, or families of trace class operators on the tensorproduct of the underlying Hilbert space by itself. Moreover, we discuss thenaturally arising representations of decoherence functionals as sesquilinear forms.The paper ends with a discussion of the consequences of the results for thegeneral axiomatic framework of history theories.