Breaking the cubic barrier in the Solovay-Kitaev algorithm

We improve the Solovay--Kitaev theorem and algorithm for a general finite, inverse-closed generating set acting on a qudit. Prior versions of the algorithm efficiently find a word of length O(n3+δ) to approximate an arbitrary target gate to n bits of precision. Using two new ideas, each of which reduces the exponent separately, our new bound on the word length is O(n1.44042ldots+δ). Our result holds more generally for any finite set that densely generates any connected, semisimple real Lie group, with an extra length term in the noncompact case to reach group elements far away from the identity.