Fetching the paper…
Reading the bibliography…
The ZX-calculus is a graphical language for reasoning about ZX-diagrams, a type of tensor networks that can represent arbitrary linear maps between qubits.
arXiv preprint arXiv:1902.03178
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.
arXiv preprint arXiv:1903.10477
Aleks Kissinger & John van de Wetering (2019): Reducing T-count with the ZX-calculus · 1903
Earlier work this paper cites.
arXiv preprint arXiv:1904.00633
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 the 37th International Colloquium on Automata, Languages and Programming (ICALP)
B. Coecke & R. Duncan (2008): Interacting quantum observables · 2008
Earlier work this paper cites.
SIAM Journal on Computing
Igor L Markov & Yaoyun Shi (2008): Simulating quantum computation by contracting tensor networks · 2008
Earlier work this paper cites.
In: Automata, Languages and Programming
B. Coecke & A. Kissinger (2010): The compositional structure of multipartite quantum entanglement · 2010
Earlier work this paper cites.
In: Proceedings of ICALP
R. Duncan & S. Perdrix (2010): Rewriting measurement-based quantum computations with generalised flow · 2010
Earlier work this paper cites.
New Journal of Physics
B. Coecke & R. Duncan (2011): Interacting quantum observables: categorical algebra and diagrammatics · 2011
Earlier work this paper cites.
In Benedikt Löwe & Glynn Winskel, editors: Proceedings 8th International Workshop on Developments in Computational Models,
Aleks Kissinger, Alex Merry & Matvey Soloviev (2014): Pattern graph rewrite systems · 2012
Cited alongside, same era.
Cambridge University Press, 10.1007/978-3-319-91376-6_6
B. Coecke & A. Kissinger (2014): Picturing Quantum Processes · 2014
Cited alongside, same era.
In Chris Heunen, Peter Selinger & Jamie Vicary, editors: Proceedings of the 12th International Workshop on Quantum Physics and Logic (QPL 2015)
Miriam Backens (2015): Making the stabilizer ZX-calculus complete for scalars · 2015
Cited alongside, same era.
In: International Conference on Automated Deduction
Aleks Kissinger & Vladimir Zamdzhiev (2015): Quantomatic: A proof assistant for diagrammatic reasoning · 2015
Cited alongside, same era.
Niel de Beaudrap & Dominic Horsman (2017): The ZX calculus is a language for surface code lattice surgery
2017
Cited alongside, same era.
arXiv preprint arXiv:1805.01450
Jianxin Chen, Fang Zhang, Mingcheng Chen, Cupjin Huang, Michael Newman & Yaoyun Shi (2018): Classical simulation of intermediate-size quantum circuits · 2018
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
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.
npj Quantum Information
Yunseong Nam, Neil J Ross, Yuan Su, Andrew M Childs & Dmitri Maslov (2018): Automated optimization of large quantum circuits with continuous parameters · 2018
Later among the works it cites.
15, Episciences.org, 10.4230/LIPIcs.FSCD.2018.17
Kang Feng Ng, Amar Hadzihasanovic & Giovanni de Felice (2019): A diagrammatic calculus of fermionic quantum circuits · 2018
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
arXiv preprint arXiv:1707.03429
Andrew W Cross, Lev S Bishop, John A Smolin & Jay M Gambetta (2017): Open quantum assembly language · 2017
Cited alongside, same era.
Ph.D. thesis, University of Oxford
Amar Hadzihasanovic (2017): The algebra of entanglement and the geometry of composition · 2017
Cited alongside, same era.
arXiv preprint arXiv:1805.02175
Miriam Backens & Aleks Kissinger (2018): ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non-linearity · 2018
Cited alongside, same era.
https://www.anaconda.com/
Anaconda: Python for Data Science
Cited in the paper.
https://matplotlib.org/
Matplotlib
Cited in the paper.
https://www.numpy.org/
NumPy
Cited in the paper.
https://jupyter.org/index.html
Project Jupyter: Project Jupyter Homepage
Cited in the paper.
Later among the works it cites.
Available at https://arxiv.org/abs/1812.09114
Renaud Vilmart (2018): A Near-Optimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics · 2018
Later among the works it cites.
In Peter Selinger & Giulio Chiribella, editors: Proceedings of the 15th International Conference on Quantum Physics and Logic (QPL)
Andrew Fagan & Ross Duncan (2019): Optimising Clifford Circuits with Quantomatic · 2019
Closest in time.
Quantum Science and Technology
Luke Ellis Heyfron & Earl Campbell (2018): An efficient quantum compiler that reduces T count · 2058
Closest in time.