Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:1901.10117 · Electronic Proceedings in Theoretical Computer Science

Universal Properties in Quantum Theory

Mathieu Huot, Sam Staton

Published Jan 31, 2019• 14 citations
arXivHTMLPDF

Abstract

We argue that notions in quantum theory should have universal properties in the sense of category theory. We consider the completely positive trace preserving (CPTP) maps, the basic notion of quantum channel. Physically, quantum channels are derived from pure quantum theory by allowing discarding. We phrase this in category theoretic terms by showing that the category of CPTP maps is the universal monoidal category with a terminal unit that has a functor from the category of isometries. In other words, the CPTP maps are the affine reflection of the isometries.

DOI
10.4204/eptcs.287.12

Related papers

On quantum channels: extreme points, topology, and categorical properties

J. M. S. T. da Silva

In this thesis, quantum channels are studied from the point of view of Mathematics. We studied the CPTP (completely positive trace preserving) and UCPTP channels, the latter being the unital channels. In both cases, the sets are compact convex, so they are the closure of their extreme points. We constructed extreme CPTP maps for every possible rank. We also constructed extreme UCPTP maps with rank 2 for each possible dimension. For ranks of at least 3, we constructed extreme UCPTP maps for many dimensions and ranks. We also proved that the tensor product of extreme CPTP maps is an extreme CPTP map. For UCPTP maps, we proved that the same is not always true, with many counterexamples. It is known that the category of CPTP maps is semicartesian. We add to this a classification of binary products. We proved that products only exist in trivial cases. For binary coproducts, we obtained the dimensions they should have, if they exist. In both cases, topological techniques were used. For this reason, we also investigated the topology of the closure of the set of extreme points of the CPTP maps. Topological invariants can be computed from decompositions of a space such as CW structures. These are a type of decomposition in which the space is expressed as a gluing of balls. In the search for a CW structure for the closure of the set of extreme CPTP maps, we obtained a partial decomposition that resembles a CW structure of the complex projective space.

math-phCross-listedarXiv:2608.20689•Aug 24, 2026•0 citations

Quantum channels as a categorical completion

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.

arXiv:1904.09600•ACM/IEEE Symposium on Logic in Computer Science (LICS)•Jun 1, 2019•9 citations

Choi representation of completely positive maps in brief

Gábor Homa, Adrián Ortega, Mátyás Koniorczyk

Abstract The Choi representation of completely positive trace preserving (CPTP) maps, i.e. quantum channels is often used in the context of quantum information and computation as it is easy to work with. It is a correspondence between CPTP maps and quantum states also termed as the Choi–Jamiołkowski isomorphism. It is especially useful if a parametrization of the set of CPTP maps is needed in order to consider a general map or optimize over the set of these. Here we provide a brief introduction to this topic, focusing on certain useful calculational techniques which are presented in full detail.

arXiv:2402.12944•Zeitschrift für Naturforschung A•Oct 17, 2024•8 citations

Supermaps between channels of any type

Robert F. Allen, Dominic Verdon

Supermaps between quantum channels (completely positive trace-preserving (CPTP) maps of matrix algebras) were introduced in [Chiribella et al., EPL 83(3) (2008)]. In this work we generalise to supermaps between channels of any type; by channels we mean CPTP maps of finite-dimensional C*-algebras. Channels include POVMs, quantum instruments, classically controlled families of quantum channels, classical channels, quantum multimeters, and more. We show that deterministic supermaps between channels of any type can be realised using simple circuits, recovering the previous realisation theorems of [Chiribella et al., EPL 83(3) (2008)] (for deterministic supermaps between quantum channels) and [Bluhm et al. (2024)] (for deterministic supermaps between quantum multimeters) as special cases. To prove this realisation theorem we use the graphical calculus of the 2-category of finite-dimensional 2-Hilbert spaces; the paper includes an accessible and elementary introduction to this graphical calculus, and no prior knowledge of category theory is expected of the reader.

arXiv:2410.01389•Oct 2, 2024•1 citation

Quantum Channels and Quantum Operations

Reinhold A. Bertlmann, Nicolai Friis

Abstract In this chapter we visit the ‘church of the larger Hilbert space’: we take a closer look at the relationship of pure and mixed quantum states via purification, and discuss a similar connection between completely positive and trace-preserving (CPTP) maps and unitary dynamics on a larger Hilbert space. We show that such CPTP maps, which represent quantum channels, are equivalent to operations admitting a Kraus decomposition, as well as to unitary dynamics on a larger Hilbert space with factoring initial condition, the famous Stinespring dilation of quantum operations. In this context we introduce the Choi-Jamiołkowski isomorphism, which expresses a duality between maps between two Hilbert spaces and states on tensor products of these Hilbert spaces, and we review several important examples of quantum channels such as the dephasing channel, amplitude-damping channel, and depolarizing channel. Finally, we examine operations that are not possible in quantum theory, focusing on the no-cloning theorem.

•Sep 7, 2023•1 citation

Quantum Theory is a Quasi-stochastic Process Theory

John van de Wetering

