Answers are grounded in this paper and cite their sources.
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.
No takes yet. Share an insight, caveat, or question.
Ng et al. (2017) studied this question.