Rewriting Measurement-Based Quantum Computations with Generalised Flow

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. In addition this method can detect errors in the correction strategy used to make the pattern deterministic.

• Type: Journal
• Year: 2010
• Where: ICALP
• Authors: Ross Duncan, Simon Perdrix
• Keywords: Deterministic Measurement Pattern, ICALP 2010, Measurement Patterns, Measurement-based Quantum Computations, Programming Languages