In classical physics, the Kolmogorov extension theorem lays the foundation for the theory of stochastic processes. It has been known for a long time that, in its original form, this theorem does not hold in quantum mechanics. More generally, it does not hold in any theory of stochastic processes -- classical, quantum or beyond -- that does not just describe passive observations, but allows for active interventions. Such processes form the basis of the study of causal modelling across the sciences, including in the quantum domain. To date, these frameworks have lacked a conceptual underpinning similar to that provided by Kolmogorov’s theorem for classical stochastic processes. We prove a generalized extension theorem that applies to all theories of stochastic processes, putting them on equally firm mathematical ground as their classical counterpart. Additionally, we show that quantum causal modelling and quantum stochastic processes are equivalent. This provides the correct framework for the description of experiments involving continuous control, which play a crucial role in the development of quantum technologies. Furthermore, we show that the original extension theorem follows from the generalized one in the correct limit, and elucidate how a comprehensive understanding of general stochastic processes allows one to unambiguously define the distinction between those that are classical and those that are quantum.
In classical physics, the Kolmogorov extension theorem lays the foundation for the theory of stochastic processes. It has been known for a long time that, in its original form, this theorem does not hold in quantum mechanics. More generally, it does not hold in any theory of stochastic processes -- classical, quantum or beyond -- that does not just describe passive observations, but allows for active interventions. Such processes form the basis of the study of causal modelling across the sciences, including in the quantum domain. To date, these frameworks have lacked a conceptual underpinning similar to that provided by Kolmogorov’s theorem for classical stochastic processes. We prove a generalized extension theorem that applies to all theories of stochastic processes, putting them on equally firm mathematical ground as their classical counterpart. Additionally, we show that quantum causal modelling and quantum stochastic processes are equivalent. This provides the correct framework for the description of experiments involving continuous control, which play a crucial role in the development of quantum technologies. Furthermore, we show that the original extension theorem follows from the generalized one in the correct limit, and elucidate how a comprehensive understanding of general stochastic processes allows one to unambiguously define the distinction between those that are classical and those that are quantum.
It is known that the classical framework of causal models is not general enough to allow for causal reasoning about quantum systems. While the framework has been generalized in a variety of different ways to the quantum case, much of this work leaves open whether causal concepts are fundamental to quantum theory, or only find application at an emergent level of classical devices and measurement outcomes. Here, we present a framework of quantum causal models, with causal relations defined in terms intrinsic to quantum theory, and the central object of study being the quantum process itself. Following Allen et al., Phys. Rev. X 7, 031021 (2017), the approach defines quantum causal relations in terms of unitary evolution, in a way analogous to an approach to classical causal models that assumes underlying determinism and situates causal relations in functional dependences between variables. We show that any unitary quantum circuit has a causal structure corresponding to a directed acyclic graph, and that when marginalising over local noise sources, the resulting quantum process satisfies a Markov condition with respect to the graph. We also prove a converse to this statement. We introduce an intrinsically quantum notion that plays a role analogous to the conditional independence of classical variables, and (generalizing a central theorem of the classical framework) show that d-separation is sound and complete for it in the quantum case. We present generalizations of the three rules of the classical do-calculus, in each case relating a property of the causal structure to a formal property of the quantum process, and to an operational statement concerning the outcomes of interventions. In addition, we introduce and derive similar results for classical split-node causal models, which are more closely analogous to quantum causal models than the classical causal models that are usually studied.
Quantum mechanics has achieved unparalleled success as an operational theory, describing a wide range of experiments to remarkable accuracy. However, the physical foundations on which it rests remain as puzzling as they were a century ago, and a concise statement of the physical principles that underlie quantum mechanics is still outstanding. One promising approach holds that these principles should be formulated in terms of information, since many of the counter-intuitive effects in quantum theory concern questions such as what one can know about a quantum system and how the information encoded therein can be processed and distributed between parties. Another challenging feature of quantum theory is its incompatibility with the other cornerstone of modern physics, general relativity. In order to reconcile the two, one must identify and retain only the essential concepts and principles of each theory, and in the case of general relativity, causality has been identified as such a concept. This raises the question of how our classical understanding of causality must change when quantum theory is taken into account. In order to address these questions about information, knowledge and causality, I turn to the framework of causal models. In classical statistics, causal models explain the relations among a set of variables in terms of causal influences, which makes them a powerful tool for structuring our knowledge about complex systems and developing strategies for interacting with them. More importantly, the framework provides the conceptual underpinnings and mathematical methods for addressing questions about causation, information and knowledge in a rigorous manner. In this thesis, I develop a version of the classical causal models framework that is compatible with quantum theory and explore its physical implications. \n \n \nA first step is to define quantum versions of fundamental elements such as variables, conditionals and belief propagation rules. This allows one to consider the question of what one can come to know about a quantum variable from the point of view of causal modelling. The conditionals relating quantum variables are found to have a richer structure than their classical counterparts, which can be exploited for the task of discerning causal relations given limited data -- a central problem in classical causal modelling. The mathematical properties of quantum conditionals also establish a correspondence between various classes of two-party correlations, such as bound and distillable entanglement, and the types of causal structures that can give rise to them, which may become a useful tool for entanglement theory and quantum information processing. In the context of open quantum systems dynamics, quantum causal models provide a clear physical explanation of not completely positive maps and, more broadly, of non-Markovian quantum dynamics. Finally, I consider the possibility of non-classical effects in the way that different causal mechanisms are combined -- that is, non-classical causal structures. For the simple case of two causally ordered variables, I propose indicators that witness different classes of combinations of causal mechanisms, including a non-classical mixture, and describe an experiment realizing examples of the different classes. \n \n \nAs these results illustrate, the framework of quantum causal models provides both greater conceptual clarity and a comprehensive mathematical formalism for studying a diverse set of problems, ranging from foundational questions to applications in open systems dynamics and the exploration of non-classical causal structures, which are likely to feature in a future theory of quantum gravity. The material presented in this thesis is intended as a foundation and inspiration for further applications of quantum causal models.
Understanding the demarcation line between classical and quantum is an important issue in modern physics. The development of such an understanding requires a clear picture of the various concurrent notions of ``classicality'' in quantum theory presently in use. Here we focus on the relationship between Kolmogorov consistency of measurement statistics---the foundational footing of classical stochastic processes in standard probability theory---and the commutativity (or absence thereof) of measurement operators---a concept at the core of quantum theory. Kolmogorov consistency implies that the statistics of sequential measurements on a (possibly quantum) system could be explained entirely by means of a classical stochastic process, thereby providing an operational notion of classicality. On the other hand, commutativity of measurement operators is a structural property that holds in classical physics and its breakdown is the origin of the uncertainty principle, a fundamentally quantum phenomenon. We formalize the connection between these two a priori independent notions of classicality, demonstrate that they are distinct in general and detail their implications for memoryless multitime quantum processes.
This paper explores the limitations of Kolmogorov's measure-theoretic foundation of probability in the context of quantum mechanics and proposes an extension towards a non-commutative framework. We delve into the mathematical structures underlying quantum probability spaces, focusing on operator algebras and their associated states. We analyze the challenges in defining joint probabilities for non-commuting observables and present an overview of alternative approaches based on operator algebras, quantum logic, and non-commutative integration. Furthermore, we investigate the applications of non-commutative measure theory in quantum information theory, quantum field theory, and the foundations of quantum mechanics, highlighting the potential for a more comprehensive understanding of probabilistic phenomena in quantum systems.
The field of classical stochastic processes forms a major branch of mathematics.Stochastic processes are, of course, also very well studied in biology, chemistry, ecology, geology, finance, physics, and many more fields of natural and social sciences.When it comes to quantum stochastic processes, however, the topic is plagued with pathological issues that have led to fierce debates amongst researchers.Recent developments have begun to untangle these issues and paved the way for generalizing the theory of classical stochastic processes to the quantum domain without ambiguities.This tutorial details the structure of quantum stochastic processes, in terms of the modern language of quantum combs, and is aimed at students in quantum physics and quantum-information theory.We begin with the basics of classical stochastic processes and generalize the same ideas to the quantum domain.Along the way, we discuss the subtle structure of quantum physics that has led to troubles in forming an overarching theory for quantum stochastic processes.We close the tutorial by laying out many exciting problems that lie ahead in this branch of science.
A history of the discovery of `new' quantum mechanics and the paradoxes of its probabilistic interpretation are briefly reviewed from the modern point of view of quantum probability and information. Modern quantum theory, which has been developed during the last 20 years for the treatment of quantum open systems including quantum noise, decoherence, quantum diffusions and spontaneous jumps occurring under continuous in time observation, is not yet a part of the standard curriculum of quantum physics. It is argued that the conventional formalism of quantum mechanics is insufficient for the description of quantum events, such as spontaneous decays say, and the new experimental phenomena related to individual quantum measurements, but they have all received an adequate mathematical treatment in quantum stochastics of open systems. Moreover, the only reasonable probabilistic interpretation of quantum mechanics put forward by Max Born was, in fact, in irreconcilable contradiction with traditional mechanical reality and causality. This led to numerous quantum paradoxes, some of them due to the great inventors of quantum theory such as Einstein and Schrödinger. They are reconsidered in this paper from the modern point of view of quantum stochastics and information. The development of quantum measurement theory, initiated by von Neumann, indicated a possibility for resolution of this interpretational crisis by divorcing the algebra of the dynamical generators and the algebra of the actual observables, or Bell's be ables. It is shown that within this approach quantum causality can be rehabilitated in the form of a superselection rule for compatibility of the actual histories with the potential future. This rule, together with the self-compatibility of the measurements ensuring the consistency of the histories, is called the nondemolition, or causality principle in modern quantum theory. The application of this rule in the form of dynamical commutation relations leads to the derivation of the von Neumann projection postulate, and also to the more general reductions, instantaneous, spontaneous, and even continuous in time. This gives a dynamical solution, in the form of the quantum stochastic filtering equations, of the notorious measurement problem which was tackled unsuccessfully by many famous physicists starting with Schrödinger and Bohr. It has been recently proved that the quantum stochastic model for the continuous in time measurements is equivalent to a Dirac type boundary-value problem for the secondary quantized input `offer waves from future' in one extra dimension, and to a reduction of the algebra of the consistent histories of past events to an Abelian subalgebra for the `trajectories of the output particles'. This supports the corpuscular-wave duality in the form of the thesis that everything in the future are quantized waves, while everything in the past are trajectories of the recorded particles.