Rewriting measurement-based quantum computations with generalised flow

Ross Duncan, Simon Perdrix

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

39 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.
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 → …

Fingerprint

Quantum computers
Networks (circuits)
Equivalent circuits

Keywords

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

Cite this

Duncan, R., & Perdrix, S. (2010). Rewriting measurement-based quantum computations with generalised flow. In S. Abramsky, C. Gavoille , C. Kirchner, F. Meyer auf der Heide, & P. G. Spirakis (Eds.), Automata, languages and programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II (pp. 285-296). (Lecture Notes in Computer Science; Vol. 6199). Springer. https://doi.org/10.1007/978-3-642-14162-1_24
Duncan, Ross ; Perdrix, Simon. / Rewriting measurement-based quantum computations with generalised flow. Automata, languages and programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II. editor / Samson Abramsky ; Cyril Gavoille ; Claude Kirchner ; Friedhelm Meyer auf der Heide ; Paul G. Spirakis . Springer, 2010. pp. 285-296 (Lecture Notes in Computer Science).
@inproceedings{37ecfad93fde466aa721c0f33961363c,
title = "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.",
keywords = "generalised flow, rewriting, measurement-based , quantum computations",
author = "Ross Duncan and Simon Perdrix",
year = "2010",
doi = "10.1007/978-3-642-14162-1_24",
language = "English",
isbn = "9783642141614",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "285--296",
editor = "Abramsky, {Samson } and {Gavoille }, {Cyril } and Kirchner, {Claude } and {Meyer auf der Heide}, {Friedhelm } and {Spirakis }, {Paul G. }",
booktitle = "Automata, languages and programming",

}

Duncan, R & Perdrix, S 2010, Rewriting measurement-based quantum computations with generalised flow. in S Abramsky, C Gavoille , C Kirchner, F Meyer auf der Heide & PG Spirakis (eds), Automata, languages and programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II. Lecture Notes in Computer Science, vol. 6199, Springer, pp. 285-296, 37th International Colloquium on Automata, Languages and Programming (ICALP 2010), France, 6/07/10. https://doi.org/10.1007/978-3-642-14162-1_24

Rewriting measurement-based quantum computations with generalised flow. / Duncan, Ross; Perdrix, Simon.

Automata, languages and programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II. ed. / Samson Abramsky; Cyril Gavoille ; Claude Kirchner; Friedhelm Meyer auf der Heide; Paul G. Spirakis . Springer, 2010. p. 285-296 (Lecture Notes in Computer Science; Vol. 6199).

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

TY - GEN

T1 - Rewriting measurement-based quantum computations with generalised flow

AU - Duncan, Ross

AU - Perdrix, Simon

PY - 2010

Y1 - 2010

N2 - 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.

AB - 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.

KW - generalised flow

KW - rewriting

KW - measurement-based

KW - quantum computations

U2 - 10.1007/978-3-642-14162-1_24

DO - 10.1007/978-3-642-14162-1_24

M3 - Conference contribution book

SN - 9783642141614

T3 - Lecture Notes in Computer Science

SP - 285

EP - 296

BT - Automata, languages and programming

A2 - Abramsky, Samson

A2 - Gavoille , Cyril

A2 - Kirchner, Claude

A2 - Meyer auf der Heide, Friedhelm

A2 - Spirakis , Paul G.

PB - Springer

ER -

Duncan R, Perdrix S. Rewriting measurement-based quantum computations with generalised flow. In Abramsky S, Gavoille C, Kirchner C, Meyer auf der Heide F, Spirakis PG, editors, Automata, languages and programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II. Springer. 2010. p. 285-296. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-642-14162-1_24