Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus

Ross Duncan1,2, Aleks Kissinger3, Simon Perdrix4, and John van de Wetering5

1University of Strathclyde, 26 Richmond Street, Glasgow G1 1XH, UK
2Cambridge Quantum Computing Ltd, 9a Bridge Street, Cambridge CB2 1UB, UK
3Department of Computer Science, University of Oxford
4CNRS LORIA, Inria-MOCQUA, Université de Lorraine, F 54000 Nancy, France
5Institute for Computing and Information Sciences, Radboud University Nijmegen

Find this paper interesting or want to discuss? Scite or leave a comment on SciRate.

Abstract

We present a completely new approach to quantum circuit optimisation, based on the ZX-calculus. We first interpret quantum circuits as ZX-diagrams, which provide a flexible, lower-level language for describing quantum computations graphically. Then, using the rules of the ZX-calculus, we give a simplification strategy for ZX-diagrams based on the two graph transformations of local complementation and pivoting and show that the resulting reduced diagram can be transformed back into a quantum circuit. While little is known about extracting circuits from arbitrary ZX-diagrams, we show that the underlying graph of our simplified ZX-diagram always has a graph-theoretic property called generalised flow, which in turn yields a deterministic circuit extraction procedure. For Clifford circuits, this extraction procedure yields a new normal form that is both asymptotically optimal in size and gives a new, smaller upper bound on gate depth for nearest-neighbour architectures. For Clifford+T and more general circuits, our technique enables us to to `see around' gates that obstruct the Clifford structure and produce smaller circuits than naïve `cut-and-resynthesise' methods.

Quantum circuits are a de facto assembly language for quantum software. Programs are described as list of primitive operations, or gates, which are run in sequence on a quantum computer to perform a computation. Just like with classical software, there is more that one way to write a program to do the same job, and so it's important to find programs that do that job as quickly and cheaply as possible. Looking at quantum circuits just as lists of gates doesn't tell us a whole lot about what computation is being performed, or how it might be optimised. However, if we "break open" quantum gates, we see a rich graphical/algebraic structure inside called the ZX-calculus.

In this paper, we give a technique for optimising quantum circuits that first breaks the gates open to reveal a graph-like structure underneath. We then give a strategy for reducing these graphs in size without changing the computation they represent, then extracting a new, smaller circuit out of the result.

We have implemented the technique described in this paper in a Python tool called PyZX:
https://github.com/Quantomatic/pyzx

For a 2-minute intro to PyZX, see this YouTube video: https://www.youtube.com/watch?v=iC-KVdB8pf0

If that leaves you wanting more, there is also a 40-minute talk about this and more on YouTube: https://www.youtube.com/watch?v=JafI_LZts2g

► BibTeX data

► References

[1] Scott Aaronson and Daniel Gottesman. Improved simulation of stabilizer circuits. Physical Review A, 70 (5): 052328, 2004. 10.1103/​PhysRevA.70.052328.
https:/​/​doi.org/​10.1103/​PhysRevA.70.052328

[2] Nabila Abdessaied, Mathias Soeken, and Rolf Drechsler. Quantum circuit optimization by Hadamard gate reduction. In International Conference on Reversible Computation, pages 149–162. Springer, 2014. 10.1007/​978-3-319-08494-7_12.
https:/​/​doi.org/​10.1007/​978-3-319-08494-7_12

[3] 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. 10.1109/​TCAD.2014.2341953.
https:/​/​doi.org/​10.1109/​TCAD.2014.2341953

[4] Miriam Backens. The ZX-calculus is complete for stabilizer quantum mechanics. New Journal of Physics, 16 (9): 093021, 2014. 10.1088/​1367-2630/​16/​9/​093021.
https:/​/​doi.org/​10.1088/​1367-2630/​16/​9/​093021

