2014/05/31 by Chris Heunen, Jamie Vicary, Linde Wester
Physics and Astronomy · Computer Science · #quant-ph #cs.LO
paper · pdf · doi:10.4204/eptcs.172.22
published as EPTCS 172, 2014, pp. 304-315 · In Proceedings QPL 2014, arXiv:1412.8102
arxiv created 2014/12/30 · arxiv updated 2014/12/31
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.