3 problems

Diagonalizing sequence conjecture. For every $U_0\in\operatorname{U}(2)$, the sequences satisfy

Let $q$ be prime, let $\mathcal{S}\subseteq \pauli{q}[*]$ be a set of generalized Pauli operators, let $sq\mathcal{C}$ denote the gate set of single-qudit Clifford operators, and l…

Let $d\geq 2$ be fixed, and let $\mathcal{G}\subset \mathrm{SU}(d)$ be a finite gate set that densely generates $\mathrm{SU}(d)$. An inverse-free Solovay–Kitaev theorem asserts tha…