Rewriting measurement-based quantum computations with generalised flow

Ross Duncan; Simon Perdrix

doi:10.1007/978-3-642-14162-1_24

Rewriting measurement-based quantum computations with generalised flow

Ross Duncan, Simon Perdrix

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

74 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 language	English
Title of host publication	Automata, languages and programming
Subtitle of host publication	37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II
Editors	Samson Abramsky, Cyril Gavoille , Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis
Publisher	Springer
Pages	285-296
Number of pages	12
ISBN (Print)	9783642141614
DOIs	https://doi.org/10.1007/978-3-642-14162-1_24
Publication status	Published - 2010
Event	37th International Colloquium on Automata, Languages and Programming (ICALP 2010) - , France Duration: 6 Jul 2010 → …

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	6199
ISSN (Print)	0302-9743

Conference

Conference	37th International Colloquium on Automata, Languages and Programming (ICALP 2010)
Country/Territory	France
Period	6/07/10 → …

Keywords

generalised flow
rewriting
measurement-based
quantum computations

Access to Document

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

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",

note = "37th International Colloquium on Automata, Languages and Programming (ICALP 2010) ; Conference date: 06-07-2010",

}

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 proceeding › Conference 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

T2 - 37th International Colloquium on Automata, Languages and Programming (ICALP 2010)

Y2 - 6 July 2010

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). doi: 10.1007/978-3-642-14162-1_24

Rewriting measurement-based quantum computations with generalised flow

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Cite this