Source author record

J. J. Halliwell

J. J. Halliwell appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

33works
4topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

33 published item(s)

preprint2020arXiv

Conditions for Macrorealism for Systems Described by Many-Valued Variables

Macrorealism (MR) is the view that a system evolving in time possesses definite properties independent of past or future measurements and is traditionally tested for systems described at each time by a single dichotomic variable $Q$. A number of necessary and sufficient conditions for macrorealism have been derived for a dichtomic variable using sets of Leggett-Garg (LG) inequalities, or the stronger no-signaling in time (NSIT) conditions, or a combination thereof. Here, we extend this framework by establishing necessary and sufficient conditions for macrorealism for measurements made at two and three times for systems described by variables taking three or more values at each time. Our results include a generalization of Fine's theorem to many-valued variables for measurements at three pairs of times and we derive the corresponding complete set of LG inequalities. We find that LG inequalities and NSIT conditions for many-valued variables do not enjoy the simple hierarchical relationship exhibited by the dichotomic case. This sheds light on some recent experiments on three-level systems which exhibit a LG inequality violation even though certain NSIT conditions are satisfied. Under measurements of dichotomic variables using the Luders projection rule the three-time LG inequalities cannot be violated beyond the Luders bound (which coincides numerically with the Tsirelson bound obeyed by correlators in Bell experiments), but this bound can be violated in LG tests using degeneracy-breaking (von Neumann) measurements. We identify precisely which MR conditions are violated under these circumstances.

preprint2018arXiv

Necessary and sufficient conditions for macrorealism using two and three-time Leggett-Garg inequalities

The Leggett-Garg (LG) inequalities were introduced, as a temporal parallel of the Bell inequalities, to test macroscopic realism -- the view that a macroscopic system evolving in time possesses definite properties which can be determined without disturbing the future or past state. The original LG inequalities are only a necessary condition for macrorealism, and are therefore not a decisive test. We argue, for the case of measurements of a single dichotomic variable Q, that when the original four three-time LG inequalities are augmented with a set of twelve two-time inequalities also of the LG form, Fine's theorem applies and these augmented conditions are then both necessary and sufficient. A comparison is carried out with the alternative necessary and sufficient conditions for macrorealism based on no-signaling in time conditions which ensure that all probabilities for Q at one and two times are independent of whether earlier or intermediate measurements are made. We argue that the two tests differ in their implementation of the key requirement of non-invasive measurability so are testing different notions of macrorealism, and these notions are elucidated.

preprint2016arXiv

Deccoherent Histories and Measurement of Temporal Correlation Functions for Leggett-Garg Inequalities

We consider two protocols for the measurement of the temporal correlation functions of a dichotomic variable Q appearing in Leggett-Garg type inequalities. The protocols measure solely whether Q has the same or different sign at the ends of a given time interval. They are inspired, in part, by a decoherent histories analysis of the two-time histories of Q although the protocols are ultimately expressed in macrorealistic form independent of quantum theory. The first type involves an ancilla coupled to the system with two sequential CNOT gates, and the two-time histories of the system are determined in a single final time measurement of the ancilla. It is non-invasive for special choices of initial system states and partially invasive for more general choices. Modified Leggett-Garg type inequalities which accommodate the partial invasiveness are discussed. The quantum picture of the protocol shows that for certain choices of primary system initial state the protocol is undetectable with respect to final system state measurements, although it is still invasive at intermediate times. This invasiveness can be reduced with different choices of ancilla states and the protocol is then similar in flavour to a weak measurement. The second type of protocol is based on the fact that the behaviour of Q over a time interval can be determined from knowledge of the dynamics together with a measurement of certain initial (or final) data. Its quantum version corresponds to the known fact that when sets of histories are decoherent, their probabilities may be expressed in terms of a record projector, hence the two-time histories in which Q has the same or different sign can be determined by a single projective measurement. The resulting protocol resembles the decay-type protocol proposed by Huelga and collaborators (which is non-invasive but requires a stationarity assumption).

preprint2016arXiv

Leggett-Garg Correlation Functions from Non-Invasive Velocity Measurement Continuous in Time

