Solovay--Kitaev theorem (source code)

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