Graphical Calculus for Fermionic Tensors

Abstract

We introduce a graphical calculus, consisting of a set of fermionic tensors with tensor-network equations, which can be used to perform various computations in fermionic many-body physics purely diagrammatically. The indices of our tensors primarily correspond to fermionic modes, but also include qubits and fixed odd-parity states. Our graphical calculus extends the ZX calculus for systems involving qubits. We apply the calculus in order to represent various objects, operations, and computations in physics, including fermionic Gaussian states, the partial trace of Majorana modes, purification protocols, fermionization and bosonization maps, and the construction of fermionic codes.