In the Leggett-Garg approach to testing macrorealism, the two-time correlation functions, which are normally obtained by sequential measurements of a dichotomic variable Q, need to be measured in a non-invasive way in order to exclude certain types of alternative classical explanation. Here, it is shown, for a class of macrorealistic theories, that the correlation functions are readily expressed in terms of a time integral of the velocity corresponding to Q and that this expression can be determined from a single final-time measurement of an auxiliary system in continual weak interaction with the primary system. The protocol has the form of a "waiting detector" which clicks only when Q changes sign. It shares features with both ideal negative measurements and weak measurements and we argue that it is essentially non-invasive, under certain reasonable assumptions. We show that the non-invasiveness persists to a quantum model of the process.

preprint2015arXiv

A self-adjoint arrival time operator inspired by measurement models

We introduce an arrival time operator which is self-adjoint and, unlike previously proposed arrival time operators, has a close link to simple measurement models. Its spectrum leads to an arrival time distribution which is a variant of the Kijowski distribution (a re-ordering of the current) in the large momentum regime but is proportional to the kinetic energy density in the small momentum regime, in agreement with measurement models. A brief derivation of the latter distribution is given. We make some simple observations about the physical reasons for self-adjointness, or its absence, in arrival time operators and in the momentum operator on the half-line and we also compare our operator with the dwell time operator.

preprint2015arXiv

The Leggett-Garg Inequalities and No-Signalling in Time: A Quasi-Probability Approach

The Leggett-Garg (LG) inequalities were proposed in order to assess whether sets of pairs of sequential measurements on a single quantum system can be consistent with an underlying notion of macrorealism. Here, the LG inequalities are explored using a simple quasi-probability linear in the projection operators to describe the properties of the system at two times. We show that this quasi-probability is measurable, has the same correlation function as the usual two-time measurement probability (for the bivalent variables considered here) and has the key property that the probabilities for the later time are independent of whether an earlier measurement was made, a generalization of the no-signalling in time condition of Kofler and Brukner. We argue that this quasi-probability, appropriately measured, provides a non-invasive measure of macrorealism per se at the two time level. This measure, when combined with the LG inequalities, provides a characterization of macrorealism more detailed than that provided by the LG inequalities alone. When the quasi-probability is non-negative, the LG system has a natural parallel with the EPRB system and Fine's theorem. A simple spin model illustrating key features of the approach is exhibited.

preprint2014arXiv

Classical Limit of the Quantum Zeno Effect by Environmental Decoherence

We consider a point particle in one dimension initially confined to a finite spatial region whose state is frequently monitored by projection operators onto that region. In the limit of infinitely frequent monitoring, the state never escapes from the region -- this is the Zeno effect. The aim of this paper is to show how the Zeno effect disappears in the classical limit in this and similar examples. We give a general argument showing that the Zeno effect is suppressed in the presence of a decoherence mechanism which kills interference between histories. We show how this works explicitly by coupling to a decohering environment. Smoothed projectors are required to give the problem proper definition and this implies the existence of a momentum cutoff. We show that the escape rate from the region approaches the classically expected result, and hence the Zeno effect is suppressed, as long as the environmentally-induced fluctuations in momentum are sufficiently large and we establish the associated timescale. We link our results to earlier work on the hbar -->0 limit of the Zeno effect. We illustrate our results by plotting the probability flux lines for the density matrix (which are equivalent to Bohm trajectories in the pure state case). These illustrate both the Zeno and anti-Zeno effects very clearly, and their suppression. Our results are closely related to our earlier paper demonstrating the suppression of quantum-mechanical reflection by decoherence

preprint2014arXiv

Two Proofs of Fine's Theorem

Fine's theorem concerns the question of determining the conditions under which a certain set of probabilities for pairs of four bivalent quantities may be taken to be the marginals of an underlying probability distribution. The eight CHSH inequalities are well-known to be necessary conditions, but Fine's theorem is the striking result that they are also a sufficient condition. It has application to the question of finding a local hidden variables theory for measurements of pairs of spins for a system in an EPRB state. Here we present two simple and self-contained proofs of Fine's theorem in which the origins of this non-obvious result can be easily seen. The first is a physically motivated proof which simply notes that this matching problem is solved using a local hidden variables model given by Peres. The second is a straightforward algebraic proof which uses a representation of the probabilities in terms of correlation functions and takes advantage of certain simplifications naturally arising in that representation. A third, unsuccessful attempt at a proof, involving the maximum entropy technique is also briefly described

preprint2013arXiv

Amplitudes for Spacetime Regions and the Quantum Zeno Effect: Pitfalls of Standard Path Integral Constructions

