Completely positive projections and biproducts

2013/08/31 by Chris Heunen, Aleks Kissinger, Peter Selinger
Mathematics · Physics and Astronomy · #math.CT #quant-ph

paper · pdf · doi:10.4204/eptcs.171.7

published as EPTCS 171, 2014, pp. 71-83 · In Proceedings QPL 2013, arXiv:1412.7917

arxiv created 2014/12/30 · arxiv updated 2015/01/13

Abstract

The recently introduced CP*-construction unites quantum channels and classical systems, subsuming the earlier CPM-construction in categorical quantum mechanics. We compare this construction to two earlier attempts at solving this problem: freely adding biproducts to CPM, and freely splitting idempotents in CPM. The CP*-construction embeds the former, and embeds into the latter, but neither embedding is an equivalence in general.

Citations

• Proceedings of the 10th International Workshop on Quantum Physics and Logic

Cited by

• Quantalic lambda-calculus and additive disjunction