Introduction Our aim in this chapter is to extend the Bell inequality discussion in Chapter 17 to its temporal analogue, known as the Leggett–Garg (LG) inequality . Bell inequalities involve spatial nonlocality, that is, signal observations distributed over space. It was shown by Leggett and Garg that analogous inequalities involving temporal nonlocality can be formulated (Leggett and Garg, 1985). We shall discuss one of these, known as the LG inequality . We saw in Chapter 17 that Bell inequalities are based on certain classical mechanics (CM) assumptions about the nature of reality. Likewise, the LG inequality is based on two CM principles that are not incorporated into quantum mechanics (QM). Definition 19.1 The principle of macrorealism asserts that if a macroscopic (that is, large-scale) system under observation (SUO) can be observed to be in one of two or more macroscopically distinct states, then it will always be in one or another of those states at any given time, not in a quantum superposition of those states, even when it is not being observed. This principle is a foundational principle in CM but is incompatible with QM in at least two ways. First, it is vacuous, as it asserts the truth of a proposition in the absence of empirical validation: how can we define the concept of always , without introducing counterfactuality? Second, it is violated in quantum theory, for instance, in path integral calculations. This principle in embedded in the nexus of issues explored in this book. The quantized detector network (QDN) version of it takes the form “If any SUO can be observed in any number of possible states, then it will be observed in one of them in any run.” This is a near tautology. The classical version says the same thing but makes an additional assertion about something going on in the absence of observation, which is the vacuous element that QM cannot accept. Definition 19.2 The principle of noninvasive measurability asserts that the actual state an SUO is in can always be determined cost-free, that is, without having any effect on that state or on its subsequent dynamical evolution. This principle is subtle. We experience its apparent validity all the time in our ordinary lives: we look at objects and they appear not to change by those acts of observation.
Introduction Our aim in this chapter is to extend the Bell inequality discussion in Chapter 17 to its temporal analogue, known as the Leggett–Garg (LG) inequality . Bell inequalities involve spatial nonlocality, that is, signal observations distributed over space. It was shown by Leggett and Garg that analogous inequalities involving temporal nonlocality can be formulated (Leggett and Garg, 1985). We shall discuss one of these, known as the LG inequality . We saw in Chapter 17 that Bell inequalities are based on certain classical mechanics (CM) assumptions about the nature of reality. Likewise, the LG inequality is based on two CM principles that are not incorporated into quantum mechanics (QM). Definition 19.1 The principle of macrorealism asserts that if a macroscopic (that is, large-scale) system under observation (SUO) can be observed to be in one of two or more macroscopically distinct states, then it will always be in one or another of those states at any given time, not in a quantum superposition of those states, even when it is not being observed. This principle is a foundational principle in CM but is incompatible with QM in at least two ways. First, it is vacuous, as it asserts the truth of a proposition in the absence of empirical validation: how can we define the concept of always , without introducing counterfactuality? Second, it is violated in quantum theory, for instance, in path integral calculations. This principle in embedded in the nexus of issues explored in this book. The quantized detector network (QDN) version of it takes the form “If any SUO can be observed in any number of possible states, then it will be observed in one of them in any run.” This is a near tautology. The classical version says the same thing but makes an additional assertion about something going on in the absence of observation, which is the vacuous element that QM cannot accept. Definition 19.2 The principle of noninvasive measurability asserts that the actual state an SUO is in can always be determined cost-free, that is, without having any effect on that state or on its subsequent dynamical evolution. This principle is subtle. We experience its apparent validity all the time in our ordinary lives: we look at objects and they appear not to change by those acts of observation.
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.
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.
"According to the quantum superposition principle, quantum mechanics at the macroscopic scale predicts that a macroscopic system can be in more than one distinct state at the same time. Such an extrapolation of quantum mechanics contradicts our everyday instinct, summarized by Leggett and Garg (LG) under the heading of macrorealism (MR) [1]. To resolve the conflict and to determine whether MR or quantum mechanics is the right description of macroscopic objects, in 1985, Leggett and Garg [1] proposed the temporal Bell's inequality (TBI). If a macorealist description is possible, the inequality is satisfied - quantum mechanics, on the other hand, predicts a violation. Thereafter, people were motivated to engineer macroscopic quantum systems and to test the TBI. In the TBI, one of the most critical postulates is that of the noninvasive measurability (NIM) : it is in principle possible to determine which state the system is in with an arbitrarily small e ect on the subsequent system dynamics. To satisfy the NIM postulate in the TBI experiment, the implementation of the ""ideal negative result"" (INR) measurement was also proposed by LG [1]. In a two-state system, an INR measurement is designed to interact (in each run) with only one of two system states. Only runs where the measurement reported no outcome are kept. Although in the last few years there have been tests of the TBI on microscopic systems with the use of INR measurements [4] and on macroscopic systems using weak measurement [5], no one has ever implemented INR measurements on macroscopic systems in TBI tests so far. In addition, the NIM postulate was simply assumed, and not veri ed by an ancillary test [9, 3]. With these considerations in mind, there are two main tasks in this thesis: the rst one is to analyze the realization of an INR measurement on a macroscopic object. I propose an experiment based on coupling a flux-qubit to a dcSQUID, which mirrors the approach of Knee et al. [4], where the system of interest is coupled to another quantum system which acts as a measuring device. In order to accomplish the first task, we analyze the escape dynamics of a flux-qubit SQUID composite system in various limits and discuss the prospects of operating in a regime realizing a von Neumann (""projective"")-like measurement onto the qubit flux basis. Later in the thesis, I discuss current feasibility of the proposed experiment based on the possible measurement error (the ""venality"" [4]) of our INR measurement. The second task is to analyze experimental tests of measurement invasiveness. I propose a concrete protocol, ancillary to the main TBI experiment, which may narrow some loopholes in the test of MR [3]. I generalize the approach of Wilde and Mizel [3], using the behavior of the two-time correlator of a system as an indicator of measurement invasiveness. The measured invasivities can be used to give a improved lower bound for the TBI."
While quantum theory has been tested to an incredible degree on microscopic scales, quantum effects are seldom observed in our everyday macroscopic world. The curious results of applying quantum mechanics to macroscopic objects are perhaps best illustrated by Erwin Schrödinger's famous thought experiment, where a cat can be put into a superposition state of being both dead and alive. Obviously, these quantum predictions are in stark contradiction to our common experience. Even with plenty of theoretical explanations put forward to explain this discrepancy, a large number of questions about the frontier between the quantum and the classical world remain unanswered. To distinguish between classical and quantum behavior, two fundamental concepts inherent to classical physics have been established over the years: The world view of local realism limits the power of classical experiments to establish correlations over space, while the world view of macroscopic realism (or macrorealism) restricts temporal correlations. Necessary conditions for both world views have been formulated in the form of Bell and Leggett-Garg inequalities, and Bell inequalities have been shown to be violated by quantum mechanics through increasingly conclusive experiments. Furthermore, many challenging steps towards convincing violations of macrorealism have been taken in a number of recent experiments. In the first part of this thesis, conditions for macrorealism are analyzed in detail. Two necessary conditions for macrorealism, the original Leggett-Garg inequality and the recently proposed no-signaling in time condition, are presented. It is then shown that a combination of no-signaling in time conditions is not only necessary but also sufficient for the existence of a macrorealistic description. Finally, an operational formulation of no-signaling in time, in terms of positive-operator valued measurements and Hamiltonians, is derived. In the next part, we argue that these results lead to a suitable definition of classical behavior. In particular, we provide a formalism to judge the classicality of measurements and time evolutions. We then proceed to apply it to a number of exemplary measurement operators and Hamiltonians. Finally, we argue for the importance of spontaneously realized Hamiltonians in our intuition of classical behavior. Next, differences between local realism and macrorealism are analyzed. For this purpose, the probability polytopes for spatially and temporally separated experiments are compared, and a fundamental difference in the power of quantum mechanics to build both types of correlations is discovered. This result shows that Fine's theorem, which states that a set of Bell inequalities is necessary and sufficient for local realism, is not transferable to macrorealism. Thus, (Leggett-Garg) inequalities are in principle not well-suited for tests of macrorealism, as they can never form a necessary and sufficient condition, and unnecessarily restrict the violating parameter space. No-signaling in time is both better suited and more strongly motivated from the underlying physical theory. In the final part of this thesis, a concrete experimental setup for implementing quantum experiments with macroscopic objects is proposed. It consists of a superconducting micro-sphere in the Meißner state, which is levitated by magnetic fields. Through its expelled magnetic field, the sphere's center-of-mass motion couples to a superconducting quantum circuit. Properly tuned, ground state cooling can be realized, since the sphere's motion is extremely well isolated from the surrounding environment. This setup therefore is a promising candidate for the observation of quantum effects in macroscopic systems.
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 correlated pairs are all compatible, the resulting correlation is nonsignaling, which may be local or multi-particle, corresponding to contextuality or Bell-type inequalities. If the pairs are incompatible, the resulting correlation corresponds to Leggett-Garg (LG) inequalities. That quantum mechanics (QM) violates all these inequalities suggests a close connection between the local, spatial and temporal properties of the theory. As a concrete manifestation of the unification, we extend the method due to Roy and Singh ( J. Phys. A , 11 (1978) L167) to derive and study a new class of hybrid spatio-temporal inequalities, where the correlated pairs in the experiment are both compatible or incompatible. The implications for cryptography and monogamy inequalities of the unification are briefly touched upon.
Abstract 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 form, Fine’s theorem applies and these augmented conditions are then both necessary and sufficient. A comparison is carried out with the alternative necessary and sufficient conditions for macrorealism based on no-signaling in time conditions which ensure that all probabilities for Q at one and two times are independent of whether earlier or intermediate measurements are made. We argue that the two tests differ in their implementation of the key requirement of non-invasive measurability so are testing different notions of macrorealism, and these notions are elucidated.