We consider a number of proposals for the entropy of sets of classical coarse-grained histories based on the procedures of Jaynes, and prove a series of inequalities relating these measures. We then examine these as a function of the coarse-graining for various classical systems, and show explicitly that the entropy is minimized by the finest-grained description of a set of histories. We propose an extension of the second law of thermodynamics to the entropy of histories. We briefly discuss the implications for decoherent or consistent history formulations of quantum mechanics.
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 use the decoherent histories approach to quantum theory to derive the form of an effective theory describing the coupling of classical and quantum variables. The derivation is carried out for a system consisting of a large particle coupled to a small particle with the important additional feature that the large particle is also coupled to a thermal environment producing the decoherence necessary for classicality. The effective theory is obtained by tracing out both the environment and the small particle variables. It consists of a formula for the probabilities of a set of histories of the l…
The theory of decoherent histories is an attempt to derive classical physics from positing only quantum laws at the fundamental level without notions of a classical apparatus or collapse of the wave-function. Searching for a marked target in a list of N items requires Ω(N) oracle queries when using a classical computer, while a quantum computer can accomplish the same task in O{\sqrt{N}} queries using Grover's quantum algorithm. We study a closed quantum system executing Grover algorithm in the framework of decoherent histories and find it to be an exactly solvable model, thus yielding an alte…
Within the decoherent histories formulation of quantum mechanics, we investigate necessary conditions for decoherence of arbitrarily long histories. We prove that fine-grained histories of arbitrary length decohere for all classical initial states if and only if the unitary evolution preserves classicality of states (using a natural formal definition of classicality). We give a counterexample showing that this equivalence does not hold for coarse-grained histories.
An idealized experiment estimating the spacetime topology is considered in both classical and quantum frameworks. The latter is described in terms of histories approach to quantum theory. A procedure creating combinatorial models of topology is suggested. The correspondence between these models and discretized spacetime models is established.
We consider the decoherence of phase space histories in a class of quantum Brownian motion models, consisting of a particle moving in a potential $V(x)$ in interaction with a heat bath at temperature $T$ and dissipation gamma, in the Markovian regime. The evolution of the density operator for this open system is thus described by a non-unitary master equation. The phase space histories of the system are described by a class of quasiprojectors. Generalizing earlier results of Hagedorn and Omnès, we show that a phase space projector onto a phase space cell $Γ$ is approximately evolved under the …
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…
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…
Using the Gell-Mann and Hartle formalism of generalized quantum mechanics of closed systems, we study the classical limit of coarse-grained spacetime histories and their decoherence. The system under consideration is one-dimensional and consists of a particle coupled to a von Neumann apparatus that performs a measurement of the position of the particle during the finite time interval during which the histories of this system take place. We consider two cases: a free particle and a harmonic oscillator. The real line is divided into intervals of the same length, and coarse-grained histories are …
We consider two technical developments of the formalism of continuous-time histories. First, we provide an explicit description of histories of the simple harmonic oscillator on the classical histories phase space, comparing and contrasting the Q, P and Wigner representations; we conclude that a representation based on coherent states is the most appropriate. Second, we demonstrate a generic method for implementing a perturbative approach for interacting theories in the histories formalism, using the quartic anharmonic oscillator. We make use of the identification of the closed-time path (CTP)…
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.…
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 …
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…
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…
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.
This paper discusses the relation between the decoherent histories approach to quantum mechanics that is based on coarse-grained decoherent histories of a closed system, and the approximate quantum mechanics of measured subsystems, as in the Copenhagen interpretation. We show how the a classical world used in such formulations is not to something to be postulated but rather explained by suitable sets of alternative histories of quasiclassical variables. We discuss the general definition of measurement, the collapse of the wave function, and irreversibility from the perspective of decoherent hi…
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…
An idealised experiment estimating the spacetime topology is considered in both classical and quantum frameworks. The latter is described in terms of histories approach to quantum theory. A procedure creating combinatorial models of topology is suggested. The correspondence between these models and discretised spacetime models is established.
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.
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…
For a wide set of quantum systems it is demonstrated that the quantum regime can be considered as the transient phase while the final classical statistical regime is a permanent state. A basis where exact matrix decoherence appears for these final states is found. The relation with the decoherence of histories formalism is studied. A set of final intrinsically consistent histories is found.
In investigations of the emergence of classicality from quantum theory, a useful step is the construction of quantum operators corresponding to the classical notion that the system resides in a region of phase space. The simplest such constructions, using coherent states, yield operators which are approximate projection operators -- their eigenvalues are approximately equal to 1 or 0. Such projections may be shown to have close to classical behaviour under time evolution and these results have been used to prove some useful results about emergent classicality in the decoherent histories approa…
The structure of Collapse Models is investigated in the framework of Quantum Measure Theory, a histories-based approach to quantum mechanics. The underlying structure of coupled classical and quantum systems is elucidated in this approach which puts both systems on a spacetime footing. The nature of the coupling is exposed: the classical histories have no dynamics of their own but are simply tied, more or less closely, to the quantum histories.
A central topic in the emerging field of quantum thermodynamics is the definition of thermodynamic work in the quantum regime. One widely used solution is to define work for a closed system undergoing non-equilibrium dynamics according to the two-point energy measurement scheme. However, due to the invasive nature of measurement the two-point quantum work probability distribution leads to inconsistencies with two pillars of thermodynamics: it breaks the first law and the time-reversal symmetry expected for closed dynamics. We here introduce the quantum histories framework as a method to charac…
Closed quantum systems obey the Schroedinger equation whereas nonequilibrium behavior of many of systems is routinely described in terms of classical, Markovian stochastic processes. Evidently, there are fundamental differences between those two types of behavior. We discuss the conditions under which the unitary dynamics may be mapped onto pertinent classical stochastic processes. This is first principally addressed based on the notions of "consistency" and "Markovianity." Numerical data are presented that show that the above conditions are to good approximation fulfilled for Heisenberg-type …
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…
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…
We show that the coarse-grained quantum baker's map exhibits a linear entropy increase at an asymptotic rate given by the Kolmogorov-Sinai entropy of the classical chaotic baker's map. The starting point of our analysis is a symbolic representation of the map on a string of $N$ qubits, i.e., an $N$-bit register of a quantum computer. To coarse-grain the quantum evolution, we make use of the decoherent histories formalism. As a byproduct, we show that the condition of medium decoherence holds asymptotically for the coarse-grained quantum baker's map.
The origin of classical predictability is investigated for the one dimensional harmonic chain considered as a closed quantum mechanical system. By comparing the properties of a family of coarse-grained descriptions of the chain, we conclude that local coarse-grainings in this family are more useful for prediction than nonlocal ones. A quantum mechanical system exhibits classical behavior when the probability is high for histories having the correlations in time implied by classical deterministic laws. But approximate classical determinism holds only for certain coarse-grainings and then only i…
For a system consisting of a large collection of particles, a set of variables that will generally become effectively classical are the local densities (number, momentum, energy). That is, in the context of the decoherent histories approach to quantum theory, it is expected that histories of these variables will be approximately decoherent, and that their probabilites will be strongly peaked about hydrodynamic equations. This possibility is explored for the case of the diffusion of the number density of a dilute concentration of foreign particles in a fluid. This system has the appealing featu…
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…
In this paper we present a first-principles analysis of the nonequilibrium work distribution and the free energy difference of a quantum system interacting with a general environment (with arbitrary spectral density and for all temperatures) based on a well-understood micro-physics (quantum Brownian motion) model under the conditions stipulated by the Jarzynski equality [C. Jarzynski, Phys. Rev. Lett. 78, 2690 (1997)] and Crooks' fluctuation theorem [G. E. Crooks, Phys. Rev. E 60, 2721 (1999)] (in short FTs). We use the decoherent history conceptual framework to explain how the notion of traje…
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…
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 investigate how classical predictability of the coarse-grained evolution of the quantum baker's map depends on the character of the coarse-graining. Our analysis extends earlier work by Brun and Hartle [Phys. Rev. D 60, 123503 (1999)] to the case of a chaotic map. To quantify predictability, we compare the rate of entropy increase for a family of coarse-grainings in the decoherent histories formalism. We find that the rate of entropy increase is dominated by the number of scales characterising the coarse-graining.
A classical upper bound for quantum entropy is identified and illustrated, $0\leq S_q \leq \ln (e σ^2 / 2\hbar)$, involving the variance $σ^2$ in phase space of the classical limit distribution of a given system. A fortiori, this further bounds the corresponding information-theoretical generalizations of the quantum entropy proposed by Renyi.
We analyze the connections between entanglement dynamics and classical trajectories in a semiclassi-cal regime for two systems: A pair of coupled oscillators and the Jaynes-Cummings model. We find that entanglement production depends on classical invariant tori and such phenomenon is closely related to the power spectra of classical trajectories. Classical power spectrum with a larger number of frequency com-ponents corresponds to larger entanglement. We introduce a frequency entropy to describe the classical frequency distribution, and find that there is good correspondence between the classi…
An orthodox formulation of quantum mechanics relies on a set of postulates in Hilbert space supplemented with rules to connect it with classical mechanics such as quantisation techniques, correspondence principle, etc. Here we deduce a qubit and its dynamics straightforwardly from a discrete deterministic dynamics and conservation of the classical collision entropy. No Hilbert space is required although it can be inferred from this approach if necessary.
In this paper, we report an experiment about the device-independent tests of classical and quantum entropy based on a recent proposal [Phys. Rev. Lett. 115, 110501 (2015)], in which the states are encoded on the polarization of a biphoton system and measured by the state tomography technology. We also theoretically obtained the minimal quantum entropy for three widely used linear dimension witnesses. The experimental results agree well with the theoretical analysis, demonstrating that lower entropy is needed in quantum systems than that in classical systems under given values of the dimension …
The thermodynamical entropy of a system which consists of different kinds of ideal gases is known to be defined successfully in the case when the differences are described by classical or quantum theory. Since these theories are special examples in the framework of generalized probabilistic theories (GPTs), it is natural to generalize the notion of thermodynamical entropy to systems where the internal degrees of particles are described by other possible theories. In this paper, we consider thermodynamical entropy of mixing in a specific series of theories of GPTs called the regular polygon the…
It is shown that the interactive error correction protocol `CASCADE' should be analyzed taking the correlation between passes and finite length of sequence into account. Furthermore we mention some problems in quantifying the reduction of Renyi entropy by information announced during the error correction process.
The entropy production rate for an open quantum system with a classically chaotic limit has been previously argued to be independent of $\hbar$ and $D$, the parameter denoting coupling to the environment, and to be equal to the sum of generalized Lyapunov exponents, with these results applying in the near-classical regime. We present results for a specific system going well beyond earlier work, considering how these dynamics are altered for the Duffing problem by changing $\hbar,D$ and show that the entropy dynamics have a transition from classical to quantum behavior that scales, at least for…
It is shown that the existence of a time operator in the Liouville space representation of both classical and quantum evolution provides a mechanism for effective entropy change of physical states. In particular, an initially effectively pure state can evolve under the usual unitary evolution to an effectively mixed state.
The pairwise correlations in a multi-qubit state are quantified through a linear variant of relative entropy. In particular, we derive the explicit expressions of total, quantum and classical bipartite correlations. Two different bi-partioning schemes are considered. We discuss the derivation of closest product, quantum-classical and quantum-classical product states. We also investigate the additivity relation between the various pairwise correlations existing in pure and mixed states. As illustration, some special cases are examined.
Motivated by recent discussions of entanglement in the context of high energy scattering, we consider the relation between the entanglement entropy of a highly excited state of a quantum system and the classical entanglement entropy of the corresponding classical system. We show on the example of two weakly coupled harmonic oscillators, that the two entropies are equal. Quantum mechanically, the reduced density matrix which yields this entropy is close to the maximally entangled state. We thus observe that the nature of entanglement in this type of state is purely classical.
We study the decoherence process for an open quantum system which is classically chaotic (a quartic double well with harmonic driving coupled to a sea of harmonic oscillators). We analyze the time dependence of the rate of entropy production showing that it has two relevant regimes: For short times it is proportional to the diffusion coefficient (fixed by the system--environment coupling strength). For longer times (but before equilibration) it is fixed by dynamical properties of the system (and is related to the Lyapunov exponent). The nature of the transition time between both regimes is inv…
We obtain a classical analog of the quantum covariance matrix by performing its classical approximation for any continuous quantum state, and we illustrate this approach with the anharmonic oscillator. Using this classical covariance matrix, we propose classical analogs of the purity, linear quantum entropy, and von Neumann entropy for classical integrable systems, when the quantum counterpart of the system under consideration is in a Gaussian state. As is well known, this matrix completely characterizes the purity, linear quantum entropy, and von Neumann entropy for Gaussian states. These cla…
We consider oscillators evolving subject to a periodic driving force that dynamically entangles them, and argue that this gives the linearized evolution around periodic orbits in a general chaotic Hamiltonian dynamical system. We show that the entanglement entropy, after tracing over half of the oscillators, generically asymptotes to linear growth at a rate given by the sum of the positive Lyapunov exponents of the system. These exponents give a classical entropy growth rate, in the sense of Kolmogorov, Sinai and Pesin. We also calculate the dependence of this entropy on linear mixtures of the…
It is shown for classical and quantum ensembles that there is a unique quantity which has the properties of a "volume". This quantity is a function of the ensemble entropy, and hence provides a geometric interpretation for the latter. It further provides a geometric picture for deriving and unifying a number of results in classical and quantum information theory, and for discussing entropic uncertainty relations.
We show that the main difference between classical and quantum systems can be understood in terms of information entropy. Classical systems can be considered the ones where the internal dynamics can be known with arbitrary precision while quantum systems can be considered the ones where the internal dynamics cannot be accessed at all. As information entropy can be used to characterize how much the state of the whole system identifies the state of its parts, classical systems can have arbitrarily small information entropy while quantum systems cannot. This provides insights that allow us to und…
