Axiomatic description of mixed states from selinger's CPM-construction
<p>We recast Selinger's CPM-construction of mixed states completely positive maps [P. Selinger (2007) <em>Dagger compact closed categories and completely positive maps</em>. In: Proceedings of the 3rd International Workshop on Quantum Programming Languages (QPL 2005), Electron...
| 1. Verfasser: | |
|---|---|
| Format: | Journal article |
| Sprache: | English |
| Veröffentlicht: |
2008
|
| Schlagworte: |
| Zusammenfassung: | <p>We recast Selinger's CPM-construction of mixed states completely positive maps [P. Selinger (2007) <em>Dagger compact closed categories and completely positive maps</em>. In: Proceedings of the 3rd International Workshop on Quantum Programming Languages (QPL 2005), Electronic Notes in Theoretical Computer Science <strong>170</strong>, 139–163. Available from Peter Selinger&apos;s homepage] as an axiomatization of maximally mixed states. This axiomatization also guarantees categories of completely positive maps to satisfy the preparation-state agreement axiom of [Coecke, B. (2007) <em>De-linearizing linearity: projective quantum axiomatics from strong compact closure</em>. In: Proceedings of the 3rd International Workshop on Quantum Programming Languages (QPL 2005), Electronic Notes in Theoretical Computer Science <strong>170</strong>, 49–72. E-print: <a href="arXiv:quant-ph/0506134">arXiv:quant-ph/0506134</a></p> |
|---|