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.
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.
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.
Macroscopic Realism (MR) says that a macroscopic system is always determinately in one or other of the macroscopically distinguishable states available to it. The Leggett-Garg (LG) inequality was derived to allow experimental test of whether or not this doctrine is true; it is also often thought of as a temporal version of a Bell-inequality. Despite recent interest in the inequality, controversy remains regarding what would be shown by its violation. Here we resolve this controversy, which arises due to an insufficiently general and model-independent approach to the question so far. We argue that LG's initial characterisation of MR does not pick out a particularly natural realist position, so we articulate an operationally well-defined and well-motivated position in its place. We show that much weaker conditions than LG's are sufficient to derive the inequality: in the first instance, its violation only demonstrates that certain measurements fail to be non-disturbing at the operational level. We articulate three distinct species of MR-ist position, and argue that it is only the first of these which can be refuted by LG inequality violation. This first position is an attractive one, so ruling it out remains of interest, however. A crucial role is played in LG's argument by the assumption of noninvasive measurability. We show that this notion is ambiguous between the weaker notion of disturbance at the operational level, and the stronger notion of invasiveness at the ontic level of properties of the system. Ontic noninvasiveness would be required to rule out MR per se but this property is not entailed by MR, and its presence cannot be established in a model-independent way. It follows that despite the formal parallels, Bell's and LG's inequalities are not methodologically on a par. We close with some reflections on the implications of our analysis for the pedagogy of quantum superposition.
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.
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.
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.
As is well known, the macroscopic realism and the noninvasive measurability together lead to Leggett—Garg inequalities violated by quantum mechanics. We consider tests of the Leggett—Garg type with use of the q-entropies. For all q ≥ 1, quantum mechanics predicts violations of an entire family of q-entropic inequalities of the Leggett—Garg type. Violations are exemplified with a quantum spin-s system. In general, entropic Leggett—Garg inequalities give only necessary conditions that some probabilistic model is compatible with the macrorealism in the broader sense. The presented q-entropic inequalities allow to widen a class of situations, in which an incompatibility with the macrorealism can be tested. In the considered example, both the strength and range of violations are somehow improved by varying q. We also examine q-entropic inequalities of the Leggett—Garg type in the case of detection inefficiencies, when the no-click event may occur in each observation. With the use of the q-entropic inequalities, the required amount of efficiency may be reduced.