1 citations · 1 across the 1 of their papers we have counts for
4 papers · 1 filter
Proceedings 18th International Conference on Quantum Physics and Logic
Chris Heunen, Miriam Backens
This volume contains the proceedings of the 18th International Conference on Quantum Physics and Logic (QPL 2021), which was held June 7-11, 2021 at the University of Gdansk and on…
There and back again: A circuit extraction tale
Miriam Backens, Hector Miller-Bakewell, Giovanni de Felice +2
Translations between the quantum circuit model and the measurement-based one-way model are useful for verification and optimisation of quantum computations. They make crucial use o…
ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non-linearity
Miriam Backens, Aleks Kissinger
We present a new graphical calculus that is sound and complete for a universal family of quantum circuits, which can be seen as the natural string-diagrammatic extension of the app…
A new Holant dichotomy inspired by quantum computation
Miriam Backens
Holant problems are a framework for the analysis of counting complexity problems on graphs. This framework is simultaneously general enough to encompass many other counting problem…