Title:Tensor networks and graphical calculus for open quantum systems

Abstract:We present a graphical calculus for completely positive maps and in doing so cast the theory of open quantum systems into the language of tensor networks. We tailor the theory of tensor networks to pictographically represent the Liouville-superoperator, Choi-matrix, process-matrix, Kraus, and system-environment representations for the evolution of open-system states, to expose how these representations interrelate, and to concisely transform between them. Several of these transformations have succinct depictions as wire bending dualities in our graphical calculus --- reshuffling, vectorization, and the Choi-Jamiolkowski isomorphism. To further demonstrate the utility of the presented graphical calculus we include several examples where we provide constructions, and simpler proofs of several useful quantities in quantum information theory. We demonstrate the use of graphical approaches to construct superoperator representations of common matrix operations, and to deal with composing and reducing the number of quantum systems in the superoperator convention. We present a proof of a simple condition for whether an arbitrary bipartite state may be used for ancilla assisted process tomography and find that after applying reshuffling transformation to the bipartite state the resulting operator must be invertible if it is to allow for complete recovery of the unknown channel. As final examples we derive expressions for the average gate fidelity and entanglement fidelity of a channel in terms of each of the different representations of the channel. Having new tools to investigate old problems can often lead to surprising new results, and the graphical calculus presented in this paper should lead to a better understanding of the interrelation between CP-maps and quantum theory.