CoChat
Sign Up
PreprintCited by 68Quantum Computing Algorithms and ArchitectureQuantum Information and CryptographyQuantum Mechanics and Applications

The DOI matches its DataCite record; 5 of the 5 references it cites were found in a registry or an index.

ZX-calculus for the working quantum computer scientist

Open access
van de Wetering, John·2020·arXiv
DOI 10.48550/arxiv.2012.13966arXiv 2012.13966
Open this paper in CoChat — free accountOpen PDF

Abstract

The ZX-calculus is a graphical language for reasoning about quantum computation that has recently seen an increased usage in a variety of areas such as quantum circuit optimisation, surface codes and lattice surgery, measurement-based quantum computation, and quantum foundations. The first half of this review gives a gentle introduction to the ZX-calculus suitable for those familiar with the basics of quantum computing. The aim here is to make the reader comfortable enough with the ZX-calculus that they could use it in their daily work for small computations on quantum circuits and states. The latter sections give a condensed overview of the literature on the ZX-calculus. We discuss Clifford computation and graphically prove the Gottesman-Knill theorem, we discuss a recently introduced extension of the ZX-calculus that allows for convenient reasoning about Toffoli gates, and we discuss the recent completeness theorems for the ZX-calculus that show that, in principle, all reasoning about quantum computation can be done using ZX-diagrams. Additionally, we discuss the categorical and algebraic origins of the ZX-calculus and we discuss several extensions of the language which can represent mixed states, measurement, classical control and higher-dimensional qudits.

Overview

The claims and statistics of this paper haven’t been checked yet.

Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.

A few free checks a day · papers already verified open instantly · results are public

Integrity signals

Registry

DataCite · 10.48550/arxiv.2012.13966

Cites

5 of 5 references verified0 citation errors · 0 not checkable

Statistics

Verification

Claims the paper makes

The claims and statistics of this paper haven’t been checked yet.

Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.

A few free checks a day · papers already verified open instantly · results are public

Claims other papers make about this one

Each is checked against this paper’s own text: does it say what the citing paper says it does?

Self-check

Percentages, sums and reported differences re-computed from the paper’s own numbers.

The self-check needs the paper’s full text.

Citations

Cites

