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:2510.19809

Good quantum codes with addressable and parallelizable transversal non-Clifford gates

Virgile Guémard

Published Oct 22, 2025• 0 citations
arXivHTMLPDF

Abstract

In this work, we prove that for any $m>1$, there exists a family of good qudit quantum codes supporting transversal logical $\mathsf{C}^{m-1}\mathsf{Z}$ gates that can address specified logical qudits and be largely executed in parallel. Building on the family of good quantum error-correcting codes presented in He et al. (2025), which support addressable and transversal logical $\mathsf{CCZ}$ gates, we extend their framework and show how to perform large sets of gates in parallel. The construction relies on the classical algebraic geometry codes of Stichtenoth (IEEE Trans. Inf. Theory, 2006). Our results lead to a substantial reduction in the depth overhead of multi-control-$Z$ circuits. In particular, we show that the minimal depth of any logical $\mathsf{C}^{m-1}\mathsf{Z}$ circuit involving qudits from $m$ distinct code blocks is upper bounded by $O(k^{m-1})$, where $k$ is the code dimension. While this overhead is optimal for dense $\mathsf{C}^{m-1}\mathsf{Z}$ circuits, for sparse circuits we discuss how the depth overhead can be significantly reduced by exploiting the structure of the quantum code.

DOI
10.48550/arxiv.2510.19809

Related papers

Asymptotically Good Quantum Codes with Addressable and Transversal Non-Clifford Gates

Zhiyang He, Vinod Vaikuntanathan, Adam Wills +1 more

Constructing quantum codes with good parameters and useful transversal gates is a central problem in quantum error correction. In this paper, we continue our work in arXiv:2502.01864 and construct the first family of asymptotically good quantum codes (over qubits) supporting transversally addressable non-Clifford gates. More precisely, given any three logical qubits across one, two, or three codeblocks, the logical $\mathsf{CCZ}$ gate can be executed on those three logical qubits via a depth-one physical circuit of $\mathsf{CCZ}$ gates. This construction is based on the transitive, iso-orthogonal algebraic geometry codes constructed by Stichtenoth (IEEE Trans. Inf. Theory, 2006). This improves upon our construction from arXiv:2502.01864, which also supports transversally addressable $\mathsf{CCZ}$ gates and has inverse-polylogarithmic rate and relative distance.

arXiv:2507.05392•Jul 7, 2025•0 citations

Parallelizable and addressable transversal non-Clifford gates on good quantum LDPC codes

Yiming Li, Zimu Li, Zhengyi Han +1 more

We achieve linearly many parallelizable and addressable transversal logical multi-controlled-Z gates with asymptotically optimal parameters simultaneously on good quantum low-density parity check codes and quantum locally testable codes, by applying the gate framework of [arXiv:2604.01874] to good qLTC constructions. To establish the nontriviality of the logical operation, we express the cup product pairing as a coefficient in a product of Moore determinants and prove that this coefficient is nonzero. Moreover, we use the symmetries of the covering spaces to construct large spaces of cocycles. By multiplying the initial cocycles by suitable elements of these spaces, we obtain linearly many independent pairings, each selected by a corresponding cycle constructed using Poincaré duality. This yields linearly many parallelizable and addressable multi-controlled-Z gates and enables asymptotically constant-overhead magic state distillation with good qLDPC codes.

quant-pharXiv:2609.26691•Sep 23, 2026•0 citations

Quantum group codes for non-Clifford logic: enhanced decoding, addressability and parallelizability

Jean Gasnier, Virgile Guémard