[5] Miriam Backens. Making the stabilizer ZX-calculus complete for scalars. In Chris Heunen, Peter Selinger, and Jamie Vicary, editors, Proceedings of the 12th International Workshop on Quantum Physics and Logic (QPL 2015), volume 195 of Electronic Proceedings in Theoretical Computer Science, pages 17–32, 2015. 10.4204/​EPTCS.195.2.
https:/​/​doi.org/​10.4204/​EPTCS.195.2

[6] André Bouchet. Graphic presentations of isotropic systems. J. Comb. Theory Ser. A, 45: 58–76, July 1987. ISSN 0097-3165. URL http:/​/​dl.acm.org/​citation.cfm?id=51355.51360.
http:/​/​dl.acm.org/​citation.cfm?id=51355.51360

[7] Sergey Bravyi and Dmitri Maslov. Hadamard-free circuits expose the structure of the clifford group. arXiv preprint arXiv:2003.09412, 2020.
arXiv:2003.09412

[8] 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. 10.1088/​1367-2630/​9/​8/​250. URL http:/​/​stacks.iop.org/​1367-2630/​9/​i=8/​a=250.
https:/​/​doi.org/​10.1088/​1367-2630/​9/​8/​250
http:/​/​stacks.iop.org/​1367-2630/​9/​i=8/​a=250

[9] 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. 10.4230/​LIPIcs.ICALP.2019.108.
https:/​/​doi.org/​10.4230/​LIPIcs.ICALP.2019.108

[10] B. Coecke and A. Kissinger. Picturing Quantum Processes. Cambridge University Press, 2014. 10.1007/​978-3-319-91376-6_6.
https:/​/​doi.org/​10.1007/​978-3-319-91376-6_6

[11] Bob Coecke and Ross Duncan. Interacting quantum observables: Categorical algebra and diagrammatics. New Journal of Physics, 13 (4): 043016, apr 2011. 10.1088/​1367-2630/​13/​4/​043016. URL https:/​/​doi.org/​10.1088.
https:/​/​doi.org/​10.1088/​1367-2630/​13/​4/​043016

[12] V. Danos and E. Kashefi. Determinism in the one-way model. Phys. Rev. A, 74 (052310), 2006. 10.1103/​PhysRevA.74.052310.
https:/​/​doi.org/​10.1103/​PhysRevA.74.052310

[13] Vincent Danos, Elham Kashefi, and Prakash Panangaden. The measurement calculus. Journal of the ACM (JACM), 54 (2): 8, 2007. 10.1145/​1219092.1219096.
https:/​/​doi.org/​10.1145/​1219092.1219096

[14] Vincent Danos, Elham Kashefi, Prakash Panangaden, and Simon Perdrix. Extended Measurement Calculus. Semantic Techniques in Quantum Computation, 2010. 10.1017/​CBO9781139193313.008.
https:/​/​doi.org/​10.1017/​CBO9781139193313.008

[15] Jeroen Dehaene and Bart De Moor. Clifford group, stabilizer states, and linear and quadratic operations over GF(2). Physical Review A, 68 (4): 042318, 2003. 10.1103/​PhysRevA.68.042318.
https:/​/​doi.org/​10.1103/​PhysRevA.68.042318

[16] R. Duncan and S. Perdrix. Graph states and the necessity of Euler decomposition. Mathematical Theory and Computational Practice, pages 167–177, 2009. 10.1007/​978-3-642-03073-4_18.
https:/​/​doi.org/​10.1007/​978-3-642-03073-4_18

[17] R. Duncan and S. Perdrix. Rewriting measurement-based quantum computations with generalised flow. In Proceedings of ICALP, Lecture Notes in Computer Science, pages 285–296. Springer, 2010. 10.1007/​978-3-642-14162-1_24.
https:/​/​doi.org/​10.1007/​978-3-642-14162-1_24

[18] 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. 10.4204/​EPTCS.171.5.
https:/​/​doi.org/​10.4204/​EPTCS.171.5

