# Leggett–Garg inequality

The Leggett–Garg inequality,[1] named for Anthony James Leggett and Anupam Garg, is a mathematical inequality fulfilled by all macrorealistic physical theories. Here, macrorealism (macroscopic realism) is a classical worldview defined by the conjunction of two postulates:[1]

1. Macrorealism per se: "A macroscopic object, which has available to it two or more macroscopically distinct states, is at any given time in a definite one of those states."
2. Noninvasive measurability: "It is possible in principle to determine which of these states the system is in without any effect on the state itself, or on the subsequent system dynamics."

## In quantum mechanics

In quantum mechanics, the Leggett–Garg inequality is violated, meaning that the time evolution of a system cannot be understood classically. The situation is similar to the violation of Bell's inequalities in Bell test experiments which plays an important role in understanding the nature of the Einstein–Podolsky–Rosen paradox. Here quantum entanglement plays the central role.

## Two-state example

The simplest form of the Leggett–Garg inequality derives from examining a system that has only two possible states. These states have corresponding measurement values ${\displaystyle Q=\pm 1}$. The key here is that we have measurements at two different times, and one or more times between the first and last measurement. The simplest example is where the system is measured at three successive times ${\displaystyle t_{1}. Now suppose, for instance, that there is a perfect correlation ${\displaystyle C_{13}}$ of 1 between times ${\displaystyle t_{1}}$ and ${\displaystyle t_{3}}$. That is to say, that for N realisations of the experiment, the temporal correlation reads

${\displaystyle C_{13}={\frac {1}{N}}\sum _{r=1}^{N}Q_{r}(t_{1})Q_{r}(t_{3})=1.}$

We look at this case in some detail. What can be said about what happens at time ${\displaystyle t_{2}}$? Well, it is possible that ${\displaystyle C_{12}=C_{23}=1}$, so that if the value of ${\displaystyle Q}$ at ${\displaystyle t_{1}}$ is ${\displaystyle \pm 1}$, then it is also ${\displaystyle \pm 1}$ for both times ${\displaystyle t_{2}}$ and ${\displaystyle t_{3}}$. It is also quite possible that ${\displaystyle C_{12}=C_{23}=-1}$, so that the value of ${\displaystyle Q}$ at ${\displaystyle t_{1}}$ is flipped twice, and so has the same value at ${\displaystyle t_{3}}$ as it did at ${\displaystyle t_{1}}$. So, we can have both ${\displaystyle Q(t_{1})}$ and ${\displaystyle Q(t_{2})}$ anti-correlated as long as we have ${\displaystyle Q(t_{2})}$ and ${\displaystyle Q(t_{3})}$ anti-correlated. Yet another possibility is that there is no correlation between ${\displaystyle Q(t_{1})}$ and ${\displaystyle Q(t_{2})}$. That is we could have ${\displaystyle C_{12}=C_{23}=0}$. So, although it is known that if ${\displaystyle Q=\pm 1}$ at ${\displaystyle t_{1}}$ it must also be ${\displaystyle \pm 1}$ at ${\displaystyle t_{3}}$, the value at ${\displaystyle t_{2}}$ may as well be determined by the toss of a coin. We define ${\displaystyle K}$ as ${\displaystyle K=C_{12}+C_{23}-C_{13}}$. In these three cases, we have ${\displaystyle K=1,-3,}$ and ${\displaystyle -1}$, respectively.

All that was for 100% correlation between times ${\displaystyle t_{1}}$ and ${\displaystyle t_{3}}$. In fact, for any correlation between these times ${\displaystyle K=C_{12}+C_{23}-C_{13}\leq 1}$. To see this, we note that

${\displaystyle K={\frac {1}{N}}\sum _{r=1}^{N}\left(Q(t_{1})Q(t_{2})+Q(t_{2})Q(t_{3})-Q(t_{1})Q(t_{3})\right)_{r}.}$

It is easily seen that for every realisation ${\displaystyle r}$, the term in the parentheses must be less than or equal to unity, so that the result for the average is also less than (or equal to) unity. If we have four distinct times rather than three, we have ${\displaystyle K=C_{12}+C_{23}+C_{34}-C_{14}\leq 2}$ and so on. These are the Leggett–Garg inequalities. They express the relation between the temporal correlations of ${\displaystyle \langle Q({\text{start}})Q({\text{end}})\rangle }$ and the correlations between successive times in going from the start to the end.

In the derivations above, it has been assumed that the quantity Q, representing the state of the system, always has a definite value (macrorealism per se) and that its measurement at a certain time does not change this value nor its subsequent evolution (noninvasive measurability). A violation of the Leggett–Garg inequality implies that at least one of these two assumptions fails.

## Experimental violations

One of the first proposed experiments for demonstrating a violation of macroscopic realism employs superconducting quantum interference devices. There, using Josephson junctions, one should be able to prepare macroscopic superpositions of left and right rotating macroscopically large electronic currents in a superconducting ring. Under sufficient suppression of decoherence one should be able to demonstrate a violation of the Leggett–Garg inequality.[2] However, some criticism has been raised concerning the nature of indistinguishable electrons in a Fermi sea.[3][4]

A criticism of some other proposed experiments on the Leggett–Garg inequality is that they do not really show a violation of macrorealism because they are essentially about measuring spins of individual particles.[5] In 2015 Robens et al.[6] demonstrated an experimental violation of the Leggett–Garg inequality using superpositions of positions instead of spin with a massive particle. At that time, and so far up until today, the Cesium atoms employed in their experiment represent the largest quantum objects which have been used to experimentally test the Leggett–Garg inequality.[7]

The experiments of Robens et al.[6] as well as Knee et al.,[8] using ideal negative measurements, also avoid a second criticism (referred to as “clumsiness loophole”[9]) that has been directed to previous experiments using measurement protocols that could be interpreted as invasive, thereby conflicting with postulate 2.

Several other experimental violations have been reported, including in 2016 with neutrino particles using the MINOS dataset.[10]

Brukner and Kofler have also demonstrated that quantum violations can be found for arbitrarily large macroscopic systems. As an alternative to quantum decoherence, Brukner and Kofler are proposing a solution of the quantum-to-classical transition in terms of coarse-grained quantum measurements under which usually no violation of the Leggett–Garg inequality can be seen anymore.[11][12]

Experiments proposed by Mermin[13] and Braunstein and Mann[14] would be better for testing macroscopic realism, but warns that the experiments may be complex enough to admit unforeseen loopholes in the analysis. A detailed discussion of the subject can be found in the review by Emary et al.[15]

## Related inequalities

The four-term Leggett–Garg inequality can be seen to be similar to the CHSH inequality. Moreover, equalities were proposed by Jaeger et al.[16]

## References

1. ^ a b Leggett, A. J.; Garg, Anupam (1985-03-04). "Quantum mechanics versus macroscopic realism: Is the flux there when nobody looks?". Physical Review Letters. 54 (9): 857–860. Bibcode:1985PhRvL..54..857L. doi:10.1103/physrevlett.54.857. ISSN 0031-9007. PMID 10031639.
2. ^ Leggett, A J (2002-04-05). "Testing the limits of quantum mechanics: motivation, state of play, prospects". Journal of Physics: Condensed Matter. 14 (15): R415–R451. doi:10.1088/0953-8984/14/15/201. ISSN 0953-8984.
3. ^ Wilde, Mark M.; Mizel, Ari (2012). "Addressing the Clumsiness Loophole in a Leggett-Garg Test of Macrorealism". Foundations of Physics. 42 (2): 256–265. arXiv:1001.1777. Bibcode:2012FoPh...42..256W. doi:10.1007/s10701-011-9598-4.
4. ^ A. Palacios-Laloy (2010). Superconducting qubit in a resonator: test of the Leggett-Garg inequality and single-shot readout (PDF) (PhD).
5. ^ Foundations and Interpretation of Quantum Mechanics. Gennaro Auletta and Giorgio Parisi, World Scientific, 2001 ISBN 981-02-4614-5, ISBN 978-981-02-4614-3
6. ^ a b Robens, Carsten; Alt, Wolfgang; Meschede, Dieter; Emary, Clive; Alberti, Andrea (2015-01-20). "Ideal Negative Measurements in Quantum Walks Disprove Theories Based on Classical Trajectories". Physical Review X. 5 (1): 011003. Bibcode:2015PhRvX...5a1003R. doi:10.1103/physrevx.5.011003. ISSN 2160-3308.
7. ^ Knee, George C. (2015). "Viewpoint: Do Quantum Superpositions Have a Size Limit?". Physics. 8 (6). doi:10.1103/Physics.8.6.
8. ^ Knee, George C.; Simmons, Stephanie; Gauger, Erik M.; Morton, John J.L.; Riemann, Helge; et al. (2012). "Violation of a Leggett–Garg inequality with ideal non-invasive measurements". Nature Communications. 3 (1): 606. arXiv:1104.0238. Bibcode:2012NatCo...3..606K. doi:10.1038/ncomms1614. ISSN 2041-1723. PMC 3272582. PMID 22215081.
9. ^ Wilde, Mark M.; Mizel, Ari (2011-09-13). "Addressing the Clumsiness Loophole in a Leggett-Garg Test of Macrorealism". Foundations of Physics. 42 (2): 256–265. arXiv:1001.1777. doi:10.1007/s10701-011-9598-4. ISSN 0015-9018.
10. ^ Formaggio, J. A.; Kaiser, D. I.; Murskyj, M. M.; Weiss, T. E. (2016-07-26). "Violation of the Leggett-Garg Inequality in Neutrino Oscillations". Physical Review Letters. 117 (5): 050402. arXiv:1602.00041. Bibcode:2016PhRvL.117e0402F. doi:10.1103/physrevlett.117.050402. ISSN 0031-9007. PMID 27517759.
11. ^ Kofler, Johannes; Brukner, Časlav (2007-11-02). "Classical World Arising out of Quantum Physics under the Restriction of Coarse-Grained Measurements". Physical Review Letters. 99 (18): 180403. arXiv:quant-ph/0609079. Bibcode:2007PhRvL..99r0403K. doi:10.1103/physrevlett.99.180403. ISSN 0031-9007. PMID 17995385.
12. ^ Kofler, Johannes; Brukner, Časlav (2008-08-28). "Conditions for Quantum Violation of Macroscopic Realism". Physical Review Letters. 101 (9): 090403. arXiv:0706.0668. Bibcode:2008PhRvL.101i0403K. doi:10.1103/physrevlett.101.090403. ISSN 0031-9007. PMID 18851590.
13. ^ Mermin, N. David (1990). "Extreme quantum entanglement in a superposition of macroscopically distinct states". Physical Review Letters. 65 (15): 1838–1840. Bibcode:1990PhRvL..65.1838M. doi:10.1103/physrevlett.65.1838. ISSN 0031-9007. PMID 10042377.
14. ^ Braunstein, Samuel L.; Mann, A. (1993-04-01). "Noise in Mermin'sn-particle Bell inequality". Physical Review A. 47 (4): R2427–R2430. Bibcode:1993PhRvA..47.2427B. doi:10.1103/physreva.47.r2427. ISSN 1050-2947. PMID 9909338.
15. ^ Emary, Clive; Lambert, Neill; Nori, Franco (2014). "Leggett–Garg inequalities". Reports on Progress in Physics. 77 (1): 016001. arXiv:1304.5133. Bibcode:2014RPPh...77a6001E. doi:10.1088/0034-4885/77/1/016001. ISSN 0034-4885.
16. ^ Jaeger, Gregg; Viger, Chris; Sarkar, Sahotra (1996). "Bell-type equalities for SQUIDs on the assumptions of macroscopic realism and non-invasive measurability". Physics Letters A. 210 (1–2): 5–10. Bibcode:1996PhLA..210....5J. doi:10.1016/0375-9601(95)00821-7. ISSN 0375-9601.