We introduce a framework based on classical quasi group codes to define a class of quantum CSS codes, called quantum group codes, supporting transversal multi-control-$Z$ gates which are both addressable and parallelizable, thus allowing to efficiently implement circuits composed of non-Clifford gates at the logical level. Building on this, we use a lifting procedure of classical AG codes established from class field theory to construct good quantum group codes with improved decoding complexity and logical multi-control-$Z$ gate parallelizability. More precisely, on input a good quantum AG code over the alphabet $\mathbb F_q$ with transversal $\mathsf{C}^m\mathsf Z$ gate, we apply this lifting procedure to its underlying classical AG code and obtain a quantum group code over the alphabet $\mathbb F_{q^2}$ supporting a transversal $\mathsf{C}^m\mathsf Z$ gate as well as addressable and parallelizable $\mathsf{C}^{m-1}\mathsf Z$ gates. In addition, this quantum code admits a quasi-quadratic time decoder with a linear decoding radius. This is to be compared with the previous quantum AG codes which have a cubic-time decoder. Hence, our work implies a decrease of the time complexity of state-of-the-art magic-state distillation protocols by an almost linear factor.

quant-pharXiv:2606.27211•Jun 26, 2026•0 citations

Quantum Logic Codes: Complete Transversal Logical Clifford Instruction Sets for High-Rate Stabilizer Quantum Error Correcting Codes

Adam Holmes

We study the structure and transversal logical capabilities of stabilizer quantum error correcting codes. Among our results, we identify universal lower bounds on circuit depth to generate a full logical Clifford algebra, and develop novel constructions of logical transversal gates including a new depth-one transversal phase $\mathrm{\overline{S}}$ gate in the rotated surface code and a depth-one intra-block $\mathrm{\overline{CZ}}$ gate in the 2D-toric code that generalizes to all odd distances and all lengths $L\ge3$, respectively. Finally, we construct a high-rate non-LDPC CSS code family with parameters $[[n,\sqrt{n},Θ({n^β})]]$ where $β\approx 0.2823$ in one demonstrated case, that provably possesses a constant-depth complete 2-local transversal logical Clifford basis instruction set architecture (ISA) composed of all individually targeted $\mathrm{\overline{S}}$, $\mathrm{\overline{SHS}} = \sqrt{X}$, and $\mathrm{\overline{CZ}}$ gates. This ISA is depth-one for certain subfamilies that we design and generally constant-depth under certain conditions. The code family is built from a small code with parameters $[[n_0, 2, d_0]]$, and is tunable in the standard way: it tiles out to form utility-scale logical qubit counts, and it scales up through concatenation to achieve higher distances and error suppression. We show that this construction preserves the depth-one complete transversal logical Clifford basis ISA when composed with these commuting construction actions, inheriting structure from the core codes so that at scale the complete logical Clifford basis ISA remains depth-one up to depth-two addressable operations between tiled cores. We call these Quantum Logic Codes.

quant-pharXiv:2606.13521•Jun 12, 2026•0 citations

Quantum Codes with Addressable and Transversal Non-Clifford Gates

Zhiyang He, Vinod Vaikuntanathan, Adam Wills +1 more

The development of quantum codes with good error correction parameters and useful sets of transversal gates is a problem of major interest in quantum error-correction. Abundant prior works have studied transversal gates which are restricted to acting on all logical qubits simultaneously. In this work, we study codes that support transversal gates which induce $\textit{addressable}$ logical gates, i.e., the logical gates act on logical qubits of our choice. As we consider scaling to high-rate codes, the study and design of low-overhead, addressable logical operations presents an important problem for both theoretical and practical purposes. Our primary result is the construction of an explicit qubit code for which $\textit{any}$ triple of logical qubits across one, two, or three codeblocks can be addressed with a logical $\mathsf{CCZ}$ gate via a depth-one circuit of physical $\mathsf{CCZ}$ gates, and whose parameters are asymptotically good, up to polylogarithmic factors. The result naturally generalizes to other gates including the $\mathsf{C}^{\ell} Z$ gates for $\ell \neq 2$. Going beyond this, we develop a formalism for constructing quantum codes with $\textit{addressable and transversal}$ gates. Our framework, called $\textit{addressable orthogonality}$, encompasses the original triorthogonality framework of Bravyi and Haah (Phys. Rev. A 2012), and extends this and other frameworks to study addressable gates. We demonstrate the power of this framework with the construction of an asymptotically good qubit code for which $\textit{pre-designed}$, pairwise disjoint triples of logical qubits within a single codeblock may be addressed with a logical $\mathsf{CCZ}$ gate via a physical depth-one circuit of $\mathsf{Z}$, $\mathsf{CZ}$ and $\mathsf{CCZ}$ gates. In an appendix, we show that our framework extends to addressable and transversal $T$ gates, up to Clifford corrections.

