2014/04/30 by Christian Schröder de Witt, Vladimir Zamdzhiev
Computer Science · Mathematics · Physics and Astronomy · #cs.LO #math.CT #quant-ph
paper · pdf · doi:10.4204/eptcs.172.20
published as EPTCS 172, 2014, pp. 285-292 · In Proceedings QPL 2014, arXiv:1412.8102
arxiv created 2014/12/30 · arxiv updated 2014/12/31
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.