Completeness of Graphical Languages for Mixed States Quantum Mechanics
Completeness of Graphical Languages for Mixed States Quantum Mechanics
There exist several graphical languages for quantum information processing, like quantum circuits, ZX-Calculus, ZW-Calculus, etc. Each of these languages forms a †-symmetric monoidal category (†-SMC) and comes with an interpretation functor to the †-SMC of (finite dimension) Hilbert spaces. In the recent years, one of the main achievements of the …