Fetching the paper…
Reading the bibliography…
In this paper we exploit the utility of the triangle symbol which has a complicated expression in terms of spider diagrams in ZX-calculus, and its role within the ZX-representation of AND-gates in particular.
Matthew Amy (2018): Towards Large-scale Functional Verification of Universal Quantum Circuits · 1901
Earlier work this paper cites.
Fang Zhang & Jianxin Chen (2019): Optimizing T gates in Clifford+T circuit as π / 4 \pi/4 rotations around Paulis · 1903
Earlier work this paper cites.
To appear in Proceedings 17th International Conference on Quantum Physics and Logic
Quanlong Wang (2020): An algebraic axiomatisation of ZX-calculus · 1911
Earlier work this paper cites.
In J. W. de Bakker & Jan van Leeuwen, editors: Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout, The Netherlands, July 14-18, 1980, Proceedings
Tommaso Toffoli (1980): Reversible Computing · 1980
Earlier work this paper cites.
In: Proceedings of the 39th Design Automation Conference, DAC 2002, New Orleans, LA, USA, June 10-14, 2002
Kazuo Iwama, Yahiko Kambayashi & Shigeru Yamashita (2002): Transformation rules for designing CNOT-based quantum circuits · 2002
Earlier work this paper cites.
In: 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 14-17 July 2004, Turku, Finland, Proceedings
Samson Abramsky & Bob Coecke (2004): A Categorical Semantics of Quantum Protocols · 2004
Earlier work this paper cites.
In Yasuhito Kawano & Michele Mosca, editors: Theory of Quantum Computation, Communication, and Cryptography, Third Workshop, TQC 2008, Tokyo, Japan, January 30 - February 1, 2008. Revised Selected Papers
Donny Cheung, Dmitri Maslov, Jimson Mathew & Dhiraj K. Pradhan (2008): On the Design and Optimization of a Quantum Polynomial-Time Attack on Elliptic Curve Cryptography · 2008
Earlier work this paper cites.
In Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir & Igor Walukiewicz, editors: Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming & Track C: Security and Cryptography Foundations
Bob Coecke & Ross Duncan (2008): Interacting Quantum Observables · 2008
Earlier work this paper cites.
In Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide & Paul G. Spirakis, editors: Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II
Bob Coecke & Aleks Kissinger (2010): The Compositional Structure of Multipartite Quantum Entanglement · 2010
Earlier work this paper cites.
New Journal of Physics
Bob Coecke & Ross Duncan (2011): Interacting quantum observables: categorical algebra and diagrammatics · 2011
Earlier work this paper cites.
New Journal of Physics
Miriam Backens (2014): The ZX-calculus is complete for stabilizer quantum mechanics · 2014
Cited alongside, same era.
In Bob Coecke, Ichiro Hasuo & Prakash Panangaden, editors: Proceedings of the 11th workshop on Quantum Physics and Logic
Miriam Backens (2014): The ZX-calculus is complete for the single-qubit Clifford+T group · 2014
Cited alongside, same era.
In: 30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, Kyoto, Japan, July 6-10, 2015
Amar Hadzihasanovic (2015): A Diagrammatic Axiomatisation for Qubit Entanglement · 2015
Cited alongside, same era.
Cambridge University Press, 10.1017/9781316219317
Bob Coecke & Aleks Kissinger (2017): Picturing quantum processes · 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.
In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science
Emmanuel Jeandel, Simon Perdrix & Renaud Vilmart (2018): Diagrammatic Reasoning Beyond Clifford+T Quantum Mechanics · 2018
Later among the works it cites.
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.
Kang Feng Ng & Quanlong Wang (2018): Completeness of the ZX-calculus for Pure Qubit Clifford+T Quantum Mechanics · 2018
Later among the works it cites.
Ph.D. thesis, University of Oxford
Quanlong Wang (2018): Completeness of the ZX-calculus · 2018
Later among the works it cites.
In Bob Coecke & Matthew Leifer, editors: Proceedings 16th International Conference on Quantum Physics and Logic,
Niel de Beaudrap, Xiaoning Bian & Quanlong Wang (2020): Techniques to Reduce π / 4 \pi/4 -Parity-Phase Circuits, Motivated by the ZX Calculus · 2019
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Kang Feng Ng & Quanlong Wang (2017): A universal completion of the ZX-calculus · 2017
Cited alongside, same era.
In Peter Selinger & Giulio Chiribella, editors: Proceedings of the 15th International Conference on Quantum Physics and Logic,
Miriam Backens & Aleks Kissinger (2019): ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non-linearity · 2018
Cited alongside, same era.
In Peter Selinger & Giulio Chiribella, editors: Proceedings of the 15th International Conference on Quantum Physics and Logic,
J.R.B. Cockett & Cole Comfort (2019): The Category TOF · 2018
Cited alongside, same era.
In: Reversible Computation - 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings
B. Coecke & Q. Wang (2018): ZX-Rules for 2-Qubit Clifford+T Quantum Circuits · 2018
Cited alongside, same era.
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
Cited alongside, same era.
Closest in time.
In Bob Coecke & Matthew Leifer, editors: Proceedings 16th International Conference on Quantum Physics and Logic,
Aleks Kissinger & John van de Wetering (2020): PyZX: Large Scale Automated Diagrammatic Reasoning · 2019
Closest in time.
In: 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, Vancouver, BC, Canada, June 24-27, 2019
Renaud Vilmart (2019): A Near-Minimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics · 2019
Closest in time.
In Steven T. Flammia, editor: 15th Conference on the Theory of Quantum Computation, Communication and Cryptography, TQC 2020, June 9-12, 2020, Riga, Latvia
Niel de Beaudrap, Xiaoning Bian & Quanlong Wang (2020): Fast and Effective Techniques for T-Count Reduction via Spider Nest Identities · 2020
Closest in time.
Quantum Inf. Comput
Aleks Kissinger & Arianne Meijer-van de Griend (2020): CNOT circuit extraction for topologically-constrained quantum memories · 2020
Closest in time.
Phys. Rev. A
Aleks Kissinger & John van de Wetering (2020): Reducing the number of non-Clifford gates in quantum circuits · 2020
Closest in time.