Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
This paper introduces irrep surface codes (ISCs), a novel class of 2D topological quantum error-correcting codes designed for transversal implementation of specific logical gates. By engineering codes whose gate sets are irreducible and generate finite groups, ISCs overcome limitations of fixed primitive gate sets in fault-tolerant quantum computation. The research also develops lattice-surgery protocols to integrate these ISCs with standard surface codes, enabling arbitrary finite diagonal gate groups and reversible classical gates, and even gates beyond the Clifford hierarchy.
Arbitrary finite groups of logical gates, including those beyond the Clifford hierarchy, can be transversally implemented in 2D topological codes.
Fault-tolerant quantum computation typically relies on a fixed set of logical primitives, while realizing other desired operations can require substantial resources. We introduce irrep surface codes (ISCs), two-dimensional topological quantum error-correcting codes engineered to transversally implement a prescribed set of logical gates. The engineered gates only need to satisfy two conditions: (i) they generate a finite group, which, up to global phases, is forced by the Eastin-Knill theorem, and (ii) they are irreducible, meaning that any operator commuting with the set of gates must be proportional to the identity. This accommodates arbitrary finite groups of diagonal gates and arbitrary reversible classical gates, since each can be embedded into a larger irreducible finite group of gates. It also enables logical gates outside every finite level of the Clifford hierarchy. To incorporate these operations into surface-code computations, we further develop lattice-surgery protocols to transfer the encoded information between surface codes and ISCs obeying either of two sufficient conditions. Together, these results establish a systematic method for tailoring topological codes to desired logical operations and integrating them into conventional computations.