Recent experiments of Groeblacher et al. proved the violation of a Leggett-type inequality that was claimed to be valid for a broad class of non-local hidden-variable theories. The impossibility of constructing a non-local and realistic theory, unless it entails highly counterintuitive features, seems thus to have been experimentally proved. This would bring us close to a definite refutation of realism. Indeed, realism was proved to be also incompatible with locality, according to a series of experiments testing Bell inequalities. The present paper addresses the said experiments of Groeblacher et al. and presents an explicit, contextual and realistic, model that reproduces the predictions of quantum mechanics. It thus violates the Leggett-type inequality that was established with the aim of ruling out a supposedly broad class of non-local models. We can thus conclude that plausible contextual, realistic, models are still tenable. This restates the possibility of a future completion of quantum mechanics by a realistic and contextual theory which is not in a class containing only highly counterintuitive models. The class that was ruled out by the experiments of Groeblacher et al. is thus proved to be a limited one, arbitrarily separating models that physically belong in the same class.
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 assump…
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…
This note is a reply to M. Navascués' claim that "all entangled states violate Leggett's crypto-nonlocality" [arXiv:1303.5124v2]. I argue that such a conclusion can only be reached if one introduces additional assumptions that further restrict Leggett's notion of "crypto-nonlocality". If a contrario one sticks only to Leggett's original axioms, there exist entangled states whose correlations are always compatible with Leggett's crypto-nonlocality---which is thus a genuinely different concept from quantum separability. I clarify in this note the relation between these two notions, together also…
Leggett-Garg inequalities are tests of macroscopic realism that can be violated by quantum mechanics. In this letter, we realise photonic Leggett-Garg tests on a three-level system and implement measurements that admit three distinct measurement outcomes, rather than the usual two. In this way we obtain violations of three- and four-time Leggett-Garg inequalities that are significantly in excess of those obtainable in standard Leggett-Garg tests. We also report violations the quantum-witness equality up to the maximum permitted for a three-outcome measurement. Our results highlight differences…
Three classes of local hidden-variable models that violate both Bell and Leggett inequalities are presented. The models, however, do not reproduce the quantum mechanical predictions, hence they are experimentally testable. It is concluded that on one hand neither Bell or Leggett inequality fully captures the essential counterintuitiveness of quantum mechanics, while on the other hand the hypothesis of outcome independence and that of locality are uncorrelated.
The Leggett-Garg inequalities probe the classical-quantum boundary by putting limits on the sum of pairwise correlation functions between classical measurement devices that consecutively measured the same quantum system. The apparent violation of these inequalities by standard quantum measurements has cast doubt on quantum mechanics' ability to consistently describe classical objects. Recent work has concluded that these inequalities cannot be violated by either strong or weak projective measurements [1]. Here I consider an entropic version of the Leggett-Garg inequalities that are different f…
We investigate the violation of Leggett-Garg (LG) inequalities inquantum dots with the stationarity assumption. By comparing two types of LG inequalities, we find a better one which is easier to be tested in experiment. In addition, we show that the fine-structure splitting, background noise and temperature of quantum dots all influence the violation of LG inequalities.
We use two different approaches to derive multipartite Leggett-type inequalities, which are generalizations of the two-qubit Leggett-type inequality obtained in [Nature Phys. \textbf{4}, 681 (2008)]. The first approach is based on the assumption that the probability distributions should be non-negative. The second approach is based on a very simple algebraic equation and is, to some extent, easier than the first approach. Although these inequalities might not be the optimal ones in the sense that their quantum violations may not be the strongest, our results make the first step of generalizing…
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…
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 t…
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…
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…
The basic Leggett inequalities, i.e. those inequalities in which the particular assumptions of Leggett's hidden-variable model (e.g. Malus law) were not yet introduced, are usually derived using hidden-variable distributions of probabilities (although in some cases completely general, positive probabilities would lead to the same result). This fact creates sometimes the illusion that these basic inequalities are a belonging of the hidden-variable theories and are bound to contradict the quantum theory. In the present text the basic Leggett inequalities are derived in the most general way, i.e.…
We generalize the derivation of Leggett-Garg inequalities to systematically treat a larger class of experimental situations by allowing multi-particle correlations, invasive detection, and ambiguous detector results. Furthermore, we show how many such inequalities may be tested simultaneously with a single setup. As a proof of principle, we violate several such two-particle inequalities with data obtained from a polarization-entangled biphoton state and a semi-weak polarization measurement based on Fresnel reflection. We also point out a non- trivial connection between specific two-party Legge…
We show that the quantum bound for temporal correlations in a Leggett-Garg test, analogous to the Tsirelson bound for spatial correlations in a Bell test, strongly depends on the number of levels $N$ that can be accessed by the measurement apparatus via projective measurements. We provide exact bounds for small $N$, that exceed the known bound for the Leggett-Garg inequality, and show that in the limit $N\rightarrow \infty$ the Leggett-Garg inequality can be violated up to its algebraic maximum.
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…
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…
Leggett-type nonlocal realist inequalities that have been derived to date are all contingent upon suitable geometrical constraints to be strictly satisfied by the spatial arrangement of the relevant measurement settings. This undesirable restriction is removed in the present work by deriving appropriate forms of nonlocal realist inequalities, one of which involve the least number of settings compared to all such inequalities derived earlier. The way such inequalities would provide a logically firmer basis for a clearer testing of Leggett-type nonlocal realist model vis-a-vis quantum mechanics …
We show that when the proper description of the behaviour of individual photons or spin 1/2 particles in a spherically symmetric entangled pair is done through the use of the density matrix, the Leggett's inequality is not violated by quantum mechanics.
Ambiguous measurements do not reveal complete information about the system under test. Their quantum-mechanical counterparts are semi-weak (or in the limit, weak-) measurements and here we discuss their role in tests of the Leggett-Garg inequalities. We show that, whilst ambiguous measurements allow one to forgo the usual non-invasive measureability assumption, to derive an LGI that may be violated, we are forced to introduce another assumption that equates the invasive influence of ambiguous and unambiguous detectors. Based on this assumption, we derive signalling conditions that should be fu…
We present a path analysis of the condition under which the outcomes of previous observation affect the results of the measurements yet to be made. It is shown that this effect, also known as "signalling in time", occurs whenever the earlier measurements are set to destroy interference between two or more virtual paths. We also demonstrate that Feynman's negative "probabilities" provide for a more reliable witness of "signalling in time", than the Leggett-Garg inequalities, while both methods are frequently subject to failure
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…
We report the experimental violation of Leggett-type inequalities for a hybrid entangled state of spin and orbital angular momentum of a single photon. These inequalities give a physical criterion to verify the possible validity of a class of hidden-variable theories, originally named "crypto non-local", that are not excluded by the violation of Bell-type inequalities. In our case, the tested theories assume the existence of hidden variables associated with independent degrees of freedom of the same particle, while admitting the possibility of an influence between the two measurements, i.e. th…
The Leggett-Garg inequalities serve to test whether or not quantum correlations in time can be explained within a classical macrorealistic framework. We apply this test to thermodynamics and derive a set of Leggett- Garg inequalities for the statistics of fluctuating work done on a quantum system unitarily driven in time. It is shown that these inequalities can be violated in a driven two-level system, thereby demonstrating that there exists no general macrorealistic description of quantum work. These violations are shown to emerge within the standard Two-Projective-Measurement scheme as well …
We discuss the use of inequalities of the Leggett-Garg type (LGtI) to witness quantum coherence and present the first experimental violation of this type of inequalities using a light-matter interfaced system. By separately benchmarking the Markovian character of the evolution and the translational invariance of the conditional probabilities, the observed violation of a LGtI is attributed to the quantum coherent character of the process. These results provide a general method to benchmark `quantumness' when the absence of memory effects can be independently certified and confirm the persistenc…
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…
The Bell-type (spatial), Kochen-Specker (contextuality) or Leggett-Garg (temporal) inequalities are based on classically plausible but otherwise quite distinct assumptions. For any of these inequalities, satisfaction is equivalent to a joint probability distribution for all observables in the experiment. This implies a joint distribution for all pairs of observables, and is indifferent to whether or not they commute in the theory. This indifference underpins a unification of the above inequalities into a general framework of correlation inequalities. When the physical scenario is such that the…
We investigate the Leggett-Garg inequalities (LGIs) for a boson system whose observables are given by deforming the Pegg-Barnett phase operators. We consider two observables and show that the quantum Fourier transform is useful in the realization of the required measurements. Deriving explicit forms for the LGIs using the coherent state $|α\rangle$ as the initial state, we explore the regimes where they are violated when the time difference between observations of the phase operators is varied. We show that the system remains nonclassical in the large amplitude limit without dissipation, howev…
Elitzur and Vaidman have proposed a measurement scheme that, based on the quantum superposition principle, allows one to detect the presence of an object --- in a dramatic scenario, a bomb --- without interacting with it. It was pointed out by Ghirardi that this interaction-free measurement scheme can be put in direct relation with falsification tests of the macro-realistic worldview. Here we have implemented the "bomb test" with a single atom trapped in a spin-dependent optical lattice to show explicitly a violation of the Leggett-Garg inequality --- a quantitative criterion fulfilled by macr…
We consider the so called Legget inequalities which are deduced from the assumption of general (local or non-local) realism plus the arrow of time preservation. Then, instead of assuming cryto-nonlocal hidden variables, we assume any (local or non-local) realism compatible with the joint and non-joint expected values dictated by quantum mwechaanics. Hence, we prove that this double assumption is not consistent, since the corresponding general Leggett inequalities are violated by quantum mechanics. Thus, realism plus arrow of time preservation and quntum mechanics are not compatible. In other w…
We investigate the Leggett-Garg inequalities and the relative entropy of coherence in the Bixon-Jortner model. First, we analytically derive the general solution of the Bixon-Jortner model by a technique of the Laplace transform. So far, only a special solution has been known for this model. The model has a single state coupled to equally spaced quasi-continuum states. These couplings cause discontinuities in the time evolution of the occupation probability of each state. Second, using the analytical solution, we show that the probability distribution of the quasi-continuum states approaches t…
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…
We prove a no-go theorem for a class of hidden variables theories that satisfy parameter independence. Specifically, we show that, assuming two conditions, there are no non-trivial hidden variables models of the quantum predictions for product measurements on two systems in any maximally entangled state in a Hilbert space of dimension at least 3x3. The two conditions are parameter independence and a condition that we call conditional parameter independence. The result is analogous to the recent no-go theorems based on Leggett's inequalities and their generalisations.
We report an unusual buildup of the quantum coherence in a qubit subjected to non-Hermitian evolution generated by a Parity-Time ($\mathcal{PT}$) symmetric Hamiltonian, which is reinterpreted as a Hermitian system in a higher dimensional space using Naimark dilation. The coherence is found to be maximum about the exceptional points (EPs), i.e., the points of coalescence of the eigenvalues as well as the eigenvectors. The nontrivial physics about EPs has been observed in various systems, particularly in photonic systems. As a consequence of enhancement in coherence, the various formulations of …
In contrast to Bell's inequalities which test the correlations between multiple spatially separated systems, the Leggett-Garg inequalities test the temporal correlations between measurements of a single system. We experimentally demonstrate the violation of the Leggett-Garg inequality in a classical optical system using only the polarization degree-of-freedom of a laser beam. Our results show maximal violations of the Leggett-Garg inequality.
The violation of Leggett-Garg type inequalities (LGtIs) is studied on a two level atom, driven by an external field in the presence of a squeezed thermal reservoir. The violations are observed in the underdamped regime where the spontaneous transition rate is much smaller compared to the Rabi frequency. Increase in thermal effects is found to decrease the extent of violation as well as the time over which the violation lasts. With increase in the value squeezing parameter the extent of violation of LGtIs is seen to reduce. The violation of LGtIs is favored by increase in the driving frequency.…
In an endeavour to better define the distinction between classical macroscopic and quantum microscopic regimes, the Leggett-Garg inequalities were established as a test of macroscopic-realistic theories, which are commonly thought to be a suitable class of descriptions for classical dynamics. The relationship between their violation and non-classicality is however not obvious. We show that classical states of light, which in the quantum optical sense are any convex sums of coherent states, may not satisfy the Leggett-Garg inequalities. After introducing a simple Mach-Zehnder setup and showing …
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…
We derive a set of Leggett-Garg inequalities (temporal Bell's inequalities) for the moment generating function of charge transferred through a conductor. Violation of these inequalities demonstrates the absence of a macroscopic-real description of the transport process. We show how these inequalities can be violated by quantum-mechanical systems and consider transport through normal and superconducting single-electron transistors as examples.
In this study, we determine a violation of the Leggett-Garg inequalities due to gravitational interaction in a hybrid system consisting of a harmonic oscillator and a spatially localized superposed particle. The violation of the Leggett-Garg inequalities is discussed using the two-time quasiprobability in connection with the entanglement negativity generated by gravitational interaction. It is demonstrated that the entanglement suppresses the violation of the Leggett-Garg inequalities when one of the two times of the quasiprobability t_1 is chosen as the initial time. Further, it is shown that…
Quantum mechanics presents peculiar properties that, on the one hand, have been the subject of several theoretical and experimental studies about its very foundations and, on the other hand, provide tools for developing new technologies, the so-called quantum technologies. The nonclassicality pointed out by Leggett-Garg inequalities has represented, with Bell inequalities, one of the most investigated subject. In this letter we study the connection of Leggett-Garg inequalities with a new emerging field of quantum measurement, the weak values. In particular, we perform an experimental study of …
We investigate Leggett-Garg temporal inequalities in flavor-mixing processes. We derive an exact flavor-mass uncertainty product and we establish that it is an upper bound to the violation of the inequalities. This finding relates temporal nonclassicality to quantum uncertainty and provides a time analog of the Tsirelson upper bound to the violation of the spatial Bell inequalities. By studying the problem both in the exact field-theoretical setting and in the limiting quantum mechanical approximation, we show that Leggett-Garg inequalities are violated more strongly in quantum field theory th…
Leggett formulated an inequality which seems to generalize the Bell theorem to non-local hidden variable theories. Leggett inequality is violated by quantum mechanics, as was confirmed by experiment. However, a careful analysis reveals that the theory applies to a class of local theory. Contrary to what happens in the derivation of Bell inequality, it is not necessary to make the hypothesis of outcome independence to derive the Leggett inequality.
Quantum mechanics violates Leggett-Garg inequalities because the operator formalism predicts correlations between different spin components that would correspond to negative joint probabilities for the outcomes of joint measurements. However, the uncertainty principle ensures that such joint measurements cannot be implemented without errors. In a sequential measurement of the spin components, the resolution and back-action errors of the intermediate measurement can be described by random spin flips acting on an intrinsic joint probability. If the error rates are known, the intrinsic joint prob…
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 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…
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 e…
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…
Quantum theory predicts and experiments confirm that nature can produce correlations between distant events that are nonlocal in the sense of violating a Bell inequality. Nevertheless, Bell's strong sentence {\it Correlations cry out for explanations} remains relevant. The maturing of quantum information science and the discovery of the power of nonlocal correlations, e.g. for cryptographic key distribution beyond the standard Quantum Key Distribution schemes, strengthen Bell's wish and make it even more timely. In 2003, Leggett proposed an alternative model for nonlocal correlations [Found. P…
Leggett-type inequalities for testing nonlocal realism in multipartite systems
School of Physics, Shandong University（山东大学物理学院）；Wilczek Quantum Center, School of Physics and Astronomy, Shanghai Jiao Tong University（上海交通大学物理与天文学院吴健雄量子中心）；Key Laboratory of Vacuum Physics, CAS（中国科学院真空物理重点实验室）；School of Physical Sciences, University of Chinese Academy of Sciences（中国科学院大学物理科学学院）
Leggett-Garg's inequalities predict sharp bounds for some classical correlation functions that address the quantum or classical nature of real-time evolutions. We experimentally observe the violations of these bounds on single- and multi-qubit systems, in different settings, exploiting the IBM Quantum platform. In the multi-qubit case we introduce the Leggett-Garg-Bell's inequalities as an alternative to the previous ones. Measuring these correlation functions, we find quantum error mitigation to be essential to spot inequalities violations. Accessing only two qubit readouts, we assess Leggett…
In 1862, George Boole derived an inequality for variables, now known as Boolean variables, that in his opinion represents a demarcation line between possible and impossible experience. This inequality forms an important milestone in the epistemology of probability theory and probability measures. In 1985 Leggett and Garg derived a physics related inequality, mathematically identical to Boole's, that according to them represents a demarcation between macroscopic realism and quantum mechanics. Their formalism, constructed for the magnetic flux of SQUIDS, includes general features and applies als…
Leggett-Garg inequalities are an important milestone in our quest to bridge the classical-quantum divide. An experimental investigation of these inequalities requires the so called \emph{non-invasive measurements}(NIM). It has become popular to invoke weak measurements as the means of realising NIMs to very good approximation, because of their allegedly low disturbance of systems under measurement. In this note, this is shown to be a myth; it is shown, by simple estimates of errors, that for comparable levels of statistical errors, even the strong or projective measurements can be used. In fac…
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 $\…
