Universal Properties of Partial Quantum Maps
arXiv:2206.04814 · doi:10.4204/EPTCS.394.11
Abstract
We provide a universal construction of the category of finite-dimensional C*-algebras and completely positive trace-nonincreasing maps from the rig category of finite-dimensional Hilbert spaces and unitaries. This construction, which can be applied to any dagger rig category, is described in three steps, each associated with their own universal property, and draws on results from dilation theory in finite dimension. In this way, we explicitly construct the category that captures hybrid quantum/classical computation with possible nontermination from the category of its reversible foundations. We discuss how this construction can be used in the design and semantics of quantum programming languages.
arXiv commentIn Proceedings QPL 2022, arXiv:2311.08375
References in corpus (11)
- Completely positive projections and biproducts
- Two Roads to Classicality
- Paschke Dilations
- Universal Properties in Quantum Theory
- Subnormalized states and trace-nonincreasing maps
- Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras
- Bennett and Stinespring, Together at Last
- The ZX&-calculus: A complete graphical calculus for classical circuits using spiders
- Total and Partial Computation in Categorical Quantum Foundations
- Stinespring's construction as an adjunction
- Julia operators and Halmos dilations