Pictures of complete positivity in arbitrary dimension

DOI10.1016/J.IC.2016.02.007zbMATH Open1353.81015arXiv1110.3055OpenAlexW1998549791MaRDI QIDQ320199FDOQ320199

Authors: Bob Coecke, Chris Heunen 

Publication date: 6 October 2016

Published in: Information and Computation (Search for Journal in Brave)

Abstract: Two fundamental contributions to categorical quantum mechanics are presented. First, we generalize the CP-construction, that turns any dagger compact category into one with completely positive maps, to arbitrary dimension. Second, we axiomatize when a given category is the result of this construction.

Full work available at URL: https://arxiv.org/abs/1110.3055

Recommendations

• scientific article; zbMATH DE number 7339575
• Dagger compact closed categories and completely positive maps (extended abstract)
• Axiomatizing complete positivity
• Categories for Quantum Theory
• Categories of Quantum and Classical Channels (extended abstract)

zbMATH Keywords

complete positivitycategorical quantum mechanicsinfinite-dimensional Hilbert spaces

Mathematics Subject Classification ID

Operator spaces and completely bounded maps (46L07) Quantum measurement theory, state operations, state preparations (81P15) Quantum state spaces, operational and probabilistic concepts (81P16) Channel models (including quantum) in information and communication theory (94A40)

Cites Work

• Title not available (Why is that?)
• The geometry of tensor calculus. I
• Braided tensor categories
• Operator algebras. Theory of \(C^*\)-algebras and von Neumann algebras
• Dagger compact closed categories and completely positive maps (extended abstract)
• A survey of graphical languages for monoidal categories
• Towards a quantum programming language
• Quantum measurements without sums
• Statistical Structure of Quantum Theory
• Title not available (Why is that?)
• Quantum logic in dagger kernel categories
• Title not available (Why is that?)
• Coherence for compact closed categories
• Nuclear and trace ideals in tensored \(^*\)-categories
• De-linearizing linearity: projective quantum axiomatics from strong compact closure
• Axiomatic description of mixed states from Selinger's CPM-construction
• \(H^\ast\)-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics
• Pictures of complete positivity in arbitrary dimension
• Title not available (Why is that?)
• Classical and quantum structuralism
• Compactly accessible categories and quantum key distribution
• An embedding theorem for Hilbert categories
• Title not available (Why is that?)
• Completely positive classical structures and sequentializable quantum protocols
• Title not available (Why is that?)

Cited In (15)

• Title not available (Why is that?)
• Axiomatic description of mixed states from Selinger's CPM-construction
• Coend Optics for Quantum Combs
• Causal inference via string diagram surgery. A diagrammatic approach to interventions and counterfactuals
• Reversible effects as inverse arrows
• Higher-order CPM constructions
• Complete positivity and natural representation of quantum computations
• Pictures of complete positivity in arbitrary dimension
• Dagger compact closed categories and completely positive maps (extended abstract)
• The \textsf{ZX}\&-calculus: a complete graphical calculus for classical circuits using spiders
• Title not available (Why is that?)
• Completely positive projections and biproducts
• Title not available (Why is that?)
• Categories of quantum and classical channels
• Purity through factorisation

Uses Software

• QPL

This page was built for publication: Pictures of complete positivity in arbitrary dimension

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