Categorical Operator Algebraic Foundations of Relational Quantum Theory

Kevin Dunne

Peter Nonnenmann

Samson Abramsky, Chris Heunen

. 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 .

Paolo Bertozzini

Stefano Gogioso, Carlo Maria Scandolo

We present a simple categorical framework for the treatment of probabilistic theories, with the aim of reconciling the fields of Categorical Quantum Mechanics (CQM) and Operational Probabilistic Theories (OPTs). In recent years, both CQM and OPTs have found successful application to a number of areas in quantum foundations and information theory: they present many similarities, both in spirit and in formalism, but they remain separated by a number of subtle yet important differences. We attempt to bridge this gap, by adopting a minimal number of operationally motivated axioms which provide clean categorical foundations, in the style of CQM, for the treatment of the problems that OPTs are concerned with.

Mathieu Huot, Sam Staton

We propose a categorical foundation for the connection between pure and mixed states in quantum information and quantum computation. The foundation is based on distributive monoidal categories. First, we prove that the category of all quantum channels is a canonical completion of the category of pure quantum operations (with ancilla preparations). More precisely, we prove that the category of completely positive trace-preserving maps between finite-dimensional C*-algebras is a canonical completion of the category of finite-dimensional vector spaces and isometries. Second, we extend our result to give a foundation to the topological relationships between quantum channels. We do this by generalizing our categorical foundation to the topologically-enriched setting. In particular, we show that the operator norm topology on quantum channels is the canonical topology induced by the norm topology on isometries.