A graphical approach to measurement-based quantum computing
Quantum Physics
2012-03-29 v1 Logic in Computer Science
Category Theory
Abstract
Quantum computations are easily represented in the graphical notation known as the ZX-calculus, a.k.a. the red-green calculus. We demonstrate its use in reasoning about measurement-based quantum computing, where the graphical syntax directly captures the structure of the entangled states used to represent computations, and show that the notion of information flow within the entangled states gives rise to rewriting strategies for proving the correctness of quantum programs.
Cite
@article{arxiv.1203.6242,
title = {A graphical approach to measurement-based quantum computing},
author = {Ross Duncan},
journal= {arXiv preprint arXiv:1203.6242},
year = {2012}
}
Comments
To appear in "Compositional methods in Physics and Linguistics" OUP 2012