Bases in diagrammatic quantum protocols

dc.creatorCoecke, Bob
dc.creatorPaquette, Eric Oliver
dc.creatorPerdrix, Simon
dc.date2008-08-07
dc.date.accessioned2026-07-07T10:17:54Z
dc.date.available2026-07-07T10:17:54Z
dc.descriptionThis paper contains two new results: 1. We amend the notion of abstract basis in a dagger symmetric monoidal category, as well as its corresponding graphical representation, in order to accommodate non-self-dual dagger compact structures; this is crucial for obtaining a `planar' diagrammatical representation of the induced dagger compact structure as well as for representing many complementary bases within one diagrammatic calculus. 2. We (crucially) rely on these basis structures in a purely diagrammatic derivation of the `quantum state transfer protocol'; this derivation provides interesting insights in the distinct structural resources required for state-transfer and teleportation as models of quantum computing.
dc.description21 pages and loads of pictures. Proceedings of Mathematical Foundations of Programming Semantics XXIV, Electronic Notes in theoretical Computer Science, to appear
dc.identifierhttps://arxiv.org/abs/0808.1029
dc.identifierhttp://arxiv.org/abs/0808.1029
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/174014
dc.subjectQuantum Physics
dc.subjectCategory Theory
dc.subjectLogic
dc.subjectQuantum Algebra
dc.titleBases in diagrammatic quantum protocols
dc.typetext

Files

Collections