arXiv subjects

J. J. Halliwell

Publications and source records attributed to J. J. Halliwell.

At least 19 recordsLinked to original sources

arXiv2021

Leggett-Garg tests for macrorealism: interference experiments and the simple harmonic oscillator

Leggett-Garg (LG) tests for macrorealism were originally designed to explore quantum coherence on the macroscopic scale. Interference experiments and systems modelled by harmonic oscillators provide useful examples of situations in which macroscopicity has been approached experimentally and are readily turned into LG tests for a single dichotomic variable Q. Applying this approach to the double-slit experiment in which a non-invasive measurement at the slits is included, we exhibit LG violations. We find that these violations are always accompanied by destructive interference. The converse is not true in general and we find that there are non-trivial regimes in which there is destructive interference but the two-time LG inequalities are satisfied which implies that it is in fact often possible to assign (indirectly determined) probabilities for the interferometer paths. Similar features have been observed in recent work involving a LG analysis of a Mach-Zehnder interferometer and we compare with those results. We extend the analysis to the triple-slit experiment again finding LG violations, and we also exhibit examples of some surprising relationships between LG inequalities and NSIT conditions that do not exist for dichotomic variables. For the simple harmonic oscillator, we find an analytically tractable example showing a two-time LG violation with a gaussian initial state, echoing in simpler form recent results of Bose et al (Phys. Rev. Lett. 120, 210402 (2018)).

quant-ph↗

arXiv2020

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.

quant-ph↗

arXiv2019

Fine's Theorem for Leggett-Garg tests with an arbitrary number of measurement times

If the time evolution of a system can be understood classically, then there must exist an underlying probability distribution for the variables describing the system at all times. It is well known that for systems described by a single time-evolving dichotomic variable $Q$ and for which a given set of temporal correlation functions are specified, a necessary set of conditions for the existence of such a probability are provided by the Leggett-Garg (LG) inequalities. Fine's theorem in this context is the non-trivial result that a suitably augmented set of LG inequalities are both necessary and sufficient conditions for the existence of an underlying probability. We present a proof of Fine's theorem for the case of measurements on a dichotomic variable at an abitrary number of times, thereby generalizing the familiar proofs for three and four times. We demonstrate how the LG framework and Fine's theorem can be extended to the case in which all possible two-time correlation functions are measured (instead of the partial set of two-time correlators normally studied). We examine the limit of a large number of measurements for both of the above cases.

quant-ph↗

arXiv2019

Leggett-Garg tests of macrorealism: checks for non-invasiveness and generalizations to higher-order correlators

In the tests for macrorealism proposed by Leggett and Garg, the temporal correlation functions of a dichotomic variable Q must be measured in a non-invasive way to rule out alternative classical explanations of Leggett-Garg inequality violations. Ideal negative measurements, in which a null result is argued to be a non-invasive determination of the system's state, are often used. From a quantum-mechanical perspective, such a measurement collapses the wave function and will therefore typically be found to be invasive under any experimental check. Here, a simple modified ideal negative measurement protocol is described for measuring the correlation functions which is argued to be non-invasive from both classical and quantum perspectives and hence the non-invasiveness can then be checked experimentally, thereby permitting a quantitative measure of the degree of clumsiness of the measurement. It is also shown how this procedure may be extended to measure higher-order correlation functions and a number of higher-order conditions for macrorealism are derived.

quant-ph↗

arXiv2018

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.

quant-ph↗

arXiv2018

A quasi-probability for the arrival time problem with links to backflow and the Leggett-Garg inequalities

The arrival time problem for the free particle in one dimension may be formulated as the problem of determining a joint probability for the particle being found on opposite sides of the $x$-axis at two different times. We explore this problem using a two-time quasi-probability linear in the projection operators, a natural counterpart of the corresponding classical problem. We show that it can be measured either indirectly, by measuring its moments in different experiments, or directly, in a single experiment using a pair of sequential measurements in which the first measurement is weak (or more generally, ambiguous). We argue that when positive, it corresponds to a measurement-independent arrival time probability. For small time intervals it coincides approximately with the time-averaged current, in agreement with semiclassical expectations. The quasi-probability can be negative and we exhibit a number of situations in which this is the case. We interpret these situations as the presence of `quantumness', in which the arrival time probability is not properly defined in a measurement-independent manner. Backflow states, in which the current flows in the direction opposite to the momentum, are shown to provide an interesting class of examples such situations. We also show that the quasi-probability is closely linked to a set of two-time Leggett-Garg inequalities, which test for macroscopic realism.

quant-ph↗

arXiv2017

Incompatible Multiple Consistent Sets of Histories and Measures of Quantumness

In the consistent histories (CH) approach to quantum theory probabilities are assigned to histories subject to a consistency condition of negligible interference. The approach has the feature that a given physical situation admits multiple sets of consistent histories that cannot in general be united into a single consistent set, leading to a number of counter-intuitive or contrary properties if propositions from different consistent sets are combined indiscriminately. An alternative viewpoint is proposed in which multiple consistent sets are classified according to whether or not there exists any unifying probability for combinations of incompatible sets which replicates the consistent histories result when restricted to a single consistent set. A number of examples are exhibited in which this classification can be made, in some cases with the assistance of the Bell, CHSH or Leggett-Garg inequalities together with Fine's theorem. When a unifying probability exists logical deductions in different consistent sets can in fact be combined, an extension of the "single framework rule". It is argued that this classification coincides with intuitive notions of the boundary between classical and quantum regimes and in particular, the absence of a unifying probability for certain combinations of consistent sets is regarded as a measure of the "quantumness" of the system. The proposed approach and results are closely related to recent work on the classification of quasi-probabilities and this connection is discussed.

quant-ph↗

arXiv2017

Comparing Conditions for Macrorealism: Leggett-Garg Inequalities vs No-Signaling in Time

We consider two different types of conditions which were proposed to test macrorealism in the context of a system described by a single dichotomic variable Q. This is the view that a macroscopic system evolving in time possesses definite properties which can be determined without disturbing the future or past state. The Leggett-Garg (LG) inequalities, the most commonly-studied test, are only necessary conditions for macrorealism, but building on earlier work it is shown that when the four three-time LG inequalities are augmented with a certain set of 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 a very different set of necessary and sufficient conditions for macrorealism, namely the no-signaling in time (NSIT) conditions proposed by Brukner, Clemente, Kofler and others, which ensure that all probabilities for Q at one and two times are independent of whether earlier or intermediate measurements are made in a given run, and do not require (but imply) the LG inequalities. We argue that tests based on the LG inequalities have the form of very weak classicality conditions and can be satisfied in the face of moderate interference effects, but those based on NSIT conditions have the form of much stronger coherence witness conditions, satisfied only for zero interference. The two tests differ in their implementation of non-invasive measurability so are testing different notions of macrorealism: the augmented LG tests are indirect, entailing a combination of the results of different experiments with only compatible quantities measured in each experimental run, in close analogy with Bell tests, and are primarily tests for macrorealism per se; by contrast the NSIT tests entail sequential measurements of incompatible quantities and are primarily tests for non-invasiveness

quant-ph↗

arXiv2016

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.

quant-ph↗

arXiv2016

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).

quant-ph↗

arXiv2015

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.

quant-ph↗

arXiv2015

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.

quant-ph↗

arXiv2014

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

quant-ph↗

arXiv2014

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

quant-ph↗

arXiv2013

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.

quant-ph↗

arXiv2013

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.

quant-ph↗

arXiv2013

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.

quant-ph↗

arXiv2013

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.

quant-ph↗