[19] Andrew Fagan and Ross Duncan. Optimising Clifford Circuits with Quantomatic. In Proceedings of the 15th International Conference on Quantum Physics and Logic (QPL), volume 287 of Electronic Proceedings in Theoretical Computer Science, pages 85–105. Open Publishing Association, 2019. 10.4204/​EPTCS.287.5.
https:/​/​doi.org/​10.4204/​EPTCS.287.5

[20] 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. 10.1145/​3209108.3209128.
https:/​/​doi.org/​10.1145/​3209108.3209128

[21] Marc Hein, Wolfgang Dür, Jens Eisert, Robert Raussendorf, M Nest, and H-J Briegel. Entanglement in graph states and its applications. In Proceedings of the International School of Physics "Enrico Fermi", Quantum Computers, Algorithms and Chaos,, volume 162, pages 115 – 218, 2006. 10.3254/​978-1-61499-018-5-115.
https:/​/​doi.org/​10.3254/​978-1-61499-018-5-115

[22] Luke E Heyfron and Earl T Campbell. An efficient quantum compiler that reduces T count. Quantum Science and Technology, 4 (015004), 2018. 10.1088/​2058-9565/​aad604.
https:/​/​doi.org/​10.1088/​2058-9565/​aad604

[23] 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, 2018a. ACM. ISBN 978-1-4503-5583-4. 10.1145/​3209108.3209139.
https:/​/​doi.org/​10.1145/​3209108.3209139

[24] 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, LICS '18, pages 559–568, New York, NY, USA, 2018b. ACM. ISBN 978-1-4503-5583-4. 10.1145/​3209108.3209131.
https:/​/​doi.org/​10.1145/​3209108.3209131

[25] Emmanuel Jeandel, Simon Perdrix, and Renaud Vilmart. A generic normal form for zx-diagrams and application to the rational angle completeness. In Proceedings of the 34th Annual ACM/​IEEE Symposium on Logic in Computer Science (LICS), 2019. 10.1109/​LICS.2019.8785754.
https:/​/​doi.org/​10.1109/​LICS.2019.8785754

[26] Aleks Kissinger and Arianne Meijer-van de Griend. Cnot circuit extraction for topologically-constrained quantum memories. arXiv preprint arXiv:1904.00633, 2019.
arXiv:1904.00633

[27] Aleks Kissinger and John van de Wetering. Reducing T-count with the ZX-calculus. arXiv preprint arXiv:1903.10477, 2019.
arXiv:1903.10477

[28] 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. 10.4204/​EPTCS.318.14.
https:/​/​doi.org/​10.4204/​EPTCS.318.14

[29] Vadym Kliuchnikov and Dmitri Maslov. Optimization of Clifford circuits. Phys. Rev. A, 88: 052307, Nov 2013. 10.1103/​PhysRevA.88.052307.
https:/​/​doi.org/​10.1103/​PhysRevA.88.052307

[30] 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.

[31] Samuel A Kutin, David Petrie Moulton, and Lawren M Smithline. Computation at a distance. arXiv preprint quant-ph/​0701194, 2007.
arXiv:quant-ph/0701194

[32] Ketan Markov, Igor Patel, and John Hayes. Optimal synthesis of linear reversible circuits. Quantum Information and Computation, 8 (3&4): 0282–0294, 2008.

[33] Dmitri Maslov and Martin Roetteler. Shorter stabilizer circuits via Bruhat decomposition and quantum circuit transformations. IEEE Transactions on Information Theory, 64 (7): 4729–4738, 2018. 10.1109/​TIT.2018.2825602.
https:/​/​doi.org/​10.1109/​TIT.2018.2825602

[34] Mehdi Mhalla, Mio Murao, Simon Perdrix, Masato Someya, and Peter S Turner. Which graph states are useful for quantum information processing? In Conference on Quantum Computation, Communication, and Cryptography, pages 174–187. Springer, 2011. 10.1007/​978-3-642-54429-3_12.
https:/​/​doi.org/​10.1007/​978-3-642-54429-3_12

