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:2402.16537

Tests of Macrorealism in Discrete and Continuous Variable Systems

C. Mawby

Published Feb 26, 2024• 0 citations
arXivHTMLPDF

Abstract

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.

DOI
10.48550/arxiv.2402.16537

Related papers

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

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

C. Mawby, J. J. Halliwell

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.

arXiv:2109.03118•Physical Review A•Feb 28, 2022•10 citations

Comparing conditions for macrorealism: Leggett-Garg inequalities versus no-signaling in time

J. J. Halliwell

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 J. J. Halliwell, Phys. Rev. A 93, 022123 (2016), 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, Fine's theorem applies and these augmented conditions are then both necessary and sufficient. A comparison is carried out with a very different set of necessary and sufficient conditions for macrorealism, namely the no-signaling in time (NSIT) conditions proposed by J. Kofler and C. Brukner, Phys. Rev. A 87, 052115 (2013) and L. Clemente and J. Kofler, Phys. Rev. A 91, 062103 (2015), which ensure that all probabilities for $Q$ at one and two times are independent of whether earlier or intermediate measurements are made in a given run, and do not require (but imply) the LG inequalities. We argue that tests based on the LG inequalities have the form of very weak classicality conditions and can be satisfied in the face of moderate interference effects, but those based on NSIT conditions have the form of much stronger coherence witness conditions, satisfied only for zero interference. The two tests differ in their implementation of noninvasive measurability and so are testing different notions of macrorealism: the augmented LG tests are indirect, entailing a combination of the results of different experiments with only compatible quantities measured in each experimental run, in close analogy with Bell tests, and are primarily tests for macrorealism per se; in contrast, the NSIT tests entail sequential measurements of incompatible quantities and are primarily tests for noninvasiveness.

arXiv:1704.01485•Physical Review A•Jul 20, 2017•40 citations

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 tests of macrorealism: Checks for noninvasiveness and generalizations to higher-order correlators

J. J. Halliwell

In the tests for macrorealism proposed by Leggett and Garg, the temporal correlation functions of a dichotomic variable $Q$ must be measured in a noninvasive 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 noninvasive 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 noninvasive from both classical and quantum perspectives and hence the noninvasiveness 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.

arXiv:1901.03410•Physical Review A•Feb 19, 2019•19 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
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.
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.
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.
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 QQQ. 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 J. J. Halliwell, Phys. Rev. A 93, 022123 (2016), 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, Fine's theorem applies and these augmented conditions are then both necessary and sufficient. A comparison is carried out with a very different set of necessary and sufficient conditions for macrorealism, namely the no-signaling in time (NSIT) conditions proposed by J. Kofler and C. Brukner, Phys. Rev. A 87, 052115 (2013) and L. Clemente and J. Kofler, Phys. Rev. A 91, 062103 (2015), which ensure that all probabilities for QQQ at one and two times are independent of whether earlier or intermediate measurements are made in a given run, and do not require (but imply) the LG inequalities. We argue that tests based on the LG inequalities have the form of very weak classicality conditions and can be satisfied in the face of moderate interference effects, but those based on NSIT conditions have the form of much stronger coherence witness conditions, satisfied only for zero interference. The two tests differ in their implementation of noninvasive measurability and so are testing different notions of macrorealism: the augmented LG tests are indirect, entailing a combination of the results of different experiments with only compatible quantities measured in each experimental run, in close analogy with Bell tests, and are primarily tests for macrorealism per se; in contrast, the NSIT tests entail sequential measurements of incompatible quantities and are primarily tests for noninvasiveness.
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)].
In the tests for macrorealism proposed by Leggett and Garg, the temporal correlation functions of a dichotomic variable QQQ must be measured in a noninvasive 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 noninvasive 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 noninvasive from both classical and quantum perspectives and hence the noninvasiveness 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.
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.