There is a long history of representing a quantum state using a quasi-probability distribution: a distribution allowing negative values. In this paper we extend such representations to deal with quantum channels. The result is a convex, strongly monoidal, functorial embedding of the category of trace preserving completely positive maps into the category of quasi-stochastic matrices. This establishes quantum theory as a subcategory of quasi-stochastic processes. Such an embedding is induced by a choice of minimal informationally complete POVM's. We show that any two such embeddings are naturally isomorphic. The embedding preserves the dagger structure of the categories if and only if the POVM's are symmetric, giving a new use of SIC-POVM's, objects that are of foundational interest in the QBism community. We also study general convex embeddings of quantum theory and prove a dichotomy that such an embedding is either trivial or faithful.

arXiv:1704.08525•Electronic Proceedings in Theoretical Computer Science•Feb 27, 2018•12 citations
We argue that notions in quantum theory should have universal properties in the sense of category theory. We consider the completely positive trace preserving (CPTP) maps, the basic notion of quantum channel. Physically, quantum channels are derived from pure quantum theory by allowing discarding. We phrase this in category theoretic terms by showing that the category of CPTP maps is the universal monoidal category with a terminal unit that has a functor from the category of isometries. In other words, the CPTP maps are the affine reflection of the isometries.
In this thesis, quantum channels are studied from the point of view of Mathematics. We studied the CPTP (completely positive trace preserving) and UCPTP channels, the latter being the unital channels. In both cases, the sets are compact convex, so they are the closure of their extreme points. We constructed extreme CPTP maps for every possible rank. We also constructed extreme UCPTP maps with rank 2 for each possible dimension. For ranks of at least 3, we constructed extreme UCPTP maps for many dimensions and ranks. We also proved that the tensor product of extreme CPTP maps is an extreme CPTP map. For UCPTP maps, we proved that the same is not always true, with many counterexamples. It is known that the category of CPTP maps is semicartesian. We add to this a classification of binary products. We proved that products only exist in trivial cases. For binary coproducts, we obtained the dimensions they should have, if they exist. In both cases, topological techniques were used. For this reason, we also investigated the topology of the closure of the set of extreme points of the CPTP maps. Topological invariants can be computed from decompositions of a space such as CW structures. These are a type of decomposition in which the space is expressed as a gluing of balls. In the search for a CW structure for the closure of the set of extreme CPTP maps, we obtained a partial decomposition that resembles a CW structure of the complex projective space.
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.
Abstract The Choi representation of completely positive trace preserving (CPTP) maps, i.e. quantum channels is often used in the context of quantum information and computation as it is easy to work with. It is a correspondence between CPTP maps and quantum states also termed as the Choi–Jamiołkowski isomorphism. It is especially useful if a parametrization of the set of CPTP maps is needed in order to consider a general map or optimize over the set of these. Here we provide a brief introduction to this topic, focusing on certain useful calculational techniques which are presented in full detail.
Supermaps between quantum channels (completely positive trace-preserving (CPTP) maps of matrix algebras) were introduced in [Chiribella et al., EPL 83(3) (2008)]. In this work we generalise to supermaps between channels of any type; by channels we mean CPTP maps of finite-dimensional C*-algebras. Channels include POVMs, quantum instruments, classically controlled families of quantum channels, classical channels, quantum multimeters, and more. We show that deterministic supermaps between channels of any type can be realised using simple circuits, recovering the previous realisation theorems of [Chiribella et al., EPL 83(3) (2008)] (for deterministic supermaps between quantum channels) and [Bluhm et al. (2024)] (for deterministic supermaps between quantum multimeters) as special cases. To prove this realisation theorem we use the graphical calculus of the 2-category of finite-dimensional 2-Hilbert spaces; the paper includes an accessible and elementary introduction to this graphical calculus, and no prior knowledge of category theory is expected of the reader.
Abstract In this chapter we visit the ‘church of the larger Hilbert space’: we take a closer look at the relationship of pure and mixed quantum states via purification, and discuss a similar connection between completely positive and trace-preserving (CPTP) maps and unitary dynamics on a larger Hilbert space. We show that such CPTP maps, which represent quantum channels, are equivalent to operations admitting a Kraus decomposition, as well as to unitary dynamics on a larger Hilbert space with factoring initial condition, the famous Stinespring dilation of quantum operations. In this context we introduce the Choi-Jamiołkowski isomorphism, which expresses a duality between maps between two Hilbert spaces and states on tensor products of these Hilbert spaces, and we review several important examples of quantum channels such as the dephasing channel, amplitude-damping channel, and depolarizing channel. Finally, we examine operations that are not possible in quantum theory, focusing on the no-cloning theorem.
There is a long history of representing a quantum state using a quasi-probability distribution: a distribution allowing negative values. In this paper we extend such representations to deal with quantum channels. The result is a convex, strongly monoidal, functorial embedding of the category of trace preserving completely positive maps into the category of quasi-stochastic matrices. This establishes quantum theory as a subcategory of quasi-stochastic processes. Such an embedding is induced by a choice of minimal informationally complete POVM's. We show that any two such embeddings are naturally isomorphic. The embedding preserves the dagger structure of the categories if and only if the POVM's are symmetric, giving a new use of SIC-POVM's, objects that are of foundational interest in the QBism community. We also study general convex embeddings of quantum theory and prove a dichotomy that such an embedding is either trivial or faithful.