We argue that under very general conditions, there is a significant complication in amplitudes for spacetimes regions constructed from path integrals. This is the fact that the concrete implementation of the restrictions on paths over an interval of time corresponds, in an operator language, to sharp monitoring at every moment of time in the given time interval. Such processes suffer from the quantum Zeno effect -- the continual monitoring of a quantum system in a Hilbert subspace prevents its state from leaving that subspace. As a consequence, path integral amplitudes defined in this seemingly obvious way have physically and intuitively unreasonable properties and in particular, no sensible classical limit. In this paper we describe this frequently-occurring but little-appreciated phenomenon in some detail, showing clearly the connection with the quantum Zeno effect. We then show that it may be avoided by implementing the restriction on paths in the path integral in a "softer" way. The resulting amplitudes then involve a new coarse graining parameter, which may be taken to be a timescale $\eps$, describing the softening of the restrictions on the paths. We argue that the complications arising from the Zeno effect are then negligible as long as $\eps >> 1/ E$, where $E$ is the energy scale of the incoming state. Our criticisms of path integral constructions largely apply to approaches to quantum theory such as the decoherent histories approach or quantum measure theory, which do not specifically involve measurements. We address some criticisms of our approach by Sokolovksi, concerning the relevance of our results to measurement-based models.

preprint2013arXiv

An Introduction to the Quantum Backflow Effect

We present an introduction to the backflow effect in quantum mechanics -- the phenomenon in which a state consisting entirely of positive momenta may have negative current and the probability flows in the opposite direction to the momentum. We show that the effect is present even for simple states consisting of superpositions of gaussian wave packets, although the size of the effect is small. Inspired by the numerical results of Penz et al, we present a wave function whose current at any time may be computed analytically and which has periods of significant backflow, with a backwards flux equal to about 70 percent of the maximum possible backflow, a dimensionless number $c_{bm} \approx 0.04 $, discovered by Bracken and Melloy. This number has the unusual property of being independent of $\hbar$ (and also of all other parameters of the model), despite corresponding to a quantum-mechanical effect, and we shed some light on this surprising property by considering the classical limit of backflow. We conclude by discussing a specific measurement model in which backflow may be identified in certain measurable probabilities.

preprint2013arXiv

Negative Probabilities, Fine's Theorem and Linear Positivity

Many situations in quantum theory and other areas of physics lead to quasi-probabilities which seem to be physically useful but can be negative. The interpretation of such objects is not at all clear. In this paper, we show that quasi-probabilities naturally fall into two qualitatively different types, according to whether their non-negative marginals can or cannot be matched to a non-negative probability. The former type, which we call viable, are qualitatively similar to true probabilities, but the latter type, which we call non-viable, may not have a sensible interpretation. Determining the existence of a probability matching given marginals is a non-trivial question in general. In simple examples, Fine's theorem indicates that inequalities of the Bell and CHSH type provide criteria for its existence, and these examples are considered in detail. Our results have consequences for the linear positivity condition of Goldstein and Page in the context of the histories approach to quantum theory. Although it is a very weak condition for the assignment of probabilities it fails in some important cases where our results indicate that probabilities clearly exist. We speculate that our method, of matching probabilities to a given set of marginals, provides a general method of assigning probabilities to histories and we show that it passes the Diósi test for the statistical independence of subsystems.

preprint2013arXiv

Quantum Backflow States from Eigenstates of the Regularized Current Operator

We present an exhaustive class of states with quantum backflow -- the phenomenon in which a state consisting entirely of positive momenta may have negative current and the probability flows in the opposite direction to the momentum. They are characterized by a general function of momenta subject to very weak conditions. Such a family of states is of interest in the light of a recent experimental proposal to measure backflow. We find one particularly simple state which has surprisingly large backflow -- about 41 percent of the lower bound on flux derived by Bracken and Melloy. We study the eigenstates of a regularized current operator and we show how some of these states, in a certain limit, lead to our class of backflow states. This limit also clarifies the correspondence between the spectrum of the regularized current operator, which has just two non-zero eigenvalues in our chosen regularization, and the usual current operator.

preprint2013arXiv

Suppression of quantum-mechanical reflection by environmental decoherence

