The Solovay-Kitaev Theorem

Statement

Any finite universal gate set approximates an arbitrary single-qubit unitary to accuracy epsilon using only polylog(1/epsilon) gates.

Depends on

Universality of CNOT with Single-Qubit Gates

Used by

PU-404/L14