1: \begin{abstract}

2: \centerline{\textit{\normalsize Dedicated to the memory of

3:     Abdelrhman Elkasapy (1983--2017)}}

4: \blankline

5: 

6: We improve the Solovay-Kitaev theorem and algorithm for a general finite,

7: inverse-closed generating set acting on a qudit.  Prior versions

8: of the algorithm can efficiently find a word of length $O((\log

9: 1/\epsilon)^{3+\delta})$ to approximate an arbitrary target gate

10: to within $\eps$.  Using two new ideas, each of which reduces the

11: exponent separately, our new bound on the world length is $O((\log

12: 1/\epsilon)^{1.44042\ldots+\delta})$.  Our result holds more generally for

13: any finite set that densely generates any connected, semisimple real Lie

14: group, with an extra length term in the non-compact case to reach group

15: elements far away from the identity.

16: \end{abstract}

17: