Why do we not experience a violation of macroscopic realism in everyday life. Normally, no violation can be seen either because of decoherence or the restriction of coarse-grained measurements, transforming the time evolution of any quantum state into a classical time evolution of a statistical mixture. We find the sufficient condition for these classical evolutions for spin systems under coarse-grained measurements. However, there exist "nonclassical" Hamiltonians whose time evolution cannot be understood classically, although at every instant of time the quantum state appears as a classical mixture. We suggest that such Hamiltonians are unlikely to be realized in nature because of their high computational complexity.
Why do we not experience a violation of macroscopic realism in everyday life. Normally, no violation can be seen either because of decoherence or the restriction of coarse-grained measurements, transforming the time evolution of any quantum state into a classical time evolution of a statistical mixture. We find the sufficient condition for these classical evolutions for spin systems under coarse-grained measurements. However, there exist "nonclassical" Hamiltonians whose time evolution cannot be understood classically, although at every instant of time the quantum state appears as a classical mixture. We suggest that such Hamiltonians are unlikely to be realized in nature because of their high computational complexity.
The descriptions of the quantum realm and the macroscopic classical world differ significantly not only in their mathematical formulations but also in their foundational concepts and philosophical consequences. When and how physical systems stop to behave quantum mechanically and begin to behave classically is still heavily debated in the physics community and subject to theoretical and experimental research. This dissertation puts forward an approach to the quantum-to-classical transition fully within quantum theory and conceptually different from already existing models: It neither needs to refer to the uncontrollable environment of a system (decoherence) nor to change the quantum laws itself (collapse models), but puts the stress on the limits of observability of quantum phenomena due to the imprecision of our measurement apparatuses. For a certain class of time evolutions it is this mere restriction to coarse-grained measurements which is sufficient to see the natural emergence of macroscopic realism and even the classical Newtonian laws out of the full quantum formalism. But there also exist "non-classical" Hamiltonians for which a classical spatiotemporal description of the system's time evolution remains impossible even under fuzzy measurements or decoherence. It is argued that such Hamiltonians are unlikely to be spontaneously realized in nature because of their high complexity. The last part addresses the question of the origin of quantum randomness and proposes a link with mathematical undecidability.
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, 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.
The interface between the quantum and the classical is an intriguing and, at times, hotly contested subject of ongoing research. The quantum regime is characterized by interference, made possible by the superposition principle, while such phenomena are absent in macroscopic, everyday experience. Here, we investigate the link of this absence (or, as we will argue, unobservability) to computational complexity. We show how the assumption that quantum systems cannot solve NP-complete problems efficiently implies that certain formally valid quantum measurements on finite-dimensional systems are unperformable. We study several consequences of this restriction. First, Pauli matrices in an inconveniently transformed basis are a simple example of unobservables. Furthermore, some quantum states are not connected by any physically realizable time evolution. Finally there are quantum states whose coherence cannot be observed, i.e. superpositions of pure quantum states which are indistinguishable from mixtures. We discuss the connection of this phenomenon to the presence of superselection sectors. Our results suggest that the apparent classicality of macroscopic systems may be partly due to limitations on measurements and time evolutions imposed by computational complexity.
Conceptually different from the decoherence program, we present a novel theoretical approach to macroscopic realism and classical physics within quantum theory. It focuses on the limits of observability of quantum effects of macroscopic objects, i.e., on the required precision of our measurement apparatuses such that quantum phenomena can still be observed. First, we demonstrate that for unrestricted measurement accuracy, no classical description is possible for arbitrarily large systems. Then we show for a certain time evolution that under coarse-grained measurements, not only macrorealism but even classical Newtonian laws emerge out of the Schrödinger equation and the projection postulate.
Does there exist a limit for the applicability of quantum theory for objects of large mass or size, or objects whose states are of large complexity or dimension of the Hilbert space? The possible answers range from practical limitations due to decoherence within quantum theory to fundamental limits due to collapse models that modify quantum theory. Here, we suggest the viewpoint that there might be also fundamental limits without altering the quantum laws. We first demonstrate that for two quantum spins systems of a given spin length, no violation of local realism can be observed, if the measurements are sufficiently coarse-grained. Then we show that there exists a fundamental limit for the precision of measurements due to (i) the Heisenberg uncertainty relation which has to be applied to the measuring apparatus, (ii) relativistic causality, and (iii) the finiteness of resources in any laboratory including the whole universe. This suggests that there might exist a limit for the size of the systems (dimension of the Hilbert space) above which no violation of local realism can be seen anymore.