Axiomatic description of mixed states from Selinger's CPM-construction

DOI10.1016/J.ENTCS.2008.04.014MaRDI QIDQ2870201zbMATH OpenOpenAlexFDO

Authors 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://doi.org/10.1016/j.entcs.2008.04.014

zbMATH Keywords

\(\dagger\)-compact categorycompletely positive mapsinternal tracepurification

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum measurement theory, state operations, state preparations (81P15)

Recommendations

• Axiomatizing complete positivity
• A graph theoretic perspective on CPM(Rel)
• Pictures of complete positivity in arbitrary dimension
• Categories of Quantum and Classical Channels (extended abstract)
• Kindergarten quantum mechanics -- lecture notes

Cites work

• Abstract Physical Traces
• Dagger compact closed categories and completely positive maps (extended abstract)
• De-linearizing linearity: projective quantum axiomatics from strong compact closure
• Fidelity for Mixed Quantum States
• Kindergarten quantum mechanics -- lecture notes
• Traced monoidal categories

Cited in

(18)

• POVMs and Naimark's theorem without sums
• Bridging the gap between general probabilistic theories and the device-independent framework for nonlocality and contextuality
• Pictures of complete positivity in arbitrary dimension
• Two roads to classicality
• Double dilation double mixing (extended abstract)
• Higher-order CPM constructions
• Universal Properties in Quantum Theory
• Compositional quantum logic
• Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras
• Axiomatizing complete positivity
• A graph theoretic perspective on CPM(Rel)
• Deriving dagger compactness
• scientific article; zbMATH DE number 7561601 (Why is no real title available?)
• ZX-calculus: cyclotomic supplementarity and incompleteness for Clifford+T quantum mechanics
• Interacting quantum observables: categorical algebra and diagrammatics
• Categories of quantum and classical channels
• A categorical reconstruction of quantum theory
• A diagrammatic approach to information transmission in generalised switches

This page was built for publication: Axiomatic description of mixed states from Selinger's CPM-construction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2870201)