1: \begin{abstract}

2: The Clifford+T gate set is a topological generating set for $PU(2)$,

3: which has been well-studied from the perspective of quantum computation

4: on a single qubit. The discovery that it generates a full S-arithmetic

5: subgroup of $PU(2)$ has led to a fruitful interaction between quantum

6: computation and number theory, resulting in a proof that words in

7: these gates cover $PU(2)$ in an almost-optimal manner.

8: 

9: In this paper we study the analogue gate set for $PU(3)$. We show

10: that in $PU(3)$ the group generated by the Clifford+T gates is not

11: arithmetic -- in fact, it is a \emph{thin }matrix group, namely a

12: Zariski-dense group of infinite index in its ambient S-arithmetic

13: group. 

14: 

15: On the other hand, we study a recently proposed extension of the Clifford+T

16: gates, called Clifford+D, and show that these do generate a full S-arithmetic

17: subgroup of $PU(3)$, and satisfy a slightly weaker almost-optimal

18: covering property than that of Clifford+T in $PU(2)$. The proofs

19: are different from those for $PU(2)$: while both gate sets act naturally

20: on a (Bruhat-Tits) tree, in $PU(2)$ the generated group acts transitively

21: on the vertices of the tree, and this is a main ingredient in proving

22: both arithmeticity and efficiency. In the $PU(3)$ Clifford+D case

23: the action on the tree is far from being transitive. This makes the

24: proof of arithmeticity considerably harder, and the study of efficiency

25: by automorphic representation theory becomes more involved, and results

26: in a covering rate which differs from the optimal one by a factor

27: of $\log_{3}(105)\approx4.236$.

28: \end{abstract}

29: