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.

京都大学 / 新制・課程博士 / 博士(工学) / 甲第23889号 / 工博第4976号 / 新制||工||1777(附属図書館) / 京都大学大学院工学研究科原子核工学専攻 / (主査)教授 斉藤 学, 准教授 田﨑 誠司, 教授 宮寺 隆之 / 学位規則第4条第1項該当 / Doctor of Philosophy (Engineering) / Kyoto University / DFAM

The theory of decoherence aims to explain how macroscopic quantum objects become effectively classical. Understanding this process could help in the search for the quantum theory underlying gravity, and suggest new schemes for preserving the coherence of technological quantum devices. The process of decoherence is best understood in terms of information flow within a quantum system, and between the system and its environment. We develop a novel way of characterizing this information, and give a sufficient condition for its classicality. These results generalize previous models of decoherence, clarify the process by which a phase-space based on non-commutative quantum variables can emerge, and provide a possible explanation for the universality of the phenomenon of decoherence. In addition, the tools developed in this approach generalize the theory of quantum error correction to infinite-dimensional Hilbert spaces. We characterize the nature of the information preserved by a quantum channel by the observables which exist in its image (in the Heisenberg picture). The sharp observables preserved by a channel form an operator algebra which can be characterized in terms of the channel's elements. The effect of the channel on these observables can be reversed by another physical transformation. These results generalize the theory of quantum error correction to codes characterized by arbitrary von Neumann algebras, which can represent hybrid quantum-classical information, continuous variable systems, or certain quantum field theories. The preserved unsharp observables (positive operator-valued measures) allow for a finer characterization of the information preserved by a channel. We show that the only type of information which can be duplicated arbitrarily many times consists of coarse-grainings of a single POVM. Based on these results, we propose a model of decoherence which can account for the emergence of a realistic classical phase-space. This model supports the view that the quantum-classical correspondence is given by a quantum-to-classical channel, which is another way of representing a POVM.

The theory of decoherence aims to explain how macroscopic quantum objects become effectively classical. Understanding this process could help in the search for the quantum theory underlying gravity, and suggest new schemes for preserving the coherence of technological quantum devices. The process of decoherence is best understood in terms of information flow within a quantum system, and between the system and its environment. We develop a novel way of characterizing this information, and give a sufficient condition for its classicality. These results generalize previous models of decoherence, clarify the process by which a phase-space based on non-commutative quantum variables can emerge, and provide a possible explanation for the universality of the phenomenon of decoherence. In addition, the tools developed in this approach generalize the theory of quantum error correction to infinite-dimensional Hilbert spaces. We characterize the nature of the information preserved by a quantum channel by the observables which exist in its image (in the Heisenberg picture). The sharp observables preserved by a channel form an operator algebra which can be characterized in terms of the channel's elements. The effect of the channel on these observables can be reversed by another physical transformation. These results generalize the theory of quantum error correction to codes characterized by arbitrary von Neumann algebras, which can represent hybrid quantum-classical information, continuous variable systems, or certain quantum field theories. The preserved unsharp observables (positive operator-valued measures) allow for a finer characterization of the information preserved by a channel. We show that the only type of information which can be duplicated arbitrarily many times consists of coarse-grainings of a single POVM. Based on these results, we propose a model of decoherence which can account for the emergence of a realistic classical phase-space. This model supports the view that the quantum-classical correspondence is given by a quantum-to-classical channel, which is another way of representing a POVM.

Les résultats de mesures quantiques sont généralement considérés comme aléatoires, mais leur nature aléatoire, malgré son importance dans la théorie de l’information quantique, est mal comprise. Dans cette thèse, nous étudions plusieurs problèmes liés à l’origine et la certification de l’aléatoire et l’imprévisibilité quantique. L’un des résultats clés dans la formation de notre compréhension de la mécanique quantique comme théorie intrinsèquement indéterministe est le théorème de Kochen et Specker, qui démontre l’impossibilité d’attribuer simultanément, de façon cohérente, des valeurs définies et non-contextuelles à chaque observable avant la mesure. Cependant, si nous présumons qu’une observable à valeur définie doit être non-contextuelle, alors lethéorème ne montre que le fait qu’il existe au moins une observable à valeur indéfinie. Nous renforçons ce résultat en démontrant une variante du théorème de Kochen et Specker qui montre que si un système est préparé dans un état quelconque j i, alors chaque observable A est à valeur indéfinie sauf si j i est un état propre de A. La nature indéterministe de la mesure quantique n’explique pas bien la différence de qualité entre l’aléatoire quantique et classique. Soumise à certaines hypothèses physiques, nous montrons qu’une suite de bits produite par la mesure des observables à valeurs indéfinies est garantie, dans la limite infinie, d’être fortement incalculable. De plus, nous discutons comment utiliser ces résultats afin de construire un générateur quantique de nombres aléatoires qui est certifié par des observables à valeurs indéfinies. Dans la dernière partie de cette thèse, nous étudions la notion d’imprévisibilité, qui est au coeur du concept d’aléatoire (quantique). Ce faisant, nous proposons un modèle formel de (im)prévisibilité qui peut servir à évaluer la prévisibilité d’expériences physiques arbitraires. Ce modèle est appliqué aux mesures quantiques afin de comprendre comment la valeur indéfinie et la complémentarité quantique peuvent être utilisées pour certifier différents degrés d’imprévisibilité, et nous démontrons ainsi que le résultat d’une seule mesure d’une observable à valeur indéfinie est formellement imprévisible. Enfin, nous étudions la relation entre cette notion d’imprévisibilité et la certification de l’incalculabilité des suites aléatoires quantiques. / The outcomes of quantum measurements are generally considered to be random, but despite the fact that this randomness is an important element in quantum information theory, its nature is not well understood. In this thesis, we study several issues relating to the origin and certification of quantum randomness and unpredictability. One of the key results in forming our understanding of quantum mechanics as an intrinsically indeterministic theory is the Kochen-Specker theorem, which shows the impossibility to consistently assign simultaneous noncontextual definite values to all quantum mechanical observables prior to measurement. However, the theorem, under the assumption that any definite values must be noncontextual, only strictly shows that some observables must be value indefinite. We strengthen this result, proving a stronger variant of the Kochen-Specker theorem showing that, under the same assumption, if a system is prepared in an arbitrary state j i, then every observable A is value indefinite unless j i is an eigenstate of A. The indeterministic nature of quantum measurements does little to explain how the quality of quantum randomness differs from classical randomness. We show that, subject to certain physical assumptions, a sequence of bits generated by the measurement of value indefinite observables is guaranteed, in the infinite limit, to be strongly incomputable. We further discuss how this can be used to build a quantum random number generator certified by value indefiniteness. Next, we study the notion of unpredictability, which is central to the concept of (quantum) randomness. In doing so, we propose a formal model of prediction that can be used to asses the predictability of arbitrary physical experiments. We investigate how the quantum features of value indefiniteness and complementarity can be used to certify different levels of unpredictability, and show that the outcome of a single measurement of a value indefinite quantum observable is formally unpredictable. Finally, we study the relation between this notion of unpredictability and the computability-theoretic certification of quantum randomness.