Environment and classical channels in categorical quantum mechanics

Authors:
Bob Coecke;Simon Perdrix
Affiliations:
Oxford University Computing Laboratory, CNRS, Laboratoire d'Informatique de Grenoble;Oxford University Computing Laboratory, CNRS, Laboratoire d'Informatique de Grenoble
Venue:
CSL'10/EACSL'10 Proceedings of the 24th international conference/19th annual conference on Computer science logic
Year:
2010

Citing 10
Cited 3

A Categorical Semantics of Quantum Protocols

LICS '04 Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science
Dagger Compact Closed Categories and Completely Positive Maps

Electronic Notes in Theoretical Computer Science (ENTCS)
Axiomatic Description of Mixed States From Selinger's CPM-construction

Electronic Notes in Theoretical Computer Science (ENTCS)
Interacting Quantum Observables

ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
Bases in Diagrammatic Quantum Protocols

Electronic Notes in Theoretical Computer Science (ENTCS)
Graph States and the Necessity of Euler Decomposition

CiE '09 Proceedings of the 5th Conference on Computability in Europe: Mathematical Theory and Computational Practice
Rewriting measurement-based quantum computations with generalised flow

ICALP'10 Proceedings of the 37th international colloquium conference on Automata, languages and programming: Part II
The compositional structure of multipartite quantum entanglement

ICALP'10 Proceedings of the 37th international colloquium conference on Automata, languages and programming: Part II
Graphical Calculus for Quantum Key Distribution (Extended Abstract)

Electronic Notes in Theoretical Computer Science (ENTCS)
Phase Groups and the Origin of Non-locality for Qubits

Electronic Notes in Theoretical Computer Science (ENTCS)

The compositional structure of multipartite quantum entanglement

ICALP'10 Proceedings of the 37th international colloquium conference on Automata, languages and programming: Part II
Higher Semantics of Quantum Protocols

LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Topological Structure of Quantum Algorithms

LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a both simple and comprehensive graphical calculus for quantum computing. We axiomatize the notion of an environment, which together with the axiomatic notion of classical structure enables us to define classical channels, quantum measurements and classical control. If we moreover adjoin the axiomatic notion of complementarity, we obtain sufficient structural power for constructive representation and correctness derivation of typical quantum informatic protocols.