Rewriting Measurement-Based Quantum Computations with Generalised Flow

  • Ross Duncan
  • Simon Perdrix
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6199)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Ross Duncan
    • 1
  • Simon Perdrix
    • 2
  1. 1.Oxford University Computing Laboratory 
  2. 2.CNRS, LIG, Université de Grenoble 

Personalised recommendations