Interacting quantum observables: categorical algebra and diagrammatics

Bob Coecke, Ross Duncan

Research output: Contribution to journalArticle

94 Citations (Scopus)

Abstract

This paper has two tightly intertwined aims: (i) to introduce an intuitive and universal graphical calculus for multi-qubit systems, the ZX-calculus, which greatly simplifies derivations in the area of quantum computation and information. (ii) To axiomatize complementarity of quantum observables within a general framework for physical theories in terms of dagger symmetric monoidal categories. We also axiomatize phase shifts within this framework. Using the well-studied canonical correspondence between graphical calculi and dagger symmetric monoidal categories, our results provide a purely graphical formalisation of complementarity for quantum observables. Each individual observable, represented by a commutative special dagger Frobenius algebra, gives rise to an Abelian group of phase shifts, which we call the phase group. We also identify a strong form of complementarity, satisfied by the Z- and X-spin observables, which yields a scaled variant of a bialgebra.
LanguageEnglish
Article number043016
Number of pages85
JournalNew Journal of Physics
Volume13
Issue numberApril
DOIs
Publication statusPublished - Apr 2011

Fingerprint

calculus
Phase shift
Algebra
algebra
Quantum computers
phase shift
quantum computation
derivation

Keywords

  • computational physics
  • quantum observables
  • categorical algebra
  • diagrammatics

Cite this

@article{ad634b73639340feae05613627d9f331,
title = "Interacting quantum observables: categorical algebra and diagrammatics",
abstract = "This paper has two tightly intertwined aims: (i) to introduce an intuitive and universal graphical calculus for multi-qubit systems, the ZX-calculus, which greatly simplifies derivations in the area of quantum computation and information. (ii) To axiomatize complementarity of quantum observables within a general framework for physical theories in terms of dagger symmetric monoidal categories. We also axiomatize phase shifts within this framework. Using the well-studied canonical correspondence between graphical calculi and dagger symmetric monoidal categories, our results provide a purely graphical formalisation of complementarity for quantum observables. Each individual observable, represented by a commutative special dagger Frobenius algebra, gives rise to an Abelian group of phase shifts, which we call the phase group. We also identify a strong form of complementarity, satisfied by the Z- and X-spin observables, which yields a scaled variant of a bialgebra.",
keywords = "computational physics, quantum observables, categorical algebra, diagrammatics",
author = "Bob Coecke and Ross Duncan",
year = "2011",
month = "4",
doi = "10.1088/1367-2630/13/4/043016",
language = "English",
volume = "13",
journal = "New Journal of Physics",
issn = "1367-2630",
number = "April",

}

Interacting quantum observables : categorical algebra and diagrammatics. / Coecke, Bob; Duncan, Ross.

In: New Journal of Physics, Vol. 13, No. April, 043016 , 04.2011.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Interacting quantum observables

T2 - New Journal of Physics

AU - Coecke, Bob

AU - Duncan, Ross

PY - 2011/4

Y1 - 2011/4

N2 - This paper has two tightly intertwined aims: (i) to introduce an intuitive and universal graphical calculus for multi-qubit systems, the ZX-calculus, which greatly simplifies derivations in the area of quantum computation and information. (ii) To axiomatize complementarity of quantum observables within a general framework for physical theories in terms of dagger symmetric monoidal categories. We also axiomatize phase shifts within this framework. Using the well-studied canonical correspondence between graphical calculi and dagger symmetric monoidal categories, our results provide a purely graphical formalisation of complementarity for quantum observables. Each individual observable, represented by a commutative special dagger Frobenius algebra, gives rise to an Abelian group of phase shifts, which we call the phase group. We also identify a strong form of complementarity, satisfied by the Z- and X-spin observables, which yields a scaled variant of a bialgebra.

AB - This paper has two tightly intertwined aims: (i) to introduce an intuitive and universal graphical calculus for multi-qubit systems, the ZX-calculus, which greatly simplifies derivations in the area of quantum computation and information. (ii) To axiomatize complementarity of quantum observables within a general framework for physical theories in terms of dagger symmetric monoidal categories. We also axiomatize phase shifts within this framework. Using the well-studied canonical correspondence between graphical calculi and dagger symmetric monoidal categories, our results provide a purely graphical formalisation of complementarity for quantum observables. Each individual observable, represented by a commutative special dagger Frobenius algebra, gives rise to an Abelian group of phase shifts, which we call the phase group. We also identify a strong form of complementarity, satisfied by the Z- and X-spin observables, which yields a scaled variant of a bialgebra.

KW - computational physics

KW - quantum observables

KW - categorical algebra

KW - diagrammatics

U2 - 10.1088/1367-2630/13/4/043016

DO - 10.1088/1367-2630/13/4/043016

M3 - Article

VL - 13

JO - New Journal of Physics

JF - New Journal of Physics

SN - 1367-2630

IS - April

M1 - 043016

ER -