Breaking the cubic barrier for the inverse-free Solovay-Kitaev algorithm

Adam Bouland, Victor Shyaka, Chenyi Zhang

The Solovay-Kitaev algorithm states that it is possible to efficiently compile unitaries to accuracy $\epsilon$ in $\text{polylog}(1/\epsilon )$ time using any universal gate set. While Solovay a…