Skip to main content

Rewriting Measurement−Based Quantum Computations with Generalised Flow

Ross Duncan and Simon Perdrix

Abstract

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.

Affiliation
Oxford University Computing Laboratory
Book Title
Automata‚ Languages and Programming
Editor
Abramsky‚ Samson and Gavoille‚ Cyril and Kirchner‚ Claude and Meyer auf der Heide‚ Friedhelm and Spirakis‚ Paul
Note
10.1007/978−3−642−14162−1_24
Pages
285−296
Publisher
Springer Berlin / Heidelberg
Series
Lecture Notes in Computer Science
Volume
6199
Year
2010