The ZX-calculus is incomplete for quantum mechanics
Logic in Computer Science
2014-12-31 v3 Category Theory
Quantum Physics
Abstract
We prove that the ZX-calculus is incomplete for quantum mechanics. We suggest the addition of a new 'color-swap' rule, of which currently no analytical formulation is known and which we suspect may be necessary, but not sufficient to make the ZX-calculus complete.
Cite
@article{arxiv.1404.3633,
title = {The ZX-calculus is incomplete for quantum mechanics},
author = {Christian Schröder de Witt and Vladimir Zamdzhiev},
journal= {arXiv preprint arXiv:1404.3633},
year = {2014}
}
Comments
In Proceedings QPL 2014, arXiv:1412.8102