Completeness of the ZX-calculus for Pure Qubit Clifford+T Quantum Mechanics

M. A. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information, Cambridge University Press (2000)

2000

Earlier work this paper cites.

B. Coecke, R. Duncan (2011), Interacting quantum observables: Categorical algebra and diagrammatics. New Journal of Physics 13, p. 043016

2011

Earlier work this paper cites.

Miriam Backens, The ZX-calculus is complete for the single-qubit Clifford+T group, Electronic Proceedings in Theoretical Computer Science, 2014

2014

Cited alongside, same era.

Coecke, B., Kissinger, A., Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning, Cambridge University Press (2017)

2017

Cited alongside, same era.

Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart, A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics, arXiv:1705.11151

Original

Cited in the paper.

Amar Hadzihasanovic, The algebra of entanglement and the geometry of composition, PhD thesis, arXiv:1709.08086

Original

Cited in the paper.

http://cqm.wikidot.com/zx-completeness

Cited in the paper.

Bob Coecke, Quanlong Wang, On Completeness of the ZX-calculus for 2-qubit Clifford+T Quantum Circuits, in preparation

Cited in the paper.

Quantomatic. https://sites.google.com/site/quantomatic/

Original

Cited in the paper.

Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart, Quanlong Wang, ZX-Calculus: Cyclotomic Supplementarity and Incompleteness for Clifford+T Quantum Mechanics. MFCS 2017: 11:1-11:13

2017

Later among the works it cites.

Kang Feng Ng and Quanlong Wang, A universal completion of the ZX-calculus. 2017. arXiv:1706.09877

Original

2017

Later among the works it cites.