A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf
.
A Diagrammatic Axiomatisation of Fermionic Quantum Circuits
2018
International Conference on Rewriting Techniques and Applications
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
doi:10.4230/lipics.fscd.2018.17
dblp:conf/rta/HadzihasanovicF18
fatcat:vndkk7qcufbnbfij4japvw56jm