Pictures of complete positivity in arbitrary dimension

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

Chris Heunen, Bob Coecke

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
• Title not available (Why is that?)
• 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
• Environment and Classical Channels in Categorical Quantum Mechanics
• Compactly accessible categories and quantum key distribution
• An embedding theorem for Hilbert categories
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (10)

• Title not available (Why is that?)
• Coend Optics for Quantum Combs
• Reversible effects as inverse arrows
• Pictures of complete positivity in arbitrary dimension
• Title not available (Why is that?)
• The \textsf{ZX}\&-calculus: a complete graphical calculus for classical circuits using spiders
• Title not available (Why is that?)
• Causal inference via string diagram surgery
• Title not available (Why is that?)
• Categories of quantum and classical channels

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)