Photo of Miriam Backens

Dr Miriam Backens

Lecturer

Research Interests

I am a member of the Theoretical Computer Science group. My research interests are in quantum computation and quantum information theory, as well as algorithms and computational complexity. Within quantum computation, my main focus is on properties and applications of graphical languages arising from categorical quantum mechanics, in particular the ZX-calculus. Within algorithms and computational complexity, I am particularly interested in the complexity of counting problems in the holant and counting CSP frameworks.

Upcoming events

Publications

  1. Miriam Backens and Leslie Ann Goldberg (2018), Holant clones and the approximability of conservative holant problems. Submitted. arXiv:1811.00817.
  2. Miriam Backens (2018), A complete dichotomy for complex-valued Holantc. In Proceedings of the 45th International Colloquium on Automata, Languages, and Programming (ICALP 2018), LIPIcs 107, pp. 12:1-12:14. arXiv:1704.05798.
  3. Miriam Backens and Aleks Kissinger (2018), ZH: A complete graphical calculus for quantum computations involving classical non-linearity. In Proceedings of the 15th Workshop on Quantum Physics and Logic (QPL 2018), EPTCS 287, 2019, pp. 23-42. arXiv:1805.02175.
  4. Miriam Backens, Andrei Bulatov, Leslie Ann Goldberg, Colin McQuillan and Stanislav Živný (2018), Boolean approximate counting CSPs with weak conservativity, and implications for ferromagnetic two-spin. Submitted. arXiv:1804.04993.
  5. Miriam Backens (2017), A new Holant dichotomy inspired by quantum computation. In Proceedings of the 44th International Colloquium on Automata, Languages, and Programming (ICALP 2017), LIPIcs 80, pp. 16:1-16:14. arXiv:1702.00767.
  6. Miriam Backens (2017), Number of superclasses of four-qubit entangled states under the inductive entanglement classification. Physical Review A 95, p. 022329. arXiv:1611.02076.
  7. Miriam Backens, Simon Perdrix and Quanlong Wang (2016), A Simplified Stabilizer ZX-calculus. In Proceedings of the 13th Workshop on Quantum Physics and Logic (QPL 2016), EPTCS 236, pp. 1-20. arXiv:1602.04744.
  8. Miriam Backens and Ali Nabi Duman (2015), A complete graphical calculus for Spekkens' toy bit theory. Foundations of Physics 46(1), pp. 70-103. arXiv:1411.1618.
  9. Miriam Backens (2015), Making the stabilizer ZX-calculus complete for scalars. In Proceedings of the 12th Workshop on Quantum Physics and Logic (QPL 2015), EPTCS 195, pp. 17-32. arXiv:1507.03854.
  10. Miriam Backens (2015), The ZX-calculus is complete for the single-qubit Clifford+T group. In Proceedings of the 11th Workshop on Quantum Physics and Logic (QPL 2014), EPTCS 172, pp. 293-303. arXiv:1412.8553.
  11. Miriam Backens (2014), The ZX-calculus is complete for stabilizer quantum mechanics. New Journal of Physics 16(9), p. 093021. arXiv:1307.7025.

