Environment and classical channels in categorical quantum mechanics
@article{Coecke2010EnvironmentAC, title={Environment and classical channels in categorical quantum mechanics}, author={B. Coecke and S. Perdrix}, journal={Log. Methods Comput. Sci.}, year={2010}, volume={8} }
We present a both simple and comprehensive graphical calculus for quantum
computing. In particular, we axiomatize the notion of an environment, which
together with the earlier introduced axiomatic notion of classical structure
enables us to define classical channels, quantum measurements and classical
control. If we moreover adjoin the earlier introduced axiomatic notion of
complementarity, we obtain sufficient structural power for constructive
representation and correctness derivation of… CONTINUE READING
Topics from this paper
Paper Mentions
63 Citations
Higher Semantics of Quantum Protocols
- Mathematics, Computer Science
- 2012 27th Annual IEEE Symposium on Logic in Computer Science
- 2012
- 28
Categories of quantum and classical channels
- Mathematics, Computer Science
- Quantum Inf. Process.
- 2016
- 63
- PDF
Topological Structure of Quantum Algorithms
- Mathematics, Computer Science
- 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
- 2013
- 17
A Categorical Reconstruction of Quantum Theory
- Mathematics, Computer Science
- Log. Methods Comput. Sci.
- 2020
- 13
- PDF
References
SHOWING 1-10 OF 49 REFERENCES
A categorical semantics of quantum protocols
- Computer Science, Physics
- Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004.
- 2004
- 569
- PDF
Rewriting Measurement-Based Quantum Computations with Generalised Flow
- Mathematics, Computer Science
- ICALP
- 2010
- 92
- PDF
Interacting Quantum Observables: Categorical Algebra and Diagrammatics
- Physics, Computer Science
- ArXiv
- 2009
- 281
- PDF