Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2109.03118 · Physical Review A

Leggett-Garg tests for macrorealism in the quantum harmonic oscillator and more general bound systems

C. Mawby, J. J. Halliwell

Published Feb 28, 2022• 10 citations
arXivHTMLPDF

Abstract

The Leggett-Garg (LG) inequalities were introduced to test for the possible presence of macroscopic quantum coherence. Since such effects may be found in various types of macroscopic oscillators, we consider the application of the LG approach to the one-dimensional quantum harmonic oscillator and also to more general bound systems, using a single dichotomic variable $Q$ given by the sign of the oscillator position. We present a simple method to calculate the temporal correlation functions appearing in the LG inequalities for any bound system for which the eigenspectrum is (exactly or numerically) known. We apply this result to the quantum harmonic oscillator for a variety of experimentally accessible states, namely, energy eigenstates, and superpositions thereof. For the subspace of states spanned by only the ground state and first excited state, we readily find substantial regions of parameter space in which the LG inequalities at two, three, and four times can each be independently violated or satisfied. We also find that the violations persist, although are reduced, when the sign function defining $Q$ is smeared to reflect experimental imprecision. For higher-energy eigenstates, we find that LG violations diminish, showing the expected classicalization. With a $Q$ defined using a more general type of position coarse graining, we find two-time LG violations even in the ground state. We also show that two-time LG violations in a Gaussian state are readily found if the dichotomic variable at one of the times is taken to be the parity operator. To demonstrate the versatility of the approach, we repeat much of the LG analysis for the Morse potential, finding qualitatively similar physical results.

DOI
10.1103/physreva.105.022221

Related papers

Leggett-Garg tests for macrorealism: Interference experiments and the simple harmonic oscillator

J. J. Halliwell, Ansh Bhatnagar, E. Ireland +2 more

Leggett-Garg (LG) tests for macrorealism were originally designed to explore quantum coherence on the macroscopic scale. Interference experiments and systems modeled 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 noninvasive measurement at the slits is included, we exhibit LG violations. We find that these violations are always accompanied by destructive interference. The converse is not true in general and we find that there are nontrivial regimes in which there is destructive interference but the two-time LG inequalities are satisfied, which implies that it is in fact often possible to assign (indirectly determined) probabilities for the interferometer paths. Similar features have been observed in recent work involving a LG analysis of a Mach-Zehnder interferometer and we compare with those results. We extend the analysis to the triple-slit experiment again finding LG violations, and we also exhibit examples of some surprising relationships between LG inequalities and NSIT conditions that do not exist for dichotomic variables. For the simple harmonic oscillator, we find an analytically tractable example showing a two-time LG violation with a gaussian initial state, echoing in simpler form recent results of Bose et al. [Phys. Rev. Lett. 120, 210402 (2018)].

arXiv:2009.03856•Physical Review A•Mar 24, 2021•21 citations

Leggett-Garg violations for continuous-variable systems with Gaussian states

C. Mawby, J. J. Halliwell

Macrorealism (MR) is the worldview that certain quantities may take definite values at all times irrespective of past or future measurements and may be experimentally falsified via the Leggett-Garg (LG) inequalities. We put this worldview to the test for systems described by a continuous variable $x$ by seeking LG violations for measurements of a dichotomic variable $Q=\text{sign}(x)$, in the case of Gaussian initial states in a quantum harmonic oscillator. Extending our earlier analysis [C. Mawby and J. J. Halliwell, Phys. Rev. A 105, 022221 (2022)], we find analytic expressions for the temporal correlators. An exploration of parameter space reveals significant regimes in which the two-time LG inequalities are violated, and likewise at three and four times. To obtain a physical picture of the LG violations, we exploit the continuous nature of the underlying position variable and analyze the relevant quantum-mechanical currents, Bohm trajectories, and Wigner function. We also show that larger violations are possible using the Wigner LG inequalities. Further, we extend the analysis to LG tests using coherent state projectors, thermal coherent states, and squeezed states.

