Abstract Quantum Darwinism explains how tenets of classical reality, such as objectivity and repeatability, emerge within a quantum Universe. As a mathematical framework, quantum Darwinism also provides guiding principles that determine what physical models support emergent classical behavior, what specific observables obey classical laws, and much more. Recently, we demonstrated that in the regime where a quantum model exhibits quantum Darwinism, the Kirkwood–Dirac quasiprobability distributions for all disjoint multiparty measurement protocols become effectively classical. In the present work, we use this connection as a tool to study how the breaking of quantum Darwinism in a specific model translates to non-classical measurement statistics. Interestingly, this provides effective tools for benchmarking the genuine quantum characteristics of NISQ hardware, which we demonstrate with IonQ’s trapped-ion and IBM’s superconducting quantum computing platforms.
Abstract Quantum Darwinism explains how tenets of classical reality, such as objectivity and repeatability, emerge within a quantum Universe. As a mathematical framework, quantum Darwinism also provides guiding principles that determine what physical models support emergent classical behavior, what specific observables obey classical laws, and much more. Recently, we demonstrated that in the regime where a quantum model exhibits quantum Darwinism, the Kirkwood–Dirac quasiprobability distributions for all disjoint multiparty measurement protocols become effectively classical. In the present work, we use this connection as a tool to study how the breaking of quantum Darwinism in a specific model translates to non-classical measurement statistics. Interestingly, this provides effective tools for benchmarking the genuine quantum characteristics of NISQ hardware, which we demonstrate with IonQ’s trapped-ion and IBM’s superconducting quantum computing platforms.
Quantum Darwinism explains how tenets of classical reality, such as objectivity and repeatability, emerge within a quantum universe. As a mathematical framework, Quantum Darwinism also provides guiding principles that determine what physical models support emergent classical behavior, what specific observables obey classical laws, and much more. For instance, in a recent work we elucidated that the limit under which Kirkwood-Dirac quasiprobability distributions become effectively classical coincides with the regime where the underlying physical model obeys the rules of Quantum Darwinism. In the present work, we study the breaking of Quantum Darwinism in a specific model and how that translates to non-classical measurement statistics. Interestingly, this provides effective tools for benchmarking the genuine quantum characteristics of NISQ hardware, which we demonstrate with IonQ's trapped-ion and IBM's superconducting quantum computing platforms.
The study of measurements in quantum mechanics exposes many of the ways in which the quantum world is different. For example, one of the hallmarks of quantum mechanics is that observables may be incompatible, implying among other things that it is not always possible to find joint probability distributions which fully capture the joint statistics of multiple measurements. Instead, one must employ more general tools such as the Kirkwood-Dirac quasiprobability (KDQ) distribution, which may exhibit negative or nonreal values heralding nonclassicality. In this paper, we consider the KDQ distributions describing arbitrary collections of measurements on disjoint components of some generic multipartite system. We show that the system dynamics ensures that these distributions are classical if and only if the Hamiltonian supports quantum Darwinism. Thus, we demonstrate a fundamental relationship between these two notions of classicality and their emergence in the quantum world.
The transition from quantum to classical behavior is a central question in modern physics. How can we rationalize everyday classical observations from an inherently quantum world? Quantum Darwinism offers a compelling framework to explain this by proposing that the environment redundantly encodes information about a quantum system, leading to the objective reality. Here, by leveraging cutting-edge superconducting quantum circuits, we observe the highly structured branching quantum states that support classicality and the saturation of quantum mutual information, establishing a robust verification of quantum Darwinism and the underlying geometric structure of quantum states. Additionally, we propose a particular class of observables that can be used as a computationally and experimentally inexpensive quantifier to probe quantum-to-classical transitions. Our investigation delves into how the quantum effects are inaccessible to observers, allowing only classical properties to be detected. It experimentally demonstrates the physical framework through which everyday classical observations emerge from underlying quantum principles and paves the way to settling the measurement problem.
Quantum Darwinism explains the emergence of classical objectivity within a quantum universe. However, to date, most research on quantum Darwinism has focused on specific models and their stationary properties. To further our understanding of the quantum-to-classical transition, it appears desirable to identify the general criteria a Hamiltonian has to fulfill to support classical reality. To this end, we categorize all N-qubit models with two-body interactions, and show that only those with separable interaction of the system and environment can support a pointer basis. We further demonstrate that “perfect” quantum Darwinism can only emerge if there are no intra-environmental interactions. Our analysis is complemented by solving the ensuing dynamics. We find that in systems exhibiting information scrambling, the dynamical emergence of classical objectivity directly competes with the non-local spread of quantum correlations. Our rigorous findings are illustrated through the numerical analysis of four representative models.
Quantum theory is fundamentally different from its classical counterpart. This difference has led to striking new insights in the foundations of physics and the theories of computation and information. Nevertheless, characterising the difference between classical and quantum theory has proven to be a difficult problem. In this thesis, I present my progress towards a general solution for this open problem. My main tool is the Kirkwood-Dirac (KD) quasiprobability distribution. The KD distribution provides an alternative description of quantum states, operations and measurements in terms of quasiprobability distributions. The KD quasiprobability distribution obeys all properties of probability distributions except that its values may, in general, lie in the complex unit disc instead of the interval [0,1]. For some experiments, however, all associated KD distributions are genuine probability distributions. For such `KD-positive’ states, operations and measurements, the KD distribution enables the construction of a classical model. The absence of such a construction can provide a natural criterion for the definition of the quantum-classical boundary. In the first part of my thesis, I present my results on the mathematical structure of the KD distribution. I summarise previous literature, and prove several new results, including a proof that the set of KD-positive states is almost always minimal, which was published in Physical Review A; novel bounds on the entries of the KD distribution and KD nonpositivity, a measure of how far a KD distribution is from being positive; and the construction of exotic states, mixed KD-positive states that cannot be written as the convex combination of pure KD-positive states, for Hilbert spaces of any odd dimension. These results lay the foundation for the objective of the remainder of this thesis: the application of the KD distribution in quantum foundations, computation and information. In the foundational setting, I study contextuality, a notion of nonclassicality often used in quantum foundations. An experiment is contextual if it is impossible to describe its indistinguishable procedures identically classically. I design an experiment that is contextual if and only if the input state of the experiment is not KD-positive. By analysing this connection with respect to the aforementioned exotic states, I obtain a quantum protocol that allows an experimenter to verify contextuality using a noncontextual experiment, thereby uncovering a previously unknown feature of contextuality. This section of the thesis is based on my publication in Physical Review A `Verification of contextuality by noncontextual experiments’ KDContextualityPaper. In the computational setting, I study the Delfosse-Guerin-Bian-Raussendorf (DGBR) model of quantum computation with a restricted set of input states. For certain sets of input states, this model is computationally as powerful as a universal quantum computer. However, for other sets of input states, this model is efficiently simulable on a classical computer and thus cannot be as powerful as a universal quantum computer, unless quantum computers offer no advantage over their classical counterparts. I prove that if all states in the set of input states are KD-positive, then the DGBR model is classically efficiently simulable. In this setting, some exotic states are bound-magic states, magic states that are nevertheless simulable input states in the DGBR model. I use my previous work on exotic states to construct the first bound-magic states on qubits. Furthermore, I show that KD nonpositivity is a resource monotone for quantum computation, establishing KD nonpositivity as a necessary resource for quantum computational advantage. This section of the thesis is based on my article `Kirkwood-Dirac nonpositivity is a necessary resource for quantum computing’, which has been accepted for publication in Physical Review Letters. In the information-theoretical setting, I study the uncertainty principle. In modern quantum information theory, the uncertainty principle is formulated as an `entropic lower bound’ on the sum of the entropies of the outcome distributions of two observables. I extend the definition of the standard entropic functions to the KD distribution and the Margenau-Hill (MH) distribution, which is the real part of the KD distribution. I introduce the MH Shannon entropy and the KD Rényi entropy, and establish their basic properties. For the MH Shannon entropy, I prove a generalised subadditivity relation, which yields a state-dependent entropic uncertainty relation that strengthens the previous best bound in most regimes and implies the finite-dimensional analogue of the Van Herstraeten--Cerf conjecture. For the KD Rényi entropy, I prove an entropic uncertainty relation strengthening the Maassen--Uffink bound, in which the KD nonpositivity appears as an additive correction. This yields a new interpretation of KD nonpositivity as a measure of quantum uncertainty, as well as a new entropic witness of KD positivity. Applying these results to cryptographic games, I show that KD nonpositivity is the key resource governing the optimal strategy in each case. This section is based on my article `Kirkwood-Dirac nonpositivity is sufficient for quantum uncertainty'. These results demonstrate that the KD distribution provides an effective formulation of quantum theory for studying the quantum-classical boundary in various settings. My work establishes explicit connections between the KD distribution and quantum foundations, computation, and information, opening up these fields to be studied using the extensive KD toolkit.
Quantum Darwinism explains the emergence of classical objectivity within a quantum universe. However, to date most research in quantum Darwinism has focused on specific models and their stationary properties. To further our understanding of the quantum-to-classical transition it appears desirable to identify the general criteria a Hamiltonian has to fulfill to support classical reality. To this end, we categorize all models with 2-body interactions, and we show that only those with separable interaction of system and environment can support a pointer basis. We further show that "perfect" quantum Darwinism can only emerge if there are no intra-environmental interactions. Our analysis is complemented by the solution of the ensuing dynamics. We find that in systems that exhibit information scrambling, the dynamical emergence of classical objectivity is in direct competition with the non-local spread of quantum correlations. Our rigorous findings are illustrated with the numerical analysis of four representative models.