Temporal Leggett-Garg-Bell inequalities for sequential multi-time actions in quantum information processing, and a re-definition of Macroscopic Realism
The usual formulation of Macrorealism is recast to make this notion fully concurrent with the basic ideas behind classical physics. The assumption of non-invasiveness of measurements is dropped. Instead, it is assumed that the current state of the system defines full initial conditions for its subsequent evolution. An example of a new family of temporal Bell inequalities is derived which can be applied to processes in which the state of the system undergoes arbitrarily many transformations (which was not the case in the original approach). An exponential (in terms of number of operations) violation of this inequality is demonstrated theoretically. Finally it is shown that such inequalities were indirectly tested in a 2005 experiment by the Weinfurter group.
The usual formulation of Macrorealism is recast to make this notion fully concurrent with the basic ideas behind classical physics. The assumption of non-invasiveness of measurements is dropped. Instead, it is assumed that the current state of the system defines full initial conditions for its subsequent evolution. An example of a new family of temporal Bell inequalities is derived which can be applied to processes in which the state of the system undergoes arbitrarily many transformations (which was not the case in the original approach). An exponential (in terms of number of operations) violation of this inequality is demonstrated theoretically. Finally it is shown that such inequalities were indirectly tested in a 2005 experiment by the Weinfurter group.
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.
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.
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.
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.
Macrorealism formalizes the seemingly intuitive notion that, in contrast with the principles of quantum mechanics, a physical system can be in a definite state at any given time and moreover its dynamical evolution is independent of the measurements performed on it. In this study, we carry out a comparative analysis between three-time Leggett--Garg-type inequalities and the conditions of no-signaling-in-time and arrow-of-time for macrorealism within the context of meson oscillations. Our findings indicate that, under given initial conditions, no violations of Leggett--Garg inequalities are observed. However, no-signaling-in-time conditions are found to be violated, thereby revealing the impossibility of applying a macrorealistic description to the physics of meson oscillations.
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.