In quantum mechanics an incoming particle wave packet with sufficient energy will undergo both transmission and reflection when encountering a barrier of lower energy, but in classical mechanics there is no reflection, only transmission. In this paper we seek to explain the disappearance of quantum-mechanical reflection in the quasi-classical limit, using standard methods of decoherence through environmental interaction. We consider two models. In the first, the incoming particle is classicalized by coupling it to an environment described by a standard Lindblad master equation diagonalizing in position. We find, however, that suppression of reflection is achieved only for environmental interaction so strong that large fluctuations in momentum are generated which blurs the distinction between incoming and reflected wave packets. This negative conclusion also holds for a complex potential which has similar implications for attempts to understand the suppression of the Zeno effect using the same mechanism (discussed in more detail in another paper). A different Lindblad master diagonalizing in momentum is shown to be successful in suppressing reflection without large fluctuations but such a master equation is unphysical. We consider a second model in which the barrier is modelled quantum-mechanically by a massive target particle coupled to an environment to maintain it in a quasi-classical state. This avoids the fluctuations problem since the incoming particle is not coupled to the environment directly. We find that reflection is significantly suppressed as long as the decoherence timescale of the target particle is much smaller than certain characteristic scattering timescales of the incoming particle, or equivalently, as long as the velocity fluctuations in the target are larger than the velocity of the incoming particle.

preprint2012arXiv

Exact Phase Space Localized Projectors from Energy Eigenstates

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 approach to quantum theory. Here, we show how to use the eigenstates of a suitably chosen Hamiltonian to construct exact projection operators which are localized on regions of phase. We elucidate the properties of such operators and explore their time evolution. For the special case of the harmonic oscillator, the time evolution is particularly simple, and we find sets of phase space localized histories which are exactly decoherent for any initial state and have probability 1 for classical evolution. These results show how approximate decoherence of histories and classical predictability for phase space histories may be made exact in certain cases.

preprint2012arXiv

Pitfalls of Path Integrals: Amplitudes for Spacetime Regions and the Quantum Zeno Effect

Path integrals appear to offer natural and intuitively appealing methods for defining quantum-mechanical amplitudes for questions involving spacetime regions. For example, the amplitude for entering a spatial region during a given time interval is typically defined by summing over all paths between given initial and final points but restricting them to pass through the region at any time. We argue that there is, however, under very general conditions, a significant complication in such constructions. This is the fact that the concrete implementation of the restrictions on paths over an interval of time corresponds, in an operator language, to sharp monitoring at every moment of time in the given time interval. Such processes suffer from the quantum Zeno effect - the continual monitoring of a quantum system in a Hilbert subspace prevents its state from leaving that subspace. As a consequence, path integral amplitudes defined in this seemingly obvious way have physically and intuitively unreasonable properties and in particular, no sensible classical limit. In this paper we describe this frequently-occurring but little-appreciated phenomenon in some detail, showing clearly the connection with the quantum Zeno effect. We then show that it may be avoided by implementing the restriction on paths in the path integral in a "softer" way. The resulting amplitudes then involve a new coarse graining parameter, which may be taken to be a timescale ε, describing the softening of the restrictions on the paths. We argue that the complications arising from the Zeno effect are then negligible as long as ε>> 1/ E, where E is the energy scale of the incoming state.

preprint2012arXiv

Quantum Arrival and Dwell Times via Idealised Clocks

A number of approaches to the problem of defining arrival and dwell time probabilities in quantum theory make use of idealised models of clocks. An interesting question is the extent to which the probabilities obtained in this way are related to standard semiclassical results. In this paper we explore this question using a reasonably general clock model, solved using path integral methods. We find that in the weak coupling regime where the energy of the clock is much less than the energy of the particle it is measuring, the probability for the clock pointer can be expressed in terms of the probability current in the case of arrival times, and the dwell time operator in the case of dwell times, the expected semiclassical results. In the regime of strong system-clock coupling, we find that the arrival time probability is proportional to the kinetic energy density, consistent with an earlier model involving a complex potential. We argue that, properly normalized, this may be the generically expected result in this regime. We show that these conclusions are largely independent of the form of the clock Hamiltonian.

preprint2011arXiv

Decoherent Histories Analysis of Minisuperspace Quantum Cosmology