Talks

  1. September 2019: "Optimising quantum computations using the ZX-calculus". Symposium on Quantum Computing and AI: Technology, Techniques and Ethics, Birmingham (invited).
  2. September 2019: "Holant problems and quantum information theory". Theoretical Computer Science Seminar, Shanghai University of Finance and Economics, Shanghai, China (invited).
  3. May 2019: "Using the completeness of the ZX-calculus to classify the complexity of computational counting problems". Quantum Group Workshop, University of Oxford.
  4. November 2018: "Quantum computing and holant problems". Q-Turn: changing paradigms in quantum science, Florianópolis, Brazil (invited).
  5. November 2018, "Classifying the computational complexity of counting problems". Seminar at the School of Mathematics, Statistics, and Applied Mathematics, National University of Ireland Galway, Ireland (invited).
  6. October 2018, "Quantum computing and holant problems". Quantum Innovators in computer science and mathematics, Institute for Quantum Computing, University of Waterloo, Canada (invited).
  7. October 2018, "Completing the ZX-calculus". Theoretical computer science seminar, School of Computer Science, University of Birmingham (invited).
  8. July 2018, "Holant problems and quantum information theory". Queen Mary Algorithms Day, Queen Mary University of London (invited).
  9. July 2018, "A complete dichotomy for complex-valued Holantc", 45th International Colloquium on Automata, Languages, and Programming (ICALP 2018), Prague, Czech Republic.
  10. May 2018, "The future of the ZX-calculus". Oxford Advanced Seminar on Informatic Structures, Department of Computer Science, University of Oxford (invited).
  11. May 2018, "The ZH-calculus". Workshop Celebrating 10 Years of the ZX-calculus, University of Oxford.
  12. January 2018, "Quantum computing and holant problems". 21st Annual Conference on Quantum Information Processing (QIP 2018), Delft University of Technology, Delft, the Netherlands.
  13. October 2017, "Holant problems and quantum information theory". Algorithms and Complexity Theory Seminar, Department of Computer Science, University of Oxford (invited).
  14. August 2017, "Holant problems and quantum information theory". Dagstuhl Seminar 17341 "Computational Counting", Schloss Dagstuhl — Leibniz-Zentrum für Informatik, Dagstuhl, Germany (invited).
  15. July 2017, "The ZX-calculus and completeness". Joint talk at the 14th Workshop on Quantum Physics and Logic (QPL 2017) and the Workshop on Quantum Structures organised by the International Quantum Structures Association (IQSA), Nijmegen, the Netherlands (invited).
  16. July 2017, "A new holant dichotomy inspired by quantum computation". 44th International Colloquium on Automata, Languages, and Programming (ICALP 2017), University of Warsaw, Poland.
  17. June 2017, "A new holant dichotomy inspired by quantum computation". 12th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2017), Université Pierre et Marie Curie, Paris, France.
  18. May 2017, "A new holant dichotomy inspired by quantum computation". 14th Central European Quantum Information Processing Workshop (CEQIP 2017), Smolenice, Slovakia.
  19. April 2017, "The holant problem and classical simulation of quantum computations". Quantum Information Theory Group Seminar, University of Bristol (invited).
  20. November 2016, "The holant problem and classical simulation of quantum computations". Oxford Advanced Seminar on Informatic Structures, Department of Computer Science, University of Oxford (invited).
  21. June 2016, "A simplified stabilizer ZX-calculus". 13th Workshop on Quantum Physics and Logic (QPL 2016), University of Strathclyde, Glasgow.
  22. October 2015, "Completeness Results for Graphical Quantum Process Languages". Centre for Quantum Information and Foundations Seminar, Department of Applied Mathematics and Theoretical Physics, University of Cambridge (invited).
  23. July 2015, "Making the stabilizer ZX-calculus complete for scalars". 12th Workshop on Quantum Physics and Logic (QPL 2015), University of Oxford.
  24. December 2014, "Completeness Results for Graphical Quantum Process Languages". Perimeter Institute Quantum Discussions, Perimeter Institute, Waterloo, Ontario, Canada (invited).
  25. October 2014, "(In)Completeness results for the ZX-calculus". Workshop Celebrating 10 Years of Categorical Quantum Mechanics, University of Oxford.
  26. June 2014, "Completeness results for the ZX-calculus for quantum computation". Department of Computer Science Student Conference, University of Oxford (joint winner of prize for best talk).
  27. June 2014, "The ZX-calculus is approximately complete for single qubits". 11th Workshop on Quantum Physics and Logic (QPL 2014), Kyoto University, Kyoto, Japan.
  28. April 2013, "The ZX-calculus is complete for stabilizer quantum mechanics". Postgraduate Conference on Quantum Fields, Gravity and Information, University of Nottingham.
  29. March 2013, "The ZX-calculus is complete for stabilizer quantum mechanics". Second Workshop on Quantum Foundations, Bellairs Research Centre, McGill University, Holetown, Barbados (invited).
  30. October 2012, "The ZX-calculus is complete for stabilizer quantum mechanics". 9th Workshop on Quantum Physics and Logic (QPL 2012), Université Libre de Bruxelles, Brussels, Belgium.

Outreach

  • February 2018: Talk on "Quantum Computing in Science and Fiction" to the Oxford University Speculative Fiction Group.
  • May 2017: Scientific guest speaker in two events of "This Moment Now" by Sylvia Rimat, an interactive art project and workshop on perceptions of time.
  • January-April 2017: Participant/trainee in "Participatory Engagement with Scientific and Technological Research through Performance (PERFORM)".