8

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?

glS
  • 27,510
  • 7
  • 37
  • 125
Nikita Nemkov
  • 1,725
  • 6
  • 22

1 Answers1

13

I think you'll find that most hardware, at the hardware level, gives you arbitrary single qubit rotations. So, in that sense, it is true that Solovay-Kitaev is not directly applicable to current systems. However, obsolete is certainly not the right word. It's rather the opposite - it's ahead of its time.

The importance of the Solovay-Kitaev algorithm is really once we start to do error correction (which requires bigger devices). When you implement an error correcting code, even if you have arbitrary single-qubit rotations at the physical level, you (generally) only have a finite gate set at the level of logical qubits. So to get an arbitrary rotation, you need Solovay-Kitaev or similar.

DaftWullie
  • 62,671
  • 4
  • 55
  • 140