License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.FSCD.2018.17
URN: urn:nbn:de:0030-drops-91873
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2018/9187/
Go to the corresponding LIPIcs Volume Portal

Hadzihasanovic, Amar ; de Felice, Giovanni ; Ng, Kang Feng

A Diagrammatic Axiomatisation of Fermionic Quantum Circuits

pdf-format:
LIPIcs-FSCD-2018-17.pdf (0.6 MB)

Abstract

We introduce the fermionic ZW calculus, a string-diagrammatic language for fermionic quantum computing (FQC). After defining a fermionic circuit model, we present the basic components of the calculus, together with their interpretation, and show how the main physical gates of interest in FQC can be represented in the language. We then list our axioms, and derive some additional equations. We prove that the axioms provide a complete equational axiomatisation of the monoidal category whose objects are quantum systems of finitely many local fermionic modes, with operations that preserve or reverse the parity (number of particles mod 2) of states, and the tensor product, corresponding to the composition of two systems, as monoidal product. We achieve this through a procedure that rewrites any diagram in a normal form. We conclude by showing, as an example, how the statistics of a fermionic Mach-Zehnder interferometer can be calculated in the diagrammatic language.

BibTeX - Entry

@InProceedings{hadzihasanovic_et_al:LIPIcs:2018:9187,
  author =	{Amar Hadzihasanovic and Giovanni de Felice and Kang Feng Ng},
  title =	{{A Diagrammatic Axiomatisation of Fermionic Quantum Circuits}},
  booktitle =	{3rd International Conference on Formal Structures for  Computation and Deduction (FSCD 2018)},
  pages =	{17:1--17:20},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-077-4},
  ISSN =	{1868-8969},
  year =	{2018},
  volume =	{108},
  editor =	{H{\'e}l{\`e}ne Kirchner},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2018/9187},
  URN =		{urn:nbn:de:0030-drops-91873},
  doi =		{10.4230/LIPIcs.FSCD.2018.17},
  annote =	{Keywords: Fermionic Quantum Computing, String Diagrams, Categorical Quantum Mechanics}
}

Keywords: Fermionic Quantum Computing, String Diagrams, Categorical Quantum Mechanics
Collection: 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018)
Issue Date: 2018
Date of publication: 04.07.2018

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI