Mixed quantum states in higher categories
arXiv:1405.1463 · doi:10.4204/EPTCS.172.22
Abstract
There are two ways to describe the interaction between classical and quantum information categorically: one based on completely positive maps between Frobenius algebras, the other using symmetric monoidal 2-categories. This paper makes a first step towards combining the two. The integrated approach 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.
In Proceedings QPL 2014, arXiv:1412.8102
References in corpus (9)
- A survey of graphical languages for monoidal categories
- Categorical formulation of quantum algebras
- The Topology of Quantum Algorithms
- Relative Frobenius algebras are groupoids
- Completely positive projections and biproducts
- Strong Complementarity and Non-locality in Categorical Quantum Mechanics
- Environment and classical channels in categorical quantum mechanics
- Compositional Quantum Logic
- Groupoid Semantics for Thermal Computing