Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2504.20847

Transversal Gates in Nonadditive Quantum Codes

Chao Zhang, Zipeng Wu, Shilin Huang, Bei Zeng

Published Apr 29, 2025• 0 citations
arXivHTMLPDF

Abstract

Transversal gates play a crucial role in suppressing error propagation in fault-tolerant quantum computation, yet they are intrinsically constrained: any nontrivial code encoding a single logical qubit admits only a finite subgroup of $\mathrm{SU}(2)$ as its transversal operations. We introduce a systematic framework for searching codes with specified transversal groups by parametrizing their logical subspaces on the Stiefel manifold and minimizing a composite loss that enforces both the Knill-Laflamme conditions and a target transversal-group structure. Applying this method, we uncover a new $((6,2,3))$ code admitting a transversal $Z\bigl(\tfrac{2π}{5}\bigr)$ gate (transversal group $\mathrm{C}_{10}$), the smallest known distance $3$ code supporting non-Clifford transversal gates, as well as several new $((7,2,3))$ codes realizing the binary icosahedral group $2I$. We further propose the \emph{Subset-Sum-Linear-Programming} (SS-LP) construction for codes with transversal \emph{diagonal} gates, which dramatically shrinks the search space by reducing to integer partitions subject to linear constraints. In a more constrained form, the method also applies directly to the binary-dihedral groups $\mathrm{BD}_{2m}$. Specializing to $n=7$, the SS-LP method yields codes for all $\mathrm{BD}_{2m}$ with $2m\le 36$, including the first $((7,2,3))$ examples supporting transversal $T$ gate ($\mathrm{BD}_{16}$) and $\sqrt{T}$ gate ($\mathrm{BD}_{32}$), improving on the previous smallest examples $((11,2,3))$ and $((19,2,3))$. Extending the SS-LP approach to $((8,2,3))$, we construct new codes for $2m>36$, including one supporting a transversal $T^{1/4}$ gate ($\mathrm{BD}_{64}$). These results reveal a far richer landscape of nonadditive codes than previously recognized and underscore a deeper connection between quantum error correction and the algebraic constraints on transversal gate groups.

DOI
10.48550/arxiv.2504.20847

Related papers

Finite Classification of Transversal Diagonal Gates Beyond Stabilizer Codes

Xi He, Chao Zhang, Shilin Huang +1 more

We establish that transversal diagonal gates on exact qubit codes of distance at least two can be exhaustively classified within a finite search space. Although code-preserving physical gates can have continuous phases, any projective logical action induced by a transversal diagonal gate can always be realized by a physical gate of finite order. Crucially, we prove that this physical order has an upper bound determined solely by the code parameters. This order bound enables the subset-sum-linear-programming (SSLP) framework introduced in arXiv:2504.20847 to exhaustively enumerate all candidate discrete symmetries, after which the Knill-Laflamme equations determine the remaining continuous code parameters. Applying this method to the nontrivial diagonal sector of exact $((6,2,3))$ codes, SSLP yields $66$ candidate symmetry classes, of which exactly $15$ are realizable, supporting full projective diagonal logical cyclic groups of orders $2$, $3$, and $5$. In particular, for order $5$, the code is unique up to local unitaries and qubit permutations, equivalent to the code constructed in arXiv:2504.20847. This code also attains the minimum length $n=6$ among exact $((n, 2, \ge 3))$ codes whose full projective transversal group cannot be conjugated into the projective Clifford group.

quant-pharXiv:2610.29955•Oct 22, 2026•0 citations

Construction of the full logical Clifford group for high-rate quantum Reed-Muller codes using only transversal and fold-transversal gates

Theerapat Tansuwannont, Tim Chan, Ryuji Takagi

To build large-scale quantum computers while minimizing resource requirements, one may want to use high-rate quantum error-correcting codes that can efficiently encode information. However, realizing an addressable gate$\unicode{x2014}$a logical gate on a subset of logical qubits within a high-rate code$\unicode{x2014}$in a fault-tolerant manner can be challenging and may require ancilla qubits. Transversal and fold-transversal gates could provide a means to fault-tolerantly implement logical gates using a constant-depth circuit without ancilla qubits, but available gates of these types could be limited depending on the code and might not be addressable. In this work, we study a family of $[\![n=2^m,k={m \choose m/2}\approx n/\sqrt{π\log_2(n)/2},d=2^{m/2}=\sqrt{n}]\!]$ self-dual quantum Reed$\unicode{x2013}$Muller codes, where $m$ is a positive even number. For any code in this family, we construct a generating set of the full logical Clifford group comprising only transversal and fold-transversal gates, thus enabling the implementation of any addressable Clifford gate. To our knowledge, this is the first known construction of the full logical Clifford group using only transversal and fold-transversal gates without requiring ancilla qubits for a family of codes in which $k$ grows near-linearly in $n$.

