Bases in Diagrammatic Quantum Protocols

DOI10.1016/j.entcs.2008.10.009zbMath1286.81030arXiv0808.1029OpenAlexW2099977823MaRDI QIDQ5415635

Bob Coecke, Éric Oliver Paquette, Simon Perdrix

Publication date: 13 May 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

categorical semanticsquantum protocolsdiagrammatic calculusabstract bases

Mathematics Subject Classification ID

Categorical semantics of formal languages (18C50) Quantum information, communication, networks (quantum-theoretic aspects) (81P45)

Related Items (6)

Graph-theoretic quantum system modelling for information/computation processing circuits ⋮ Picturing classical and quantum Bayesian inference ⋮ Unnamed Item ⋮ Interacting quantum observables: categorical algebra and diagrammatics ⋮ Exploring a Quantum Theory with Graph Rewriting and Computer Algebra ⋮ Graphical Calculus for Quantum Key Distribution (Extended Abstract)

Cites Work

• Cartesian bicategories. I
• Coherence for compact closed categories
• The geometry of tensor calculus. I
• TFT construction of RCFT correlators. I: Partition functions
• Categorical Formulation of Finite-dimensional C*-algebras
• De-linearizing Linearity: Projective Quantum Axiomatics From Strong Compact Closure
• Dagger Compact Closed Categories and Completely Positive Maps
• Interacting Quantum Observables
• Classical and quantum structuralism
• Quantum algorithms and the Fourier transform
• Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels
• Traced monoidal categories
• A single quantum cannot be cloned
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Bases in Diagrammatic Quantum Protocols