Axiomatizing complete positivity
From MaRDI portal
Abstract: There are two ways to turn a categorical model for pure quantum theory into one for mixed quantum theory, both resulting in a category of completely positive maps. One has quantum systems as objects, whereas the other also allows classical systems on an equal footing. The former has been axiomatized using environment structures. We extend this axiomatization to the latter by introducing decoherence structures.
Recommendations
- A general framework for complete positivity
- Axiomatizability of positive algebras of binary relations
- Sufficient conditions for complete positivity
- A simple sufficient condition for complete positivity
- On the axiom of extensionality in the positive set theory
- Completeness of the infinitary polyadic axiomatization
- Completeness and the ends of axiomatization
- scientific article; zbMATH DE number 956835
- scientific article; zbMATH DE number 7300556
- scientific article; zbMATH DE number 2115803
Cites work
- A survey of graphical languages for monoidal categories
- Axiomatic description of mixed states from Selinger's CPM-construction
- Categories of quantum and classical channels
- Completely positive classical structures and sequentializable quantum protocols
- Completely positive projections and biproducts
- Dagger compact closed categories and completely positive maps (extended abstract)
- Dilation of states and processes in operational-probabilistic theories
- scientific article; zbMATH DE number 7339575 (Why is no real title available?)
- Idempotents in dagger categories (extended abstract)
- Mixed quantum states in higher categories
- POVMs and Naimark's theorem without sums
Cited in
(15)- Complete positivity and natural representation of quantum computations
- Axiomatic description of mixed states from Selinger's CPM-construction
- Sufficient conditions for complete positivity
- Pictures of complete positivity in arbitrary dimension
- Two roads to classicality
- Purity through factorisation
- Universal Properties in Quantum Theory
- scientific article; zbMATH DE number 1471997 (Why is no real title available?)
- scientific article; zbMATH DE number 2115803 (Why is no real title available?)
- Completely positive classical structures and sequentializable quantum protocols
- scientific article; zbMATH DE number 7300556 (Why is no real title available?)
- A simple sufficient condition for complete positivity
- Generalised Mermin-type non-locality arguments
- CPM categories for Galois extensions
- Quantum channels as a categorical completion
This page was built for publication: Axiomatizing complete positivity
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5015194)