quant-pharXiv:2602.09788•Feb 11, 2026•0 citations

Quantum Lego Power-up: Designing Transversal Gates with Tensor Networks

ChunJun Cao, Brad Lackey

Transversal gates are the simplest form of fault-tolerant gates and are relatively easy to implement in practice. Yet designing codes that support useful transversal operations -- especially non-Clifford or addressable gates -- remains difficult within the stabilizer formalism or CSS constructions alone. We show that these limitations can be overcome using tensor-network frameworks such as the quantum lego formalism, where transversal gates naturally appear as global or localized symmetries. Within the quantum lego formalism, small codes carrying desirable symmetries can be "glued" into larger ones, with operator-flow rules guiding how logical symmetries are preserved. This approach enables the systematic construction of codes with addressable transversal single- and multi-qubit gates targeting specific logical qubits regardless of whether the gate is Clifford or not. As a proof of principle, we build new finite-rate code families that support strongly transversal $T$, $CCZ$, $SH$, and Gottesman's $K_3$ gates, structures that are challenging to realize with conventional methods. We further construct holographic and fractal-like codes that admit addressable transversal inter-, meso-, and intra-block $T$, $CS$, and $C^\ell Z$ gates. As a corollary, we demonstrate that the heterogeneous holographic Steane-Reed-Muller black hole code also supports fully addressable transversal inter- and intra-block $CZ$ gates, significantly lowering the overhead for universal fault-tolerant computation.

quant-pharXiv:2603.03542•Mar 5, 2026•0 citations

Transversal Clifford and T -Gate Codes of Short Length and High Distance

Shubham P. Jain, Victor V. Albert

The non-local interactions in several quantum device architectures allow for the realization of more compact quantum encodings while retaining the same degree of protection against noise. Anticipating that short to medium-length codes will soon be realizable, it is important to construct stabilizer codes that, for a given code distance, admit fault-tolerant implementations of logical gates with the fewest number of physical qubits. To this aim, we construct three kinds of codes encoding a single logical qubit for distances up to 31. First, we construct the smallest known doubly even codes, all of which admit a transversal implementation of the Clifford group. Applying a doubling procedure arXiv:1509.03239 to such codes yields the smallest known weak triply even codes for the same distances and number of encoded qubits. This second family of codes admit a transversal implementation of the logical T-gate. Relaxing the triply even property, we obtain our third family of triorthogonal codes with an even lower overhead at the cost of requiring additional Clifford gates to achieve the same logical operation. To our knowledge, these are the smallest known triorthogonal codes for their respective distances. While not qLDPC, the stabilizer generator weights of the code families with transversal T-gates scale roughly as the square root of their lengths.

arXiv:2408.12752•IEEE Journal on Selected Areas in Information Theory•Jan 1, 2025•6 citations

Error-Transparent Code Switching Between Permutation-Invariant Codes with Transversal Clifford and Icosahedral Gates

Zachary P. Bradshaw

Code switching moves an encoded qubit between two codes whose transversal gates together are universal, but the switching operation itself is usually not transversal and can spread a single fault into an uncorrectable error. We study switching between two permutation-invariant codes on the same qubits, one with transversal Clifford gates and one with transversal gates from the non-Clifford binary icosahedral group. Both are compatible with transversal $X$, $Z$, and $F = HS^\dagger$, and the encoders with this property form a small linear space. We show that its codes of distance at least three are cut out by at most two quadratic equations, and that all of them have the same error geometry in the sense that their single-qubit error states have the same inner products. It follows that a switching unitary commuting with qubit permutations and with the shared transversal gates at every instant, and tolerating one single-qubit fault at an unknown time, exists if and only if the two codes are joined by a continuous path of distance-three codes. Such a switch can be made error transparent, so that a fault at any moment reaches the target code as the same single-qubit error. For real encoders, the distance-three codes are the solutions of a single quadratic equation, and on thirteen qubits, they form an explicit circle through two Clifford codes and an icosahedral code. We construct the switching unitary along this circle as a collective operator, leaving its synthesis into physical control open, and verify that its recovery infidelity per fault is at machine precision, whereas two natural alternatives leave average infidelities of $0.13$ and $0.85$. A survey over odd qubit numbers up to $29$ lists where such switches exist.

quant-pharXiv:2610.05189•Oct 6, 2026•0 citations

Asymptotically Good Quantum Codes with Addressable Transversal T Gates

Tongyin Lin, Bujiao Wu, Bin Cheng