arXiv:2211.10292•Physical Review A•Mar 24, 2023•7 citations

Tests of Macrorealism in Discrete and Continuous Variable Systems

C. Mawby

I study several aspects of tests of macrorealism (MR), which for a given data set serves to give a quantitative signal of the presence of a specific notion of non-classical behaviour. The insufficiency of classical understanding underpins both the paradoxes of quantum mechanics, its future technological promise, and so these tests are of interest both foundationally and pragmatically. I derive generalisations of the Leggett-Garg (LG) inequalities and Fine's theorem, which together establish the necessary and sufficient conditions for macrorealism. First, I extend these conditions to tests involving an arbitrary number of measurement times. Secondly, I generalise them beyond the standard dichotomic variable, to systems described by many-valued variables. I also perform a quantum mechanical analysis examining the interplay of different conditions of MR. I then develop the theoretical framework to support tests of macrorealism in continuous variable systems, where I define variables based on coarse-grainings of position. I calculate temporal correlators for general bound systems, and analyse LG violations within the quantum harmonic oscillator (QHO), in its energy eigenstates and coherent states. I analyse the precise physical mechanisms underpinning the violations in terms of probability currents, Bohm trajectories. Staying within continuous variable systems, we outline a different approach to meeting the invasiveness requirement of LG tests. Reasoning that we may approximately non-invasively measure whether a particle crosses the axis, we measure an object which is related to the standard correlators, and derive a set of macrorealistic inequalities for these modified correlators. We demonstrate violations of these modified LG inequalities for several states within the QHO.

arXiv:2402.16537•Feb 26, 2024•0 citations

Violation of the two-time Leggett-Garg inequalities for a harmonic oscillator

Kosei Hatakeyama, Daisuke Miki, Masaki Tani +5 more

We investigate the violation of the Leggett-Garg inequalities for a harmonic oscillator in various quantum states and with various choices of a projection operator for a dichotomic variable. We focus on the two-time quasiprobability distribution function with a dichotomic variable constructed with the position or momentum operator of a harmonic oscillator. Our results are the generalization of the previous work by Mawby and Halliwell [Phys. Rev. A 107, 032216 (2023)], but the new points are the following. We first obtain the explicit expression for the two-time quasiprobability distribution function for the (thermal) squeezed coherent state. Second, we find the two-time quasiprobability distribution function with the dichotomic variable and the projection operator constructed in terms of the momentum operator. Third, we demonstrate that the violation of the Leggett-Garg inequalities can be boosted by adopting the dichotomic variable and the projection operator defined by a finite range of the position/momentum, in which a larger violation appears for the ground state and the squeezed state. We give an intuitive interpretation when the violation of the Leggett-Garg inequalities appears. We also present a mathematical formula to compute the quasiprobability distribution function by using the integral representation of the Heaviside function, which is useful to generalize it to a quantum field theory.

arXiv:2310.16471•Physical Review A•Jul 22, 2024•3 citations

Assessing the dynamical assumptions in Tsirelson inequality tests of nonclassicality in harmonic oscillators

Arush Garg, J. J. Halliwell, Taejas Venkataraman

Macrorealism posits that a system possesses definite properties at all times and that we can discover these properties, in principle, without disturbing the system's subsequent behavior. The Leggett-Garg inequalities are derived under these assumptions and are readily violated by standard quantum mechanics, thereby providing a scheme to test whether demonstrably macroscopic systems can exhibit quantum coherence. Unfortunately, Leggett-Garg tests suffer from the difficult to avoid clumsiness loophole: the difficulty of proving that sequential measurements have not inadvertently disturbed the system. The recently uncovered Tsirelson inequality is derived from the simple dynamical assumption of uniform precession, obeyed by many classical systems, and requires only single-time measurements. However, Tsirelson inequality violations could be explained by a macrorealistic system that merely breaks the dynamical assumption, rather than genuine quantum behavior. By carrying out a quantum-mechanical analysis of the Tsirelson inequality in the harmonic oscillator, we develop a protocol to rule out this possibility by assessing generalized conditions of uniform precession. We show that various measures of uniform precession, some of which are related to Leggett-Garg quantities, are satisfied well enough that the presence of quantum-mechanical interference terms must be implied. We derive several incidental mathematical results relating to violating states of Tsirelson's inequality, concerning dwell time, crossing number, and probability currents, and also consider a group-theoretic analysis of the Tsirelson operator.

