POVMs and Naimark's Theorem Without Sums
From MaRDI portal
Publication:2870203
DOI10.1016/j.entcs.2008.04.015zbMath1279.81011arXivquant-ph/0608072MaRDI QIDQ2870203
Éric Oliver Paquette, Bob Coecke
Publication date: 17 January 2014
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/quant-ph/0608072
68N15: Theory of programming languages
47N50: Applications of operator theory in the physical sciences
81P10: Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects)
18B99: Special categories
Related Items
Unnamed Item, Axiomatizing complete positivity, Interacting quantum observables: categorical algebra and diagrammatics, A complete graphical calculus for Spekkens' toy bit theory, Picturing classical and quantum Bayesian inference, Graphical reasoning in compact closed categories for quantum computation, The CBH characterisation theorem beyond algebraic quantum theory, De-linearizing Linearity: Projective Quantum Axiomatics From Strong Compact Closure
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- States, effects, and operations. Fundamental notions of quantum theory. Lectures in mathematical physics at the University of Texas at Austin. Ed. by A. Böhm, J. D. Dollard and W. H. Wootters
- Coherence for compact closed categories
- The geometry of tensor calculus. I
- Braided compact closed categories with applications to low dimensional topology
- Dagger Compact Closed Categories and Completely Positive Maps
- Axiomatic Description of Mixed States From Selinger's CPM-construction
- Introducing categories to the practicing physicist
- Abstract Physical Traces
- Higher-dimensional algebra and topological quantum field theory
- Traced monoidal categories
- The Quantum Theory of Measurement
- Algebra and Coalgebra in Computer Science