arXiv:2502.01864•Feb 3, 2025•0 citations

Improved Transversal Non-Clifford Gates from Cup Products

Louis Golowich, Itzhak Tamo, Guanyu Zhu

It is a major challenge in quantum fault-tolerance to obtain low-overhead protocols for performing non-Clifford gates. In this vein, we construct quantum codes with low-weight stabilizers that support transversal (i.e. low-depth) implementations of the non-Clifford $C^{r-1}Z$ gate, for every constant $r\geq 3$. In particular, we obtain length-$n$ quantum LDPC codes (with constant-weight stabilizers) of polynomial distance $d\geq n^{(1-ε)/r}$ supporting transversal $C^{r-1}Z$ gates on a close-to-linear number $k\geq n^{1-ε}$ of disjoint tuples of logical qubits, for arbitrarily small $ε>0$. Our construction is the first with constant-weight stabilizers that obtains $dk\gg n$, and as a consequence achieves arbitrarily small magic state overhead exponent $γ=\log(n/k)/\log(d)>0$. Comparable prior constructions instead required at least polylogarithmic stabilizer weight. We also show how to obtain linearly many $k=Ω(n)$ logical $C^{r-1}Z$ gates, though with stabilizer weight and physical circuit depth $n^ε$. We show that our transversal gates also support addressing (i.e. targeting) of specific logical qubits. To obtain our codes, we develop a general transformation based on cup products that maps classical codes satisfying a multiplication property to quantum codes with transversal $C^{r-1}Z$. We apply this transformation to a new family of classical Tanner codes that we construct from punctured tensor products of algebraic codes.