arXiv:2509.03166•Physical Review A•Apr 30, 2026•0 citations

Quantum- vs. Macro- Realism: What does the Leggett-Garg Inequality actually test?

O. J. E. Maroney, Christopher G. Timpson

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.

arXiv:1412.6139•Dec 18, 2014•23 citations
The Leggett-Garg (LG) inequalities were introduced to test for the possible presence of macroscopic quantum coherence. Since such effects may be found in various types of macroscopic oscillators, we consider the application of the LG approach to the one-dimensional quantum harmonic oscillator and also to more general bound systems, using a single dichotomic variable QQQ given by the sign of the oscillator position. We present a simple method to calculate the temporal correlation functions appearing in the LG inequalities for any bound system for which the eigenspectrum is (exactly or numerically) known. We apply this result to the quantum harmonic oscillator for a variety of experimentally accessible states, namely, energy eigenstates, and superpositions thereof. For the subspace of states spanned by only the ground state and first excited state, we readily find substantial regions of parameter space in which the LG inequalities at two, three, and four times can each be independently violated or satisfied. We also find that the violations persist, although are reduced, when the sign function defining QQQ is smeared to reflect experimental imprecision. For higher-energy eigenstates, we find that LG violations diminish, showing the expected classicalization. With a QQQ defined using a more general type of position coarse graining, we find two-time LG violations even in the ground state. We also show that two-time LG violations in a Gaussian state are readily found if the dichotomic variable at one of the times is taken to be the parity operator. To demonstrate the versatility of the approach, we repeat much of the LG analysis for the Morse potential, finding qualitatively similar physical results.
Leggett-Garg (LG) tests for macrorealism were originally designed to explore quantum coherence on the macroscopic scale. Interference experiments and systems modeled 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 QQQ. Applying this approach to the double-slit experiment in which a noninvasive measurement at the slits is included, we exhibit LG violations. We find that these violations are always accompanied by destructive interference. The converse is not true in general and we find that there are nontrivial regimes in which there is destructive interference but the two-time LG inequalities are satisfied, which implies that it is in fact often possible to assign (indirectly determined) probabilities for the interferometer paths. Similar features have been observed in recent work involving a LG analysis of a Mach-Zehnder interferometer and we compare with those results. We extend the analysis to the triple-slit experiment again finding LG violations, and we also exhibit examples of some surprising relationships between LG inequalities and NSIT conditions that do not exist for dichotomic variables. For the simple harmonic oscillator, we find an analytically tractable example showing a two-time LG violation with a gaussian initial state, echoing in simpler form recent results of Bose et al. [Phys. Rev. Lett. 120, 210402 (2018)].
Macrorealism (MR) is the worldview that certain quantities may take definite values at all times irrespective of past or future measurements and may be experimentally falsified via the Leggett-Garg (LG) inequalities. We put this worldview to the test for systems described by a continuous variable xxx by seeking LG violations for measurements of a dichotomic variable Q=sign(x)Q=\text{sign}(x)Q=sign(x), in the case of Gaussian initial states in a quantum harmonic oscillator. Extending our earlier analysis [C. Mawby and J. J. Halliwell, Phys. Rev. A 105, 022221 (2022)], we find analytic expressions for the temporal correlators. An exploration of parameter space reveals significant regimes in which the two-time LG inequalities are violated, and likewise at three and four times. To obtain a physical picture of the LG violations, we exploit the continuous nature of the underlying position variable and analyze the relevant quantum-mechanical currents, Bohm trajectories, and Wigner function. We also show that larger violations are possible using the Wigner LG inequalities. Further, we extend the analysis to LG tests using coherent state projectors, thermal coherent states, and squeezed states.
I study several aspects of tests of macrorealism (MR), which for a given data set serves to give a quantitative signal of the presence of a specific notion of non-classical behaviour. The insufficiency of classical understanding underpins both the paradoxes of quantum mechanics, its future technological promise, and so these tests are of interest both foundationally and pragmatically. I derive generalisations of the Leggett-Garg (LG) inequalities and Fine's theorem, which together establish the necessary and sufficient conditions for macrorealism. First, I extend these conditions to tests involving an arbitrary number of measurement times. Secondly, I generalise them beyond the standard dichotomic variable, to systems described by many-valued variables. I also perform a quantum mechanical analysis examining the interplay of different conditions of MR. I then develop the theoretical framework to support tests of macrorealism in continuous variable systems, where I define variables based on coarse-grainings of position. I calculate temporal correlators for general bound systems, and analyse LG violations within the quantum harmonic oscillator (QHO), in its energy eigenstates and coherent states. I analyse the precise physical mechanisms underpinning the violations in terms of probability currents, Bohm trajectories. Staying within continuous variable systems, we outline a different approach to meeting the invasiveness requirement of LG tests. Reasoning that we may approximately non-invasively measure whether a particle crosses the axis, we measure an object which is related to the standard correlators, and derive a set of macrorealistic inequalities for these modified correlators. We demonstrate violations of these modified LG inequalities for several states within the QHO.
We investigate the violation of the Leggett-Garg inequalities for a harmonic oscillator in various quantum states and with various choices of a projection operator for a dichotomic variable. We focus on the two-time quasiprobability distribution function with a dichotomic variable constructed with the position or momentum operator of a harmonic oscillator. Our results are the generalization of the previous work by Mawby and Halliwell [Phys. Rev. A 107, 032216 (2023)], but the new points are the following. We first obtain the explicit expression for the two-time quasiprobability distribution function for the (thermal) squeezed coherent state. Second, we find the two-time quasiprobability distribution function with the dichotomic variable and the projection operator constructed in terms of the momentum operator. Third, we demonstrate that the violation of the Leggett-Garg inequalities can be boosted by adopting the dichotomic variable and the projection operator defined by a finite range of the position/momentum, in which a larger violation appears for the ground state and the squeezed state. We give an intuitive interpretation when the violation of the Leggett-Garg inequalities appears. We also present a mathematical formula to compute the quasiprobability distribution function by using the integral representation of the Heaviside function, which is useful to generalize it to a quantum field theory.
Macrorealism posits that a system possesses definite properties at all times and that we can discover these properties, in principle, without disturbing the system's subsequent behavior. The Leggett-Garg inequalities are derived under these assumptions and are readily violated by standard quantum mechanics, thereby providing a scheme to test whether demonstrably macroscopic systems can exhibit quantum coherence. Unfortunately, Leggett-Garg tests suffer from the difficult to avoid clumsiness loophole: the difficulty of proving that sequential measurements have not inadvertently disturbed the system. The recently uncovered Tsirelson inequality is derived from the simple dynamical assumption of uniform precession, obeyed by many classical systems, and requires only single-time measurements. However, Tsirelson inequality violations could be explained by a macrorealistic system that merely breaks the dynamical assumption, rather than genuine quantum behavior. By carrying out a quantum-mechanical analysis of the Tsirelson inequality in the harmonic oscillator, we develop a protocol to rule out this possibility by assessing generalized conditions of uniform precession. We show that various measures of uniform precession, some of which are related to Leggett-Garg quantities, are satisfied well enough that the presence of quantum-mechanical interference terms must be implied. We derive several incidental mathematical results relating to violating states of Tsirelson's inequality, concerning dwell time, crossing number, and probability currents, and also consider a group-theoretic analysis of the Tsirelson operator.
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.