Rewriting measurement-based quantum computations with generalised flow

Ross Duncan, Simon Perdrix

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

49 Citations (Scopus)

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.
Original languageEnglish
Title of host publicationAutomata, languages and programming
Subtitle of host publication37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II
EditorsSamson Abramsky, Cyril Gavoille , Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis
PublisherSpringer
Pages285-296
Number of pages12
ISBN (Print)9783642141614
DOIs
Publication statusPublished - 2010
Event37th International Colloquium on Automata, Languages and Programming (ICALP 2010) - , France
Duration: 6 Jul 2010 → …

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume6199
ISSN (Print)0302-9743

Conference

Conference37th International Colloquium on Automata, Languages and Programming (ICALP 2010)
CountryFrance
Period6/07/10 → …

Keywords

  • generalised flow
  • rewriting
  • measurement-based
  • quantum computations

Fingerprint Dive into the research topics of 'Rewriting measurement-based quantum computations with generalised flow'. Together they form a unique fingerprint.

Cite this