DROPS

Document

DOI: 10.4230/LIPIcs.MFCS.2022.24

Complete ZX-Calculi for the Stabiliser Fragment in Odd Prime Dimensions

Authors: Robert I. Booth and Titouan Carette

Published in: LIPIcs, Volume 241, 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022)

Abstract

We introduce a family of ZX-calculi which axiomatise the stabiliser fragment of quantum theory in odd prime dimensions. These calculi recover many of the nice features of the qubit ZX-calculus which were lost in previous proposals for higher-dimensional systems. We then prove that these calculi are complete, i.e. provide a set of rewrite rules which can be used to prove any equality of stabiliser quantum operations. Adding a discard construction, we obtain a calculus complete for mixed state stabiliser quantum mechanics in odd prime dimensions, and this furthermore gives a complete axiomatisation for the related diagrammatic language for affine co-isotropic relations.

Cite as

Robert I. Booth and Titouan Carette. Complete ZX-Calculi for the Stabiliser Fragment in Odd Prime Dimensions. In 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 241, pp. 24:1-24:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)

Copy BibTex To Clipboard

@InProceedings{booth_et_al:LIPIcs.MFCS.2022.24,
  author =	{Booth, Robert I. and Carette, Titouan},
  title =	{{Complete ZX-Calculi for the Stabiliser Fragment in Odd Prime Dimensions}},
  booktitle =	{47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022)},
  pages =	{24:1--24:15},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-256-3},
  ISSN =	{1868-8969},
  year =	{2022},
  volume =	{241},
  editor =	{Szeider, Stefan and Ganian, Robert and Silva, Alexandra},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2022.24},
  URN =		{urn:nbn:de:0030-drops-168225},
  doi =		{10.4230/LIPIcs.MFCS.2022.24},
  annote =	{Keywords: ZX-calculus, completeness, quantum, stabiliser, qudits}
}

Search Results

Documents authored by Booth, Robert I.

Complete ZX-Calculi for the Stabiliser Fragment in Odd Prime Dimensions

Abstract

Cite as

Thanks for your feedback!

Could not send message