In order to find a physical axiomatization of quantum theory, physical theories are often considered as a special case of a much more general framework of generalized probabilistic theories. We first present a detailed introduction to generalized probabilistic theories before we examine new approaches towards a physical axiomatization of quantum theory. The main result of the thesis is that one postulate concerning post-measurement states (which have gained almost no attention in this context so far) is sufficient to rule out all probabilistic theories with a polytopic state space, except for classical theory. The postulate states that a measurement with a definite outcome does not alter the state. This rules out almost all toy theories considered so far, for instance the PR-box, but is compatible with quantum theory. Thus, this result can be seen as an approach towards a classification of quantum theory in physical terms. It only deals with local state spaces, in contrast to other approaches that are mostly concerned with nonlocality in composite systems.
In order to find a physical axiomatization of quantum theory, physical theories are often considered as a special case of a much more general framework of generalized probabilistic theories. We first present a detailed introduction to generalized probabilistic theories before we examine new approaches towards a physical axiomatization of quantum theory. The main result of the thesis is that one postulate concerning post-measurement states (which have gained almost no attention in this context so far) is sufficient to rule out all probabilistic theories with a polytopic state space, except for classical theory. The postulate states that a measurement with a definite outcome does not alter the state. This rules out almost all toy theories considered so far, for instance the PR-box, but is compatible with quantum theory. Thus, this result can be seen as an approach towards a classification of quantum theory in physical terms. It only deals with local state spaces, in contrast to other approaches that are mostly concerned with nonlocality in composite systems.
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 thesis explores various perspectives on quantum phenomena, and how our understanding of these phenomena is informed by the study of general probabilistic theories. Particular attention is given to quantum nonlocality, and its interaction with areas of physical and mathematical interest such as entropy, reversible dynamics, information-based games and the idea of negative probability. We begin with a review of non-signaling distributions and convex operational theories, including “black box” descriptions of experiments and the mathematics of convex vector spaces. In Chapter 3 we derive various classical and quantum-like quasiprobabilistic representations of arbitrary non-signaling distributions. Previously, results in which the density operator is allowed to become non-positive [1] have proved useful in derivations of quantum theory from physical requirements [2]; we derive a dual result in which the measurement operators instead are allowed to become non-positive, and show that the generation of any non-signaling distribution is possible using a fixed separable state with negligible correlation. We also derive two distinct “quasi-local” models of non-signaling correlations. Chapter 4 investigates non-local games, in particular the game known as Information Causality. By analysing the probability of success in this game, we prove the conjectured tightness of a bound given in [3] concerning how well entanglement allows us to perform the task of random access coding, and introduce a quadratic bias bound which seems to capture a great deal of information about the set of quantum-achievable correlations. By reformulating Information Causality in terms of entropies, we find that a sensible measure of entropy precludes many general probabilistic theories whose non-locality is stronger than that of quantum theory. Chapter 5 explores the role that reversible transitivity (the principle that any two pure states are joined by a reversible transformation) plays as a characteristic feature of quantum theory. It has previously been shown that in Boxworld, the theory allowing for the full set of non-signaling correlations, any reversible transformation on a restricted class of composite systems is merely a composition of relabellings of measurement choices and outcomes, and permutations of subsystems [4]. We develop a tabular description of Boxworld states and effects first introduced in [5], and use this to extend this reversibility result to any composite Boxworld system in which none of the subsystems are classical.
The postulates of quantum theory are rather abstract in comparison with those of other physical theories such as special relativity. This thesis considers two tools for investigating this discrepancy and makes a connection between them. The first of these tools, Gleason-type theorems, illustrates the interplay between postulates concerning observables, states and probabilities of measurement outcomes, demonstrating that they need not be entirely independent. Gleason’s original and remarkable result applied to observables described by projection-valued measures; however, the theorem does not hold in dimension two. Busch generalised the idea to observables described by positive operator measures, proving a result which holds for all separable Hilbert spaces. We show that Busch’s assumptions may be weakened without affecting the result. The manner in which we weaken the assumptions brings them closer to Gleason’s original treatment of projection-valued measures. We will then demonstrate the connection between Gleason-type theorems and Cauchy’s functional equation, a connection which yields an alternative proof of Busch’s result. The second tool we consider is the family of general probabilistic theories which offers a means of comparing quantum theory with reasonable alternatives. We identify a general probabilistic theory which reproduces the set of non-local correlations achievable in quantum theory, a property often thought to be particular to quantum theory. Finally, we connect these two tools by determining the class of general probabilistic theories which admit a Gleason-type theorem.
We give an introduction to research associated with the generalised probabilistic theories framework, also known as the convex framework. States are real vectors representing lists of probabilities of measurement outcomes. Convex combinations of the vectors represent probabilistic combinations of different state preparations. Transformations are real matrices. Measurement outcomes are represented by functionals of the states, inner products of the state with a real vector, whose values are the probability of the measurement outcome in question. The framework generalises quantum theory. We describe the operational meaning of the framework, and how the concepts can be defined in terms of cones of states and measurement outcome vectors. We describe how the classical and quantum probability theories are represented in the framework. We describe Bell non-locality and the theory with super-quantum non-locality known as box world. We discuss generalised Hamiltonian mechanics in the discrete case and in continuous phase space, including the role of negativity of the phase space density in contextuality and tunnelling.
This chapter contains a brief introduction to mathematical formalism and QM axiomatics. It is oriented to non-physicists. Since QM is a statistical theory it is natural to start with the classical probability model (Kolmogorov [ 191 ], 1933). Then we present the basics of the theory of Hilbert spaces and Hermitian operators and the representation of pure and mixed states by normalized vectors and density operators. This introduction is sufficient to formulate the axiomatics of QM in the form of five postulates. The projection postulate (the most questionable postulate of QM) is presented in a separate section. We sharply distinguish between the cases of quantum observables represented by Hermitian operators with nondegenerate and degenerate spectra, von Neumann’s and Ltiders’s forms of the projection postulate. The axiomatics is completed by a short section on the main interpretations of QM. The projection postulate (LUders’s form) plays a crucial role in the definition of quantum conditional (transition) probability. By operating with the latter we consider interference of probabilities for two incompatible observables as a modification of the formula of total probability by adding the interference term. This viewpoint to interference of probabilities was elaborated in a series of works by Khrennikov. Since classical probability theory is based on the 142 Boolean algebra of events, a violation of the law of total probability can be treated as the probabilistic sign of a violation of the laws of the Boolean logics. From this viewpoint, quantum theory can be considered as representing a new kind of logic, so-called quantum logic. The latter is also briefly presented in a separate section. We continue this review with a new portion of quantum mathematics, namely the notion of the tensor product of Hilbert spaces and the tensor product of operators. After the section on Dirac’s notation with ket and bra vector, we discuss briefly the notion of qubit and entanglement of a few qubits. This chapter concludes with a presentation of the detailed analysis of the probabilistic structure of the two-slit experiment in a bunch of different experimental contexts. This contextual structure leads to a violation of the law of total probability and non-Kolmogorovean probabilistic structure of this experiment.
Quantum theory can be formulated using a small number of mathematical postulates. These postulates describe how quantum systems interact and evolve as well as describing measurements and probabilities of measurement outcomes. The measurement postulates are logically independent from the other postulates, which are dynamical and compositional in nature. In this thesis we study all theories which have the same dynamical and compositional postulates as quantum theory but different measurement postulates. In the first part we introduce the necessary tools for this task: the operational approach to physical theories (general probabilistic theories) and the representation theory of the unitary group. Following this we introduce a framework which is used to describe theories with modified measurement postulates and we classify all possible alternative measurement postulates using representation theory. We then study informational properties of single systems described by these theories and compare them to quantum systems. Finally we study properties of bi-partite systems in these theories. We show that all bi-partite systems in these theories violate two properties which are met by quantum systems: purification and local tomography.