@article(backens2014zx, author = {M. Backens}, year = {2014}, title = {The {ZX}-calculus is complete for stabilizer quantum mechanics}, journal = {New Journal of Physics}, volume = {16}, number = {9}, pages = {093021}, doi = {10.1088/1367-2630/16/9/093021}, note = {\href{https://arxiv.org/abs/1307.7025}{\textsf{[arXiv:1307.7025]}}}, ) @misc(minimal-stabiliser-zx, author = {M. {Backens} and S. {Perdrix} and Q. {Wang}}, year = {2017}, title = {{Towards a Minimal Stabilizer ZX-calculus}}, note = {\href{https://arxiv.org/abs/1709.08903}{\textsf{[arXiv:1709.08903]}}}, ) @inproceedings(BBW-2020, author = {Niel de Beaudrap and Xiaoning Bian and Quanlong Wang}, year = {2020}, title = {Fast and effective techniques for {T-count} reduction via spider nest identities}, booktitle = {Proceedings of {TQC} 2020 (to appear)}, note = {\href{https://arxiv.org/abs/2004.05164}{\textsf{[arXiv:2004.05164]}}}, ) @article(de2017zx, author = {Niel de Beaudrap and Dominic Horsman}, year = {2020}, title = {The {ZX} calculus is a language for surface code lattice surgery}, journal = {Quantum}, volume = {4}, pages = {218}, doi = {10.22331/q-2020-01-09-218}, note = {\href{https://arxiv.org/abs/1704.08670}{\textsf{[arXiv:1704.08670]}}}, ) @article(DKMP-2007, author = {Daniel E. Browne and Elham Kashefi and Mehdi Mhalla and Simon Perdrix}, year = {2007}, title = {Generalized flow and determinism in measurement-based quantum computation}, journal = {New Journal of Physics}, volume = {9}, doi = {10.1088/1367-2630/9/8/250}, note = {\href{https://arxiv.org/abs/quant-ph/0702212}{\textsf{[arXiv:quant-ph/0702212]}}}, ) @article(browne2005resource, author = {Daniel E Browne and Terry Rudolph}, year = {2005}, title = {Resource-efficient linear optical quantum computation}, journal = {Physical Review Letters}, volume = {95}, number = {1}, pages = {010501}, doi = {10.1103/PhysRevLett.95.010501}, note = {\href{https://arxiv.org/abs/quant-ph/0405157}{\textsf{[arXiv:quant-ph/0405157]}}}, ) @inproceedings(carette2019completeness, author = {Titouan Carette and Emmanuel Jeandel and Simon Perdrix and Renaud Vilmart}, year = {2019}, title = {{Completeness of Graphical Languages for Mixed States Quantum Mechanics}}, editor = {Christel Baier and Ioannis Chatzigiannakis and Paola Flocchini and Stefano Leonardi}, booktitle = {46th International Colloquium on Automata, Languages, and Programming (ICALP 2019)}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, volume = {132}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, address = {Dagstuhl, Germany}, pages = {108:1--108:15}, doi = {10.4230/LIPIcs.ICALP.2019.108}, note = {\href{https://arxiv.org/abs/1902.07143}{\textsf{[arXiv:1902.07143]}}}, ) @misc(chancellor2016graphical, author = {Nicholas Chancellor and Aleks Kissinger and Joschka Roffe and Stefan Zohren and Dominic Horsman}, year = {2016}, title = {Graphical structures for design and verification of quantum error correction}, note = {\href{https://arxiv.org/abs/1611.08012}{\textsf{[arXiv:1611.08012]}}}, ) @article(interacting, author = {Bob Coecke and Ross Duncan}, year = {2011}, title = {Interacting Quantum Observables: Categorical Algebra and Diagrammatics}, journal = {New Journal of Physics}, volume = {13}, number = {4}, pages = {043016}, doi = {10.1088/1367-2630/13/4/043016}, note = {\href{https://arxiv.org/abs/0906.4725}{\textsf{[arXiv:0906.4725]}}}, ) @book(zxbook, author = {Bob Coecke and Aleks Kissinger}, year = {2017}, title = {{P}icturing {Q}uantum {P}rocesses: A first course in quantum theory and diagrammatic reasoning}, publisher = {Cambridge University Press}, ) @inproceedings(cowtan2019qubit, author = {Alexander Cowtan and Silas Dilkes and Ross Duncan and Alexandre Krajenbrink and Will Simmons and Seyon Sivarajah}, year = {2019}, title = {On the qubit routing problem}, booktitle = {14th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2019)}, pages = {art.\ 5}, doi = {10.4230/LIPIcs.TQC.2019.5}, note = {\href{https://arxiv.org/abs/1902.08091}{\textsf{[arXiv:1902.08091]}}}, ) @article(DK-2006, author = {Vincent Danos and Elham Kashefi}, year = {2006}, title = {Determinism in the one-way model}, journal = {Physical Review A}, volume = {74}, doi = {10.1103/PhysRevA.74.052310}, note = {\href{https://arxiv.org/abs/quant-ph/0506062}{\textsf{[arXiv:quant-ph/0506062]}}}, ) @article(DKPP09, author = {Vincent Danos and Elham Kashefi and Prakash Panangaden and Simon Perdrix}, year = {2010}, title = {Extended Measurement Calculus}, journal = {Semantic Techniques in Quantum Computation}, pages = {235--310}, doi = {10.1017/CBO9781139193313.008}, ) @misc(duncan2019graph, author = {Ross Duncan and Aleks Kissinger and Simon Pedrix and John van de Wetering}, year = {2019}, title = {Graph-theoretic Simplification of Quantum Circuits with the {ZX}-calculus}, note = {\href{https://arxiv.org/abs/1902.03178}{\textsf{[arXiv:1902.03178]}}}, ) @inproceedings(duncan2014steane, author = {Ross Duncan and Maxime Lucas}, year = {2013}, title = {Verifying the {Steane} code with {Quantomatic}}, booktitle = {QPL 2013}, series = {Electronic Proceedings in Theoretical Computer Science}, pages = {33--49}, doi = {10.4204/EPTCS.171.4}, note = {\href{https://arxiv.org/abs/1306.4532}{\textsf{[arXiv:1306.4532]}}}, ) @inproceedings(DP-2010, author = {Ross Duncan and Simon Perdrix}, year = {2010}, title = {Rewriting Measurement-Based Quantum Computations with Generalised Flow}, editor = {Samson Abramsky and Cyril Gavoille and Claude Kirchner and Meyer auf der Heide, Friedhelm and Paul G. Spirakis}, booktitle = {Automata, Languages and Programming}, publisher = {Springer Berlin Heidelberg}, address = {Berlin, Heidelberg}, pages = {285--296}, doi = {10.1007/978-3-642-14162-1\_24}, ) @inproceedings(pivoting, author = {Ross Duncan and Simon Perdrix}, year = {2013}, title = {Pivoting Makes the {ZX}-Calculus Complete for Real Stabilizers}, booktitle = {QPL 2013}, series = {Electronic Proceedings in Theoretical Computer Science}, pages = {50--62}, doi = {10.4204/EPTCS.171.5}, note = {\href{https://arxiv.org/abs/1307.7048}{\textsf{[arXiv:1307.7048]}}}, ) @article(gidney2018efficient, author = {Craig Gidney and Austin G Fowler}, year = {2019}, title = {Efficient magic state factories with a catalyzed {$\mathrm{\delimiter69640972 CCZ\delimiter"526930B }$} to {$\mathrm{2\delimiter69640972 T\delimiter"526930B }$} transformation}, journal = {Quantum}, volume = {3}, pages = {135}, doi = {10.22331/q-2019-04-30-135}, note = {\href{https://arxiv.org/abs/1812.01238}{\textsf{[arXiv:1812.01238]}}}, ) @misc(google, author = {Google}, title = {\url{https://ai.googleblog.com/2018/03/a-preview-of-bristlecone-googles-new.html}}, note = {Accessed 10/04/2019}, ) @inproceedings(HNW, author = {Amar Hadzihasanovic and Kang Feng Ng and Quanlong Wang}, year = {2018}, title = {Two Complete Axiomatisations of Pure-state Qubit Quantum Computing}, booktitle = {Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science}, series = {LICS '18}, publisher = {ACM}, address = {New York, NY, USA}, pages = {502--511}, doi = {10.1145/3209108.3209128}, ) @article(lattice, author = {C. Horsman and A. G Fowler and S. Devitt and Van Meter, R.}, year = {2012}, title = {Surface code quantum computing by lattice surgery}, journal = {New Journal of Physics}, volume = {14}, number = {12}, pages = {123011}, doi = {10.1088/1367-2630/14/12/123011}, ) @misc(IBM, author = {IBM}, title = {\url{https://www.research.ibm.com/ibm-q/}}, note = {Accessed 10/04/2019}, ) @inproceedings(jeandel2018complete, author = {Emmanuel Jeandel and Simon Perdrix and Renaud Vilmart}, year = {2018}, title = {A complete axiomatisation of the {ZX}-calculus for {Clifford}+{T} quantum mechanics}, booktitle = {Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)}, organization = {ACM}, pages = {559--568}, doi = {10.1145/3209108.3209131}, note = {\href{https://arxiv.org/abs/1705.11151}{\textsf{[arXiv:1705.11151]}}}, ) @inproceedings(JPV-universal, author = {Emmanuel Jeandel and Simon Perdrix and Renaud Vilmart}, year = {2018}, title = {Diagrammatic Reasoning Beyond {C}lifford+{T} Quantum Mechanics}, booktitle = {Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science}, series = {LICS '18}, publisher = {ACM}, address = {New York, NY, USA}, pages = {569--578}, doi = {10.1145/3209108.3209139}, note = {\href{https://arxiv.org/abs/1801.10142}{\textsf{[arXiv:1801.10142]}}}, ) @inproceedings(ZXNormalForm, author = {Emmanuel Jeandel and Simon Perdrix and Renaud Vilmart}, year = {2019}, title = {A Generic Normal Form for ZX-Diagrams and Application to the Rational Angle Completeness}, booktitle = {Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)}, doi = {10.1109/LICS.2019.8785754}, note = {\href{https://arxiv.org/abs/1805.05296}{\textsf{[arXiv:1805.05296]}}}, ) @misc(kissinger2019cnot, author = {Aleks Kissinger and Meijer-van de Griend, Arianne}, year = {2019}, title = {{CNOT} circuit extraction for topologically-constrained quantum memories}, note = {\href{https://arxiv.org/abs/1904.00633}{\textsf{[arXiv:1904.00633]}}}, ) @article(kok2009five, author = {Pieter Kok}, year = {2009}, title = {Five Lectures on Optical Quantum Computing}, journal = {Theoretical Foundations of Quantum Information Processing and Communication: Selected Topics}, volume = {787}, pages = {187}, doi = {10.1007/978-3-642-02871-7\_7}, ) @inproceedings(MP-2008, author = {Mehdi Mhalla and Simon Perdrix}, year = {2008}, title = {Finding Optimal Flows Efficiently}, booktitle = {International Colloquium on Automata, Languages, and Programming (ICALP'10)}, publisher = {Springer Berlin Heidelberg}, address = {Berlin, Heidelberg}, pages = {857--868}, doi = {10.1007/978-3-540-70575-8\_70}, note = {{\href{https://arxiv.org/abs/0709.2670}{\textsf{[arXiv:0709.2670]}}}}, ) @inproceedings(perdrix:hal-01377339, author = {Simon Perdrix and Luc Sanselme}, year = {2017}, title = {{Determinism and Computational Power of Real Measurement-based Quantum Computation}}, booktitle = {{FCT'17- 21st International Symposium on Fundamentals of Computation Theory}}, address = {Bordeaux, France}, pages = {395--408}, doi = {10.1007/978-3-662-55751-8\_31}, url = {https://hal.archives-ouvertes.fr/hal-01377339}, note = {\href{https://arxiv.org/abs/1610.02824}{\textsf{[arXiv:1610.02824]}}}, ) @inproceedings(vilmart2018near, author = {Renaud Vilmart}, year = {2019}, title = {A Near-Optimal Axiomatisation of {ZX}-Calculus for Pure Qubit Quantum Mechanics}, booktitle = {Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)}, doi = {10.1109/LICS.2019.8785765}, note = {\href{https://arxiv.org/abs/1812.09114}{\textsf{[arXiv:1812.09114]}}}, )