DeepAI AI Chat
Log In Sign Up

Quantum channels as a categorical completion

by   Mathieu Huot, et al.

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.


page 1

page 2

page 3

page 4


Effectus of Quantum Probability on Relational Structures

The notion of effectus from categorical logic is relevant in the emergin...

Universal Properties in Quantum Theory

We argue that notions in quantum theory should have universal properties...

Conditional distributions for quantum systems

Conditional distributions, as defined by the Markov category framework, ...

Coherence for braided distributivity

In category-theoretic models for the anyon systems proposed for topologi...

Universal Properties of Partial Quantum Maps

We provide a universal construction of the category of finite-dimensiona...

Quantum Information Effects

We study the two dual quantum information effects to manipulate the amou...

Bennett and Stinespring, Together at Last

We present a universal construction that relates reversible dynamics on ...