Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus

Quantum circuit optimizations for NISQ architectures

(2020) Beatrice Nash et al.   Quantum Science and Technology

Shorter Stabilizer Circuits via Bruhat Decomposition and Quantum Circuit Transformations

(2018) Dmitri Maslov et al.   IEEE TRANSACTIONS ON INFORMATION THEORY

Automated optimization of large quantum circuits with continuous parameters

(2018) Yunseong Nam et al.   npj Quantum Information

Polynomial-Time T-Depth Optimization of Clifford+T Circuits Via Matroid Partitioning

(2014) Matthew Amy et al.   IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS

The ZX-calculus is complete for stabilizer quantum mechanics

(2014) Miriam Backens   NEW JOURNAL OF PHYSICS

Optimization of Clifford circuits

(2013) Vadym Kliuchnikov et al.   PHYSICAL REVIEW A

Interacting quantum observables: categorical algebra and diagrammatics

(2011) Bob Coecke et al.   NEW JOURNAL OF PHYSICS