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 according to quantum mechanical predictions even in situations where no violation of Leggett-Garg inequalities is possible.
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 according to quantum mechanical predictions even in situations where no violation of Leggett-Garg inequalities is possible.
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 necessary and sufficient for a macrorealistic description. Fine's famous proof that Bell inequalities are necessary and sufficient for the existence of a local realistic model, therefore, cannot be transferred to macrorealism. A recently proposed condition, no-signaling in time, fulfills this criterion, and we show why it is better suited for future experimental tests and theoretical studies of macrorealism. Our work thereby identifies a major difference between the mathematical structures of local realism and macrorealism.
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.
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.
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.
Macroscopic realism, the classical world view that macroscopic objects exist independently of and are not influenced by measurements, is usually tested using Leggett-Garg inequalities. Recently, another necessary condition called no-signaling in time (NSIT) has been proposed as a witness for nonclassical behavior. In this paper, we show that a combination of NSIT conditions is not only necessary but also sufficient for a macrorealistic description of a physical system. Any violation of macroscopic realism must therefore be witnessed by a suitable NSIT condition. Subsequently, we derive an operational formulation for NSIT in terms of positive operator-valued measures and the system Hamiltonian. We argue that this leads to a suitable definition of ``classical'' measurements and Hamiltonians, and we apply our formalism to some generic coarse-grained quantum measurements.
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 Leggett-Garg inequalities, with rather surprising results. An analogy with pilot-wave theory again helps to clarify the situation.