## 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: |