We introduce a framework in which a variety of theories can be defined that share two features with quantum mechanics: the no-signalling principle for states, and the fact that the global state of a multi-partite system can be completely specified by correlations between local measurements on the individual subsystems. The aim is to investigate the relationships between the physical properties of these theories and the information processing possibilities that each one offers. One of these theories, which we call Generalised Non-Signalling Mechanics, includes states that can give rise to arbitrary non-signalling correlations, including the super-quantum correlations that have become known in the literature as non-local machines or PR boxes. By investigating these correlations in the context of a theory with well-defined dynamics, we hope to make further progress with a question raised by Popescu and Rohrlich: why does quantum mechanics not allow these strongly non-local correlations? We show that the existence of strongly non-local correlations forces much of the dynamics in this theory to be, in a certain sense, trivial, with consequences for teleportation, cryptography and computation. We also investigate another theory, which we call Generalised Local Mechanics, since all states in this theory are local. This has its own consequences for cryptography and computation. Finally, we raise the question of what further axiom(s) could be added to our framework in order uniquely to identify quantum mechanics.
We introduce a framework in which a variety of theories can be defined that share two features with quantum mechanics: the no-signalling principle for states, and the fact that the global state of a multi-partite system can be completely specified by correlations between local measurements on the individual subsystems. The aim is to investigate the relationships between the physical properties of these theories and the information processing possibilities that each one offers. One of these theories, which we call Generalised Non-Signalling Mechanics, includes states that can give rise to arbitrary non-signalling correlations, including the super-quantum correlations that have become known in the literature as non-local machines or PR boxes. By investigating these correlations in the context of a theory with well-defined dynamics, we hope to make further progress with a question raised by Popescu and Rohrlich: why does quantum mechanics not allow these strongly non-local correlations? We show that the existence of strongly non-local correlations forces much of the dynamics in this theory to be, in a certain sense, trivial, with consequences for teleportation, cryptography and computation. We also investigate another theory, which we call Generalised Local Mechanics, since all states in this theory are local. This has its own consequences for cryptography and computation. Finally, we raise the question of what further axiom(s) could be added to our framework in order uniquely to identify quantum mechanics.
I introduce a framework in which a variety of probabilistic theories can be defined, including classical and quantum theories, and many others. From two simple assumptions, a tensor product rule for combining separate systems can be derived. Certain features, usually thought of as specifically quantum, turn out to be generic in this framework, meaning that they are present in all except classical theories. These include the nonunique decomposition of a mixed state into pure states, a theorem involving disturbance of a system on measurement (suggesting that the possibility of secure key distribution is generic), and a no-cloning theorem. Two particular theories are then investigated in detail, for the sake of comparison with the classical and quantum cases. One of these includes states that can give rise to arbitrary nonsignaling correlations, including the superquantum correlations that have become known in the literature as nonlocal machines or Popescu-Rohrlich boxes. By investigating these correlations in the context of a theory with well-defined dynamics, I hope to make further progress with a question raised by Popescu and Rohrlich, which is why does quantum theory not allow these strongly nonlocal correlations? The existence of such correlations forces much of the dynamics in this theory to be, in a certain sense, classical, with consequences for teleportation, cryptography, and computation. I also investigate another theory in which all states are local. Finally, I raise the question of what further axiom(s) could be added to the framework in order to identify quantum theory uniquely, and hypothesize that quantum theory is optimal for computation.
One of the most fascinating consequences of quantum theory is non‐locality, i.e., the fact that the measurement outcomes of (spatially separated) parts of a system can have a correlation unexplainable by shared classical information. Note that at the same time, these correlations are non‐signaling and do not allow for message transmission. Popescu and Rohrlich have defined a non‐local box as a “basic building block of non‐locality” and initiated a systematic study of non‐local correlations and their applications. However, they left open the question of whether any non‐signaling correlation can be simulated by such non‐local boxes. We show that the answer is yes with respect to arbitrarily accurate approximations.
Quantum mechanics has been a paradigm shift and a revolutionary framework in our understanding of the physical world. The theory has been able to describe a wide variety of phenomena and has been experimentally verified with great precision. Despite that, to this day, the seemingly ad hoc formulation of quantum theory and several of its features still elude an intuitive understanding. At the same time, the applications of quantum mechanics in information theory have emerged as a promising avenue. Namely, its potential advantages in computation, in the so-called nascent field of quantum computation and in communication and information processing tasks such as quantum teleportation and super-dense coding. In all these endeavours, a significant effort has been made in understanding the maximum extent to which quantum mechanics can provide an advantage. This thesis explores an intersection of these two research lines, i.e. to have a physical explanation of some of the features of quantum mechanics and at the same time, study the outer limits of quantum mechanics. The combining insight rests on a newer foundational idea: that information itself is physical rather than an abstract entity and thus, is subject to physical laws. In this thesis, we explore the principle of information causality, which states that in any communication scenario, the amount of information carried is bounded by the degrees of freedom of the carrier. Information causality was initially proposed as a physical principle aimed at deriving the predictions of quantum mechanics on the type of correlations observed in a Bell scenario, which is a communication scenario involving multiple parties with access to a shared randomness resource. This principle has been proposed to recover some of the well-known features of quantum mechanics, specifically Tsirelson’s bound of the Clauser-Horne-Shimony-Holt inequality. Earlier results found limited generalisations due to the difficulty of deducing implications of the information causality principle. In this thesis, we greatly expand the scope of applicability of the principle. We develop a general-purpose algorithm to derive constraints on the set of quantum correlations. We extend the principle to be applicable to a wider variety of Bell scenarios, derive new families of quantum Bell inequalities and prove new bounds on the success probabilities of Entanglement Assisted Random Access Codes. We introduce an extension of the principle which applies to any distributed computing scenario. Using this extension, we improve on several previously known results in the field, and in certain cases, we even recover part of the quantum set as well. This extension provides rich insights into the communication complexity of distributed functions, using which we prove theory-independent randomised communication complexity bounds for several well-known functions and provide another general-purpose algorithm to bound the randomised quantum communication complexity of any function. As a consequence of the extension, we also establish that the extension supersedes the principle of non-trivial communication complexity.
Characterising quantum correlations from physical principles is a central problem in the field of quantum information theory. Entanglement breaks bounds on correlations put by Bell's theorem, thus challenging the notion of local causality as a physical principle. A natural relaxation is to study no-signalling as a constraint on joint probability distributions. It has been shown that when considered with respect to so-called locally quantum observables, bipartite non-signalling correlations never exceed their quantum counterparts; still, such correlations generally do not derive from quantum states. This leaves open the search for additional principles which identify quantum states within the larger set of (collections of) non-signalling joint probability distributions over locally quantum observables. Here, we suggest a natural generalisation of no-signalling in the form of no-disturbance to dilated systems. We prove that non-signalling joint probability distributions satisfying this extension correspond with bipartite quantum states up to a choice of time orientation in subsystems.
We analyze the structure of the so called non-signaling theories respecting relativistic causality but allowing correlations violating bounds imposed by quantum mechanics such as CHSH inequality. We discuss relations among such theories, quantum mechanics, and classical physics. In particular we reconstruct the probability theory adequate for the simplest instance of a non-signaling theory, the two non-signaling boxes world, and exhibit its differences in comparison with classical and quantum probabilities. We show that the question whether such a theory can be treated as a kind of "generalization" of the quantum theory of the two-qubit system cannot be answered positively. Some of its features put it closer to the quantum world, for example measurements must be destructive, on the other hand the Heisenberg uncertainty relations are not satisfied. Another interesting property contrasting it from quantum mechanics is that the subset of "classically correlated states," i.e.\ the states with only classical correlations, does not reproduce the classical world of two two-state systems. Our results establish a new link between quantum information theory and the well-developed theory of quantum logics and can shed new light on the problem why quantum mechanics is distinguished among non-signaling theories.
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.