[35] 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. 10.1038/​s41534-018-0072-4.
https:/​/​doi.org/​10.1038/​s41534-018-0072-4

[36] Beatrice Nash, Vlad Gheorghiu, and Michele Mosca. Quantum circuit optimizations for NISQ architectures. arXiv preprint arXiv:1904.01972, 2019. 10.1088/​2058-9565/​ab79b1.
https:/​/​doi.org/​10.1088/​2058-9565/​ab79b1
arXiv:1904.01972

[37] M. A. Nielsen and I. L. Chuang. Quantum computation and quantum information. Cambridge university press, 2010. 10.1119/​1.1463744.
https:/​/​doi.org/​10.1119/​1.1463744

[38] Maarten Van Den Nest. Classical simulation of quantum computation, the gottesman-knill theorem, and slightly beyond. Quantum Information & Computation, 10 (3): 258–271, 2010.

[39] Renaud Vilmart. A near-optimal axiomatisation of ZX-calculus for pure qubit quantum mechanics. In Proceedings of the 34th Annual ACM/​IEEE Symposium on Logic in Computer Science (LICS), 2019. 10.1109/​LICS.2019.8785765. URL https:/​/​arxiv.org/​abs/​1812.09114.
https:/​/​doi.org/​10.1109/​LICS.2019.8785765
arXiv:1812.09114

[40] Fang Zhang and Jianxin Chen. Optimizing t gates in clifford+t circuit as $\pi/​4$ rotations around paulis. arXiv:1903.12456, 2019.
arXiv:1903.12456

Cited by

[1] Niel de Beaudrap, "Well-tempered ZX and ZH Calculi", Electronic Proceedings in Theoretical Computer Science 340, 13 (2021).

[2] Seyon Sivarajah, Silas Dilkes, Alexander Cowtan, Will Simmons, Alec Edgington, and Ross Duncan, "t|ket⟩: a retargetable compiler for NISQ devices", Quantum Science and Technology 6 1, 014003 (2021).

[3] Aleks Kissinger and John van de Wetering, "Reducing the number of non-Clifford gates in quantum circuits", Physical Review A 102 2, 022406 (2020).

[4] Bob Coecke, Giovanni de Felice, Konstantinos Meichanetzidis, and Alexis Toumi, "Foundations for Near-Term Quantum Natural Language Processing", arXiv:2012.03755, (2020).

[5] Aleks Kissinger and John van de Wetering, "Reducing T-count with the ZX-calculus", arXiv:1903.10477, (2019).

[6] Mario Krenn, Jonas Landgraf, Thomas Foesel, and Florian Marquardt, "Artificial intelligence and machine learning for quantum technologies", Physical Review A 107 1, 010101 (2023).

[7] Aleks Kissinger and John van de Wetering, "PyZX: Large Scale Automated Diagrammatic Reasoning", arXiv:1904.04735, (2019).

[8] Chen Zhao and Xiao-Shan Gao, "Analyzing the barren plateau phenomenon in training quantum neural networks with the ZX-calculus", Quantum 5, 466 (2021).

[9] Miriam Backens, Hector Miller-Bakewell, Giovanni de Felice, Leo Lobski, and John van de Wetering, "There and back again: A circuit extraction tale", Quantum 5, 421 (2021).

[10] Lucas Slattery and Bryan K. Clark, "Quantum Circuits For Two-Dimensional Isometric Tensor Networks", arXiv:2108.02792, (2021).

[11] Aleks Kissinger and Arianne Meijer-van de Griend, "CNOT circuit extraction for topologically-constrained quantum memories", arXiv:1904.00633, (2019).

[12] Johannes Nokkala, Jyrki Piilo, and Ginestra Bianconi, "Complex quantum networks: a topical review", Journal of Physics A Mathematical General 57 23, 233001 (2024).

[13] Alexander Cowtan, Silas Dilkes, Ross Duncan, Will Simmons, and Seyon Sivarajah, "Phase Gadget Synthesis for Shallow Circuits", arXiv:1906.01734, (2019).

