Solovay--Kitaev theorem
= Solovay--Kitaev theorem
{c}
{wiki=Solovay–Kitaev_theorem}
For a suitable finite inverse-closed <universal quantum gate set>, the Solovay--Kitaev theorem approximates a fixed-dimensional unitary to <operator norm> error $\varepsilon$ with a gate sequence of length polynomial in $\log(1/\varepsilon)$.