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