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.
Macrorealism is a classical world view asserting that the properties of macro-objects exist independently and irrespective of observation. One practical approach to test this view in quantum theory is to observe the quantum coherence for macro-object in an interference experiment. An elegant and conceptually appealing approach for testing the notion of macrorealism in quantum theory is through the violation of Leggett-Garg inequality. However, a conclusive Leggett-Garg test hinges on how the non-invasive measurability criteria is guaranteed in an experiment and remains a debated issue till dat…
We formulate entropic Leggett-Garg inequalities, which place constraints on the statistical outcomes of temporal correlations of observables. The information theoretic inequalities are satisfied if macrorealism holds. We show that the quantum statistics underlying correlations between time-separated spin component of a quantum rotor mimics that of spin correlations in two spatially separated spin-$s$ particles sharing a state of zero total spin. This brings forth the violation of the entropic Leggett-Garg inequality by a rotating quantum spin-$s$ system in similar manner as does the entropic B…
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 neces…
We investigate the relation between a refined version of Leggett and Garg conditions for macrorealism, namely the no-signaling-in-time (NSIT) conditions, and the quantum mechanical notion of nondisturbance between measurements. We show that all NSIT conditions are satisfied for any state preparation if and only if certain compatibility criteria on the state-update rules relative to the measurements, i.e. quantum instruments, are met. The systematic treatment of NSIT conditions supported by structural results on nondisturbance provides a unified framework for the discussion of the the clumsines…
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…
The rise of quantum information theory has lent new relevance to experimental tests for non-classicality, particularly in controversial cases such as adiabatic quantum computing superconducting circuits. The Leggett-Garg inequality is a "Bell inequality in time" designed to indicate whether a single quantum system behaves in a macrorealistic fashion. Unfortunately, a violation of the inequality can only show that the system is either (i) non-macrorealistic or (ii) macrorealistic but subjected to a measurement technique that happens to disturb the system. The "clumsiness" loophole (ii) provides…
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, …
In two-party, two-input and two-output measurement scenario only relevant Bell's inequality is the Clauser-Horne-Shimony-Holt (CHSH) form. They also provide the necessary and sufficient conditions for local realism. Any other form, such as, Clauser-Horne and Wigner forms reduce to the CHSH one. Standard Leggett-Garg inequalities are often considered to be the temporal analog of CHSH inequalities. But, they do not provide the necessary and sufficient conditions for macrorealism. There is thus scope of formulating new macrorealist inequalities different and stronger than the standard Leggett-Gar…
Fluctuations of the work performed on a driven quantum system can be characterized by the so-called fluctuation theorems. The Jarzynski relation and the Crooks theorem are famous examples of exact equalities characterizing non-equilibrium dynamics. Such statistical theorems are typically formulated in a similar manner in both classical and quantum physics. Leggett-Garg inequalities are inspired by the two assumptions referred to as the macroscopic realism and the non-invasive measurability. Together, these assumptions are known as the macrorealism in the broad sense. Quantum mechanics is prova…
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 disproofs 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 appare…
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 …
The Bell and Leggett-Garg tests offer operational ways to demonstrate that non-classical behavior manifests itself in quantum systems, and experimentalists have implemented these protocols to show that classical worldviews such as local realism and macrorealism are false, respectively. Previous theoretical research has exposed important connections between more general Bell inequalities and polyhedral combinatorics. We show here that general Leggett-Garg inequalities are closely related to the cut polytope of the complete graph, a geometric object well-studied in combinatorics. Building on tha…
Wigner's form of the local realist inequality is used to derive its temporal version for an oscillating two-level system involving two-time joint probabilities. Such an inequality may be regarded as a novel form of the Leggett-Garg inequality (LGI) constituting a necessary condition for macrorealism. The robustness of its quantum mechanical (QM) violation against unsharpness of measurement is investigated by using a suitable model of unsharp measurements. It is found that there exists a range of values of the sharpness parameter (characterizing precision of the relevant measurements) for which…
It remains an open question how realist view of macroscopic world emerges from quantum formalism. For testing the macrorealism in quantum domain, an interesting approach was put forward by Leggett and Garg in $1985$, by formulating a suitable inequality valid for any macrorealistic theory. Recently, by following the Wigner idea of local realist inequality, a probabilistic version of standard Leggett-Garg inequalities have also been proposed. While the Wigner form of local realist inequalities are equivalent to the two-party, two-measurements and two outcomes CHSH inequalities, in this paper we…
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 l…
Macroscopic realism (MR) is the notion that a time-evolving system possesses definite properties, irrespective of past or future measurements. Quantum mechanical theories can, however, produce violations of MR. Most research to date has focused on a single set of conditions for MR, the Leggett-Garg inequalities (LGIs), and on a single data set, the "standard data set", which consists of single-time averages and second-order correlators of a dichotomic variable Q for three times. However, if such conditions are all satisfied, then where is the quantum behaviour? In this paper, we provide an ans…
The connection between the Leggett-Garg inequality and optimal scenarios from the point of view of quantum metrology is investigated for perfect and noisy general dichotomic measurements. In this context, we show that the Fisher information can be expressed in terms of quantum temporal correlations. This connection allows us to associate scenarios with relatively high Fisher information to scenarios in which the Leggett-Garg inequality is violated. We thus demonstrate a qualitative and, to some extent, quantitative link between measurement invasiveness and metrological performance. Finally, we…
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\geq1$, 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$-en…
Macrorealism is a characteristic feature of many, but not all, classical systems. It is known, for example, that classical light can violate a Leggett-Garg inequality and, hence, reject a macrorealist interpretation. A recent experiment has used entangled light and negative measurements to demonstrate a loophole-free test of macrorealism [PRX Quantum $\mathbf{3}$, 010307 (2022)]. This paper shows that such an experiment, while soundly rejecting macrorealism, may nevertheless be open to a classical interpretation. This is done by offering an explicit classical model of heralded photon detection…
According to the world view of macrorealism, the properties of a given system exist prior to and independent of measurement, which is incompatible with quantum mechanics. Leggett and Garg put forward a practical criterion capable of identifying violations of macrorealism, and so far experiments performed on microscopic and mesoscopic systems have always ruled out in favor of quantum mechanics. However, a macrorealist can always assign the cause of such violations to the perturbation that measurements effect on such small systems, and hence a definitive test would require using non-invasive mea…
We propose a resource theory of the quantum invasiveness of general quantum operations, i.e., those defined by quantum channels in Leggett-Garg scenarios. We are then able to compare the resource-theoretic framework of quantum invasiveness to the resource theory of coherence. We also show that the Fisher information is a quantifier of quantum invasiveness. This result allows us to establish a direct connection between the concept of quantum invasiveness and quantum metrology, by exploring the utility of the definition of quantum invasiveness in the context of metrological protocols.
For multilevel spin systems, robustness of the quantum mechanical (QM) violation of macrorealism (MR) with respect to coarse grained measurements is investigated using three different necessary conditions of MR, namely, the Leggett-Garg inequality (LGI), Wigner's form of the Leggett-Garg inequality (WLGI) and the condition of no-signalling in time (NSIT). It is shown that for dichotomic sharp measurements, in the asymptotic limit of spin, the algebraic maxima of the QM violations of all these three necessary conditions of MR are attained. Importantly, the QM violations of all these persist in …
The Leggett-Garg inequality holds for any macrorealistic system that is being measured noninvasively. A violation of the inequality can signal that a system does not conform to our primal intuition about the physical world. Alternatively, a violation can simply indicate that "clumsy" experimental technique led to invasive measurements. Here, we consider a recent Leggett-Garg test designed to try to rule out the mundane second possibility. We tailor this Leggett-Garg test to the IBM 5Q Quantum Experience system and find compelling evidence that qubit $Q_2$ of the system cannot be described by n…
We show unambiguous violations of different macrorealist inequalities, like the LGI and the WLGI using a heralded, single-photon based experimental setup comprising one Mach-Zehnder interferometer followed by a displaced Sagnac one. The negative result measurements (NRM) are implemented in order to validate the presumption of non-invasive measurability used in defining macrorealism. Among all the experiments to date testing macrorealism, the present experiment stands out in comprehensively addressing the relevant loopholes. The clumsiness loophole is addressed through precision testing of any …
In 1985, Leggett and Garg formulated a class of inequalities for testing the compatibility between macrorealism and quantum mechanics. In this paper, we point out that based on the same assumptions of macrorealism that are used in the derivation of Leggett-Garg inequalities (LGIs) , there is a scope of formulating another class of inequalities different from standard LGIs. By considering the three-time measurement scenario in a dichotomic system, we first propose an interesting variant of standard LGIs and show that its quantum violation is larger than the standard LGI. By extending this formu…
Leggett Garg inequalities (LGIs) test the incompatibility between the notion of macrorealism and quantum mechanics. For unitary dynamics, the optimal quantum violation of an LGI is constrained by the Lüders bound. However, the LGIs does not provide the necessary and sufficient for macrorealism. A suitably formulated set of no-signaling in time (NSIT) conditions along with the arrow-of-time (AOT) condition provides the same. In this paper, we study two formulations in the three-time LG scenario, viz., the standard LGIs and the recently formulated variant of LGIs when the system evolves under $\…
We consider a macroscopic quantum system in a tilted double-well potential. By solving Hamiltonian equation, we obtain tunneling probabilities which contain oscillation effects. To show how one can decide between quantum mechanics and the implications of macrorealism assumption, a given form of Leggett-Garg inequality is used. The violation of this inequality occurs for a broader range of decoherence effects, compared to previous results obtained for two-level systems.
In this paper we first analyse Leggett and Garg's argument to the effect that macroscopic realism contradicts quantum mechanics. After making explicit all the assumptions in Leggett and Garg's reasoning, we argue against the plausibility of their auxiliary assumption of non-invasive measurability, using Bell's construction of stochastic pilot-wave theories as a counterexample. Violations of the Leggett-Garg inequality thus do not provide a good argument against macrorealism per se. We then apply Dzhafarov and Kujala's analysis of contextuality in the presence of signalling to the case of the L…
In 1985, Leggett and Garg put forward the concept of macroscopic realism (macrorealism) and, in analogy to Bell's theorem, derived a necessary condition in terms of inequalities, which are now known as the Leggett-Garg inequalities. In this paper, we discuss another necessary condition called no-signaling in time. It solely bases on comparing the probability distribution for a macrovariable at some time for the cases where previously a measurement has or has not been performed. Although the concept is analogous to the no-signaling condition in the case of Bell tests, it can be violated accordi…
By combining the postulates of macrorealism with Bell locality, we derive a qualitatively different hybrid inequality that avoids two loopholes that commonly appear in Leggett-Garg and Bell inequalities. First, locally invasive measurements can be used, which avoids the "clumsiness" Leggett-Garg inequality loophole. Second, a single experimental ensemble with fixed analyzer settings is sampled, which avoids the "disjoint sampling" Bell inequality loophole. The derived hybrid inequality has the same form as the Clauser-Horne-Shimony-Holt Bell inequality; however, its quantum violation intriguin…
Leggett Garg inequalities (LGIs) provide an elegant way for probing the incompatibility between the notion of macrorealism and quantum mechanics. For unitary dynamics, the optimal quantum violation of a LGI is constrained by the Lüders bound. In this paper, we have studied two formulations of LGIs in a three-time LG scenarios, viz., the standard LGIs and third-order LGIs both for unbiased and biased measurement settings. We show that if the system evolves under a non-unitary quantum channel between two measurements, the quantum violations of both forms of LGIs exceed their respective Lüders bo…
Standard Leggett and Garg inequalities (SLGIs) were formulated for testing the incompatibility between the classical worldview of macrorealism and quantum mechanics. In recent times, various other formulations, such as Wigner form of LGIs (WLGIs), entropic LGIs (ELGIs) and the no-signaling in time (NSIT) condition have also been proposed. It is also recently argued that no set of SLGIs can provide the necessary and sufficient conditions for macrorealism but a suitable conjunction of NSIT conditions provides the same. In this paper, we first provide a comparative study of the various formulatio…
The Leggett-Garg inequality attempts to classify experimental outcomes as arising from one of two possible classes of physical theories: those described by macrorealism (which obey our intuition about how the macroscopic classical world behaves), and those that are not (e.g., quantum theory). The development of cloud-based quantum computing devices enables us to explore the limits of macrorealism in new regimes. In particular, here we take advantage of the properties of the programmable nature of the IBM quantum experience to observe the violation of the Leggett-Garg inequality (in the form of…
The usual formulation of Macrorealism is recast to make this notion fully concurrent with the basic ideas behind classical physics. The assumption of non-invasiveness of measurements is dropped. Instead, it is assumed that the current state of the system defines full initial conditions for its subsequent evolution. An example of a new family of temporal Bell inequalities is derived which can be applied to processes in which the state of the system undergoes arbitrarily many transformations (which was not the case in the original approach). An exponential (in terms of number of operations) viol…
Quantum pre- and post-selection (PPS) paradoxes occur when counterfactual inferences are made about different measurements that might have been performed, between two measurements that are actually performed. The 3 box paradox is the paradigm example of such a paradox, where a ball is placed in one of three boxes and it is inferred that it would have been found, with certainty, both in box 1 and in box 2 had either box been opened on their own. Precisely what is at stake in PPS paradoxes has been unclear, and classical models have been suggested which are supposed to mimic the essential featur…
No-signaling-in-time condition for three-flavor neutrino oscillations
Università degli Studi di Salerno（萨莱诺大学）；INFN Gruppo Collegato di Salerno - Sezione di Napoli（意大利国家核物理研究所萨莱诺协作组-那不勒斯分部）；Institute of Nanotechnology of the National Research Council of Italy, CNR-NANOTEC, Lecce Central Unit（意大利国家研究委员会纳米技术研究所CNR-NANOTEC莱切中央单元）；Universität Ulm（乌尔姆大学）；Universität Wien（维也纳大学）
Despite the great success of quantum mechanics, questions regarding its application still exist and the boundary between quantum and classical mechanics remains unclear. Based on the philosophical assumptions of macrorealism and noninvasive measurability, Leggett and Garg devised a series of inequalities (LG inequalities) involving a single system with a set of measurements at different times. Introduced as the Bell inequalities in time, the violation of LG inequalities excludes the hidden-variable description based on the above two assumptions. We experimentally investigated the single photon…
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 …
So far it has been shown that the quantum dynamics cannot be described as a classical Markov process unless the number of classical states is uncountably infinite. In this paper, we present a stochastic model with time-correlated noise that exactly reproduces any unitary evolution of a qubit and requires just four classical states. The invasive updating of just one bit during a measurement accounts for the quantum violation of the Leggett-Garg inequalities. Unlike in a pilot wave theory, the stochastic forces governing the jumps among the four states do not depend on the quantum state, but onl…
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 a…
We consider the violation of the Leggett-Garg inequality in electronic Mach-Zehnder inteferometers. This set-up has two distinct advantages over earlier quantum-transport proposals: firstly, the required correlation functions can be obtained without time-resolved measurements. Secondly, the geometry of an interferometer allows one to construct the correlation functions from ideal negative measurements, which addresses the non-invasiveness requirement of the Leggett-Garg inequality. We discuss two concrete realisations of these ideas: the first in quantum Hall edge-channels, the second in a dou…
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 determ…
The work is organized in two main topics. At first we will outline the relation between spin squeezing, quantum metrology and entanglement detection, with a particular focus on the last. We will derive spin squeezing criteria for the detection of entanglement and its depth that outperform past approaches, especially for unpolarized states, recently produced in experiments and object of increasing interest in the community. Furthermore, we will extend the original definition of spin squeezed states by providing a new parameter that is thought to embrace different classes of states in a unified …
The Leggett-Garg (LG) test of macroscopic realism involves a series of dichotomic non-invasive measurements that are used to calculate a function which has a fixed upper bound for a macrorealistic system and a larger upper bound for a quantum system. The quantum upper bound depends on both the details of the measurement and the dimension of the system. Here we present an LG experiment on a three-level quantum system, which produces a larger theoretical quantum upper bound than that of a two-level quantum system. The experiment is carried out in nuclear magnetic resonance (NMR) and consists of …
We consider tests of Leggett-Garg's macrorealism and of macroscopic local realism, where for spacelike separated measurements the assumption of macroscopic noninvasive measurability is justified by that of macroscopic locality. We give a mapping between the Bell and Leggett-Garg experiments for microscopic qubits based on spin $1/2$ eigenstates and gedanken experiments for macroscopic qubits based on two macroscopically distinct coherent states (cat states). In this mapping, the unitary rotation of the Stern-Gerlach analyzer is realized by an interaction $H=Ω\hat{n}^{4}$ where $\hat{n}$ is the…
