1: \begin{abstract}

2: The Solovay-Kitaev theorem states that universal quantum gate sets can be exchanged with low overhead.

3: More specifically, any gate on a fixed number of qudits can be simulated with error $\epsilon$ using merely $\polylog(1/\epsilon)$ gates from any finite universal quantum gate set $\G$.

4: One drawback to the theorem is that it requires the gate set $\G$ to be closed under inversion.

5: Here we show that this restriction can be traded for the assumption that $\G$ contains an irreducible representation of any finite group $G$.

6: This extends recent work of Sardharwalla \emph{et al.}~\cite{refocusing},

7: and applies also to gates from the special linear group.

8: Our work can be seen as partial progress towards the long-standing open problem of proving an inverse-free Solovay-Kitaev theorem \cite{DawsonSolovayKitaev,kuperberg2009hard}.

9: \end{abstract}

10: