Spectral theorem for the Lindblad equation for quadratic open fermionic systems

The spectral theorem is proven for the quantum dynamics of quadratic open systems of n fermions described by the Lindblad equation. Invariant eigenspaces of the many-body Liouvillean dynamics and their largest Jordan blocks are explicitly constructed for all eigenvalues. For eigenvalue zero we describe an algebraic procedure for constructing (possibly higher dimensional) spaces of (degenerate) non-equilibrium steady states.