Designing quantum codes with both transversal non-Clifford gates and good error-correcting parameters is an important goal in fault-tolerant quantum computation. Here, we construct an explicit family of binary CSS codes with constant rate and linear distance that admit fully addressable transversal $T$ gates. Specifically, any prescribed tensor product of logical powers of $T$ is implemented by a tensor product of physical powers of $T$, without any subsequent correction. Our construction combines algebraic-geometry codes with suitable binary embedding to obtain generalized divisibility of binary codes. This divisibility then enables fully addressable transversal $T$ gates. Furthermore, we formulate the minimum binary embedding length problem as a minimum-weight problem over an affine space and numerically improve the constants in the asymptotic rate and relative-distance bounds.

quant-pharXiv:2609.35129•Sep 29, 2026•0 citations
Transversal gates play a crucial role in suppressing error propagation in fault-tolerant quantum computation, yet they are intrinsically constrained: any nontrivial code encoding a single logical qubit admits only a finite subgroup of SU(2)\mathrm{SU}(2)SU(2) as its transversal operations. We introduce a systematic framework for searching codes with specified transversal groups by parametrizing their logical subspaces on the Stiefel manifold and minimizing a composite loss that enforces both the Knill-Laflamme conditions and a target transversal-group structure. Applying this method, we uncover a new ((6,2,3))((6,2,3))((6,2,3)) code admitting a transversal Z(2π5)Z\bigl(\tfrac{2π}{5}\bigr)Z(52π​) gate (transversal group C10\mathrm{C}_{10}C10​), the smallest known distance 333 code supporting non-Clifford transversal gates, as well as several new ((7,2,3))((7,2,3))((7,2,3)) codes realizing the binary icosahedral group 2I2I2I. We further propose the \emph{Subset-Sum-Linear-Programming} (SS-LP) construction for codes with transversal \emph{diagonal} gates, which dramatically shrinks the search space by reducing to integer partitions subject to linear constraints. In a more constrained form, the method also applies directly to the binary-dihedral groups BD2m\mathrm{BD}_{2m}BD2m​. Specializing to n=7n=7n=7, the SS-LP method yields codes for all BD2m\mathrm{BD}_{2m}BD2m​ with 2m≤362m\le 362m≤36, including the first ((7,2,3))((7,2,3))((7,2,3)) examples supporting transversal TTT gate (BD16\mathrm{BD}_{16}BD16​) and T\sqrt{T}T​ gate (BD32\mathrm{BD}_{32}BD32​), improving on the previous smallest examples ((11,2,3))((11,2,3))((11,2,3)) and ((19,2,3))((19,2,3))((19,2,3)). Extending the SS-LP approach to ((8,2,3))((8,2,3))((8,2,3)), we construct new codes for 2m>362m>362m>36, including one supporting a transversal T1/4T^{1/4}T1/4 gate (BD64\mathrm{BD}_{64}BD64​). These results reveal a far richer landscape of nonadditive codes than previously recognized and underscore a deeper connection between quantum error correction and the algebraic constraints on transversal gate groups.
We establish that transversal diagonal gates on exact qubit codes of distance at least two can be exhaustively classified within a finite search space. Although code-preserving physical gates can have continuous phases, any projective logical action induced by a transversal diagonal gate can always be realized by a physical gate of finite order. Crucially, we prove that this physical order has an upper bound determined solely by the code parameters. This order bound enables the subset-sum-linear-programming (SSLP) framework introduced in arXiv:2504.20847 to exhaustively enumerate all candidate discrete symmetries, after which the Knill-Laflamme equations determine the remaining continuous code parameters. Applying this method to the nontrivial diagonal sector of exact ((6,2,3))((6,2,3))((6,2,3)) codes, SSLP yields 666666 candidate symmetry classes, of which exactly 151515 are realizable, supporting full projective diagonal logical cyclic groups of orders 222, 333, and 555. In particular, for order 555, the code is unique up to local unitaries and qubit permutations, equivalent to the code constructed in arXiv:2504.20847. This code also attains the minimum length n=6n=6n=6 among exact ((n,2,≥3))((n, 2, \ge 3))((n,2,≥3)) codes whose full projective transversal group cannot be conjugated into the projective Clifford group.
To build large-scale quantum computers while minimizing resource requirements, one may want to use high-rate quantum error-correcting codes that can efficiently encode information. However, realizing an addressable gate$\unicode{x2014}$a logical gate on a subset of logical qubits within a high-rate code$\unicode{x2014}$in a fault-tolerant manner can be challenging and may require ancilla qubits. Transversal and fold-transversal gates could provide a means to fault-tolerantly implement logical gates using a constant-depth circuit without ancilla qubits, but available gates of these types could be limited depending on the code and might not be addressable. In this work, we study a family of [ ⁣[n=2m,k=(mm/2)≈n/πlog⁡2(n)/2,d=2m/2=n] ⁣][\![n=2^m,k={m \choose m/2}\approx n/\sqrt{π\log_2(n)/2},d=2^{m/2}=\sqrt{n}]\!][[n=2m,k=(m/2m​)≈n/πlog2​(n)/2​,d=2m/2=n​]] self-dual quantum Reed$\unicode{x2013}$Muller codes, where mmm is a positive even number. For any code in this family, we construct a generating set of the full logical Clifford group comprising only transversal and fold-transversal gates, thus enabling the implementation of any addressable Clifford gate. To our knowledge, this is the first known construction of the full logical Clifford group using only transversal and fold-transversal gates without requiring ancilla qubits for a family of codes in which kkk grows near-linearly in nnn.
Transversal gates are the simplest form of fault-tolerant gates and are relatively easy to implement in practice. Yet designing codes that support useful transversal operations -- especially non-Clifford or addressable gates -- remains difficult within the stabilizer formalism or CSS constructions alone. We show that these limitations can be overcome using tensor-network frameworks such as the quantum lego formalism, where transversal gates naturally appear as global or localized symmetries. Within the quantum lego formalism, small codes carrying desirable symmetries can be "glued" into larger ones, with operator-flow rules guiding how logical symmetries are preserved. This approach enables the systematic construction of codes with addressable transversal single- and multi-qubit gates targeting specific logical qubits regardless of whether the gate is Clifford or not. As a proof of principle, we build new finite-rate code families that support strongly transversal TTT, CCZCCZCCZ, SHSHSH, and Gottesman's K3K_3K3​ gates, structures that are challenging to realize with conventional methods. We further construct holographic and fractal-like codes that admit addressable transversal inter-, meso-, and intra-block TTT, CSCSCS, and CℓZC^\ell ZCℓZ gates. As a corollary, we demonstrate that the heterogeneous holographic Steane-Reed-Muller black hole code also supports fully addressable transversal inter- and intra-block CZCZCZ gates, significantly lowering the overhead for universal fault-tolerant computation.
The non-local interactions in several quantum device architectures allow for the realization of more compact quantum encodings while retaining the same degree of protection against noise. Anticipating that short to medium-length codes will soon be realizable, it is important to construct stabilizer codes that, for a given code distance, admit fault-tolerant implementations of logical gates with the fewest number of physical qubits. To this aim, we construct three kinds of codes encoding a single logical qubit for distances up to 31. First, we construct the smallest known doubly even codes, all of which admit a transversal implementation of the Clifford group. Applying a doubling procedure arXiv:1509.03239 to such codes yields the smallest known weak triply even codes for the same distances and number of encoded qubits. This second family of codes admit a transversal implementation of the logical T-gate. Relaxing the triply even property, we obtain our third family of triorthogonal codes with an even lower overhead at the cost of requiring additional Clifford gates to achieve the same logical operation. To our knowledge, these are the smallest known triorthogonal codes for their respective distances. While not qLDPC, the stabilizer generator weights of the code families with transversal T-gates scale roughly as the square root of their lengths.
Code switching moves an encoded qubit between two codes whose transversal gates together are universal, but the switching operation itself is usually not transversal and can spread a single fault into an uncorrectable error. We study switching between two permutation-invariant codes on the same qubits, one with transversal Clifford gates and one with transversal gates from the non-Clifford binary icosahedral group. Both are compatible with transversal XXX, ZZZ, and F=HS†F = HS^\daggerF=HS†, and the encoders with this property form a small linear space. We show that its codes of distance at least three are cut out by at most two quadratic equations, and that all of them have the same error geometry in the sense that their single-qubit error states have the same inner products. It follows that a switching unitary commuting with qubit permutations and with the shared transversal gates at every instant, and tolerating one single-qubit fault at an unknown time, exists if and only if the two codes are joined by a continuous path of distance-three codes. Such a switch can be made error transparent, so that a fault at any moment reaches the target code as the same single-qubit error. For real encoders, the distance-three codes are the solutions of a single quadratic equation, and on thirteen qubits, they form an explicit circle through two Clifford codes and an icosahedral code. We construct the switching unitary along this circle as a collective operator, leaving its synthesis into physical control open, and verify that its recovery infidelity per fault is at machine precision, whereas two natural alternatives leave average infidelities of 0.130.130.13 and 0.850.850.85. A survey over odd qubit numbers up to 292929 lists where such switches exist.
Designing quantum codes with both transversal non-Clifford gates and good error-correcting parameters is an important goal in fault-tolerant quantum computation. Here, we construct an explicit family of binary CSS codes with constant rate and linear distance that admit fully addressable transversal TTT gates. Specifically, any prescribed tensor product of logical powers of TTT is implemented by a tensor product of physical powers of TTT, without any subsequent correction. Our construction combines algebraic-geometry codes with suitable binary embedding to obtain generalized divisibility of binary codes. This divisibility then enables fully addressable transversal TTT gates. Furthermore, we formulate the minimum binary embedding length problem as a minimum-weight problem over an affine space and numerically improve the constants in the asymptotic rate and relative-distance bounds.