In this paper, we give an overview of the circuit optimisation methods used by TKET. We focus on a novel technique based around phase gadgets presented in ZX-calculus, which makes it easy to reason about them. Taking advantage of this, we present an efficient method to translate the phase gadgets back to ∧X gates and single qubit operations suitable for execution on a quantum computer with significant reductions in gate count and circuit depth.

Download PDF