A Categorical Semantics of Quantum Protocols
LICS '04 Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science
Dagger Compact Closed Categories and Completely Positive Maps
Electronic Notes in Theoretical Computer Science (ENTCS)
Axiomatic Description of Mixed States From Selinger's CPM-construction
Electronic Notes in Theoretical Computer Science (ENTCS)
Abstract scalars, loops, and free traced and strongly compact closed categories
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Interacting Quantum Observables
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
Phase Groups and the Origin of Non-locality for Qubits
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |
We provide a definition of POVM in terms of abstract tensor structure only. It is justified in two distinct manners. i. At this abstract level we are still able to prove Naimark's theorem, hence establishing a bijective correspondence between abstract POVMs and abstract projective measurements (cf. [B. Coecke and D. Pavlovic (2007) Quantum measurements without sums. In: Mathematics of Quantum Computing and Technology. Chapman & Hall, pp. 559-596. E-print available from arXiv:quant-ph/0608035]) on an extended system, and this proof is moreover purely graphical. ii. Our definition coincides with the usual one for the particular case of the Hilbert space tensor product. We also provide a very useful normal form result for the classical object structure introduced in [B. Coecke and D. Pavlovic (2007) Quantum measurements without sums. In: Mathematics of Quantum Computing and Technology. Chapman & Hall, pp. 559-596. E-print available from arXiv:quant-ph/0608035].