Giovanni de Felice ; Amar Hadzihasanovic ; Kang Feng Ng - A diagrammatic calculus of fermionic quantum circuits

lmcs:5143 - Logical Methods in Computer Science, September 2, 2019, Volume 15, Issue 3 - https://doi.org/10.23638/LMCS-15(3:26)2019
A diagrammatic calculus of fermionic quantum circuitsArticle

Authors: Giovanni de Felice ; Amar Hadzihasanovic ; Kang Feng Ng

    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 our 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 systems of finitely many local fermionic modes (LFMs), with maps that preserve or reverse the parity of states, and the tensor product as monoidal product. We achieve this through a procedure that rewrites any diagram in a normal form. As an example, we show how the statistics of a fermionic Mach-Zehnder interferometer can be calculated in the diagrammatic language. We conclude by giving a diagrammatic treatment of the dual-rail encoding, a standard method in optical quantum computing used to perform universal quantum computation.


    Volume: Volume 15, Issue 3
    Published on: September 2, 2019
    Accepted on: June 28, 2019
    Submitted on: January 31, 2019
    Keywords: Computer Science - Logic in Computer Science,Quantum Physics,81P68, 18D10

    3 Documents citing this article

    Consultation statistics

    This page has been seen 1214 times.
    This article's PDF has been downloaded 379 times.