Quantum Computing Stack Exchange is a question and answer site for engineers, scientists, programmers, and computing professionals interested in quantum computing. It only takes a minute to sign up.
Sign up to join this community
What are examples of interesting $ [[n,1,d]] $ or $ [[n,2,d]] $ stabilizer codes, $ d \geq 2 $, whose group of transversal gates is not isomorphic to a subgroup of the Clifford group (on 1 and 2 qubits respectively).
The first example that comes to mind for me is the $ [[15,1,3]] $ code which has an element, the $ T $ gate, whose image in $ PU_2 $ has order 8 and thus cannot be embedded in the Clifford group.
That is more or less is it for [[n,1,d]] codes: we know that the only non-Clifford gates you can have are, up to Clifford equivalences, phase gates of the form $2\pi/2^k$. So, if you take the construction for the [[15,1,3]] code and generalise it to $[[2^{k+1}-1,1,3]]$, you get T, square root of T, and so on. They also come with controlled-phase and controlled-controlled-phase etc (basically, for each control you add, the rotation angle doubles). There are some details (and more useful references) in a very recent paper of mine: arXiv:2210.14066.
Might be worthwhile to mention that the stabilizer codes mentioned by DaftWullie go under the name of Reed-Muller codes and can be implemented with color codes in $D=2^{k+1}-1$ spatial dimensions (see for instance here). More generally, we know that the transversal gate sets of stabilizer codes (and those implementable by shallow circuits) lie in some finite level of the Clifford hierarchy (see here and references therein). For geometrically local codes in $D$ spatial dimensions, those sets are limited to the $D$-th level (ref) .