[14] Benedikt Fauseweh, "Quantum many-body simulations on digital quantum computers: State-of-the-art and future challenges", Nature Communications 15, 2123 (2024).

[15] Bruno Murta, Pedro M. Q. Cruz, and J. Fernández-Rossier, "Preparing valence-bond-solid states on noisy intermediate-scale quantum computers", Physical Review Research 5 1, 013190 (2023).

[16] A. D. Corcoles, A. Kandala, A. Javadi-Abhari, D. T. McClure, A. W. Cross, K. Temme, P. D. Nation, M. Steffen, and J. M. Gambetta, "Challenges and Opportunities of Near-Term Quantum Computing Systems", arXiv:1910.02894, (2019).

[17] Niel de Beaudrap and Dominic Horsman, "The ZX calculus is a language for surface code lattice surgery", arXiv:1704.08670, (2017).

[18] Nils Quetschlich, Lukas Burgholzer, and Robert Wille, "MQT Bench: Benchmarking Software and Design Automation Tools for Quantum Computing", Quantum 7, 1062 (2023).

[19] Razin A. Shaikh, Lia Yeh, and Stefano Gogioso, "The Focked-up ZX Calculus: Picturing Continuous-Variable Quantum Computation", arXiv:2406.02905, (2024).

[20] Giovanni de Felice and Bob Coecke, "Quantum Linear Optics via String Diagrams", arXiv:2204.12985, (2022).

[21] Niel de Beaudrap, Xiaoning Bian, and Quanlong Wang, "Fast and effective techniques for T-count reduction via spider nest identities", arXiv:2004.05164, (2020).

[22] Niel de Beaudrap and Dominic Horsman, "The ZX calculus is a language for surface code lattice surgery", Quantum 4, 218 (2020).

[23] Jonathan Gorard, Manojna Namuduri, and Xerxes D. Arsiwalla, "ZX-Calculus and Extended Wolfram Model Systems II: Fast Diagrammatic Reasoning with an Application to Quantum Circuit Simplification", arXiv:2103.15820, (2021).

[24] Prakash Murali, David C. McKay, Margaret Martonosi, and Ali Javadi-Abhari, "Software Mitigation of Crosstalk on Noisy Intermediate-Scale Quantum Computers", arXiv:2001.02826, (2020).

[25] Priyanka Mukhopadhyay, Nathan Wiebe, and Hong Tao Zhang, "Synthesizing efficient circuits for Hamiltonian simulation", npj Quantum Information 9, 31 (2023).

[26] Aleks Kissinger and John van de Wetering, "Simulating quantum circuits with ZX-calculus reduced stabiliser decompositions", Quantum Science and Technology 7 4, 044001 (2022).

[27] Titouan Carette, Dominic Horsman, and Simon Perdrix, "SZX-calculus: Scalable Graphical Quantum Reasoning", arXiv:1905.00041, (2019).

[28] Korbinian Staudacher, Ludwig Schmid, Johannes Zeiher, Robert Wille, and Dieter Kranzlmüller, "Multi-controlled Phase Gate Synthesis with ZX-calculus applied to Neutral Atom Hardware", arXiv:2403.10864, (2024).

[29] Stach Kuijpers, John van de Wetering, and Aleks Kissinger, "Graphical Fourier Theory and the Cost of Quantum Addition", arXiv:1904.07551, (2019).

[30] Razin A. Shaikh, Quanlong Wang, and Richie Yeung, "How to Sum and Exponentiate Hamiltonians in ZXW Calculus", arXiv:2212.04462, (2022).

[31] Alexis Toumi, "Category Theory for Quantum Natural Language Processing", arXiv:2212.06615, (2022).

[32] Albie Chan, Zheng Shi, Luca Dellantonio, Wolfgang Dür, and Christine A. Muschik, "Measurement-based infused circuits for variational quantum eigensolvers", arXiv:2305.19200, (2023).

