1: \begin{abstract}

2: We consider the problem of deciding if a set of quantum one-qudit gates $\mathcal{S}=\{g_1,\ldots,g_n\}\subset G$ is universal, i.e. if $<\mathcal{S}>$ is dense in $G$, where $G$ is either the special unitary or the special orthogonal group. To every gate $g$ in $\mathcal{S}$ we assign the orthogonal matrix $\mr{Ad}_g$ that is image of $g$ under the adjoint representation $\mathrm{Ad}:G\rightarrow SO(\mathfrak{g})$ and $\mathfrak{g}$ is the Lie algebra of $G$. The necessary condition for the universality of $\mc{S}$ is that the only matrices that commute with all $\mathrm{Ad}_{g_i}$'s are proportional to the identity. If in addition there is an element in $<\mc{S}>$ whose Hilbert-Schmidt distance from the centre of $G$ belongs to $]0,\frac{1}{\sqrt{2}}]$, then $\mc{S}$ is universal. Using these we provide a simple algorithm that allows deciding the universality of any set of $d$-dimensional gates in a finite number of steps and formulate a general classification theorem.\end{abstract}

3: