Akira Inomata, Georg Junker
A history of Feynman's sum over histories is presented in brief. A focus is placed on the progress of path-integration techniques for exactly path-integrable problems in quantum mechanics.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
Feynman's sum-over-histories formulation of quantum mechanics has been considered a useful calculational tool in which virtual Feynman histories entering into a coherent quantum superposition cannot be individually measured. Here we show that sequential weak values, inferred by consecutive weak measurements of projectors, allow direct experimental probing of individual virtual Feynman histories thereby revealing the exact nature of quantum interference of coherently superposed histories. Because the total sum of sequential weak values of multi-time projection operators for a complete set of or…
We show the equivalence of the functions $G_{\rm p}(t)$ and $|Ψ(d,t)|^2$ for the ``passage time'' in tunneling. The former, obtained within the framework of the real time Feynman histories approach to the tunneling time problem, using the Gell-Mann and Hartle's decoherence functional, and the latter involving an exact analytical solution to the time-dependent Schrödinger equation for cutoff initial waves.
Decoherent histories quantum theory is reformulated with the assumption that there is one "real" fine-grained history, specified in a preferred complete set of sum-over-histories variables. This real history is described by embedding it in an ensemble of comparable imagined fine-grained histories, not unlike the familiar ensemble of statistical mechanics. These histories are assigned extended probabilities, which can sometimes be negative or greater than one. As we will show, this construction implies that the real history is not completely accessible to experimental or other observational dis…
A formalism is proposed to describe entangled quantum histories, and their entanglement entropy. We define a history vector, living in a tensor space with basis elements corresponding to the allowed histories, i.e. histories with nonvanishing amplitudes. The amplitudes are the components of the history vector, and contain the dynamical information. Probabilities of measurement sequences, and resulting collapse, are given by generalized Born rules: they are all expressed by means of projections and scalar products involving the history vector. Entangled history states are introduced, and a hist…
In this paper we elaborate on the structure of the continuous-time histories description of quantum theory, which stems from the consistent histories scheme. In particular, we examine the construction of history Hilbert space, the identification of history observables and the form of the decoherence functional (the object that contains the probability information). It is shown how the latter is equivalent to the closed-time-path (CTP) generating functional. We also study the phase space structure of the theory first through the construction of general representations of the history group (the …
Using the Gell-Mann-Hartle-Griffiths formalism in the framework of the Flesia-Piron form of the Lax-Phillips theory we show that the Schröedinger equation may be derived as a condition of stability of histories. This mechanism is realized in a mathematical structure closely related to the Zeno effect.
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 decoheren…
We introduce quantum history states and their mathematical framework, thereby reinterpreting and extending the consistent histories approach to quantum theory. Through thought experiments, we demonstrate that our formalism allows us to analyze a quantum version of history in which we reconstruct the past by observations. In particular, we can pass from measurements to inferences about "what happened" in a way that is sensible and free of paradox. Our framework allows for a richer understanding of the temporal structure of quantum theory, and we construct history states that embody peculiar, no…
The operation of a quantum computer is considered as a general quantum operation on a mixed state on many qubits followed by a measurement. The general quantum operation is further represented as a Feynman-Vernon double path integral over the histories of the qubits and of an environment, and afterward tracing out the environment. The qubit histories are taken to be paths on the two-sphere $S^2$ as in Klauder's coherent-state path integralof spin, and the environment is assumed to consist of harmonic oscillators initially in thermal equilibrium, and linearly coupled to to qubit operators $\hat…
Quantum entanglement is a key resource, which grants quantum systems the ability to accomplish tasks that are classically impossible. Here, we apply Feynman's sum-over-histories formalism to interacting bipartite quantum systems and introduce entanglement measures for bipartite quantum histories. Based on the Schmidt decomposition of the matrix comprised of the Feynman propagator complex coefficients, we prove that bipartite quantum histories are entangled if and only if the Schmidt rank of this matrix is larger than 1. The proposed approach highlights the utility of using a separable basis fo…
Space and time correlations in quantum histories
本文基于广义量子历史形式体系对称处理时空关联，提出将历史态映射为静态复合系统ket的操作协议，并示例证明该方法可违背Leggett-Garg与时间CHSH不等式。
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'.
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 propose and demonstrate experimentally a scheme to create entangled history states of the Greenberger-Horne-Zeilinger (GHZ) type. In our experiment, the polarization states of a single photon at three different times are prepared as a GHZ entangled history state. We define a GHZ functional which attains a maximum value $1$ on the ideal GHZ entangled history state and is bounded above by $1/16$ for any three-time history state lacking tripartite entanglement. We have measured the GHZ functional on a state we have prepared experimentally, yielding a value of $0.656\pm 0.005$, clearly demonstr…
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…
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…
A Lagrangian path integral approach to the qubit
该研究基于广群概念推广施温格量子力学图像，提出量子比特的拉格朗日路径积分方法，给出历史求和计算方式，揭示传播子幺正性带来的拉格朗日量量子化条件及特例。
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 …
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 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 …
From data in the present we can predict the future and retrodict the past. These predictions and retrodictions are for histories -- most simply time sequences of events. Quantum mechanics gives probabilities for individual histories in a decoherent set of alternative histories. This paper discusses several issues connected with the distinction between prediction and retrodiction in quantum cosmology: the difference between classical and quantum retrodiction, the permanence of the past, why we predict the future but remember the past, the nature and utility of reconstructing the past(s), and in…
Certifying Nonclassical Proper-Time Histories with a Quantum Clock
提出通道认证框架，通过Choi秩分离判据和双支Ramsey协议，证明量子钟可认证超出经典混合的固有时历史。
Based on the framework of consistent history theory, the quantum entangled history was proposed in 2015 and experimentally verified through temporal Greenberger-Horne-Zeilinger (GHZ) test with $3$ time nodes in 2016. In this paper, we extend the temporal GHZ test to arbitrary time nodes and even system dimensions. Then, we define a witness to distinguish between the quantum entangled histories and the classical histories. The minimums of the witness for the classical histories are calculated for arbitrary number of time nodes and the system dimensions $2$ and $\infty$. It is found that the min…
We describe a procedure to create entangled history states and measurements that would enable one to check for temporal entanglement. The checks take the form of inequalities among observable quantities. They are similar in spirit, but different in detail, to Bell tests for ordinary entanglement.
These lecture notes cover the important developments in histories approach to quantum mechanics with overall content and emphasis somewhat different from other reviews and books on the subject.The idea of Houtappel, Van Dam and Wigner of employing objects based on primitive concepts of physical theories is discussed in some detail and the fact that histories are such objects is emphasized. Application of histories formalism to the problem of understanding the quasiclassical domain is treated in some detail. Other topics discussed include generalized histories-based quantum mechanics and its ap…
Finite Quantum Histories: Holonomy Spectra, Minimal Clocks, and Exact Clock-Change Covariance
该研究求解含时幺正步的循环有限维量子历史，推导其和乐谱等闭式结果，定义锐有限时钟的预测商，给出有限误差定理，分类时钟变换并验证核心结论。
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…
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…
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.…
We demonstrate that temporal observables, which are sensitive to a system's history (as opposed to its state), implicate entangled histories. We exemplify protocols for measuring such observables, and algorithms for predicting the (stochastic) outcomes of such measurements. Temporal observables allow us to define, and potentially to measure, precise mathematical consequences of intrinsically disjoint, yet mutually accessible, branches within the evolution of a pure quantum state.
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.
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 …
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…
The Feynman path integral does not allow a "one real path" interpretation, because amplitudes contribute to probabilities in a non-separable manner. The opposite extreme, "all paths happen", is not a useful or informative account. In this paper it is shown that an intermediate parsing of the path integral, into realistic non-interfering possibilities, is always available. Each realistic possibility formally corresponds to numerous particle paths, but is arguably best interpreted as a spacetime-valued field. Notably, one actual field history can always be said to occur, although it will general…
In this paper, I consider the issue of how two mathematical models of modern physics, the variational principles and the quantum path integral formalism, relate to reality. I assume that the observed phenomena are consistent with the calculations because both of these models have some common ontological foundations. According to the hypothesis of the summation of coexisting alternative possibilities, at the quantum level, the system at once moves along all histories that possible in given boundary conditions. The actual history is a mere result of the summation of all these alternative possibl…
This paper is a comparison of two theories of the probability of a history in quantum mechanics. One is derived from Copenhagen quantum mechanics using the projection postulate and is the basis of the "consistent histories" interpretation; the other is based on a proposal by Bell, originally for the "pilot state" theory but here applied to pure unitary quantum mechanics. The first can be used for a wider class of histories but depends on the projection postulate, or "collapse", which is widely held to be an unsatisfactory feature of the theory; the second can be used in a theory of the univers…
There are good motivations for considering some type of quantum histories formalism. Several possible formalisms are known, defined by different definitions of event and by different selection criteria for sets of histories. These formalisms have a natural interpretation, according to which nature somehow chooses one set of histories from among those allowed, and then randomly chooses to realise one history from that set; other interpretations are possible, but their scientific implications are essentially the same. The selection criteria proposed to date are reasonably natural, and certainly …
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…
A Short History of Rocks: or, How to Invent Quantum Computing
本文回顾数字逻辑与量子计算的发展史，设想 von Neumann 在 1946 年通过量子化布尔代数算子而非状态，提出了一种更简单灵活的量子电路演算方法。
We outline the Minimalistic Measurement Scheme (MMS) compatible with regular unitary evolution of a closed quantum system. Within this approach, a part of the system becomes informationally isolated (restricted) which leads to a natural emergence of the classical domain. This measurement scenario is a simpler alternative to environment-induced decoherence. In its basic version, MMS involves two ancilla qubits, $A$ and $X$, entangled with each other and with the System $S$. Informational or thermodynamic cost of measurement is represented by $X$-qubit being isolated, i.e. becoming unavailable f…
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…
Quantum history states were recently formulated by extending the consistent histories approach of Griffiths to the entangled superposition of evolution paths and were then experimented with Greenberger--Horne--Zeilinger states. Tensor product structure of history-dependent correlations was also recently exploited as a quantum computing resource in simple linear optical setups performing multiplane diffraction (MPD) of fermionic and bosonic particles with remarkable promises. This significantly motivates the definition of quantum histories of MPD as entanglement resources with the inherent capa…
We propose a general theoretical approach to quantum measurements based on the path (histories) summation technique. For a given dynamical variable A, the Schrödinger state of a system in a Hilbert space of arbitrary dimensionality is decomposed into a set of substates, each of which corresponds to a particular detailed history of the system. The coherence between the substates may then be destroyed by meter(s) to a degree determined by the nature and the accuracy of the measurement(s) which may be of von Neumann, finite-time or continuous type. Transformations between the histories obtained f…
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…
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…
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…
We illustrate two simple spin examples which show that in the consistent histories approach to quantum mechanics one can retrodict with certainty incompatible or contradictory propositions corresponding to non-orthogonal or, respectively, orthogonal projections. V.2 vs. V1: The example previously quoted as "d'Espagnat's example" is now properly quoted as "Griffiths' example". A reference to a previous work by Aharonov and Vaidman is added.
Entanglement of temporal sections as quantum histories and their quantum correlation bounds
该研究聚焦时间关联的量子结构，通过基于时间流形的量子历史丛分析类时间Bell不等式的违反根源，定义量子历史混合及其作为希尔伯特向量丛截面的纠缠，推导得到多时间类Bell不等式的量子界。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。