Tutorial: Graphical calculus for quantum circuits

Bob Coecke, Ross Duncan

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

Abstract

We explain the graphical zx-calculus for reasoning about qubits without any reference to the underlying categorical semantics, and illustrate its use on quantum circuits.
LanguageEnglish
Title of host publicationReversible Computation
Subtitle of host publication4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers
EditorsRobert Glück, Tetsuo Yokoyama
Place of PublicationBerlin
PublisherSpringer
Pages1-13
Number of pages13
Volume7581
ISBN (Print)9783642363146
DOIs
Publication statusPublished - 2013
Event4th International Workshop, RC 2012 - Copenhagen, Denmark
Duration: 2 Jul 20123 Jul 2012

Publication series

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

Conference

Conference4th International Workshop, RC 2012
Abbreviated titleRC 2012
CountryDenmark
CityCopenhagen
Period2/07/123/07/12

Fingerprint

Semantics
Networks (circuits)

Keywords

  • ZX-calculus
  • qubits
  • quantum circuits

Cite this

Coecke, B., & Duncan, R. (2013). Tutorial: Graphical calculus for quantum circuits. In R. Glück, & T. Yokoyama (Eds.), Reversible Computation: 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers (Vol. 7581, pp. 1-13). (Lecture Notes in Computer Science; Vol. 7581). Berlin: Springer. https://doi.org/10.1007/978-3-642-36315-3_1
Coecke, Bob ; Duncan, Ross. / Tutorial : Graphical calculus for quantum circuits. Reversible Computation: 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers. editor / Robert Glück ; Tetsuo Yokoyama. Vol. 7581 Berlin : Springer, 2013. pp. 1-13 (Lecture Notes in Computer Science).
@inproceedings{f429fa825e6144d7b92003be15e9e6a3,
title = "Tutorial: Graphical calculus for quantum circuits",
abstract = "We explain the graphical zx-calculus for reasoning about qubits without any reference to the underlying categorical semantics, and illustrate its use on quantum circuits.",
keywords = "ZX-calculus, qubits, quantum circuits",
author = "Bob Coecke and Ross Duncan",
year = "2013",
doi = "10.1007/978-3-642-36315-3_1",
language = "English",
isbn = "9783642363146",
volume = "7581",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "1--13",
editor = "Robert Gl{\"u}ck and Tetsuo Yokoyama",
booktitle = "Reversible Computation",

}

Coecke, B & Duncan, R 2013, Tutorial: Graphical calculus for quantum circuits. in R Glück & T Yokoyama (eds), Reversible Computation: 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers. vol. 7581, Lecture Notes in Computer Science, vol. 7581, Springer, Berlin, pp. 1-13, 4th International Workshop, RC 2012, Copenhagen, Denmark, 2/07/12. https://doi.org/10.1007/978-3-642-36315-3_1

Tutorial : Graphical calculus for quantum circuits. / Coecke, Bob; Duncan, Ross.

Reversible Computation: 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers. ed. / Robert Glück; Tetsuo Yokoyama. Vol. 7581 Berlin : Springer, 2013. p. 1-13 (Lecture Notes in Computer Science; Vol. 7581).

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

TY - GEN

T1 - Tutorial

T2 - Graphical calculus for quantum circuits

AU - Coecke, Bob

AU - Duncan, Ross

PY - 2013

Y1 - 2013

N2 - We explain the graphical zx-calculus for reasoning about qubits without any reference to the underlying categorical semantics, and illustrate its use on quantum circuits.

AB - We explain the graphical zx-calculus for reasoning about qubits without any reference to the underlying categorical semantics, and illustrate its use on quantum circuits.

KW - ZX-calculus

KW - qubits

KW - quantum circuits

U2 - 10.1007/978-3-642-36315-3_1

DO - 10.1007/978-3-642-36315-3_1

M3 - Conference contribution book

SN - 9783642363146

VL - 7581

T3 - Lecture Notes in Computer Science

SP - 1

EP - 13

BT - Reversible Computation

A2 - Glück, Robert

A2 - Yokoyama, Tetsuo

PB - Springer

CY - Berlin

ER -

Coecke B, Duncan R. Tutorial: Graphical calculus for quantum circuits. In Glück R, Yokoyama T, editors, Reversible Computation: 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers. Vol. 7581. Berlin: Springer. 2013. p. 1-13. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-642-36315-3_1