Recent results on the decoherent histories quantization of simple cosmological models (minisuperspace models) are described. The most important issue is the construction, from the wave function, of a probability distribution answering various questions of physical interest, such as the probability of the system entering a given region of configuration space at any stage in its entire history. A standard but heuristic procedure is to use the flux of (components of) the wave function in a WKB approximation as the probability. This gives sensible semiclassical results but lacks an underlying operator formalism. Here, we supply the underlying formalism by deriving probability distributions linked to the Wheeler-DeWitt equation using the decoherent histories approach to quantum theory, building on the generalized quantum mechanics formalism developed by Hartle. The key step is the construction of class operators characterizing questions of physical interest. Taking advantage of a recent decoherent histories analysis of the arrival time problem in non-relativistic quantum mechanics, we show that the appropriate class operators in quantum cosmology are readily constructed using a complex potential. The class operator for not entering a region of configuration space is given by the $S$-matrix for scattering off a complex potential localized in that region. We thus derive the class operators for entering one or more regions in configuration space. The class operators commute with the Hamiltonian, have a sensible classical limit and are closely related to an intersection number operator. The corresponding probabilities coincide, in a semiclassical approximation, with standard heuristic procedures.

preprint2010arXiv

On the Relationship Between Complex Potentials and Strings of Projection Operators

It is of interest in a variety of contexts, and in particular in the arrival time problem, to consider the quantum state obtained through unitary evolution of an initial state regularly interspersed with periodic projections onto the positive $x$-axis (pulsed measurements). Echanobe, del Campo and Muga have given a compelling but heuristic argument that the state thus obtained is approximately equivalent to the state obtained by evolving in the presence of a certain complex potential of step-function form. In this paper, with the help of the path decomposition expansion of the associated propagators, we give a detailed derivation of this approximate equivalence. The propagator for the complex potential is known so the bulk of the derivation consists of an approximate evaluation of the propagator for the free particle interspersed with periodic position projections. This approximate equivalence may be used to show that to produce significant reflection, the projections must act at time spacing less than 1/E, where E is the energy scale of the initial state.

preprint2009arXiv

Arrival Times, Complex Potentials and Decoherent Histories

We address a number of aspects of the arrival time problem defined using a complex potential of step function form. We concentrate on the limit of a weak potential, in which the resulting arrival time distribution function is closely related to the quantum-mechanical current. We first consider the analagous classical arrival time problem involving an absorbing potential, and this sheds some light on certain aspects of the quantum case. In the quantum case, we review the path decomposition expansion (PDX), in which the propagator is factored across a surface of constant time, so is very useful for potentials of step function form. We use the PDX to derive the usual scattering wave functions and the arrival time distribution function. This method gives a direct and geometrically appealing account of known results (but also points the way to how they can be extended to more general complex potentials). We use these results to carry out a decoherent histories analysis of the arrival time problem, taking advantage of a recently demonstrated connection between pulsed measurements and complex potentials. We obtain very simple and plausible expressions for the class operators (describing the amplitudes for crossing the origin during intervals of time) and show that decoherence of histories is obtained for a wide class of initial states (such as simple wave packets and superpositions of wave packets). We find that the decoherent histories approach gives results with a sensible classical limit that are fully compatible with standard results on the arrival time problem. We also find some interesting connections between backflow and decoherence.

preprint2009arXiv

Emergent Classicality via Commuting Position and Momentum Operators

Any account of the emergence of classicality from quantum theory must address the fact that the quantum operators representing positions and momenta do not commute, whereas their classical counterparts suffer no such restrictions. To address this, we revive an old idea of von Neumann, and seek a pair of commuting operators $X,P$ which are, in a specific sense, "close" to the canonical non-commuting position and momentum operators, $x,p$. The construction of such operators is related to the problem of finding complete sets of orthonormal phase space localized states, a problem severely limited by the Balian-Low theorem. Here these limitations are avoided by restricting attention to situations in which the density matrix is reasonably decohered (i.e., spread out in phase space).

preprint2009arXiv

Partial Decoherence of Histories and the Diosi Test

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 requirement that every history has zero interference with its negation. This is weaker than decoherence and stronger than linear positivity (but its relation to consistency is less simply defined -- it is neither stronger nor weaker). Most importantly, it satisfies the Diosi condition. A strengthened Diosi condition is proposed, which partial decoherence narrowly fails, due to an unusual property of inhomogeneous histories. In an appendix an example is given of a set of histories which are consistent but not decoherent.

preprint2009arXiv

Probabilities in Quantum Cosmological Models: A Decoherent Histories Analysis Using a Complex Potential

