Until now, the most general fragment of ZX-diagrams admitting efficient circuit extraction lacked a complete set of rewriting rules. This work equips those diagrams with precisely that completeness, enabling fully graphical reasoning about quantum computations. The resulting method transforms complex diagrams into simpler forms using only flow-preserving rules, a step towards automating quantum circuit design.
Researchers Extend Rules and Achieve Complete Diagram Translation with Flow Properties
Until now, the most general fragment of ZX-diagrams admitting efficient circuit extraction lacked a complete set of rewriting rules. This work equips those diagrams with precisely that completeness, enabling fully graphical reasoning about quantum computations. The resulting method transforms complex diagrams into simpler forms using only flow-preserving rules, a step towards automating quantum circuit design.