A universal completion of the ZX-calculus
Quantum Physics
2017-06-30 v1 Logic in Computer Science
Category Theory
Abstract
In this paper, we give a universal completion of the ZX-calculus for the whole of pure qubit quantum mechanics. This proof is based on the completeness of another graphical language: the ZW-calculus, with direct translations between these two graphical systems.
Keywords
Cite
@article{arxiv.1706.09877,
title = {A universal completion of the ZX-calculus},
author = {Kang Feng Ng and Quanlong Wang},
journal= {arXiv preprint arXiv:1706.09877},
year = {2017}
}
Comments
29 pages