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.
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.
This study offers a comprehensive technical analysis of the mechanisms through which classical behavior emerges from the dynamics of quantum measurement. Beginning with unitary evolution and the principles of measurement, we construct the framework of environment-induced decoherence, the selection of pointer states, and the reduction of interference. Our examination focuses on how effective classicality emerges through reduced density matrices, quantum Darwinism, and consistent histories, highlighting the importance of system-environment interactions in determining stable observables. The review investigates into mathematical constructs such as spectral theory, completely positive maps, and quantum trajectories, linking them to experimental observations in mesoscopic systems, optomechanics, and superconducting circuits. We explore the constraints of decoherence in addressing the outcome problem and review interpretational models that tackle the remaining issues. The discussion emphasizes applications in quantum information, metrology, and tests of macroscopic superpositions. The article favors physical insights and mathematical guidance over exhaustive proofs, making it suitable for researchers in quantum foundations and quantum technologies.
The quantum-to-classical transition — the disappearance of quantum superposition, interference, and entanglement at macroscopic scales — is standardly explained through decoherence: environmental entanglement suppresses interference terms, making macroscopic superpositions effectively unobservable. Decoherence is mathematically rigorous and empirically well-confirmed, but it faces a persistent philosophical limitation: it explains the appearance of classicality without fully accounting for its ontology. The measurement problem survives decoherence because decoherence does not explain why quantum systems produce definite outcomes, why the pointer basis is selected, or what it means for a macroscopic object to have a determinate state rather than merely appearing to have one. This paper argues that Constraint Theory (CT) — the thesis, established by transcendental argument, that constraint is the ontological primitive constitutive of determinate existence as such — provides the ontological grounding that decoherence theory presupposes but does not supply. On the CT account, quantum superposition is open constraint configuration: the genuine ontological openness of a possibility space that has not been closed by the system’s constraint profile or its environmental interactions. Macroscopic determinacy is closed constraint configuration: the progressive closure of macroscopic possibility spaces by the cumulative propagation of environmental constraint into the system’s profile at a rate that overwhelms quantum coherence. Decoherence is the process by which environmental constraint propagation closes possibility spaces; CT explains why this closure has the ontological consequences it does rather than merely the epistemic consequences that the standard account describes. The pointer basis selection problem receives a principled CT resolution: the pointer basis is the constraint-stable basis, the set of states whose constraint pro files are robust under the specific pattern of environmental constraint propagation. The measurement problem is reframed as the question of which branch of an open constraint configuration is closed by a measurement interaction, a question that CT narrows to its irreducible residual without dissolving prematurely. The mesoscopic regime — where quantum behaviour persists at scales larger than individual particles — is explained as the regime of partial constraint closure: systems whose environmental coupling is sufficient to close some but not all dimensions of their possibility space. The paper engages the principal interpretations of quantum mechanics and the philosophical literature on decoherence, situating the CT account as an ontological foundation compatible with multiple interpretive positions.
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 quantum superpositions are widely believed to be unobservable because large systems cannot be perfectly isolated from their environments. Here, we show that even under perfect isolation, intrinsic unitary dynamics in generic many-body systems, as analyzed through the eigenstate thermalization hypothesis and random matrix theory, can suppress the observable signatures of macroscopic coherence. Using the Greenberger-Horne-Zeilinger (GHZ) state as a representative example, we demonstrate that while fully correlated measurements can initially distinguish a macroscopic superposition from its corresponding classical mixture, generic many-body evolution renders them operationally indistinguishable for most times. By analyzing both distinguishability measures and established quantifiers of macroscopic quantumness, we find that equilibration not only hides coherence from accessible observables but also suppresses the corresponding signatures of macroscopic quantumness, in particular within the additive-local framework considered here. These results identify unitary thermalization, independent of environmental decoherence, as a fundamental mechanism that limits the observation of macroscopic quantum effects.
When is decoherence "effectively irreversible"? Here we examine this central question of quantum foundations using the tools of quantum computational complexity. We prove that, if one had a quantum circuit to determine if a system was in an equal superposition of two orthogonal states (for example, the ∣Alive⟩ and ∣Dead⟩ states of Schrödinger's cat), then with only a slightly larger circuit, one could also swap the two states (e.g., bring a dead cat back to life). In other words, observing interference between the ∣Alive⟩and ∣Dead⟩ states is a "necromancy-hard" problem, technologically infeasible in any world where death is permanent. As for the converse statement (i.e., ability to swap implies ability to detect interference), we show that it holds modulo a single exception, involving unitaries that (for example) map ∣Alive⟩ to ∣Dead⟩ but ∣Dead⟩ to -∣Alive⟩. We also show that these statements are robust---i.e., even a partial ability to observe interference implies partial swapping ability, and vice versa. Finally, without relying on any unproved complexity conjectures, we show that all of these results are quantitatively tight. Our results have possible implications for the state dependence of observables in quantum gravity, the subject that originally motivated this study.
In laboratory and numerical experiments, physical quantities are known with a finite precision and described by rational numbers. Based on this, we deduce that quantum control problems both for open and closed systems are in general not algorithmically solvable, i.e., there is no algorithm that can decide whether dynamics of an arbitrary quantum system can be manipulated by accessible external interactions (coherent or dissipative) such that a chosen target reaches a desired value. This conclusion holds even for the relaxed requirement of the target only approximately attaining the desired value. These findings do not preclude an algorithmic solvability for a particular class of quantum control problems. Moreover, any quantum control problem can be made algorithmically solvable if the set of accessible interactions (i.e., controls) is rich enough. To arrive at these results, we develop a technique based on establishing the equivalence between quantum control problems and Diophantine equations, which are polynomial equations with integer coefficients and integer unknowns. In addition to proving uncomputability, this technique allows to construct quantum control problems belonging to different complexity classes. In particular, an example of the control problem involving a two-mode coherent field is shown to be NP-hard, contradicting a widely held believe that two-body problems are easy.