Provably optimal exact gate synthesis from a discrete gate set

Élie Gouzien, Nicolas Sangouard

We propose a method for exact circuit synthesis using a discrete gate set, as required for fault-tolerant quantum computing. Our approach translates the problem of synthesizing a g…