Research works printed but not linked: 118

  1. [1][1] Scott Aaronson and Daniel Gottesman. Improved simulation of stabilizer circuits. Physical Review A , 70(5):052328, 2004. DOI: 10.1103/PhysRevA.70.052328. - · DOI · Paper page
  2. [2][2] Samson Abramsky and Bob Coecke. A categorical semantics of quantum protocols. In Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004. , pages 415-425. IEEE, 2004. -
  3. [3][3] Dorit Aharonov. A simple proof that Toffoli and Hadamard are quantum universal. arXiv preprint quant-ph/0301040 , 2003. - · arXiv
  4. [5][5] Matthew Amy. Towards large-scale functional verification of universal quantum circuits. In Peter Selinger and Giulio Chiribella, editors, Proceedings of the 15th International Conference on Quantum Physics and Logic, Halifax, Canada, 3-7th June 2018 , volume 287 of Electronic Proceedings in Theoretical Computer Science , pages 1-21. Open Publishing Association, 2019. DOI: 10.4204/EPTCS.287.1. - · DOI
  5. [7][7] Matthew Amy, Dmitri Maslov, and Michele Mosca. Polynomial-time T-depth optimization of Clifford+ T circuits via matroid partitioning. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems , 33(10):1476-1489, 2014. DOI: 10.1109/TCAD.2014.2341953. - · DOI
  6. [8][8] Matthew Amy, Parsiad Azimzadeh, and Michele Mosca. On the controlled-NOT complexity of controlled-NOT-phase circuits. Quantum Science and Technology , 4 (1):015002, 2018. DOI: 10.1088/2058-9565/aad8ca. - · DOI
  7. [9][9] Miriam Backens. The ZX-calculus is complete for stabilizer quantum mechanics. New Journal of Physics , 16(9):093021, 2014. DOI: 10.1088/1367-2630/16/9/093021. - · DOI
  8. [10][10] Miriam Backens. The ZX-calculus is complete for the single-qubit Clifford+T group. In Bob Coecke, Ichiro Hasuo, and Prakash Panangaden, editors, Proceedings of the 11th workshop on Quantum Physics and Logic, Kyoto, Japan, 4-6th June 2014 , volume 172 of Electronic Proceedings in Theoretical Computer Science , pages 293303. Open Publishing Association, 2014. DOI: 10.4204/EPTCS.172.21. - · DOI
  9. [11][11] Miriam Backens and Aleks Kissinger. ZH: A complete graphical calculus for quantum computations involving classical non-linearity. In Peter Selinger and Giulio Chiribella, editors, Proceedings of the 15th International Conference on Quantum Physics and Logic, Halifax, Canada, 3-7th June 2018 , volume 287 of Electronic Proceedings in Theoretical Computer Science , pages 18-34. Open Publishing Association, 2019. DOI: 10.4204/EPTCS.287.2. - · DOI
  10. [12][12] Miriam Backens, Simon Perdrix, and Quanlong Wang. A Simplified Stabilizer ZXcalculus. In Ross Duncan and Chris Heunen, editors, Proceedings 13th International Conference on Quantum Physics and Logic, Glasgow, Scotland, 6-10 June 2016 , volume 236 of Electronic Proceedings in Theoretical Computer Science , pages 1-20. Open Publishing Association, 2017. DOI: 10.4204/EPTCS.236.1. - · DOI
  11. [13][13] Miriam Backens, Hector Miller-Bakewell, Giovanni de Felice, Leo Lobski, and John van de Wetering. There and back again: A circuit extraction tale. Preprint, 2020. -
  12. [15][15] Niel de Beaudrap and Steven Herbert. Quantum linear network coding for entanglement distribution in restricted architectures. Quantum , 4:356, 11 2020. ISSN 2521-327X. DOI: 10.22331/q-2020-11-01-356. URL https://doi.org/10.22331/ q-2020-11-01-356 . - · DOI
  13. [16][16] Filippo Bonchi, Paweglyph[suppress] l Soboci´ nski, and Fabio Zanasi. Interacting bialgebras are Frobenius. In International Conference on Foundations of Software Science and Computation Structures , pages 351-365. Springer, 2014. DOI: 10.1007/978-3-64254830-7˙23. - · DOI
  14. [17][17] Filippo Bonchi, Paweglyph[suppress] l Soboci´ nski, and Fabio Zanasi. Interacting Hopf algebras. Journal of Pure and Applied Algebra , 221(1):144-184, 2017. DOI: 10.1016/j.jpaa.2016.06.002. - · DOI
  15. [18][18] Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, and Fabio Zanasi. String Diagram Rewrite Theory I: Rewriting with Frobenius Structure. arXiv preprint arXiv:2012.01847 , 2020. - · arXiv
  16. [19][19] Adam D Bookatz. QMA-complete problems. Preprint, 2012. -
  17. [20][20] Daniel E. Browne, Elham Kashefi, Mehdi Mhalla, and Simon Perdrix. Generalized flow and determinism in measurement-based quantum computation. New Journal of Physics , 9(8):250, 2007. DOI: 10.1088/1367-2630/9/8/250. - · DOI
  18. [21][21] Earl T Campbell, Barbara M Terhal, and Christophe Vuillot. Roads towards faulttolerant universal quantum computation. Nature , 549(7671):172-179, 2017. DOI: 10.1038/nature23460. - · DOI · Paper page
  19. [22][22] Titouan Carette and Emmanuel Jeandel. A Recipe for Quantum Graphical Languages. In Artur Czumaj, Anuj Dawar, and Emanuela Merelli, editors, 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020) , volume 168 of Leibniz International Proceedings in Informatics (LIPIcs) , pages 118:1-118:17, Dagstuhl, Germany, 2020. Schloss Dagstuhl-Leibniz-Zentrum f¨ ur Informatik. ISBN 978-3-95977-138-2. DOI: 10.4230/LIPIcs.ICALP.2020.118. URL https://drops.dagstuhl.de/opus/volltexte/2020/12525 . - · DOI
  20. [23][23] Titouan Carette, Dominic Horsman, and Simon Perdrix. SZX-Calculus: Scalable Graphical Quantum Reasoning. In Peter Rossmanith, Pinar Heggernes, and Joost-Pieter Katoen, editors, 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019) , volume 138 of Leibniz International Proceedings in Informatics (LIPIcs) , pages 55:1-55:15, Dagstuhl, Germany, 2019. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik. ISBN 978-3-95977-1177. DOI: 10.4230/LIPIcs.MFCS.2019.55. URL http://drops.dagstuhl.de/opus/ volltexte/2019/10999 . - · DOI
  21. [24][24] Titouan Carette, Emmanuel Jeandel, Simon Perdrix, and Renaud Vilmart. Completeness of Graphical Languages for Mixed States Quantum Mechanics. In Christel Baier, Ioannis Chatzigiannakis, Paola Flocchini, and Stefano Leonardi, editors, 46th International Colloquium on Automata, Languages, and Programming (ICALP 2019) , volume 132 of Leibniz International Proceedings in Informatics (LIPIcs) , pages 108:1-108:15, Dagstuhl, Germany, 2019. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik. ISBN 978-3-95977-109-2. DOI: 10.4230/LIPIcs.ICALP.2019.108. - · DOI
  22. [25][25] Nicholas Chancellor, Aleks Kissinger, Joschka Roffe, Stefan Zohren, and Dominic Horsman. Graphical structures for design and verification of quantum error correction. arXiv preprint arXiv:1611.08012 , 2016. - · arXiv
  23. [27][27] Bob Coecke and Ross Duncan. Interacting quantum observables. In Proceedings of the 37th International Colloquium on Automata, Languages and Programming (ICALP) , Lecture Notes in Computer Science, 2008. DOI: 10.1007/978-3-540-705833˙25. - · DOI
  24. [28][28] Bob Coecke and Ross Duncan. Interacting quantum observables: categorical algebra and diagrammatics. New Journal of Physics , 13:043016, 2011. DOI: 10.1088/13672630/13/4/043016. - · DOI
  25. [29][29] Bob Coecke and Aleks Kissinger. The compositional structure of multipartite quantum entanglement. In Automata, Languages and Programming , Lecture Notes in Computer Science, pages 297-308. Springer, 2010. DOI: 10.1007/978-3-642-141621˙25. - · DOI
  26. [30][30] Bob Coecke and Aleks Kissinger. Categorical quantum mechanics II: Classical- quantum interaction. International Journal of Quantum Information , 14(04): 1640020, 2016. DOI: 10.1142/S0219749916400207. - · DOI
  27. [31][31] Bob Coecke and Aleks Kissinger. Picturing Quantum Processes . Cambridge University Press, 2017. ISBN 9781107104228. DOI: 10.1017/9781316219317. - · DOI
  28. [32][32] Bob Coecke and Dusko Pavlovic. Quantum measurements without sums. In Lomonaco Chen, Kauffman, editor, Mathematics of Quantum Computation and Quantum Technology , chapter 16, pages 559-596. Routledge, 2008. DOI: 10.1201/9781584889007. - · DOI
  29. [33][33] Bob Coecke and Simon Perdrix. Environment and classical channels in categorical quantum mechanics. In International Workshop on Computer Science Logic , pages 230-244. Springer, 2010. DOI: 10.2168/LMCS-8(4:14)2012. - · DOI
  30. [34][34] Bob Coecke and Quanlong Wang. ZX-rules for 2-qubit Clifford+ T quantum circuits. In International Conference on Reversible Computation , pages 144-161. Springer, 2018. DOI: 10.1007/978-3-319-99498-7'˙10. - · DOI
  31. [35][35] Bob Coecke, ´ Eric Oliver Paquette, and Dusko Pavlovic. Classical and Quantum Structuralism , page 29-69. Cambridge University Press, 2009. DOI: 10.1017/CBO9781139193313.003. - · DOI
  32. [36][36] Bob Coecke, Aleks Kissinger, Alex Merry, and Shibdas Roy. The GHZ/W-calculus contains rational arithmetic. Electronic Proceedings in Theoretical Computer Science , 52:34-48, 2010. DOI: 10.4204/EPTCS.52.4. - · DOI
  33. [37][37] Bob Coecke, Ross Duncan, Aleks Kissinger, and Quanlong Wang. Strong Complementarity and Non-locality in Categorical Quantum Mechanics. In 2012 27th Annual IEEE Symposium on Logic in Computer Science , pages 245-254, 2012. DOI: 10.1109/LICS.2012.35. - · DOI
  34. [38][38] Bob Coecke, Dusko Pavlovic, and Jamie Vicary. A new description of orthogonal bases. Mathematical Structures in Computer Science , 23(3):555-567, 2013. DOI: 10.1017/S0960129512000047. - · DOI
  35. [39][39] Bob Coecke, Giovanni de Felice, Konstantinos Meichanetzidis, and Alexis Toumi. Foundations for Near-Term Quantum Natural Language Processing. arXiv preprint arXiv:2012.03755 , 2020. - · arXiv
  36. [40][40] Joseph Collins and Ross Duncan. Hopf-Frobenius Algebras and a Simpler Drinfeld Double. In Bob Coecke and Matthew Leifer, editors, Proceedings 16th International Conference on Quantum Physics and Logic, Chapman University, Orange, CA, USA., 10-14 June 2019 , volume 318 of Electronic Proceedings in Theoretical Computer Science , pages 150-180. Open Publishing Association, 2020. DOI: 10.4204/EPTCS.318.10. - · DOI
  37. [41][41] Cole Comfort. The ZX& calculus: A complete graphical calculus for classical circuits using spiders. arXiv preprint arXiv:2004.05287 , 2020. - · arXiv
  38. [42][42] Alexander Cowtan, Silas Dilkes, Ross Duncan, Will Simmons, and Seyon Sivarajah. Phase Gadget Synthesis for Shallow Circuits. In Bob Coecke and Matthew Leifer, editors, Proceedings 16th International Conference on Quantum Physics and Logic, Chapman University, Orange, CA, USA., 10-14 June 2019 , volume 318 of Electronic Proceedings in Theoretical Computer Science , pages 213-228. Open Publishing Association, 2020. DOI: 10.4204/EPTCS.318.13. - · DOI
  39. [43][43] Richard D. P. East, John van de Wetering, Nicholas Chancellor, and Adolfo G. Grushin. AKLT-states as ZX-diagrams: diagrammatic reasoning for quantum states. arXiv preprint arXiv:2012.01219 , 2020. - · arXiv
  40. [45][45] Niel de Beaudrap and Martin Roetteler. Quantum Linear Network Coding as One-way Quantum Computation. In Steven T. Flammia and Aram W. Harrow, editors, 9th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2014) , volume 27 of Leibniz International Proceedings in Informatics (LIPIcs) , pages 217-233, Dagstuhl, Germany, 2014. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik. ISBN 978-3-939897-73-6. DOI: 10.4230/LIPIcs.TQC.2014.217. - · DOI
  41. [46][46] Niel de Beaudrap, Xiaoning Bian, and Quanlong Wang. Techniques to Reduce π/ 4 -Parity-Phase Circuits, Motivated by the ZX Calculus. In Bob Coecke and Matthew Leifer, editors, Proceedings 16th International Conference on Quantum Physics and Logic, Chapman University, Orange, CA, USA., 10-14 June 2019 , volume 318 of Electronic Proceedings in Theoretical Computer Science , pages 131-149. Open Publishing Association, 2020. DOI: 10.4204/EPTCS.318.9. - · DOI
  42. [47][47] Niel de Beaudrap, Ross Duncan, Dominic Horsman, and Simon Perdrix. Pauli Fusion: a Computational Model to Realise Quantum Transformations from ZX Terms. In Bob Coecke and Matthew Leifer, editors, Proceedings 16th International Conference on Quantum Physics and Logic, Chapman University, Orange, CA, USA., 1014 June 2019 , volume 318 of Electronic Proceedings in Theoretical Computer Science , pages 85-105. Open Publishing Association, 2020. DOI: 10.4204/EPTCS.318.6. - · DOI
  43. [48][48] Niel de Beaudrap, Aleks Kissinger, and Konstantinos Meichanetzidis. Tensor Network Rewriting Strategies for Satisfiability and Counting. arXiv preprint arXiv:2004.06455 , 2020. - · arXiv
  44. [49][49] Olivia Di Matteo and Michele Mosca. Parallelizing quantum circuit synthesis. Quantum Science and Technology , 1(1):015003, 2016. DOI: 10.1088/20589565/1/1/015003. - · DOI
  45. [50][50] Lucas Dixon and Ross Duncan. Graphical reasoning in compact closed categories for quantum computation. Annals of Mathematics and Artificial Intelligence , 56(1): 23, 2009. DOI: 10.1007/s10472-009-9141-x. - · DOI
  46. [51][51] Ross Duncan. A graphical approach to measurement-based quantum computing. In Mehrnoosh Sadrzadeh Chris Heunen and Edward Grefenstette, editors, Quantum Physics and Linguistics: A Compositional, Diagrammatic Discourse . 2013. ISBN 9780199646296. DOI: 10.1093/acprof:oso/9780199646296.001.0001. - · DOI
  47. [52][52] Ross Duncan and Kevin Dunne. Interacting Frobenius Algebras are Hopf. In 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) , pages 1-10. IEEE, 2016. DOI: 10.1145/2933575.2934550. - · DOI
  48. [53][53] Ross Duncan and Maxime Lucas. Verifying the Steane code with Quantomatic. In Bob Coecke and Matty Hoban, editors, Proceedings of the 10th International Workshop on Quantum Physics and Logic, Castelldefels (Barcelona), Spain, 17th to 19th July 2013 , volume 171 of Electronic Proceedings in Theoretical Computer Science , pages 33-49. Open Publishing Association, 2014. DOI: 10.4204/EPTCS.171.4. - · DOI
  49. [54][54] Ross Duncan and Simon Perdrix. Graph states and the necessity of Euler decomposition. Mathematical Theory and Computational Practice , pages 167-177. DOI: 10.1007/978-3-642-03073-4˙18. - · DOI
  50. [55][55] Ross Duncan and Simon Perdrix. Rewriting Measurement-Based Quantum Computations with Generalised Flow. In Proceedings of ICALP , Lecture Notes in Computer Science, pages 285-296. Springer, 2010. DOI: 10.1007/978-3-642-14162-1˙24. - · DOI
  51. [56][56] Ross Duncan and Simon Perdrix. Pivoting makes the ZX-calculus complete for real stabilizers. In Proceedings of the 10th International Workshop on Quantum Physics and Logic (QPL) , volume 171 of Electronic Proceedings in Theoretical Computer Science , pages 50-62. Open Publishing Association, 2014. DOI: 10.4204/EPTCS.171.5. - · DOI
  52. [57][57] Ross Duncan, Aleks Kissinger, Simon Perdrix, and John van de Wetering. Graphtheoretic Simplification of Quantum Circuits with the ZX-calculus. Quantum , 4:279, 6 2020. ISSN 2521-327X. DOI: 10.22331/q-2020-06-04-279. - · DOI
  53. [58][58] Wolfgang D¨ ur, Guifre Vidal, and J Ignacio Cirac. Three qubits can be entangled in two inequivalent ways. Physical Review A , 62(6):062314, 2000. DOI: 10.1103/PhysRevA.62.062314. - · DOI · Paper page
  54. [59][59] Bryan Eastin and Emanuel Knill. Restrictions on transversal encoded quantum gate sets. Physical review letters , 102(11):110502, 2009. DOI: 10.1103/PhysRevLett.102.110502. - · DOI · Paper page
  55. [60][60] Matthew B Elliott, Bryan Eastin, and Carlton M Caves. Graphical description of the action of Clifford operators on stabilizer states. Physical Review A , 77(4):042307, 2008. DOI: 10.1103/PhysRevA.77.042307. - · DOI
  56. [61][61] Brendan Fong and David I Spivak. An Invitation to Applied Category Theory: Seven Sketches in Compositionality . Cambridge University Press, 2019. ISBN 9781108668804. DOI: 10.1017/9781108668804. - · DOI
  57. [62][62] Liam Garvie and Ross Duncan. Verifying the Smallest Interesting Colour Code with Quantomatic. In Bob Coecke and Aleks Kissinger, editors, Proceedings 14th International Conference on Quantum Physics and Logic, Nijmegen, The Netherlands, 3-7 July 2017 , volume 266 of Electronic Proceedings in Theoretical Computer Science , pages 147-163. Open Publishing Association, 2018. DOI: 10.4204/EPTCS.266.10. - · DOI
  58. [64][64] Craig Gidney and Austin G. Fowler. Efficient magic state factories with a catalyzed | CCZ 〉 to 2 | T 〉 transformation. Quantum , 3:135, 4 2019. ISSN 2521-327X. DOI: 10.22331/q-2019-04-30-135. - · DOI · Paper page
  59. [65][65] Amar Hadzihasanovic. A diagrammatic axiomatisation for qubit entanglement. In 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science , pages 573-584. IEEE, 2015. DOI: 10.1109/LICS.2015.59. - · DOI
  60. [66][66] Amar Hadzihasanovic. The algebra of entanglement and the geometry of composition . PhD thesis, University of Oxford, 2017. Available at https://arxiv.org/abs/ 1709.08086 . -
  61. [67][67] Amar Hadzihasanovic, Kang Feng Ng, and Quanlong Wang. Two complete axiomatisations of pure-state qubit quantum computing. In Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science , LICS '18, pages 502-511, New York, NY, USA, 2018. ACM. ISBN 978-1-4503-5583-4. DOI: 10.1145/3209108.3209128. - · DOI
  62. [68][68] Amar Hadzihasanovic, Giovanni de Felice, and Kang Feng Ng. A diagrammatic calculus of fermionic quantum circuits. Logical Methods in Computer Science , 15, 2019. DOI: 10.23638/LMCS-15(3:26)2019. - · DOI
  63. [69][69] Michael Hanks, Marta P. Estarellas, William J. Munro, and Kae Nemoto. Effective Compression of Quantum Braided Circuits Aided by ZX-Calculus. Physical Review X , 10:041030, 2020. DOI: 10.1103/PhysRevX.10.041030. - · DOI
  64. [70][70] Chris Heunen and Jamie Vicary. Categories for Quantum Theory: an introduction . Oxford University Press, USA, 2019. ISBN 9780198739623. DOI: 10.1093/oso/9780198739623.001.0001. - · DOI
  65. [71][71] Luke E Heyfron and Earl T Campbell. An efficient quantum compiler that reduces T count. Quantum Science and Technology , 4(015004), 2018. DOI: 10.1088/20589565/aad604. - · DOI
  66. [72][72] Clare Horsman. Quantum picturalism for topological cluster-state computing. New Journal of Physics , 13(9):095011, 2011. DOI: 10.1088/1367-2630/13/9/095011. - · DOI
  67. [73][73] Emmanuel Jeandel. The rational fragment of the ZX-calculus. ArXiv Preprint arXiv:1810.05377 , 10 2018. - · arXiv
  68. [74][74] Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart, and Quanlong Wang. ZXCalculus: Cyclotomic Supplementarity and Incompleteness for Clifford+T Quantum Mechanics. In Kim G. Larsen, Hans L. Bodlaender, and Jean-Francois Raskin, editors, 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017) , volume 83 of Leibniz International Proceedings in Informatics (LIPIcs) , pages 11:1-11:13, Dagstuhl, Germany, 2017. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik. ISBN 978-3-95977-046-0. DOI: 10.4230/LIPIcs.MFCS.2017.11. - · DOI
  69. [75][75] Emmanuel Jeandel, Simon Perdrix, and Renaud Vilmart. Diagrammatic Reasoning Beyond Clifford+T Quantum Mechanics. In Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science , LICS '18, pages 569-578, New York, NY, USA, 2018. ACM. ISBN 978-1-4503-5583-4. DOI: 10.1145/3209108.3209139. - · DOI
  70. [76][76] Emmanuel Jeandel, Simon Perdrix, and Renaud Vilmart. A Complete Axiomatisation of the ZX-calculus for Clifford+T Quantum Mechanics. In Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science , pages 559-568. ACM, 2018. DOI: 10.1145/3209108.3209131. - · DOI
  71. [77][77] Emmanuel Jeandel, Simon Perdrix, and Renaud Vilmart. A Generic Normal Form for ZX-Diagrams and Application to the Rational Angle Completeness. In 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) , LICS '19, pages 1-10. ACM, 2019. DOI: 10.1109/LICS.2019.8785754. - · DOI
  72. [78][78] Emmanuel Jeandel, Simon Perdrix, and Renaud Vilmart. Completeness of the ZXCalculus. Logical Methods in Computer Science , 6 2020. DOI: 10.23638/LMCS16(2:11)2020. - · DOI
  73. [79][79] Cody Jones. Low-overhead constructions for the fault-tolerant Toffoli gate. Physical Review A , 87(2):022328, 2013. DOI: 10.1103/PhysRevA.87.022328. - · DOI
  74. [80][80] Gregory M Kelly and Miguel L Laplaza. Coherence for compact closed categories. Journal of pure and applied algebra , 19:193-213, 1980. DOI: 10.1016/00224049(80)90101-2. - · DOI
  75. [81][81] Aleks Kissinger. Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing . PhD thesis, University of Oxford, 2012. Available at http://arxiv.org/abs/1203.0202 . - · arXiv
  76. [82][82] Aleks Kissinger and John van de Wetering. Universal MBQC with generalised parityphase interactions and Pauli measurements. Quantum , 3:134, 4 2019. ISSN 2521327X. DOI: 10.22331/q-2019-04-26-134. - · DOI
  77. [83][83] Aleks Kissinger and John van de Wetering. Reducing the number of nonClifford gates in quantum circuits. Physical Review A , 102:022406, 8 2020. DOI: 10.1103/PhysRevA.102.022406. - · DOI
  78. [84][84] Aleks Kissinger and John van de Wetering. PyZX: Large Scale Automated Diagrammatic Reasoning. In Bob Coecke and Matthew Leifer, editors, Proceedings 16th International Conference on Quantum Physics and Logic, Chapman University, Orange, CA, USA., 10-14 June 2019 , volume 318 of Electronic Proceedings in Theoretical Computer Science , pages 229-241. Open Publishing Association, 2020. DOI: 10.4204/EPTCS.318.14. - · DOI
  79. [85][85] Aleks Kissinger and Vladimir Zamdzhiev. Quantomatic: A proof assistant for diagrammatic reasoning. In International Conference on Automated Deduction , pages 326-336. Springer, 2015. DOI: 10.1007/978-3-319-21401-6˙22. - · DOI
  80. [86][86] Aleks Kissinger, Alex Merry, and Matvey Soloviev. Pattern graph rewrite systems. In Benedikt L¨ owe and Glynn Winskel, editors, Proceedings 8th International Workshop on Developments in Computational Models, Cambridge, United Kingdom, 17 June 2012 , volume 143 of Electronic Proceedings in Theoretical Computer Science , pages 54-66. Open Publishing Association, 2014. DOI: 10.4204/EPTCS.143.5. - · DOI
  81. [87][87] Joachim Kock. Frobenius algebras and 2-d topological quantum field theories , volume 59. Cambridge University Press, 2004. DOI: 10.1017/CBO9780511615443. - · DOI
  82. [88][88] Anton Kotzig. Eulerian lines in finite 4-valent graphs and their transformations. In Colloqium on Graph Theory Tihany 1966 , pages 219-230. Academic Press, 1968. -
  83. [89][89] Stach Kuijpers, John van de Wetering, and Aleks Kissinger. Graphical fourier theory and the cost of quantum addition. Preprint, 2019. -
  84. [90][90] F William Lawvere. Ordinal sums and equational doctrines. In Seminar on triples and categorical homology theory , pages 141-155. Springer, 1969. -
  85. [91][91] Louis Lemonnier, John van de Wetering, and Aleks Kissinger. Hypergraph simplification: Linking the path-sum approach to the ZH-calculus. arXiv preprint arXiv:2003.13564 , 2020. - · arXiv
  86. [92][92] Daniel Litinski. A Game of Surface Codes: Large-Scale Quantum Computing with Lattice Surgery. Quantum , 3:128, 3 2019. ISSN 2521-327X. DOI: 10.22331/q-201903-05-128. - · DOI
  87. [93][93] Saunders Mac Lane. Categories for the working mathematician , volume 5. Springer Science & Business Media, 2013. DOI: 10.1007/978-1-4757-4721-8. - · DOI
  88. [94][94] Saunders MacLane. Categorical algebra. Bulletin of the American Mathematical Society , 71(1):40-106, 1965. DOI: 10.1090/S0002-9904-1965-11234-4. - · DOI
  89. [96][96] Hector Miller-Bakewell. Entanglement and Quaternions: The graphical calculus ZQ. arXiv preprint arXiv:2003.09999 , 2020. - · arXiv
  90. [97][97] Hector Miller-Bakewell. Finite Verification of Infinite Families of Diagram Equations. In Bob Coecke and Matthew Leifer, editors, Proceedings 16th International Conference on Quantum Physics and Logic, Chapman University, Orange, CA, USA., 10-14 June 2019 , volume 318 of Electronic Proceedings in Theoretical Computer Science , pages 27-52. Open Publishing Association, 2020. DOI: 10.4204/EPTCS.318.3. - · DOI
  91. [98][98] Tadasi Nakayama. On Frobeniusean algebras II. Annals of Mathematics , pages 1-21, 1941. -
  92. [99][99] Yunseong Nam, Neil J Ross, Yuan Su, Andrew M Childs, and Dmitri Maslov. Automated optimization of large quantum circuits with continuous parameters. npj Quantum Information , 4(1):23, 2018. DOI: 10.1038/s41534-018-0072-4. - · DOI
  93. [100][100] Kang Feng Ng. Completeness of the ZW and ZX calculi . PhD thesis, University of Oxford, 2018. Available at http://www.cs.ox.ac.uk/people/bob.coecke/ KangFeng.pdf . -
  94. [101][101] Kang Feng Ng and Quanlong Wang. A universal completion of the ZX-calculus. Preprint, 2017. -
  95. [102][102] Kang Feng Ng and Quanlong Wang. Completeness of the ZX-calculus for Pure Qubit Clifford+T Quantum Mechanics. arXiv:1801.07993 , 1 2018. - · arXiv
  96. [103][103] Joe O'Gorman and Earl T Campbell. Quantum computation with realistic magicstate factories. Physical Review A , 95(3):032338, 2017. DOI: 10.1103/PhysRevA.95.032338. - · DOI · Paper page
  97. [104][104] Roger Penrose. Applications of negative dimensional tensors. In Combinatorial Mathematics and its Applications , pages 221-244. Academic Press, 1971. -
  98. [105][105] Simon Perdrix and Quanlong Wang. Supplementarity is necessary for quantum diagram reasoning. In 41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016) , volume 58 of Leibniz International Proceedings in Informatics (LIPIcs) , pages 76:1-76:14, Krakow, Poland, 2016. DOI: 10.4230/LIPIcs.MFCS.2016.76. - · DOI
  99. [106][106] Robert Raussendorf and Hans J. Briegel. A One-Way Quantum Computer. Physical Review Letters , 86:5188-5191, 5 2001. DOI: 10.1103/PhysRevLett.86.5188. - · DOI · Paper page
  100. [107][107] Christian Schr¨ oder de Witt and Vladimir Zamdzhiev. The ZX-calculus is incomplete for quantum mechanics. In Bob Coecke, Ichiro Hasuo, and Prakash Panangaden, editors, Proceedings of the 11th workshop on Quantum Physics and Logic, Kyoto, Japan, 4-6th June 2014 , volume 172 of Electronic Proceedings in Theoretical Computer Science , pages 285-292. Open Publishing Association, 2014. DOI: 10.4204/EPTCS.172.20. - · DOI
  101. [108][108] Peter Selinger. Dagger compact closed categories and completely positive maps. Electronic Notes in Theoretical computer science , 170:139-163, 2007. DOI: 10.1016/j.entcs.2006.12.018. - · DOI
  102. [109][109] Peter Selinger. A survey of graphical languages for monoidal categories. In New structures for physics , pages 289-355. Springer, 2010. DOI: 10.1007/978-3-64212821-9˙4. - · DOI
  103. [110][110] Peter Selinger. Quantum circuits of T-depth one. Physical Review A , 87(4):042302, 2013. DOI: 10.1103/PhysRevA.87.042302. - · DOI
  104. [111][111] Yaoyun Shi. Both Toffoli and controlled-NOT need little help to do universal quantum computation. Preprint, 2002. -
  105. [112][112] Anders Sørensen and Klaus Mølmer. Quantum computation with ions in thermal motion. Physical review letters , 82(9):1971, 1999. DOI: 10.1103/PhysRevLett.82.1971. - · DOI
  106. [113][113] W. Forrest Stinespring. Positive functions on C*-algebras. Proceedings of the American Mathematical Society , 6(2):211-216, 1955. -
  107. [114][114] Ross Street. Frobenius monads and pseudomonoids. Journal of mathematical physics , 45(10):3930-3948, 2004. DOI: 10.1063/1.1788852. - · DOI
  108. [115][115] John van de Wetering and Sal Wolffs. Completeness of the Phase-free ZH-calculus. Preprint, 2019. -
  109. [117][117] Renaud Vilmart. ZX-Calculi for Quantum Computing and their Completeness . PhD thesis, Loria, Universit´ e de Lorraine, 2019. Available at https://hal. archives-ouvertes.fr/tel-02395443/document . -
  110. [118][118] Renaud Vilmart. A Near-Minimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics. In 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) , pages 1-10, 2019. DOI: 10.1109/LICS.2019.8785765. - · DOI
  111. [119][119] Renaud Vilmart. A ZX-Calculus with Triangles for Toffoli-Hadamard, Clifford+T, and Beyond. In Peter Selinger and Giulio Chiribella, editors, Proceedings of the 15th International Conference on Quantum Physics and Logic, Halifax, Canada, 3-7th June 2018 , volume 287 of Electronic Proceedings in Theoretical Computer Science , pages 313-344. Open Publishing Association, 2019. DOI: 10.4204/EPTCS.287.18. - · DOI
  112. [120][120] Quanlong Wang. Qutrit ZX-calculus is Complete for Stabilizer Quantum Mechanics. In Bob Coecke and Aleks Kissinger, editors, Proceedings 14th International Conference on Quantum Physics and Logic, Nijmegen, The Netherlands, 3-7 July 2017 , volume 266 of Electronic Proceedings in Theoretical Computer Science , pages 58-70. Open Publishing Association, 2018. DOI: 10.4204/EPTCS.266.3. - · DOI
  113. [121][121] Quanlong Wang. Completeness of the ZX-calculus . PhD thesis, University of Oxford, 2018. URL http://www.cs.ox.ac.uk/people/bob.coecke/Harny.pdf . -
  114. [122][122] Quanlong Wang. An algebraic axiomatisation of ZX-calculus. arXiv preprint arXiv:1911.06752 , 2019. - · arXiv
  115. [123][123] Quanlong Wang. On completeness of algebraic ZX-calculus over arbitrary commutative rings and semirings. arXiv preprint arXiv:1912.01003 , 2019. - · arXiv
  116. [124][124] Quanlong Wang. Algebraic complete axiomatisation of ZX-calculus with a normal form via elementary matrix operations. arXiv preprint arXiv:2007.13739 , 2020. - · arXiv
  117. [125][125] Quanlong Wang and Xiaoning Bian. Qutrit Dichromatic Calculus and Its Universality. In Bob Coecke, Ichiro Hasuo, and Prakash Panangaden, editors, Proceedings of the 11th workshop on Quantum Physics and Logic, Kyoto, Japan, 4-6th June 2014 , volume 172 of Electronic Proceedings in Theoretical Computer Science , pages 92-101. Open Publishing Association, 2014. DOI: 10.4204/EPTCS.172.7. - · DOI
  118. [126][126] Fang Zhang and Jianxin Chen. Optimizing T gates in Clifford+T circuit as π/ 4 rotations around Paulis. Preprint, 2019.

Cited by

Sorted by citations

See all 68

Metadata

Authors
van de Wetering, J.
Affiliations
Radboud University Nijmegen (NL)
Corresponding author
van de Wetering, John
ORCID
van de Wetering, John
Venue
arXiv
Publisher
arXiv
Published
2020
ISSN
2331-8422 (ISSN-L)
DOI
10.48550/arxiv.2012.13966
arXiv
2012.13966
OpenAlex
W3117683238
Cited by
68
References
5
Citations by year
2026: 3 · 2025: 12 · 2024: 22 · 2023: 17 · 2022: 8 · 2021: 6
Type
posted content
Language
en
Open access
Licence
arxiv.org/licenses/nonexclusive-distrib/1.0/
Locations
  • arXiv (Cornell University) (submittedVersion)
  • arXiv (Cornell University)
Funders
Nederlandse Organisatie voor Wetenschappelijk Onderzoek
Topics
  • Physical Sciences › Computer Science › Artificial Intelligence › Quantum Computing Algorithms and Architecture
  • Physical Sciences › Physics and Astronomy › Atomic and Molecular Physics, and Optics › Quantum Information and Cryptography
  • Physical Sciences › Physics and Astronomy › Atomic and Molecular Physics, and Optics › Quantum Mechanics and Applications
Keywords
ZX-calculus, graphic language, quantum computing, Clifford circuits, Gottesman-Knill theorem, Toffoli gate, completeness theorem, categorical quantum mechanics, mixed states, measurement, classical control, qudits, surface code, lattice surgery, measurement-based quantum computation

About these checks

Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.

Statistics and arithmetic are recomputed, not judged.

Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.

What counts as a claim ›How we measure confidence ›How we check this ›

Are you an author, or do you see a problem with this page? Request a review