Categorical quantum mechanics is a way of formalising the structural features of quantum theory using category theory. It uses compound systems as the primitive notion, which is formalised by using symmetric monoidal categories. This leads to an elegant formalism for describing quantum protocols such as quantum teleportation. In particular, categorical quantum mechanics provides a graphical calculus that exposes the information flow of such protocols in an intuitive way. However, the graphical calculus also reveals surprising features of these protocols; for example, in the quantum teleportation protocol, information appears to flow `backwards-in-time'. This leads to question of how causal structure can be described within categorical quantum mechanics, and how this might lead to insight regarding the structural compatibility between quantum theory and relativity. This thesis is concerned with the project of formalising causal structure in categorical quantum mechanics. We begin by studying an abstract view of Bell-type experiments, as described by `no-signalling boxes', and we show that under time-reversal no-signalling boxes generically become signalling. This conflicts with the underlying symmetry of relativistic causal structure. This leads us to consider the framework of categorical quantum mechanics from the perspective of relativistic causal structure. We derive the properties that a symmetric monoidal category must satisfy in order to describe systems in such a background causal structure. We use these properties to define a new type of category, and this provides a formal framework for describing protocols in spacetime. We explore this new structure, showing how it leads to an understanding of the counter-intuitive information flow of protocols in categorical quantum mechanics. We then find that the formal properties of our new structure are naturally related to axioms for reconstructing quantum theory, and we show how a reconstruction scheme based on purification can be formalised using the structures of categorical quantum mechanics. Finally, we discuss the philosophical aspects of using category theory to describe fundamental physics. We consider a recent argument that category-theoretic formulations of physics, such as categorical quantum mechanics, can be used to support a variant of structural realism. We argue against this claim. The work of this thesis suggests instead that the philosophy of categorical quantum mechanics is subtler than either operationalism or realism.
Categorical quantum mechanics is a way of formalising the structural features of quantum theory using category theory. It uses compound systems as the primitive notion, which is formalised by using symmetric monoidal categories. This leads to an elegant formalism for describing quantum protocols such as quantum teleportation. In particular, categorical quantum mechanics provides a graphical calculus that exposes the information flow of such protocols in an intuitive way. However, the graphical calculus also reveals surprising features of these protocols; for example, in the quantum teleportation protocol, information appears to flow backwards-in-time'. This leads to question of how causal structure can be described within categorical quantum mechanics, and how this might lead to insight regarding the structural compatibility between quantum theory and relativity. This thesis is concerned with the project of formalising causal structure in categorical quantum mechanics. We begin by studying an abstract view of Bell-type experiments, as described by no-signalling boxes', and we show that under time-reversal no-signalling boxes generically become signalling. This conflicts with the underlying symmetry of relativistic causal structure. This leads us to consider the framework of categorical quantum mechanics from the perspective of relativistic causal structure. We derive the properties that a symmetric monoidal category must satisfy in order to describe systems in such a background causal structure. We use these properties to define a new type of category, and this provides a formal framework for describing protocols in spacetime. We explore this new structure, showing how it leads to an understanding of the counter-intuitive information flow of protocols in categorical quantum mechanics. We then find that the formal properties of our new structure are naturally related to axioms for reconstructing quantum theory, and we show how a reconstruction scheme based on purification can be formalised using the structures of categorical quantum mechanics. Finally, we discuss the philosophical aspects of using category theory to describe fundamental physics. We consider a recent argument that category-theoretic formulations of physics, such as categorical quantum mechanics, can be used to support a variant of structural realism. We argue against this claim. The work of this thesis suggests instead that the philosophy of categorical quantum mechanics is subtler than either operationalism or realism.
Categorical quantum mechanics is a way of formalising the structural features of quantum theory using category theory. It uses compound systems as the primitive notion, which is formalised by using symmetric monoidal categories. This leads to an elegant formalism for describing quantum protocols such as quantum teleportation. In particular, categorical quantum mechanics provides a graphical calculus that exposes the information flow of such protocols in an intuitive way.
However, the graphical calculus also reveals surprising features of these protocols; for example, in the quantum teleportation protocol, information appears to flow `backwards-in-time'. This leads to question of how causal structure can be described within categorical quantum mechanics, and how this might lead to insight regarding the structural compatibility between quantum theory and relativity.
This thesis is concerned with the project of formalising causal structure in categorical quantum mechanics.
We begin by studying an abstract view of Bell-type experiments, as described by `no-signalling boxes', and we show that under time-reversal no-signalling boxes generically become signalling. This conflicts with the underlying symmetry of relativistic causal structure.
This leads us to consider the framework of categorical quantum mechanics from the perspective of relativistic causal structure. We derive the properties that a symmetric monoidal category must satisfy in order to describe systems in such a background causal structure.
We use these properties to define a new type of category, and this provides a formal framework for describing protocols in spacetime. We explore this new structure, showing how it leads to an understanding of the counter-intuitive information flow of protocols in categorical quantum mechanics. We then find that the formal properties of our new structure are naturally related to axioms for reconstructing quantum theory, and we show how a reconstruction scheme based on purification can be formalised using the structures of categorical quantum mechanics. Finally, we discuss the philosophical aspects of using category theory to describe fundamental physics. We consider a recent argument that category-theoretic formulations of physics, such as categorical quantum mechanics, can be used to support a variant of structural realism. We argue against this claim. The work of this thesis suggests instead that the philosophy of categorical quantum mechanics is subtler than either operationalism or realism.
. A central theme in current work in quantum information and quantum foundations is to see quantum mechanics as occupying one point in a space of possible theories, and to use this perspective to understand the special features and properties which single it out, and the possibilities for alternative theories. Two formalisms which have been used in this context are operational theories , and categorical quantum mechanics . The aim of the present paper is to establish strong connections between these two formalisms. We show how models of categorical quantum mechanics have representations as operational theories. We then show how non-locality can be formulated at this level of generality, and study a number of examples from this point of view, including Hilbert spaces, sets and relations, and stochastic maps. The local, quantum, and no-signalling models are characterized in these terms. Introduction. A central theme in current work in quantum information and quantum foundations is to see quantum mechanics as occupying one point in a space of possible theories, and to use this perspective to understand the special features and properties which single it out, and the possibilities for alternative theories. Two formalisms which have been used in this context are operational theories [48, 41, 52, 47], and categorical quantum mechanics [6, 7]. • Operational theories allow general formulations of results in quantum foundations and quantum information [11, 12, 10]. They also play a prominent rôle in current work on axiomatizations of quantum mechanics [36, 19, 49, 25]. • Categorical quantum mechanics enables a high-level approach to quantum information and quantum foundations, which can be presented in terms of string-diagram representations of structures in monoidal categories [7]. This has proved very effective in providing a conceptually illuminating and technically powerful perspective on a range of topics, including quantum protocols [6], entanglement [24], measurement-based quantum computing [29], no-cloning [1], and non-locality [22]. The aim of the present paper is to establish strong connections between these two formalisms. We shall begin by reviewing operational theories. We then show how a proper formulation of compound systems within the operational framework leads to a view of operational theories as representations of monoidal categories of a particular form. We call these operational representations .
Abstract Monoidal category theory serves as a powerful framework for describing logical aspects of quantum theory, giving an abstract language for parallel and sequential composition and a conceptual way to understand many high-level quantum phenomena. Here, we lay the foundations for this categorical quantum mechanics, with an emphasis on the graphical calculus that makes computation intuitive. We describe superposition and entanglement using biproducts and dual objects, and show how quantum teleportation can be studied abstractly using these structures. We investigate monoids, Frobenius structures and Hopf algebras, showing how they can be used to model classical information and complementary observables. We describe the CP construction, a categorical tool to describe probabilistic quantum systems. The last chapter introduces higher categories, surface diagrams and 2-Hilbert spaces, and shows how the language of duality in monoidal 2-categories can be used to reason about quantum protocols, including quantum teleportation and dense coding. Previous knowledge of linear algebra, quantum information or category theory would give an ideal background for studying this text, but it is not assumed, with essential background material given in a self-contained introductory chapter. Throughout the text, we point out links with many other areas, such as representation theory, topology, quantum algebra, knot theory and probability theory, and present nonstandard models including sets and relations. All results are stated rigorously and full proofs are given as far as possible, making this book an invaluable reference for modern techniques in quantum logic, with much of the material not available in any other textbook.
This paper explores the application of category theory to provide a semantic framework for quantum vector spaces, which are fundamental to quantum mechanics and quantum information. We move beyond the traditional algebraic and analytical descriptions of Hilbert spaces to adopt a more abstract, compositional, and graphical approach rooted in monoidal categories. This categorical perspective allows for a unified understanding of quantum phenomena, including superposition, entanglement, and measurement, by representing quantum systems as objects and processes as morphisms. We delve into the concept of compact closed categories and dagger symmetric monoidal categories as the appropriate mathematical structures to capture the essential features of quantum theory, such as duality, adjoints, and the tensor product for composite systems. Furthermore, the paper discusses how graphical calculi, arising from these categorical structures, offer an intuitive and rigorous method for reasoning about quantum protocols and computations, facilitating the design and verification of quantum algorithms. By providing a high-level, axiomatic framework, categorical semantics clarifies the foundational principles of quantum mechanics and opens new avenues for developing quantum programming languages and understanding the interplay between quantum information and computation.
We derive the category-theoretic backbone of quantum theory from a process ontology. More specifically, we treat quantum theory as a theory of systems, processes, and their interactions. We first present a general theory of diagrams, and in particular, of string diagrams, and discuss why diagrams are a very natural starting point for developing scientific theories. Then we define process theories, and define a very general notion of quantum type. We show how our process ontology enables us to assert causality, that is, compatibility of quantum theory and relativity theory, prove the no-signalling theorem, provide a new elegant derivation of the no-broadcasting theorem, unitarity of evolution, and Stinespring dilation, all for any `quantum' type in a general class of process theories.
Quantum mechanics exhibits many counter-intuitive features, which challenge our classical understanding of the world. This makes the theory simultaneously difficult to grasp, and a source of great potential for new technologies. We study various characteristics of classical and quantum mechanics and their respective roles in computation. This is interesting from a philosophical perspective, as it brings us a small step closer to understanding the nature of quantum mechanics. Furthermore, it leads us to discover scenarios where quantum resources provide a genuine advantage over classical resources, as well as more intuitive ways to model quantum protocols. Firstly, we explore the concept of quantum contextuality, which distinguishes uniquely-quantum experimental outcomes from outcomes that can be realised classically. In pursuit of a universal theory of contextuality, we unify two abstract frameworks: the sheaf-theoretic approach to contextuality by Abramsky and Brandenburger and the equivalence-based approach by Spekkens. We apply the sheaf-theoretic formalism to the field of communication complexity. We derive a bound on the success probability of a communication complexity protocol, based on the amount of contextuality present in its quantum resource. We provide a set of necessary conditions for distributed functions that allow a contextual advantage. Secondly, we consider a family of bicategorical models to describe the interaction of classical and quantum information in quantum protocols. We prove that this family is symmetric monoidal, and therefore suitable for describing compound and parallel protocols. This family serves as a mathematical foundation for the planar language for quantum protocols by Vi- cary. Important examples of this family are the bicategories 2Hilb and 2Vect. Additionally, we introduce the structure 2[CP∗[FHilb]], which contains a symmetric monoidal bicategory of mixed states and completely positive maps. This allows a unified description of quantum teleportation and classical encryption in a single 2-category, as well as a universal security proof applicable simultaneously to both scenarios. As part of the process, we develop extensive categorical machinery for constructing symmetric monoidal structures of bicategories, pseudo functors, pseudo transformations and modifications. We consider a method of constructing symmetric monoidal bicategories from symmetric monoidal double categories. We show that this method can be generalised to a functor from the locally cubical bicategory of monoidal double categories to the locally cubical bicategory of monoidal bicategories.