quant-pharXiv:2609.27801•Aug 19, 2026•0 citations
In this work, we prove that for any m>1m>1m>1, there exists a family of good qudit quantum codes supporting transversal logical Cm−1Z\mathsf{C}^{m-1}\mathsf{Z}Cm−1Z gates that can address specified logical qudits and be largely executed in parallel. Building on the family of good quantum error-correcting codes presented in He et al. (2025), which support addressable and transversal logical CCZ\mathsf{CCZ}CCZ gates, we extend their framework and show how to perform large sets of gates in parallel. The construction relies on the classical algebraic geometry codes of Stichtenoth (IEEE Trans. Inf. Theory, 2006). Our results lead to a substantial reduction in the depth overhead of multi-control-ZZZ circuits. In particular, we show that the minimal depth of any logical Cm−1Z\mathsf{C}^{m-1}\mathsf{Z}Cm−1Z circuit involving qudits from mmm distinct code blocks is upper bounded by O(km−1)O(k^{m-1})O(km−1), where kkk is the code dimension. While this overhead is optimal for dense Cm−1Z\mathsf{C}^{m-1}\mathsf{Z}Cm−1Z circuits, for sparse circuits we discuss how the depth overhead can be significantly reduced by exploiting the structure of the quantum code.
Constructing quantum codes with good parameters and useful transversal gates is a central problem in quantum error correction. In this paper, we continue our work in arXiv:2502.01864 and construct the first family of asymptotically good quantum codes (over qubits) supporting transversally addressable non-Clifford gates. More precisely, given any three logical qubits across one, two, or three codeblocks, the logical CCZ\mathsf{CCZ}CCZ gate can be executed on those three logical qubits via a depth-one physical circuit of CCZ\mathsf{CCZ}CCZ gates. This construction is based on the transitive, iso-orthogonal algebraic geometry codes constructed by Stichtenoth (IEEE Trans. Inf. Theory, 2006). This improves upon our construction from arXiv:2502.01864, which also supports transversally addressable CCZ\mathsf{CCZ}CCZ gates and has inverse-polylogarithmic rate and relative distance.
We achieve linearly many parallelizable and addressable transversal logical multi-controlled-Z gates with asymptotically optimal parameters simultaneously on good quantum low-density parity check codes and quantum locally testable codes, by applying the gate framework of [arXiv:2604.01874] to good qLTC constructions. To establish the nontriviality of the logical operation, we express the cup product pairing as a coefficient in a product of Moore determinants and prove that this coefficient is nonzero. Moreover, we use the symmetries of the covering spaces to construct large spaces of cocycles. By multiplying the initial cocycles by suitable elements of these spaces, we obtain linearly many independent pairings, each selected by a corresponding cycle constructed using Poincaré duality. This yields linearly many parallelizable and addressable multi-controlled-Z gates and enables asymptotically constant-overhead magic state distillation with good qLDPC codes.
We introduce a framework based on classical quasi group codes to define a class of quantum CSS codes, called quantum group codes, supporting transversal multi-control-ZZZ gates which are both addressable and parallelizable, thus allowing to efficiently implement circuits composed of non-Clifford gates at the logical level. Building on this, we use a lifting procedure of classical AG codes established from class field theory to construct good quantum group codes with improved decoding complexity and logical multi-control-ZZZ gate parallelizability. More precisely, on input a good quantum AG code over the alphabet Fq\mathbb F_qFq​ with transversal CmZ\mathsf{C}^m\mathsf ZCmZ gate, we apply this lifting procedure to its underlying classical AG code and obtain a quantum group code over the alphabet Fq2\mathbb F_{q^2}Fq2​ supporting a transversal CmZ\mathsf{C}^m\mathsf ZCmZ gate as well as addressable and parallelizable Cm−1Z\mathsf{C}^{m-1}\mathsf ZCm−1Z gates. In addition, this quantum code admits a quasi-quadratic time decoder with a linear decoding radius. This is to be compared with the previous quantum AG codes which have a cubic-time decoder. Hence, our work implies a decrease of the time complexity of state-of-the-art magic-state distillation protocols by an almost linear factor.
We study the structure and transversal logical capabilities of stabilizer quantum error correcting codes. Among our results, we identify universal lower bounds on circuit depth to generate a full logical Clifford algebra, and develop novel constructions of logical transversal gates including a new depth-one transversal phase S‾\mathrm{\overline{S}}S gate in the rotated surface code and a depth-one intra-block CZ‾\mathrm{\overline{CZ}}CZ gate in the 2D-toric code that generalizes to all odd distances and all lengths L≥3L\ge3L≥3, respectively. Finally, we construct a high-rate non-LDPC CSS code family with parameters [[n,n,Θ(nβ)]][[n,\sqrt{n},Θ({n^β})]][[n,n​,Θ(nβ)]] where β≈0.2823β\approx 0.2823β≈0.2823 in one demonstrated case, that provably possesses a constant-depth complete 2-local transversal logical Clifford basis instruction set architecture (ISA) composed of all individually targeted S‾\mathrm{\overline{S}}S, SHS‾=X\mathrm{\overline{SHS}} = \sqrt{X}SHS=X​, and CZ‾\mathrm{\overline{CZ}}CZ gates. This ISA is depth-one for certain subfamilies that we design and generally constant-depth under certain conditions. The code family is built from a small code with parameters [[n0,2,d0]][[n_0, 2, d_0]][[n0​,2,d0​]], and is tunable in the standard way: it tiles out to form utility-scale logical qubit counts, and it scales up through concatenation to achieve higher distances and error suppression. We show that this construction preserves the depth-one complete transversal logical Clifford basis ISA when composed with these commuting construction actions, inheriting structure from the core codes so that at scale the complete logical Clifford basis ISA remains depth-one up to depth-two addressable operations between tiled cores. We call these Quantum Logic Codes.
The development of quantum codes with good error correction parameters and useful sets of transversal gates is a problem of major interest in quantum error-correction. Abundant prior works have studied transversal gates which are restricted to acting on all logical qubits simultaneously. In this work, we study codes that support transversal gates which induce addressable\textit{addressable}addressable logical gates, i.e., the logical gates act on logical qubits of our choice. As we consider scaling to high-rate codes, the study and design of low-overhead, addressable logical operations presents an important problem for both theoretical and practical purposes. Our primary result is the construction of an explicit qubit code for which any\textit{any}any triple of logical qubits across one, two, or three codeblocks can be addressed with a logical CCZ\mathsf{CCZ}CCZ gate via a depth-one circuit of physical CCZ\mathsf{CCZ}CCZ gates, and whose parameters are asymptotically good, up to polylogarithmic factors. The result naturally generalizes to other gates including the CℓZ\mathsf{C}^{\ell} ZCℓZ gates for ℓ≠2\ell \neq 2ℓ=2. Going beyond this, we develop a formalism for constructing quantum codes with addressable and transversal\textit{addressable and transversal}addressable and transversal gates. Our framework, called addressable orthogonality\textit{addressable orthogonality}addressable orthogonality, encompasses the original triorthogonality framework of Bravyi and Haah (Phys. Rev. A 2012), and extends this and other frameworks to study addressable gates. We demonstrate the power of this framework with the construction of an asymptotically good qubit code for which pre-designed\textit{pre-designed}pre-designed, pairwise disjoint triples of logical qubits within a single codeblock may be addressed with a logical CCZ\mathsf{CCZ}CCZ gate via a physical depth-one circuit of Z\mathsf{Z}Z, CZ\mathsf{CZ}CZ and CCZ\mathsf{CCZ}CCZ gates. In an appendix, we show that our framework extends to addressable and transversal TTT gates, up to Clifford corrections.
It is a major challenge in quantum fault-tolerance to obtain low-overhead protocols for performing non-Clifford gates. In this vein, we construct quantum codes with low-weight stabilizers that support transversal (i.e. low-depth) implementations of the non-Clifford Cr−1ZC^{r-1}ZCr−1Z gate, for every constant r≥3r\geq 3r≥3. In particular, we obtain length-nnn quantum LDPC codes (with constant-weight stabilizers) of polynomial distance d≥n(1−ε)/rd\geq n^{(1-ε)/r}d≥n(1−ε)/r supporting transversal Cr−1ZC^{r-1}ZCr−1Z gates on a close-to-linear number k≥n1−εk\geq n^{1-ε}k≥n1−ε of disjoint tuples of logical qubits, for arbitrarily small ε>0ε>0ε>0. Our construction is the first with constant-weight stabilizers that obtains dk≫ndk\gg ndk≫n, and as a consequence achieves arbitrarily small magic state overhead exponent γ=log⁡(n/k)/log⁡(d)>0γ=\log(n/k)/\log(d)>0γ=log(n/k)/log(d)>0. Comparable prior constructions instead required at least polylogarithmic stabilizer weight. We also show how to obtain linearly many k=Ω(n)k=Ω(n)k=Ω(n) logical Cr−1ZC^{r-1}ZCr−1Z gates, though with stabilizer weight and physical circuit depth nεn^εnε. We show that our transversal gates also support addressing (i.e. targeting) of specific logical qubits. To obtain our codes, we develop a general transformation based on cup products that maps classical codes satisfying a multiplication property to quantum codes with transversal Cr−1ZC^{r-1}ZCr−1Z. We apply this transformation to a new family of classical Tanner codes that we construct from punctured tensor products of algebraic codes.