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)$.