A Diagrammatic Axiomatisation of Fermionic Quantum Circuits

Amar Hadzihasanovic, Giovanni De Felice, Kang Feng Ng, Michael Wagner
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
more » ... 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.
doi:10.4230/lipics.fscd.2018.17 dblp:conf/rta/HadzihasanovicF18 fatcat:vndkk7qcufbnbfij4japvw56jm