[33] Raban Iten, Romain Moyard, Tony Metger, David Sutter, and Stefan Woerner, "Exact and practical pattern matching for quantum circuit optimization", arXiv:1909.05270, (2019).

[34] John van de Wetering, "Constructing quantum circuits with global gates", New Journal of Physics 23 4, 043015 (2021).

[35] Sergey Bravyi, Ruslan Shaydulin, Shaohan Hu, and Dmitri Maslov, "Clifford Circuit Optimization with Templates and Symbolic Pauli Gates", Quantum 5, 580 (2021).

[36] Pascal Baßler, Matthias Zipper, Christopher Cedzich, Markus Heinrich, Patrick H. Huber, Michael Johanning, and Martin Kliesch, "Synthesis of and compilation with time-optimal multi-qubit gates", Quantum 7, 984 (2023).

[37] Julian Berberich, Daniel Fink, and Christian Holm, "Robustness of quantum algorithms against coherent control errors", Physical Review A 109 1, 012417 (2024).

[38] David Winderl, Qunsheng Huang, Arianne Meijer-van de Griend, and Richie Yeung, "Architecture-Aware Synthesis of Stabilizer Circuits from Clifford Tableaus", arXiv:2309.08972, (2023).

[39] Robert Wille, Lucas Berent, Tobias Forster, Jagatheesan Kunasaikaran, Kevin Mato, Tom Peham, Nils Quetschlich, Damian Rovara, Aaron Sander, Ludwig Schmid, Daniel Schönberger, Yannick Stade, and Lukas Burgholzer, "The MQT Handbook: A Summary of Design Automation Tools and Software for Quantum Computing", arXiv:2405.17543, (2024).

[40] Tommy McElvanney and Miriam Backens, "Complete Flow-Preserving Rewrite Rules for MBQC Patterns with Pauli Measurements", arXiv:2205.02009, (2022).

[41] Boldizsár Poór, Razin A. Shaikh, and Quanlong Wang, "ZX-calculus is Complete for Finite-Dimensional Hilbert Spaces", arXiv:2405.10896, (2024).

[42] Aleks Kissinger and John van de Wetering, "Universal MBQC with generalised parity-phase interactions and Pauli measurements", Quantum 3, 134 (2019).

[43] Bob Coecke, "Compositionality as we see it, everywhere around us", arXiv:2110.05327, (2021).

[44] Robert I. Booth, Aleks Kissinger, Damian Markham, Clément Meignant, and Simon Perdrix, "Outcome determinism in measurement-based quantum computation with qudits", Journal of Physics A Mathematical General 56 11, 115303 (2023).

[45] Tom Peham, Lukas Burgholzer, and Robert Wille, "Equivalence Checking of Quantum Circuits With the ZX-Calculus", IEEE Journal on Emerging and Selected Topics in Circuits and Systems 12 3, 662 (2022).

[46] John van de Wetering and Sal Wolffs, "Completeness of the Phase-free ZH-calculus", arXiv:1904.07545, (2019).

[47] Narayanan Rengaswamy, Robert Calderbank, Swanand Kadhe, and Henry D. Pfister, "Logical Clifford Synthesis for Stabilizer Codes", arXiv:1907.00310, (2019).

[48] Ewan Murphy and Aleks Kissinger, "Global Synthesis of CNOT Circuits with Holes", arXiv:2308.16496, (2023).

[49] Korbinian Staudacher, Tobias Guggemos, Sophia Grundner-Culemann, and Wolfgang Gehrke, "Reducing 2-QuBit Gate Count for ZX-Calculus based Quantum Circuit Optimization", arXiv:2311.08881, (2023).

[50] Dmitri Maslov and Willers Yang, "CNOT circuits need little help to implement arbitrary Hadamard-free Clifford transformations they generate", npj Quantum Information 9, 96 (2023).

[51] Tobias Stollenwerk and Stuart Hadfield, "Diagrammatic Analysis for Parameterized Quantum Circuits", arXiv:2204.01307, (2022).

