Axiomatizing complete positivity

Oscar Cunningham
(University of Oxford)
Chris Heunen
(University of Oxford)

There are two ways to turn a categorical model for pure quantum theory into one for mixed quantum theory, both resulting in a category of completely positive maps. One has quantum systems as objects, whereas the other also allows classical systems on an equal footing. The former has been axiomatized using environment structures. We extend this axiomatization to the latter by introducing decoherence structures.

In Chris Heunen, Peter Selinger and Jamie Vicary: Proceedings of the 12th International Workshop on Quantum Physics and Logic (QPL 2015), Oxford, U.K., July 15-17, 2015, Electronic Proceedings in Theoretical Computer Science 195, pp. 148–157.
Published: 4th November 2015.

ArXived at: bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to:
For website issues: