Systems and techniques that facilitate efficient synthesis of optimal multi-
qubit Clifford circuits are provided. In various embodiments, a
system can receive as input a number n representing a quantity of qubits. In various instances, the
system can generate, via a cost-invariant
reduction function, as output a
library of different n-
qubit canonical representatives that respectively correspond to different cost-invariant equivalence classes of n-
qubit Clifford group elements. In various embodiments, a
system can receive as input a first Clifford
group element. In various aspects, the system can search a
database of canonical representatives, wherein different canonical representatives in the
database respectively correspond to different cost-invariant equivalence classes of Clifford group elements. In various cases, the system can identify based on the search a second Clifford
group element that implements the first Clifford
group element and that has a lower entangling-gate cost than the first Clifford group element.