We present a method for verifying measurement-based quantum computations, by producing a quantum circuit equivalent to a given deterministic measurement pattern. We define a diagrammatic presentation of the pattern, and produce a circuit via a rewriting strategy based on the generalised flow of the pattern. Unlike other methods for translating measurement patterns with generalised flow to circuits, this method uses neither ancilla qubits nor acausal loops. © 2010 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Duncan, R., & Perdrix, S. (2010). Rewriting measurement-based quantum computations with generalised flow. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6199 LNCS, pp. 285–296). Springer Verlag. https://doi.org/10.1007/978-3-642-14162-1_24
Mendeley helps you to discover research relevant for your work.