Encoding High-level Quantum Programs as SZX-diagrams

Augustin Borgna, Rafael Romero

The Scalable ZX-calculus is a compact graphical language used to reason about linear maps between quantum states. These diagrams have multiple applications, but they frequently hav…