Universal quantum gate set

A universal quantum gate set can approximate every finite-qubit unitary operator arbitrarily accurately using finite circuits over the set.

For a suitable finite inverse-closed universal quantum gate set, the Solovay--Kitaev theorem approximates a fixed-dimensional unitary to operator norm error $\epsilon$ with a gate sequence of length polynomial in $\log (1/\epsilon )$.