Bases in diagrammatic quantum protocols
| dc.creator | Coecke, Bob | |
| dc.creator | Paquette, Eric Oliver | |
| dc.creator | Perdrix, Simon | |
| dc.date | 2008-08-07 | |
| dc.date.accessioned | 2026-07-07T10:17:54Z | |
| dc.date.available | 2026-07-07T10:17:54Z | |
| dc.description | This 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.description | 21 pages and loads of pictures. Proceedings of Mathematical Foundations of Programming Semantics XXIV, Electronic Notes in theoretical Computer Science, to appear | |
| dc.identifier | https://arxiv.org/abs/0808.1029 | |
| dc.identifier | http://arxiv.org/abs/0808.1029 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/174014 | |
| dc.subject | Quantum Physics | |
| dc.subject | Category Theory | |
| dc.subject | Logic | |
| dc.subject | Quantum Algebra | |
| dc.title | Bases in diagrammatic quantum protocols | |
| dc.type | text |