In the quantization of simple cosmological models (minisuperspace models) described by the Wheeler-DeWitt equation, an important step is the construction, from the wave function, of a probability distribution answering various questions of physical interest, such as the probability of the system entering a given region of configuration space at any stage in its entire history. A standard but heuristic procedure is to use the flux of (components of) the wave function in a WKB approximation. This gives sensible semiclassical results but lacks an underlying operator formalism. In this paper, we address the issue of constructing probability distributions linked to the Wheeler-DeWitt equation using the decoherent histories approach to quantum theory. We show that the appropriate class operators (the generalization of strings of projectors) in quantum cosmology are readily constructed using a complex potential. We derive the class operator for entering or not entering one or more regions in configuration space. They commute with the Hamiltonian, have a sensible classical limit and are closely related to intersection number operators. We show that oscillatory WKB solutions to the Wheeler-DeWitt equation give approximate decoherence of histories, as do superpositions of WKB solutions, as long as the regions of configuration space are sufficiently large. The corresponding probabilities coincide, in a semiclassical approximation, with standard heuristic procedures. In brief, we exhibit the well-defined operator formalism underlying the usual heuristic interpretational methods in quantum cosmology.

preprint2009arXiv

Quantum Arrival Time Formula from Decoherent Histories

In the arrival time problem in quantum mechanics, a standard formula that frequently emerges as the probability for crossing the origin during a given time interval is the current integrated over that time interval. This is semiclassically correct but can be negative due to backflow. Here, we show that this formula naturally arises in a decoherent histories analysis of the arrival time problem. For a variety of initial states, we show that histories crossing during different time intervals are approximately decoherent. Probabilities may therefore be assigned and coincide with the standard formula (in a semiclassical approximation), which is therefore positive for these states. However, for initial states for which there is backflow, we show that there cannot be decoherence of histories, so probabilities may not be assigned.

preprint2008arXiv

Path Integral Analysis of Arrival Times with a Complex Potential

A number of approaches to the arrival time problem employ a complex potential of a simple step function type and the arrival time distribution may then be calculated using the stationary scattering wave functions. Here, it is shown that in the Zeno limit (in which the potential becomes very large), the arrival time distribution may be obtained in a clear and simple way using a path integral representation of the propagator together with the path decomposition expansion (in which the propagator is factored across a surface of constant time). This method also shows that the same result is obtained for a wide class of complex potentials.

preprint2006arXiv

Two Derivations of the Master Equation of Quantum Brownian Motion

Central to many discussion of decoherence is a master equation for the reduced density matrix of a massive particle experiencing scattering from its surrounding environment, such as that of Joos and Zeh. Such master equations enjoy a close relationship with spontaneous localization models, like the GRW model. This aim of this paper is to present two derivations of the master equation. The first derivation is a pedagogical model designed to illustrate the origins of the master equation as simply as possible, focusing on physical principles and without the complications of S-matrix theory. This derivation may serve as a useful tutorial example for students attempting to learn this subject area. The second is the opposite: a very general derivation using non-relativistic many body field theory. It reduces to the equation of the type given by Joos and Zeh in the one-particle sector, but correcting certain numerical factors which have recently become significant in connection with experimental tests of decoherence. This master equation also emphasizes the role of local number density as the ``preferred basis'' for decoherence in this model.

preprint2003arXiv

Some Recent Developments in the Decoherent Histories Approach to Quantum Theory

A brief introduction to the decoherent histories approach to quantum theory is given, with emphasis on its role in the discussion of the emergence of classicality from quantum theory. Some applications are discussed, including quantum-classical couplings, the relationship of the histories approach to quantum state diffusion, and the application of the histories approach to situations involving time in a non-trivial way.

preprint1999arXiv

Somewhere in the Universe: Where is the Information Stored When Histories Decohere?

We investigate the idea that decoherence is connected with the storage of information about the decohering system somewhere in the universe. The known connection between decoherence of histories and the existence of records is extended from the case of pure initial states to mixed states. Records may still exist but are necessarily imperfect. We formulate an information-theoretic conjecture about decoherence due to an environment: the number of bits required to describe a set of decoherent histories is approximately equal to the number of bits of information thrown away to the environment in the coarse-graining process. This idea is verified in a simple model consisting of a particle coupled to an environment that can store only one bit of information. We explore the decoherence and information storage in the quantum Brownian motion model. It is shown that the variables that the environment naturally measures and stores information about are the Fourier components of the function $x(t)$ (describing the particle trajectory). The records storing the information about the Fourier modes are the positions and momenta of the environmental oscillators at the final time. Decoherence is possible even if there is only one oscillator in the environment. The information count of the histories and records in the environment add up according to our conjecture. These results give quantitative content to the idea that decoherence is related to ``information lost''.

