References

  1. Samson Abramsky & Bob Coecke (2008): Categorical Quantum Mechanics. arXiv:0808.1023 [quant-ph].
  2. Miriam Backens, Hector Miller-Bakewell, Giovanni de Felice, Leo Lobski & John van de Wetering (2020): There and Back Again: A Circuit Extraction Tale. arXiv:2003.01664 [quant-ph].
  3. Marcello Benedetti, Erika Lloyd & Stefan Sack (2019): Parameterized Quantum Circuits as Machine Learning Models. arXiv:1906.07682 [quant-ph].
  4. R. F. Blute, J. R. B. Cockett & R. A. G. Seely (2006): Differential Categories. Mathematical Structures in Computer Science 16(06), pp. 1049, doi:10.1017/S0960129506005676.
  5. Nicholas Chancellor, Aleks Kissinger, Joschka Roffe, Stefan Zohren & Dominic Horsman (2018): Graphical Structures for Design and Verification of Quantum Error Correction. arXiv:1611.08012 [quant-ph].
  6. William Kingdon Clifford (1873): A Preliminary Sketch of Biquaternions.
  7. Robin Cockett, Geoffrey Cruttwell, Jonathan Gallagher, Jean-Simon Pacaud Lemay, Benjamin MacAdam, Gordon Plotkin & Dorette Pronk (2019): Reverse Derivative Categories. arXiv:1910.07065 [cs, math].
  8. Bob Coecke, Giovanni de Felice, Konstantinos Meichanetzidis & Alexis Toumi (2020): Foundations for Near-Term Quantum Natural Language Processing. ArXiv e-prints.
  9. Bob Coecke & Ross Duncan (2008): Interacting Quantum Observables. In: Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir & Igor Walukiewicz: Automata, Languages and Programming, Lecture Notes in Computer Science. Springer Berlin Heidelberg, pp. 298–310, doi:10.1016/0022-4049(80)90101-2.
  10. Bob Coecke & Aleks Kissinger (2017): Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning. Cambridge University Press, Cambridge, doi:10.1017/9781316219317.
  11. Alexander Cowtan, Silas Dilkes, Ross Duncan, Will Simmons & Seyon Sivarajah (2020): Phase Gadget Synthesis for Shallow Circuits. Electronic Proceedings in Theoretical Computer Science 318, pp. 213–228, doi:10.4204/EPTCS.318.13.
  12. Alexander Cowtan, Will Simmons & Ross Duncan (2020): A Generic Compilation Strategy for the Unitary Coupled Cluster Ansatz. arXiv:2007.10515 [quant-ph].
  13. G. S. H. Cruttwell, Bruno Gavranovi\'c, Neil Ghani, Paul Wilson & Fabio Zanasi (2021): Categorical Foundations of Gradient-Based Learning. arXiv:2103.01931 [cs, math].
  14. Niel de Beaudrap, Xiaoning Bian & Quanlong Wang (2020): Fast and Effective Techniques for T-Count Reduction via Spider Nest Identities. arXiv:2004.05164 [quant-ph].
  15. Giovanni de Felice, Alexis Toumi & Bob Coecke (2020): DisCoPy: Monoidal Categories in Python. In: Proceedings of the 3rd Annual International Applied Category Theory Conference, ACT 333. EPTCS, doi:10.4204/EPTCS.333.13.
  16. Arianne Meijer-van de Griend & Ross Duncan (2020): Architecture-Aware Synthesis of Phase Polynomials for NISQ Devices. arXiv:2004.06052 [quant-ph].
  17. Ross Duncan, Aleks Kissinger, Simon Perdrix & John van de Wetering (2020): Graph-Theoretic Simplification of Quantum Circuits with the ZX-Calculus. Quantum 4, pp. 279, doi:10.22331/q-2020-06-04-279.
  18. Ross Duncan & Simon Perdrix (2010): Rewriting Measurement-Based Quantum Computations with Generalised Flow. In: International Colloquium on Automata, Languages, and Programming. Springer, pp. 285–296, doi:10.1007/s10472-009-9141-x.
  19. Craig Gidney & Austin G. Fowler (2019): Flexible Layout of Surface Code Computations Using AutoCCZ States. arXiv:1905.08916 [quant-ph].
  20. Amar Hadzihasanovic, Kang Feng Ng & Quanlong Wang (2018): Two Complete Axiomatisations of Pure-State Qubit Quantum Computing. In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '18. ACM, New York, NY, USA, pp. 502–511, doi:10.1145/3209108.3209128.
  21. Vojtech Havlicek, Antonio D. Córcoles, Kristan Temme, Aram W. Harrow, Abhinav Kandala, Jerry M. Chow & Jay M. Gambetta (2019): Supervised Learning with Quantum Enhanced Feature Spaces. Nature 567(7747), pp. 209–212, doi:10.1038/s41586-019-0980-2.
  22. Nathan Haydon & Pawel Sobocinski (2020): Compositional Diagrammatic First-Order Logic, pp. 16.
  23. Philipp H. W. Hoffmann (2016): A Hitchhiker's Guide to Automatic Differentiation. Numerical Algorithms 72(3), pp. 775–811, doi:10.1007/s11075-015-0067-6.
  24. Emmanuel Jeandel, Simon Perdrix & Renaud Vilmart (2018): A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics. In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '18. ACM, New York, NY, USA, pp. 559–568, doi:10.1145/3209108.3209131.
  25. André Joyal & Ross Street (1988): Planar Diagrams and Tensor Algebra. Unpublished manuscript, available from Ross Street's website.
  26. André Joyal & Ross Street (1991): The Geometry of Tensor Calculus, I. Advances in Mathematics 88(1), pp. 55–112, doi:10.1016/0001-8708(91)90003-P.
  27. Joon-Hwi Kim, Maverick S. H. Oh & Keun-Young Kim (2020): Boosting Vector Calculus with the Graphical Notation. arXiv:1911.00892 [hep-th, physics:physics].
  28. Aleks Kissinger & John van de Wetering (2019): PyZX: Large Scale Automated Diagrammatic Reasoning. arXiv:1904.04735 [quant-ph].
  29. Aleks Kissinger & John van de Wetering (2020): Reducing T-Count with the ZX-Calculus. Physical Review A 102(2), pp. 022406, doi:10.1103/PhysRevA.102.022406.
  30. Konstantinos Meichanetzidis, Stefano Gogioso, Giovanni De Felice, Nicolò Chiappori, Alexis Toumi & Bob Coecke (2020): Quantum Natural Language Processing on Near-Term Quantum Computers. In: Quantum Physics and Logic (QPL).
  31. Paul-André Melliès (2006): Functorial Boxes in String Diagrams. In: Zoltán Ésik: Computer Science Logic, Lecture Notes in Computer Science. Springer Berlin Heidelberg, pp. 1–30, doi:10.1023/A:1024247613677.
  32. Aaron Meurer, Christopher P. Smith, Mateusz Paprocki, Ondřej Čertík, Sergey B. Kirpichev, Matthew Rocklin, AMiT Kumar, Sergiu Ivanov, Jason K. Moore, Sartaj Singh, Thilina Rathnayake, Sean Vig, Brian E. Granger, Richard P. Muller, Francesco Bonazzi, Harsh Gupta, Shivam Vats, Fredrik Johansson, Fabian Pedregosa, Matthew J. Curry, Andy R. Terrel, Štěpán Roučka, Ashutosh Saboo, Isuru Fernando, Sumith Kulal, Robert Cimrman & Anthony Scopatz (2017): SymPy: Symbolic Computing in Python. PeerJ Computer Science 3, pp. e103, doi:10.7717/peerj-cs.103.
  33. Roger Penrose (1971): Applications of Negative Dimensional Tensors. Scribd.
  34. Roger Penrose & Wolfgang Rindler (1984): Spinors and Space-Time: Volume 1: Two-Spinor Calculus and Relativistic Fields. Cambridge Monographs on Mathematical Physics 1. Cambridge University Press, Cambridge, doi:10.1017/CBO9780511564048.
  35. Maria Schuld, Ville Bergholm, Christian Gogolin, Josh Izaac & Nathan Killoran (2019): Evaluating Analytic Gradients on Quantum Hardware. Physical Review A 99(3), pp. 032331, doi:10.1103/PhysRevA.99.032331.
  36. Seyon Sivarajah, Silas Dilkes, Alexander Cowtan, Will Simmons, Alec Edgington & Ross Duncan (2020): Tket : A Retargetable Compiler for NISQ Devices. arXiv:2003.10611 [quant-ph].
  37. M. H. Stone (1932): On One-Parameter Unitary Groups in Hilbert Space. Annals of Mathematics 33(3), pp. 643–648, doi:10.2307/1968538.
  38. Stefan van der Walt, S. Chris Colbert & Gael Varoquaux (2011): The NumPy Array: A Structure for Efficient Numerical Computation. Computing in Science Engineering 13(2), pp. 22–30, doi:10.1109/MCSE.2011.37.
  39. Quanlong Wang (2020): Completeness of Algebraic ZX-Calculus over Arbitrary Commutative Rings and Semirings. arXiv:1912.01003 [quant-ph].
  40. Richie Yeung (2020): Diagrammatic Design and Study of Ansatze for Quantum Machine Learning. arXiv:2011.11073 [quant-ph].
  41. Chen Zhao & Xiao-Shan Gao (2021): Analyzing the Barren Plateau Phenomenon in Training Quantum Neural Network with the ZX-Calculus. arXiv:2102.01828 [quant-ph].
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org