2000 character limit reached
Quantum Linear Optics via String Diagrams (2204.12985v4)
Published 27 Apr 2022 in quant-ph and cs.LO
Abstract: We establish a formal bridge between qubit-based and photonic quantum computing. We do this by defining a functor from the ZX calculus to linear optical circuits. In the process we provide a compositional theory of quantum linear optics which allows to reason about events involving multiple photons such as those required to perform linear-optical and fusion-based quantum computing.