A diagrammatic axiomatisation of fermionic quantum circuits

01/04/2018
by   Amar Hadzihasanovic, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/08/2019

Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus

We present a new circuit-to-circuit optimisation routine based on an equ...
research
04/30/2021

Automatically Differentiable Quantum Circuit for Many-qubit State Preparation

Constructing quantum circuits for efficient state preparation belongs to...
research
02/18/2022

Circuit Extraction for ZX-diagrams can be #P-hard

The ZX-calculus is a graphical language for reasoning about quantum comp...
research
09/23/2017

The algebra of entanglement and the geometry of composition

String diagrams turn algebraic equations into topological moves that hav...
research
04/27/2022

Quantum Linear Optics via String Diagrams

We establish a formal bridge between qubit-based and photonic quantum co...
research
03/29/2021

ZX-Calculus and Extended Wolfram Model Systems II: Fast Diagrammatic Reasoning with an Application to Quantum Circuit Simplification

This article presents a novel algorithmic methodology for performing aut...
research
09/15/2019

Human Language: A Boson Gas of Quantum Entangled Cognitons

We model a piece of text of human language telling a story by means of t...

Please sign up or login with your details

Forgot password? Click here to reset