preprint1997arXiv

Effective Theories of Coupled Classical and Quantum Variables from Decoherent Histories: A New Approach to the Backreaction Problem

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 large particle, and depends on the dynamics and initial quantum state of the small particle. It has the form of an almost classical particle coupled to a stochastic variable whose probabilities are determined by a formula very similar to that given by quantum measurement theory for continuous measurements of the small particle's position. The effective theory gives intuitively sensible answers when the small particle is in a superposition of localized states.

preprint1996arXiv

Decoherence of Hydrodynamic Histories: A Simple Spin Model

In the context of the decoherent histories approach to the quantum mechanics of closed systems, Gell-Mann and Hartle have argued that the variables typically characterizing the quasiclassical domain of a large complex system are the integrals over small volumes of locally conserved densities -- hydrodynamic variables. The aim of this paper is to exhibit some simple models in which approximate decoherence arises as a result of local conservation. We derive a formula which shows the explicit connection between local conservation and approximate decoherence. We then consider a class of models consisting of a large number of weakly interacting components, in which the projections onto local densities may be decomposed into projections onto one of two alternatives of the individual components. The main example we consider is a one-dimensional chain of locally coupled spins, and the projections are onto the total spin in a subsection of the chain. We compute the decoherence functional for histories of local densities, in the limit when the number of components is very large. We find that decoherence requires two things: the smearing volumes must be sufficiently large to ensure approximate conservation, and the local densities must be partitioned into sufficiently large ranges to ensure protection against quantum fluctuations.

preprint1995arXiv

An Operator Derivation of the Path Decomposition Expansion

The path decomposition expansion is a path integral technique for decomposing sums over paths in configuration space into sums over paths in different spatial regions. It leads to a decomposition of the configuration space propagator across arbitrary surfaces in configuration space. It may be used, for example, in calculations of the distribution of first crossing times. The original proof relied heavily on the position representation and in particular on the properties of path integrals. In this paper, an elementary proof of the path decomposition expansion is given using projection operators. This leads to a version of the path decomposition expansion more general than the configuration space form previously given. The path decomposition expansion in momentum space is given as an example.

preprint1994arXiv

A Review of the Decoherent Histories Approach to Quantum Mechanics

I review the decoherent (or consistent) histories approach to quantum mechanics, due to Griffiths, to Gell-Mann and Hartle, and to Omnes. This is an approach to standard quantum theory specifically designed to apply to genuinely closed systems, up to and including the entire universe. It does not depend on an assumed separation of classical and quantum domains, on notions of measurement, or on collapse of the wave function. Its primary aim is to find sets of histories for closed systems exhibiting negligble interference, and therefore, to which probabilities may be assigned. Such sets of histories are called consistent or decoherent, and may be manipulated according to the rules of ordinary (Boolean) logic. The approach provides a framework from which one may predict the emergence of an approximately classical domain for macroscopic systems, together with the conventional Copenhagen quantum mechanics for microscropic subsystems. In the special case in which the total closed system naturally separates into a distinguished subsystem coupled to an environment, the decoherent histories approach is closed related to the quantum state diffusion approach of Gisin and Percival.

preprint1994arXiv

Generalized Uncertainty Relations and Long Time Limits for Quantum Brownian Motion Models

We study the time evolution of the reduced Wigner function for a class of quantum Brownian motion models. We derive two generalized uncertainty relations. The first consists of a sharp lower bound on the uncertainty function, $U = (Δp)^2 (Δq)^2 $, after evolution for time $t$ in the presence of an environment. The second, a stronger and simpler result, consists of a lower bound at time $t$ on a modified uncertainty function, essentially the area enclosed by the $1-σ$ contour of the Wigner function. In both cases the minimizing initial state is a non-minimal Gaussian pure state. These generalized uncertainty relations supply a measure of the comparative size of quantum and thermal fluctuations. We prove two simple inequalites, relating uncertainty to von Neumann entropy, and the von Neumann entropy to linear entropy. We also prove some results on the long-time limit of the Wigner function for arbitrary initial states. For the harmonic oscillator the Wigner function for all initial states becomes a Gaussian at large times (often, but not always, a thermal state). We derive the explicit forms of the long-time limit for the free particle (which does not in general go to a Gaussian), and also for more general potentials in the approximation of high temperature.