The framework of generalized probabilistic theories is a powerful tool for studying the foundations of quantum physics. It provides the basis for a variety of recent findings that significantly improve our understanding of the rich physical structure of quantum theory. This review paper tries to present the framework and recent results to a broader readership in an accessible manner. To achieve this, we follow a constructive approach. Starting from few basic physically motivated assumptions we show how a given set of observations can be manifested in an operational theory. Furthermore, we characterize consistency conditions limiting the range of possible extensions. In this framework classical and quantum theory appear as special cases, and the aim is to understand what distinguishes quantum mechanics as the fundamental theory realized in nature. It turns out non-classical features of single systems can equivalently result from higher dimensional classical theories that have been restricted. Entanglement and non-locality, however, are shown to be genuine non-classical features.
The framework of generalized probabilistic theories is a powerful tool for studying the foundations of quantum physics. It provides the basis for a variety of recent findings that significantly improve our understanding of the rich physical structure of quantum theory. This review paper tries to present the framework and recent results to a broader readership in an accessible manner. To achieve this, we follow a constructive approach. Starting from few basic physically motivated assumptions we show how a given set of observations can be manifested in an operational theory. Furthermore, we characterize consistency conditions limiting the range of possible extensions. In this framework classical and quantum theory appear as special cases, and the aim is to understand what distinguishes quantum mechanics as the fundamental theory realized in nature. It turns out non-classical features of single systems can equivalently result from higher dimensional classical theories that have been restricted. Entanglement and non-locality, however, are shown to be genuine non-classical features.
Quantum theory is considered to be the most fundamental and most accurate physical theory of today. Although quantum theory is conceptually difficult to understand, its mathematical structure is quite simple. What determines this particularly simple and elegant mathematical structure? In short: Why is quantum theory as it is? Addressing such questions is the aim of investigating the foundations of quantum theory. In the past this field of research was sometimes considered as an academic subject without much practical impact. However, with the emergence of quantum information theory this perception has changed significantly and both fields started to fruitfully influence each other. Today fundamental aspects of quantum theory attract increasing attention and the field belongs to the most exciting subjects of theoretical physics. This thesis is concerned with a particular branch in this field, namely, with so-called Generalized Probabilistic Theories (GPTs), which provide a unified theoretical framework in which classical and quantum theory emerge as special cases. This is used to examine nonlocal features that help to distinguish quantum theory from alternative toy theories. In order to extend the scope of theories that can be examined with the framework, we also introduce several generalizations to the framework itself. We start in Chapter 1 with introducing the standard GPT framework and summarize previous results, based on a review paper of the author [New J. Phys. 13, 063024 (2011)]. To keep the introduction accessible to a broad readership, we follow a constructive approach. Starting from few basic physically motivated assumptions we show how a given set of observations can be manifested in an operational theory. Furthermore, we characterize consistency conditions limiting the range of possible extensions. We point out that non-classical features of single systems can equivalently result from higher dimensional classical theories that have been restricted. Entanglement and non-locality, however, are shown to be genuine non-classical features. We review features that have been found to be specific for quantum theory separably or single and joint systems. Chapter 2 incorporates results published in [J. Phys. A 47(32), pp. 1-32 (2014)] and [Proc. QPL 2011 via EPTCS vol. 95, pp. 183–192 (2012)]. The GPT framework is applied to show how the structure of local state spaces indirectly affects possible nonlocal correlations, which are global properties of a theory. These correlations are stronger than those possible in a classical theory, but happen to show different restrictions that can be linked to the structure of subsystems. We first illustrate the phenomenon with toy theories with particular local state spaces. We than show that a particular class of joint states (inner product states), whose existence depends on geometrical properties of the local subsystems, can only have correlations for a known limited set called Q1. All bipartite correlations of both, quantum and classical correlations, can be mapped to measurement statistics from such joint states. Chapter 3 shows unpublished results on entanglement swapping in GPTs. This protocol, which is well known in quantum information theory, allows to nonlocally transfer entanglement to initially unentangled parties with the help of a third party that shares entanglement with each. We review our approach published in [Proc. QPL 2011 via EPTCS vol. 95, pp. 183–192 (2012)], which mimics the joint systems' structure of quantum theory by modifying a popular toy theory known as boxworld. However, it is illustrated that this approach fails for bigger multipartite systems due to inconsistencies evoked by entanglement swapping. It turns out that the GPT framework does not allow entanglement swapping for general subsystems with two-dimensional state spaces with transitive pure states. Altering the GPT framework to allow completely globally degrees of freedom, however, enables us to construct consistent entanglement swapping for these subsystems. This construction resembles the situation in quantum theory on a real Hilbert space. A questionable assumption usually taken in the standard GPT framework is the so-called no-restriction hypothesis. It states that the measurement that are possible in a theory can be derived from the state space. In fact, this assumption seems to exist for reasons of mathematical convenience, but it seems to lack physical motivation. We generalize the GPT framework to also account for systems that do not obey the no-restriction hypothesis in Chapter 4, which presents results published in [Phys. Rev. A 87, 052131 (2013)] and [Proc. QPL 2013, to be published in EPTCS]. The extended framework includes new classes of probabilistic theories. As an example, we show how to construct theories that include intrinsic noise. We also provide a "self-dualization" procedure that requires the violation of the no-restriction hypothesis. This procedure restricts the measurement of arbitrary theories such that the theories act as if they were self-dual. Self-duality has recently gathered lots of interest, since such theories share many features of quantum theory. For example Tsirelson’s bound holds for correlations on the maximally entangled state in these theories. Finally, we characterize the maximal set of joint states that can be consistently defined for given subsystems. This generalizes the maximal tensor product of the standard GPT framework.
This introductory chapter sets out a general structure of physical theories which is applicable to both classical and quantum mechanics. We start with measurable properties of a given physical system, be it classical or quantum. These properties are called observables . We then introduce a definition of the state of a physical system in terms of measured values of a sufficiently large set of observables. A theory to describe the system should consists of four basic components: Basic mathematical framework This comprises a set of elements endowed with some specific mathematical structure and properties. In mathematics such a set is generally known as a space . Description of states States are described by elements of the space in the chosen mathematical framework. For this reason the space is called the state space of the system. Description of observables Observables are to be described by quantities defined on the state space. The description should yield all possible values of observables. The relationship between observables and states should be explicitly stated. The following two cases are of particular interest: 2 For a deterministic theory like classical mechanics a state should determine the values of all observables. For a probabilistic theory like quantum mechanics a state should determine the probability distribution of the values of all observables. Description of time evolution (dynamics).
It is a scientific truism nowadays that quantum mechanical predictions are of statistical or rather of probabilistic nature: a quantum theory assigns a probability distribution to each measurable quantity (observable) of a physical system prepared according to a given preparation prescription (state). Such sets of probability distributions represent the most general quantitative predictions of physical theories. The aim of this study is to determine all theoretical frameworks which yield such a kind of output taking the probabilistic nature of quantitative physical predictions as initial hypothesis. Astonishingly, this project succeeds with a minimal number of additional assumptions, which arise quite naturally in the course of the analysis, and which essentially amount to regularity conditions. The result is that there exist only two classes of physical theories providing quantitative probabilistic predictions: classical theories where observables are represented by real functions over a phase space and states are represented by probability measures upon the phase space, and quantum theories where observables are represented by selfadjoint operators acting on a complex Hilbert space and states are represented by state operators. On empirical grounds, classical theories cannot provide the all-encompassing, fundamental frame for the mathematical description of physical systems. Quantum theories remain, and there is no more complete formal frame for quantitative physical theories. As an additional result, it is shown that there exist physical systems which possess a quantum mechanical but no classical description; a prominent example is the spin system of two spin-1/2 particles. The classical hidden variables model, which J. Bell relates to this system in order to prove his theorem, cannot be a true description of it because no such classical model exists, and Bell's theorem loses its foundation.
Interpretational paradoxes of quantum mechanics may be associated with the application of the structure of classical probability theory to systems whose probabilistic organization is fundamentally contextual. In this work, we propose an outline of an alternative probability theory in which the primary object is not an elementary outcome but a contextual whole—a class of alternatives defined by a common structural property. In this approach, probability is organized on two levels. The first level describes the probabilities of contextual wholes, while the second level describes the conditional probabilities of alternatives within those wholes. Individual alternatives do not possess autonomous probabilities outside their context. Their probabilities arise only as contextual projections of a more fundamental probabilistic structure. Within this model, quantum mechanics appears as a special case of a more general theory in which contextual wholes are described by superpositions of probability amplitudes. Classical probability theory emerges as a limiting case in which all contexts are mutually compatible and can be combined into a single global description. The proposed framework provides a possible conceptual foundation for understanding quantum probability, contextuality, interference, and hybrid probability distributions within a unified structure.
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.
In this paper we propose a unified conceptual framework in which quantum probability, quantum logic, and classical probability theory are understood as different structural levels of a single theoretical hierarchy. Starting from a statistical interpretation of quantum interference, previously developed by the authors, we argue that quantum probability is not an alternative to classical Kolmogorov probability, but a more general structure. Classical probability theory emerges as a limiting case corresponding to the disappearance of interference and the effective decomposition of the whole into independent elements. Within this framework, the Birkhoff–von Neumann quantum logic appears as a natural logical expression of quantum probability rather than as an abstract algebraic construction detached from physical meaning. The priority of the whole over its parts plays a central role in both quantum probability and quantum logic, while classical logic and probability arise when this priority becomes trivial. We emphasize that the proposed interpretation does not reject existing quantum formalism, but reinterprets its logical and probabilistic foundations. This approach may have implications for the conceptual understanding of quantum algorithms and quantum information processing.