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

DOI10.1016/J.ENTCS.2008.04.014zbMATH Open1279.81010OpenAlexW2084269802MaRDI QIDQ2870201FDOQ2870201

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

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

zbMATH Keywords

completely positive mapspurification\(\dagger\)-compact categoryinternal trace

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (16)

• Title not available (Why is that?)
• Interacting quantum observables: categorical algebra and diagrammatics
• Axiomatizing complete positivity
• A Categorical Reconstruction of Quantum Theory
• Universal Properties in Quantum Theory
• Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras
• Bridging the gap between general probabilistic theories and the device-independent framework for nonlocality and contextuality
• Pictures of complete positivity in arbitrary dimension
• Title not available (Why is that?)
• Title not available (Why is that?)
• POVMs and Naimark's theorem without sums
• A diagrammatic approach to information transmission in generalised switches
• Higher-order CPM Constructions
• Compositional quantum logic
• Title not available (Why is that?)
• Categories of quantum and classical channels

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)