Graph Rewriting Language as a Platform for Quantum Diagrammatic Calculi

Kayo Tei, Haruto Mishina, Naoki Yamamoto +1

Systematic discovery of optimization paths in quantum circuit simplification remains a challenge. Today, ZX-calculus, a computing model for quantum circuit transformation, is attra…