Color codes are topological stabilizer codes with unusual transversality properties. Here I show that their group of transversal gates is optimal and only depends on the spatial dimension, not the local geometry. I also introduce a generalized, subsystem version of color codes. In 3D they allow the transversal implementation of a universal set of gates by gauge fixing, while error-dectecting measurements involve only four or six qubits.
Color codes are topological stabilizer codes with unusual transversality properties. Here I show that their group of transversal gates is optimal and only depends on the spatial dimension, not the local geometry. I also introduce a generalized, subsystem version of color codes. In 3D they allow the transversal implementation of a universal set of gates by gauge fixing, while error-dectecting measurements involve only four or six qubits.
In fault-tolerant quantum computation [1], quantum information is protected from noise by encoding it in somewhat non-local degrees of freedom, thus distributing it among many smaller subsystems, typically qubits. This makes sense under the physically relevant assumption that interactions with the environment have a local nature. The implementation of gates, consequently, must be also as local as possible to preserve the structure of noise. This is naturally achieved with transversal gates, i.e. unitary operators that transform encoded states by acting separately on suitable subsystems, in the simplest case independently on each qubit. Unfortunately, no code admits a universal transversal set of gates [2]. Topological quantum error correcting codes [3] introduce a richer notion of locality by considering the spatial location of the physical qubits, which are assumed to be arranged on a lattice. They come in families parametrized with a lattice size, for a fixed spatial dimension. Their defining features are (i) that the measurements needed to recover information about errors only involve a few neighbouring qubits and (ii) that no encoded information can be recovered without access to a number of physical qubits comparable to the system size. Rather than sticking to the above definition of transversality, for topological codes it is natural to consider instead quantum circuits of fixed depth with geometrically local gates [4, 5]. Remarkably, it has been recently shown that spatial dimension imposes constraints on the transversal gates that are allowed [5]. In particular, this is true in the case of topological stabilizer codes, where it has been found that transversal gates on D-dimensional codes have to belong to certain sets PD. A first main result of this work [6] is that codes that saturate these bounds can be constructed for every D, in the sense that they admit at least a transversal gate in PD (not belonging to PD−1). In particular, the result applies to color codes [7, 8, 9, 10], where the single-qubit gate RD := ( 1 0 0 e2πi/2 D ) is transversal (in the more strict non-topological sense).
We present a family of quantum error-correcting codes that support a universal set of transversal logic gates using only local operations on a two-dimensional array of physical qubits. The construction is a subsystem version of color codes where gauge fixing through local measurements dynamically determines which gates are transversal. Although the operations are local, the underlying code is not topological in structure, which is how the construction circumvents no-go constraints imposed by the Bravyi-K\"onig and Pastawski-Yoshida theorems. We provide strong evidence that the encoding has no error threshold in the conventional sense, though it is still possible to have logical gates with error probability much lower than that of physical gates.
Two-level quantum systems, qubits, are not the only basis for quantum computation. Advantages exist in using qudits, d-level quantum systems, as the basic carrier of quantum information. We show that color codes, a class of topological quantum codes with remarkable transversality properties, can be generalized to the qudit paradigm. In recent developments it was found that in three spatial dimensions a qubit color code can support a transversal non-Clifford gate and that in higher spatial dimensions additional non-Clifford gates can be found, saturating Bravyi and K\"onig's bound [S. Bravyi and R. K\"onig, Phys. Rev. Lett. 111, 170502 (2013)]. Furthermore, by using gauge fixing techniques, an effective set of Clifford gates can be achieved, removing the need for state distillation. We show that the qudit color code can support the qudit analogs of these gates and also show that in higher spatial dimensions a color code can support a phase gate from higher levels of the Clifford hierarchy that can be proven to saturate Bravyi and K\"onig's bound in all but a finite number of special cases. The methodology used is a generalization of Bravyi and Haah's method of triorthogonal matrices [S. Bravyi and J. Haah, Phys. Rev. A 86, 052329 (2012)], which may be of independent interest. For completeness, we show explicitly that the qudit color codes generalize to gauge color codes and share many of the favorable properties of their qubit counterparts.
We show how to perform a fault-tolerant universal quantum computation in 2D architectures using only transversal unitary operators and local syndrome measurements. Our approach is based on a doubled version of the 2D color code. It enables a transversal implementation of all logical gates in the Clifford+T basis using the gauge fixing method proposed recently by Paetznick and Reichardt. The gauge fixing requires six-qubit parity measurements for Pauli operators supported on faces of the honeycomb lattice with two qubits per site. Doubled color codes are promising candidates for the experimental demonstration of logical gates since they do not require state distillation. Secondly, we propose a Maximum Likelihood algorithm for the error correction and gauge fixing tasks that enables a numerical simulation of logical circuits in the Clifford+T basis. The algorithm can be used in the online regime such that a new error syndrome is revealed at each time step. We estimate the average number of logical gates that can be implemented reliably for the smallest doubled color code and a toy noise model that includes depolarizing memory errors and syndrome measurement errors.
A fundamental problem in fault-tolerant quantum computation is the tradeoff between universality and dimensionality, exemplified by the the Bravyi-König bound for n-dimensional topological stabilizer codes. In this work, we extend topological Pauli stabilizer codes to a broad class of n-dimensional Clifford hierarchy stabilizer codes. These codes correspond to the (n+1)D Dijkgraaf-Witten gauge theories with non-Abelian topological order. We construct transversal non-Clifford gates through automorphism symmetries represented by cup products. In 2D, we obtain the first transversal non-Clifford logical gates including T and CS for Clifford stabilizer codes, using the automorphism of the twisted Z23 gauge theory (equivalent to D4 topological order). We also combine it with the just-in-time decoder to fault-tolerantly prepare the logical T magic state in O(d) rounds via code switching. In 3D, we construct a transversal logical T gate in a non-Clifford stabilizer code at the third level of the Clifford hierarchy, located on a tetrahedron corresponding to a twisted Z24 gauge theory. Our constructions surpass the Bravyi-König bound by achieving the logical gates in the (n+1)-th level of Clifford hierarchy in n spatial dimension.