[52] Titouan Carette, Emmanuel Jeandel, Simon Perdrix, and Renaud Vilmart, "Completeness of Graphical Languages for Mixed States Quantum Mechanics", arXiv:1902.07143, (2019).

[53] Fatimah Rita Ahmadi and Aleks Kissinger, "The ZX-calculus as a language for topological quantum computation", Journal of Physics A Mathematical General 56 41, 415301 (2023).

[54] Dimitrios Thanos, Tim Coopmans, and Alfons Laarman, "Fast equivalence checking of quantum circuits of Clifford gates", arXiv:2308.01206, (2023).

[55] Piotr Mitosek, "Constructing $\mathrm{NP}^{\mathord{\#}\mathrm P}$-complete problems and ${\mathord{\#}\mathrm P}$-hardness of circuit extraction in phase-free ZH", arXiv:2404.10913, (2024).

[56] Emmanuel Jeandel, Simon Perdrix, and Margarita Veshchezerova, "Addition and Differentiation of ZX-diagrams", arXiv:2202.11386, (2022).

[57] Niel de Beaudrap, "Well-tempered ZX and ZH Calculi", arXiv:2006.02557, (2020).

[58] Nikodem Grzesiak, Andrii Maksymov, Pradeep Niroula, and Yunseong Nam, "Efficient quantum programming using EASE gates on a trapped-ion quantum computer", Quantum 6, 634 (2022).

[59] Wonho Jang, Koji Terashi, Masahiko Saito, Christian W. Bauer, Benjamin Nachman, Yutaro Iiyama, Ryunosuke Okubo, and Ryu Sawada, "Initial-State Dependent Optimization of Controlled Gate Operations with Quantum Computer", Quantum 6, 798 (2022).

[60] Boldizsár Poór, Robert I. Booth, Titouan Carette, John van de Wetering, and Lia Yeh, "The Qupit Stabiliser ZX-travaganza: Simplified Axioms, Normal Forms and Graph-Theoretic Simplification", arXiv:2306.05204, (2023).

[61] Richard D. P. East, John van de Wetering, Nicholas Chancellor, and Adolfo G. Grushin, "AKLT-States as ZX-Diagrams: Diagrammatic Reasoning for Quantum States", PRX Quantum 3 1, 010302 (2022).

[62] Robert I. Booth and Titouan Carette, "Complete ZX-calculi for the stabiliser fragment in odd prime dimensions", arXiv:2204.12531, (2022).

[63] Robert I. Booth, Titouan Carette, and Cole Comfort, "Complete equational theories for classical and quantum Gaussian relations", arXiv:2403.10479, (2024).

[64] Bob Coecke, Giovanni de Felice, Konstantinos Meichanetzidis, and Alexis Toumi, "How to make qubits speak", arXiv:2107.06776, (2021).

[65] Tommy McElvanney and Miriam Backens, "Flow-preserving ZX-calculus Rewrite Rules for Optimisation and Obfuscation", arXiv:2304.08166, (2023).

[66] Niel de Beaudrap, Ross Duncan, Dominic Horsman, and Simon Perdrix, "Pauli Fusion: a Computational Model to Realise Quantum Transformations from ZX Terms", arXiv:1904.12817, (2019).

[67] Waldemir Cambiucci, Regina Melo Silveira, and Wilson Vicente Ruggiero, "Hypergraphic partitioning of quantum circuits for distributed quantum computing", arXiv:2301.05759, (2023).

[68] Titouan Carette, Yohann D'Anello, and Simon Perdrix, "Quantum Algorithms and Oracles with the Scalable ZX-calculus", arXiv:2104.01043, (2021).

[69] Ion Nechita, Clément Pellegrini, and Denis Rochette, "The asymmetric quantum cloning region", Letters in Mathematical Physics 113 3, 74 (2023).

[70] Aleks Kissinger and John van de Wetering, "Universal MBQC with generalised parity-phase interactions and Pauli measurements", arXiv:1704.06504, (2017).

[71] Robert I. Booth, Titouan Carette, and Cole Comfort, "Graphical Symplectic Algebra", arXiv:2401.07914, (2024).

[72] Narayanan Rengaswamy, "Classical Coding Approaches to Quantum Applications", arXiv:2004.06834, (2020).

[73] Hector Miller-Bakewell, "Entanglement and Quaternions: The graphical calculus ZQ", arXiv:2003.09999, (2020).

[74] Tuomas Laakkonen, Konstantinos Meichanetzidis, and John van de Wetering, "Picturing Counting Reductions with the ZH-Calculus", arXiv:2304.02524, (2023).

[75] Matthew Di Meglio, "Rational dagger categories", arXiv:2312.02883, (2023).

[76] Nathan Claudet and Simon Perdrix, "Covering a Graph with Minimal Local Sets", arXiv:2402.10678, (2024).

[77] Matthew Amy, Owen Bennett-Gibbs, and Neil J. Ross, "Symbolic Synthesis of Clifford Circuits and Beyond", arXiv:2204.14205, (2022).

[78] Shuxiang Cao, "Multi-agent blind quantum computation without universal cluster states", New Journal of Physics 25 10, 103028 (2023).

[79] Matthew Sutcliffe and Aleks Kissinger, "Procedurally Optimised ZX-Diagram Cutting for Efficient T-Decomposition in Classical Simulation", arXiv:2403.10964, (2024).

[80] Cole Comfort, "Circuit Relations for Real Stabilizers: Towards TOF+H", arXiv:1904.10614, (2019).

[81] Elena Di Lavore and Paweł Sobociński, "Monoidal Width: Capturing Rank Width", arXiv:2205.08916, (2022).

[82] Lukas Burgholzer, Richard Kueng, and Robert Wille, "Random Stimuli Generation for the Verification of Quantum Circuits", arXiv:2011.07288, (2020).

[83] Tahereh Salehi, Mariam Zomorodi, Pawel Plawiak, Mina Abbaszade, and Vahid Salari, "An optimizing method for performance and resource utilization in quantum machine learning circuits", Scientific Reports 12, 16949 (2022).

[84] Titouan Carette and Emmanuel Jeandel, "On a recipe for quantum graphical languages", arXiv:2008.04193, (2020).

[85] Augustin Borgna and Rafael Romero, "Encoding High-level Quantum Programs as SZX-diagrams", arXiv:2206.09376, (2022).

[86] Yuxiang Liu, Zaichen Zhang, Yi Hu, Fanxu Meng, Tian Luan, Xianchao Zhang, and Xutao Yu, "Practical circuit optimization algorithm for quantum simulation based on template matching", Quantum Information Processing 23 2, 45 (2024).

[87] Tom Ewen, Ivica Turkalj, Patrick Holzer, and Mark-Oliver Wolf, "Application of ZX-calculus to Quantum Architecture Search", arXiv:2406.01095, (2024).

[88] Matthew Sutcliffe and Aleks Kissinger, "Fast classical simulation of quantum circuits via parametric rewriting in the ZX-calculus", arXiv:2403.06777, (2024).

[89] Jaeho Choi and Joongheon Kim, "Kirchhoff's Circuit Law Applications to Graph Simplification in Search Problems", arXiv:2009.11675, (2020).

[90] Tobias Stollenwerk and Stuart Hadfield, "Measurement-Based Quantum Approximate Optimization", arXiv:2403.11514, (2024).

The above citations are from Crossref's cited-by service (last updated successfully 2024-01-18 10:11:18) and SAO/NASA ADS (last updated successfully 2024-06-22 00:51:26). The list may be incomplete as not all publishers provide suitable and complete citation data.

Could not fetch Crossref cited-by data during last attempt 2024-06-22 00:51:22: Encountered the unhandled forward link type postedcontent_cite while looking for citations to DOI 10.22331/q-2020-06-04-279.