FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
A diagrammatic axiomatisation of fermionic quantum circuits

Authors: Amar Hadzihasanovic, Giovanni de Felice and Kang Feng Ng

Paper Information

Title:A diagrammatic axiomatisation of fermionic quantum circuits
Authors:Amar Hadzihasanovic, Giovanni de Felice and Kang Feng Ng
Proceedings:FSCD Presented Papers
Editor: Helene Kirchner
Keywords:quantum computing, fermionic quantum computing, string diagrams, zw calculus, zx calculus, categorical quantum mechanics, monoidal categories
Abstract:

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.

Pages:21
Talk:Jul 09 15:00 (Session 50B: Quantum Computing)
Paper: