6 papers
Completeness for flow-preserving rewrite rules
Miriam Backens, Simon Perdrix
Complete sets of graphical rewrite rules enable fully graphical reasoning about quantum computations and have been an area of active research for more than a decade. Many recent ap…
Generating one-way computations with flow: flow-preserving rewriting that ignores the interpretation
Miriam Backens
The one-way model is a universal model of quantum computation, driven by successive adaptive single-qubit measurements on an entangled resource state. Measurements are non-determin…
Working with measurement-based computations on qudits
Piotr Mitosek, Miriam Backens
Measurement-based quantum computing is a universal model of quantum computation in which successive product measurements of an entangled resource state drive the computation. The n…
Inserting Planar-Measured Qubits into MBQC Patterns while Preserving Flow
Miriam Backens, Thomas Perez
In the one-way model of measurement-based quantum computation (MBQC), computation proceeds via single-qubit measurements on a resource state. Flow conditions ensure that the overal…
A full dichotomy for Holant, inspired by quantum computation
Miriam Backens
Holant problems are a family of counting problems parameterised by sets of algebraic-complex valued constraint functions, and defined on graphs. They arise from the theory of holog…
An algebraic interpretation of Pauli flow, leading to faster flow-finding algorithms
Piotr Mitosek, Miriam Backens
The one-way model of quantum computation is an alternative to the circuit model. A one-way computation is driven entirely by successive adaptive measurements of a pre-prepared enta…