The Leggett-Garg inequalities are a set of inequalities obeyed by classical systems but violated in quantum theory. Their violation has been taken as evidence that quantum theory lacks a `realistic' formulation. However in addition to realism the derivation of the Leggett-Garg inequalities relies on another, more obscure assumption of `non-invasive measurability.' The significance of this assumption and the consequences for the interpretation of violations of the Leggett-Garg inequalities have been hotly debated. In this paper we present a pedagogical introduction to the issues, focussing on the significance of non-invasive measurability. We give a simple derivation of the Leggett-Garg inequalities paying particular attention to where and when the two assumptions are used, and we give an example of a realist but not non-invasively measurable hidden variable theory which violates them. We also discuss recent attempts to experimentally implement non-invasive measurements via so called `undetectable measurements' and we show that even undetectable measurements are not necessarily non-invasive.
The Leggett-Garg inequalities are a set of inequalities obeyed by classical systems but violated in quantum theory. Their violation has been taken as evidence that quantum theory lacks a realistic' formulation. However in addition to realism the derivation of the Leggett-Garg inequalities relies on another, more obscure assumption of non-invasive measurability.' The significance of this assumption and the consequences for the interpretation of violations of the Leggett-Garg inequalities have been hotly debated. In this paper we present a pedagogical introduction to the issues, focussing on the significance of non-invasive measurability. We give a simple derivation of the Leggett-Garg inequalities paying particular attention to where and when the two assumptions are used, and we give an example of a realist but not non-invasively measurable hidden variable theory which violates them. We also discuss recent attempts to experimentally implement non-invasive measurements via so called `undetectable measurements' and we show that even undetectable measurements are not necessarily non-invasive.
The Leggett-Garg inequalities were proposed in order to assess whether sets of pairs of measurements on a quantum system at different times can be consistent with a notion of realism for the set of all variables measured. However, their interpretation is severely complicated by the difficulty of distinguishing violations of realism from the invasive effects of sequential measurements. The typically imposed requirement, of non-invasive measurability (NIM), is often too stringent to be implemented experimentally. Here, we propose a weaker alternative which is to replace the standard quantum-mechanical formula for two-time sequential measurements with a closely related quasi-probability which is linear in the projection operators. This quasi-probability is indirectly measurable (for two times), 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, i.e. satisfies the analogue of NIM for quasi-probabilities. Attention is restricted only to those parameter ranges for which the quasi-probability is non-negative, a condition named linear positivity by Goldstein and Page, and the quasi-probability may then be regarded as a probability for the alternatives at two times. Violations of the Leggett-Garg inequalities within this restricted parameter range are then clear refutations of realism and not consequences of the invasiveness of measurement. We exhibit a simple spin model in which linear positivity holds for the two-time quasi-probabilities but the Leggett-Garg inequalities are violated.
The Leggett-Garg inequality is a widely used test of the "quantumness" of a system, and involves correlations between measurements realized at different times. According to its widespread interpretation, a violation of the Legget-Garg inequality disproves macroscopic realism and non-invasiveness. Nevertheless, recent results point out that macroscopic realism is a model dependent notion and that one should always be able to attribute to invasiveness a violation of a Legget-Garg inequality. This opens some natural questions: how to provide such an attribution in a systematic way? How can apparent macroscopic realism violation be recast into a dimensional independent invasiveness model? The present work answers these questions by introducing an operational model where the effects of invasiveness are controllable through a parameter associated with what is called the measurability of the physical system. Such a parameter leads to different generalized measurements that can be associated with the dimensionality of a system, to measurement errors or to back action.
In contrast to the spatial Bell's inequalities which probe entanglement between spatially separated systems, the Leggett–Garg inequalities test the correlations of a single system measured at different times. Violation of a genuine Leggett–Garg test implies either the absence of a realistic description of the system or the impossibility of measuring the system without disturbing it. Quantum mechanics violates the inequalities on both accounts and the original motivation for these inequalities was as a test for quantum coherence in macroscopic systems. The last few years has seen a number of experimental tests and violations of these inequalities in a variety of microscopic systems such as superconducting qubits, nuclear spins, and photons. In this article, we provide an introduction to the Leggett–Garg inequalities and review these latest experimental developments. We discuss important topics such as the significance of the non-invasive measurability assumption, the clumsiness loophole, and the role of weak measurements. Also covered are some recent theoretical proposals for the application of Leggett–Garg inequalities in quantum transport, quantum biology and nano-mechanical systems.
The Leggett-Garg inequality is a widely used test of the ``quantumness'' of a system and involves correlations between measurements realized at different times. According to its widespread interpretation, a violation of the Leggett-Garg inequality disproves macroscopic realism and noninvasiveness. Nevertheless, recent results point out that macroscopic realism is a model-dependent notion and that one should always be able to attribute to invasiveness a violation of a Leggett-Garg inequality. This opens some natural questions: How do we provide such an attribution in a systematic way? How can apparent macroscopic realism violation be recast into a dimensional-independent invasiveness model? The present work answers these questions by introducing an operational model where the effects of invasiveness are controllable through a parameter associated with what is called the measurability of the physical system. Such a parameter leads to different generalized measurements that can be associated with the dimensionality of a system, to measurement errors, or to back action.
Macroscopic realism is the thesis that macroscopically observable properties must always have definite values. The idea was introduced by Leggett and Garg (1985), who wished to show a conflict with the predictions of quantum theory, by using it to derive an inequality that quantum theory violates. However, Leggett and Garg's analysis required not just the assumption of macroscopic realism per se, but also that the observable properties could be measured non-invasively. In recent years there has been increasing interest in experimental tests of the violation of the Leggett-Garg inequality, but it has remained a matter of controversy whether this second assumption is a reasonable requirement for a macroscopic realist view of quantum theory. In a recent critical assessment Maroney and Timpson (2014) identified three different categories of macroscopic realism, and argued that only the simplest category could be ruled out by Leggett-Garg inequality violations. Allen, Maroney, and Gogioso (2016) then showed that the second of these approaches was also incompatible with quantum theory in Hilbert spaces of dimension 4 or higher. However, we show that the distinction introduced by Maroney and Timpson between the second and third approaches is not noise tolerant, so unfortunately Allen's result, as given, is not directly empirically testable. In this paper we replace Maroney and Timpson's three categories with a parameterization of macroscopic realist models, which can be related to experimental observations in a noise tolerant way, and recover the original definitions in the noise-free limit. We show how this parameterization can be used to experimentally rule out classes of macroscopic realism in Hilbert spaces of dimension 3 or higher, without any use of the non-invasive measurability assumption. Even for relatively low precision experiments, this will rule out the original category of macroscopic realism, that is tested by the Leggett-Garg inequality, while as the precision of the experiments increases, all cases of the second category and many cases of the third category, will become experimentally ruled out.
Leggett and Garg derived inequalities that probe the boundaries of classical and quantum physics by putting limits on the properties that classical objects can have. Historically, it has been suggested that Leggett-Garg inequalities are easily violated by quantum systems undergoing sequences of strong measurements, casting doubt on whether quantum mechanics correctly describes macroscopic objects. Here I show that Leggett-Garg inequalities cannot be violated by any projective measurement. The perceived violation of the inequalities found previously can be traced back to an inappropriate assumption of non-invasive measurability. Surprisingly, weak projective measurements cannot violate the Leggett-Garg inequalities either because even though the quantum system itself is not fully projected via weak measurements, the measurement devices are.