# What are the simplest examples of codes with transversal non-Clifford gates?

There are certain codes which have transversal non-Clifford gates. My question is, what are the simplest examples of such codes and how does one check for a non-Clifford gate? Is it a computationally intensive question, compared to checking for Clifford gates?

• Welcome to QCSE! What do you mean by "checking for a non-Clifford gate" and "checking for a Clifford gate"? – Adam Zalcman Jan 3 at 21:21

Here's a semi-stupid (partial) answer: the $$k$$ qubit majority vote codes, which have logical codewords $$|0_L\rangle=|0\rangle^{\otimes k},\qquad |1_L\rangle=|1\rangle^{\otimes k}.$$ Of course, logical $$X$$ is just $$X^{\otimes k}$$. However, for phase gates, you can apply and logical version of $$R_z(\theta)$$ just by applying $$R_z(\theta/k)$$ on every qubit. Of course, it's not much use as an error correcting code if you have to protect against phase noise because a single-qubit phase gate is also a logical phase gate.

Part of your question asks how you can check for the existence of a non-Clifford transversal gate (or, at least, that is how I interpret your question). As a general rule, I would expect this to come out by construction - you design your code with respect to certain parameters, and if this is the one you're interested in, you've probably built it in by construction. Anyway, perhaps the best starting point is the Eastin-Knill theorem - if you've got a set of transversal operations that only require one more gate to make them universal, that additional gate cannot be implemented in a transversal manner. This tends to rule out a vast array of logical operations that you might search for. For instance, say that I know how to do logical H and X transversally. I want to know what phase gates I might be able to implement. Certainly T is impossible because that would let you implement a continuous set of gates. As would any phase angle that is not a rational multiple of $$\pi$$. Most other rational fractions of $$\pi$$ are also impossible (off the top of my head, I don't know the exact characterisation, but it may be that the only options open are S, Z and S$$^\dagger$$).