References

  1. Miriam Backens (2014): The ZX-calculus is complete for stabilizer quantum mechanics. New Journal of Physics 16(9), pp. 093021, doi:10.1088/1367-2630/16/9/093021.
  2. E. Bernstein & U. Vazirani (1993): Quantum complexity theory. In: Proceedings of the twenty-fifth annual ACM symposium on Theory of computing. ACM New York, NY, USA, pp. 11–20, doi:10.1145/167088.167097.
  3. Filippo Bonchi, PawełSobociński & Fabio Zanasi (2014): A Categorical Semantics of Signal Flow Graphs, pp. 435–450. Springer Berlin Heidelberg, Berlin, Heidelberg, doi:10.1007/978-3-662-44584-6_30.
  4. Stephen Clark, Bob Coecke & Mehrnoosh Sadrzadeh (2010): Mathematical Foundations for a Compositional Distributional Model of Meaning.. Lambek Festschirft, special issue of Linguistic Analysis. Available at https://arxiv.org/abs/1003.4394.
  5. Bob Coecke & Ross Duncan (2011): Interacting quantum observables: categorical algebra and diagrammatics. New Journal of Physics 13(4), pp. 043016, doi:10.1088/1367-2630/13/4/043016.
  6. Bob Coecke & Aleks Kissinger (2017): Picturing quantum processes, doi:10.1017/9781316219317. Cambridge University Press.
  7. Bob Coecke & Simon Perdrix (2012): Environment and classical channels in categorical quantum mechanics. Logical Methods in Computer Science Volume 8, Issue 4, doi:10.2168/LMCS-8(4:14)2012.
  8. Bob Coecke, Simon Perdrix & Éric Oliver Paquette (2008): Bases in Diagrammatic Quantum Protocols. Electronic Notes in Theoretical Computer Science 218, pp. 131 – 152, doi:10.1016/j.entcs.2008.10.009. Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIV).
  9. Nicolas Delfosse, Philippe Allard Guerin, Jacob Bian & Robert Raussendorf (2015): Wigner Function Negativity and Contextuality in Quantum Computation on Rebits. Phys. Rev. X 5, pp. 021003, doi:10.1103/PhysRevX.5.021003.
  10. Ross Duncan & Simon Perdrix (2009): Graphs States and the necessity of Euler Decomposition. Mathematical Theory and Computational Practice 5635, pp. 167–177, doi:10.1007/978-3-642-03073-4.
  11. Ross Duncan & Simon Perdrix (2010): Rewriting measurement-based quantum computations with generalised flow. Lecture Notes in Computer Science 6199, pp. 285–296, doi:10.1007/978-3-642-14162-1_24. Available at http://personal.strath.ac.uk/ross.duncan/papers/gflow.pdf.
  12. Ross Duncan & Simon Perdrix (2013): Pivoting makes the ZX-calculus complete for real stabilizers. Electronic Proceedings in Theoretical Computer Science, doi:10.4204/EPTCS.171.5.
  13. Richard P Feynman, Robert B Leighton, Matthew Sands & R Bruce Lindsay (1966): The feynman lectures on physics, vol. 3: Quantum mechanics.
  14. Lucien Hardy & William K. Wootters (2012): Limited Holism and Real-Vector-Space Quantum Theory. Foundations of Physics 42(3), pp. 454–473, doi:10.1007/s10701-011-9616-6.
  15. Emmanuel Jeandel, Simon Perdrix & Renaud Vilmart (2017): A Complete Axiomatisation of the ZX-Calculus for Clifford+ T Quantum Mechanics. arXiv preprint arXiv:1705.11151.
  16. Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart & Quanlong Wang (2017): ZX-Calculus: Cyclotomic Supplementarity and Incompleteness for Clifford+T quantum mechanics. In: 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017). Available at https://hal.archives-ouvertes.fr/hal-01445707.
  17. Alex Lang & Bob Coecke (2011): Trichromatic Open Digraphs for Understanding Qubits. Electronic Proceedings in Theoretical Computer Science 95, pp. 193–209, doi:10.4204/EPTCS.95.14.
  18. Matthew McKague (2013): On the power quantum computation over real Hilbert spaces. International Journal of Quantum Information 11(01), pp. 1350001, doi:10.1142/S0219749913500019.
  19. Mehdi Mhalla & Simon Perdrix (2013): Graph States, Pivot Minor, and Universality of (X, Z)-measurements. International Journal of Unconventional Computing 9(1-2), pp. 153–171.
  20. Michael A. Nielsen & Isaac L. Chuang (2010): Quantum Computation and Quantum Information: 10th Anniversary Edition. Cambridge University Press, doi:10.1017/CBO9780511976667.
  21. Simon Perdrix & Luc Sanselme (2017): Determinism and Computational Power of Real Measurement-based Quantum Computation. In: 21st International Symposium on Fundamentals of Computation Theory (FCT'17), doi:10.1007/978-3-662-55751-8_31.
  22. Simon Perdrix & Quanlong Wang (2016): Supplementarity is Necessary for Quantum Diagram Reasoning. In: 41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016), Leibniz International Proceedings in Informatics (LIPIcs) 58, Krakow, Poland, pp. 76:1–76:14, doi:10.4230/LIPIcs.MFCS.2016.76.
  23. Peter Selinger (2013): Quantum circuits of T-depth one. Phys. Rev. A 87, pp. 042302, doi:10.1103/PhysRevA.87.042302.
  24. Christian Schröder de Witt & Vladimir Zamdzhiev (2014): The ZX-calculus is incomplete for quantum mechanics. Electronic Proceedings in Theoretical Computer Science, doi:10.4204/EPTCS.172.20.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org