# Is the Solovay-Kitaev theorem relevant for modern hardware?

The Solovay-Kitaev theorem (and more recent improvements) explains how to efficiently compile any 2-qubit unitary into any universal (dense) finite set of gates. My question is if this theorem is relevant for modern hardware?

Take, for example, superconducting qubits. There, modulo noise and errors, arbitrary single-qubit gates can be executed. Having the capacity to perform arbitrary single-qubit gates allows to compile any 2-qubit gate with at most three CNOTs.

I am not sure, but I'm guessing that other hardware platforms also allow for the continuous single-qubit gates. Does this make the Solovay-Kitaev theorem obsolete for practical purposes, or am I missing something?

• Note that you cannot perform any rotation. There is still a minimal angle you can use. The situation is similar to representation of real numbers on a classical computer. Althought they are called real, we only work with finite set of numbers as a memory is also finite. Dec 8, 2021 at 8:23
• @MartinVesely the minimal angles are due to errors, right? Say it's 1$^\circ$ error. Is it possible to get a smaller error, say 0.5$^\circ$, by using a combination of gates with $1^{\circ}$ eror? Dec 8, 2021 at 8:27
• No, but I meant that probably you could use combination of H and T gates (if they are native and not implemented with rotation gates) to reach a better accuracy, but this is only idea...maybe there is a flaw. Dec 8, 2021 at 15:19