If the time evolution of a quantum system can be understood classically, then there must exist an underlying probability distribution for the variables describing the system at a sequence of 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 nontrivial 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 arbitrary 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.
If the time evolution of a quantum system can be understood classically, then there must exist an underlying probability distribution for the variables describing the system at a sequence of 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 nontrivial 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 arbitrary 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.
Abstract 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.
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 J. J. Halliwell, Phys. Rev. A 93, 022123 (2016), 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 J. Kofler and C. Brukner, Phys. Rev. A 87, 052115 (2013) and L. Clemente and J. Kofler, Phys. Rev. A 91, 062103 (2015), 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 noninvasive measurability and 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; in contrast, the NSIT tests entail sequential measurements of incompatible quantities and are primarily tests for noninvasiveness.
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 quasiprobability linear in the projection operators to describe the properties of the system at two times. We show that this quasiprobability 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-signaling in time condition of Kofler and Brukner. We argue that this quasiprobability, appropriately measured, provides a noninvasive 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 quasiprobability is non-negative, the LG system has a natural parallel with the Einstein-Podolsky-Rosen-Bohm system and Fine's theorem. A simple spin model illustrating key features of the approach is exhibited.
I study several aspects of tests of macrorealism (MR), which for a given data set serves to give a quantitative signal of the presence of a specific notion of non-classical behaviour. The insufficiency of classical understanding underpins both the paradoxes of quantum mechanics, its future technological promise, and so these tests are of interest both foundationally and pragmatically. I derive generalisations of the Leggett-Garg (LG) inequalities and Fine's theorem, which together establish the necessary and sufficient conditions for macrorealism. First, I extend these conditions to tests involving an arbitrary number of measurement times. Secondly, I generalise them beyond the standard dichotomic variable, to systems described by many-valued variables. I also perform a quantum mechanical analysis examining the interplay of different conditions of MR. I then develop the theoretical framework to support tests of macrorealism in continuous variable systems, where I define variables based on coarse-grainings of position. I calculate temporal correlators for general bound systems, and analyse LG violations within the quantum harmonic oscillator (QHO), in its energy eigenstates and coherent states. I analyse the precise physical mechanisms underpinning the violations in terms of probability currents, Bohm trajectories. Staying within continuous variable systems, we outline a different approach to meeting the invasiveness requirement of LG tests. Reasoning that we may approximately non-invasively measure whether a particle crosses the axis, we measure an object which is related to the standard correlators, and derive a set of macrorealistic inequalities for these modified correlators. We demonstrate violations of these modified LG inequalities for several states within the QHO.
Leggett-Garg (LG) inequalities test whether correlations measured at different times admit a positive joint probability distribution over histories. A violation requires negative values in any joint quasiprobability distribution reproducing those correlations, but such distributions can have negative values even without a violation. Spacetime density kernels extend the density-matrix description to multiple times and are used to study timelike entanglement. We establish a universal bound that relates LG violations to their negative eigenvalue weight. For LG tests involving any number of measurements, we determine the least compatible kernel negativity through an exact relation valid for any system dimension, initial state, dynamics, or measurement rule. This minimum is nonzero if and only if at least one LG inequality is violated. Three-time Lüders LG tests certify at most one eighth of negativity, whereas measurements resolving individual spin levels can approach one half. Including additional incompatible qubit observables gives a further exact minimum that can exceed the LG-only ceiling without increasing the LG violation.
Tests of local realism and macrorealism have historically been discussed in very similar terms: Leggett-Garg inequalities follow Bell inequalities as necessary conditions for classical behavior. Here, we compare the probability polytopes spanned by all measurable probability distributions for both scenarios and show that their structure differs strongly between spatially and temporally separated measurements. We arrive at the conclusion that, in contrast to tests of local realism where Bell inequalities form a necessary and sufficient set of conditions, no set of inequalities can ever be necessary and sufficient for a macrorealistic description. Fine's famous proof that Bell inequalities are necessary and sufficient for the existence of a local realistic model, therefore, cannot be transferred to macrorealism. A recently proposed condition, no-signaling in time, fulfills this criterion, and we show why it is better suited for future experimental tests and theoretical studies of macrorealism. Our work thereby identifies a major difference between the mathematical structures of local realism and macrorealism.