J. Finkelstein
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
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…
D. Wallace has tried to use decoherence to solve the preferred basis problem of Everettian Quantum Mechanics, and this solution lays the foundation for his proof of the Born rule. But this is a circular argument, as approximations used in decoherence usually rely on the probabilistic interpretation of the Hilbert space norm. He claims the norm can measure approximations even without probabilities, but this assumption has not been properly justified. Without it, the combination of the Everettian and decoherent histories formalisms leads to strange consequences, such as a proliferation of small …
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…
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…
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 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 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…
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.
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.
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 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.
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 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.
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…
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.
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…
The predictions of the Bohmian and the decoherent (or consistent) histories formulations of the quantum mechanics of a closed system are compared for histories -- sequences of alternatives at a series of times. For certain kinds of histories, Bohmian mechanics and decoherent histories may both be formulated in the same mathematical framework within which they can be compared. In that framework, Bohmian mechanics and decoherent histories represent a given history by different operators. Their predictions for the probabilities of histories therefore generally differ. However, in an idealized mod…
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…
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 …
Contrary Inferences for Classical Histories within the Consistent Histories Formulation of Quantum Theory
本文通过分析无限方井中球的到达时间问题，展示在一致历史框架下，不同一致集合导致矛盾推断，揭示准经典极限中上下文性悖论的持续存在。
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…
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 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 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…
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.
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.
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.
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.
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.
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…
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 …
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…
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…
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…
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…
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…
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.
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…
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.)
In this article we reconstruct the Frauchiger and Renner argument, taking into account that the assertions of the argument are made at different times. To do this, we use a formalism of quantum histories, namely the Theory of Consistent Histories. We show that the supposedly contradictory conclusion of the argument requires computing probabilities in a family of histories that does not satisfy the consistency condition, i.e., an invalid family of histories for the theory.
In the decoherent histories approach to quantum theory, attention focuses on the conditions under which probabilities may be assigned to sets of quantum histories. A variety of conditions have been proposed, but the most important one is decoherence, which means that the interference between every pair of histories in the set is zero. Weaker conditions have been considered, such as consistency, or linear positivity, but these are ruled out by the requirement of consistent composition of subsystems, proposed by Diosi. Here we propose a new condition which we call partial decoherence, and is the…
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.…
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 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 elaborate on the distinction between geometric and dynamical phase in quantum theory and show that the former is intrinsically linked to the quantum mechanical probabilistic structure. In particular, we examine the appearance of the Berry phase in the consistent histories scheme and establish that it is the basic building block of the decoherence functional. These results are consequences of the novel temporal structure of histories-based theories.
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 r…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。