Fetching the paper…
Reading the bibliography…
We present an abstract model of quantum computation, the "Pauli Fusion" model, whose primitive operations correspond closely to generators of the ZX calculus (a formal graphical language for quantum computing).
Titouan Carette, Emmanuel Jeandel, Simon Perdrix & Renaud Vilmart (2019): Completeness of Graphical Languages for Mixed States Quantum Mechanics · 1902
Earlier work this paper cites.
In: 14th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2019)
Alexander Cowtan, Silas Dilkes, Ross Duncan, Alexandre Krajenbrink, Will Simmons & Seyon Sivarajah (2019): On the qubit routing problem · 1902
Earlier work this paper cites.
Ross Duncan, Aleks Kissinger, Simon Pedrix & John van de Wetering (2019): Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus · 1902
Earlier work this paper cites.
Aleks Kissinger & Arianne Meijer-van de Griend (2019): CNOT circuit extraction for topologically-constrained quantum memories · 1904
Earlier work this paper cites.
In: Proceedings of TQC 2020 (to appear)
Niel de Beaudrap, Xiaoning Bian & Quanlong Wang (2020): Fast and effective techniques for T-count reduction via spider nest identities · 2004
Earlier work this paper cites.
Physical Review Letters
Daniel E Browne & Terry Rudolph (2005): Resource-efficient linear optical quantum computation · 2005
Earlier work this paper cites.
Physical Review A
Vincent Danos & Elham Kashefi (2006): Determinism in the one-way model · 2006
Earlier work this paper cites.
New Journal of Physics
Daniel E. Browne, Elham Kashefi, Mehdi Mhalla & Simon Perdrix (2007): Generalized flow and determinism in measurement-based quantum computation · 2007
Earlier work this paper cites.
In: International Colloquium on Automata, Languages, and Programming (ICALP’10)
Mehdi Mhalla & Simon Perdrix (2008): Finding Optimal Flows Efficiently · 2008
Earlier work this paper cites.
Theoretical Foundations of Quantum Information Processing and Communication: Selected Topics
Pieter Kok (2009): Five Lectures on Optical Quantum Computing · 2009
Earlier work this paper cites.
Semantic Techniques in Quantum Computation
Vincent Danos, Elham Kashefi, Prakash Panangaden & Simon Perdrix (2010): Extended Measurement Calculus · 2010
Cited alongside, same era.
In Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide & Paul G. Spirakis, editors: Automata, Languages and Programming
Ross Duncan & Simon Perdrix (2010): Rewriting Measurement-Based Quantum Computations with Generalised Flow · 2010
Cited alongside, same era.
Bob Coecke & Ross Duncan (2011): Interacting Quantum Observables: Categorical Algebra and Diagrammatics · 2011
Cited alongside, same era.
New Journal of Physics
C. Horsman, A. G Fowler, S. Devitt & R. Van Meter (2012): Surface code quantum computing by lattice surgery · 2012
Cited alongside, same era.
Ross Duncan & Maxime Lucas (2013): Verifying the Steane code with Quantomatic · 2013
Cambridge University Press
Bob Coecke & Aleks Kissinger (2017): Picturing Quantum Processes: A first course in quantum theory and diagrammatic reasoning · 2017
Later among the works it cites.
In: FCT’17- 21st International Symposium on Fundamentals of Computation Theory
Simon Perdrix & Luc Sanselme (2017): Determinism and Computational Power of Real Measurement-based Quantum Computation · 2017
Later among the works it cites.
In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science
Amar Hadzihasanovic, Kang Feng Ng & Quanlong Wang (2018): Two Complete Axiomatisations of Pure-state Qubit Quantum Computing · 2018
Later among the works it cites.
In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
Emmanuel Jeandel, Simon Perdrix & Renaud Vilmart (2018): A complete axiomatisation of the ZX-calculus for Clifford+T quantum mechanics · 2018
Later among the works it cites.
In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cited alongside, same era.
Ross Duncan & Simon Perdrix (2013): Pivoting Makes the ZX-Calculus Complete for Real Stabilizers · 2013
Cited alongside, same era.
M. Backens (2014): The ZX-calculus is complete for stabilizer quantum mechanics · 2014
Cited alongside, same era.
Nicholas Chancellor, Aleks Kissinger, Joschka Roffe, Stefan Zohren & Dominic Horsman (2016): Graphical structures for design and verification of quantum error correction · 2016
Cited alongside, same era.
M. Backens, S. Perdrix & Q. Wang (2017): Towards a Minimal Stabilizer ZX-calculus · 2017
Cited alongside, same era.
Emmanuel Jeandel, Simon Perdrix & Renaud Vilmart (2018): Diagrammatic Reasoning Beyond Clifford+T Quantum Mechanics · 2018
Later among the works it cites.
Accessed 10/04/2019
Google: https://ai.googleblog.com/2018/03/a-preview-of-bristlecone-googles-new.html · 2019
Closest in time.
Accessed 10/04/2019
IBM: https://www.research.ibm.com/ibm-q/ · 2019
Closest in time.
In: Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
Emmanuel Jeandel, Simon Perdrix & Renaud Vilmart (2019): A Generic Normal Form for ZX-Diagrams and Application to the Rational Angle Completeness · 2019
Closest in time.
In: Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
Renaud Vilmart (2019): A Near-Optimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics · 2019
Closest in time.