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

CSS-$T$ codes over Binary Extension Fields and their Physical Foundations

J. J. Postema, Fabrizio Conca, Alberto Ravagnani

Published Jul 23, 2025• 0 citations
arXivHTMLPDF

Abstract

We investigate the class of CSS-$T$ codes, a family of quantum error-correcting codes that allows for a transversal $T$-gate. We extend the definition of a pair of linear codes $(C_1,C_2)$, $C_i\subseteq\mathbb{F}_q^n$, forming a $q$-ary CSS-$T$ code over binary extension fields, and demonstrate the existence of asymptotically good sequences of LDPC CSS-$T$ codes over any such field.

DOI
10.48550/arxiv.2507.17611

Related papers

Toward Quantum CSS-T Codes from Sparse Matrices

Eduardo Camps-Moreno, Hiram H. López, Gretchen L. Matthews +1 more

CSS-T codes were recently introduced as quantum error-correcting codes that respect a transversal gate. A CSS-T code depends on a pair ($C_{1}, C_{2}$) of binary linear codes$C_{1}$and$C_{2}$that satisfy certain conditions. We prove that$C_{1}$and$C_{2}$form a CSS-T pair if and only if$C_{2}\subset \text{Hull}(C_{1})\cap \text{Hull}(C_{1}^{2})$, where the hull of a code is the intersection of the code with its dual. We show that if ($C_{1}, C_{2}$) is a CSS-T pair, and the code$C_{2}$is degenerated on$\{i\}$, meaning that the$i^{th}$-entry is zero for all the elements in$C_{2}$, then the pair of punctured codes ($C_{1}\vert_{i}, C_{2}\vert_{i}$) is also a CSS-T pair. Finally, we provide Magma code based on our results and quasi-cyclic codes as a step toward finding quantum LDPC or LDGM CSS-T codes computationally.

arXiv:2406.00425•Jul 7, 2024•4 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

An algebraic characterization of binary CSS-T codes and cyclic CSS-T codes for quantum fault tolerance

Eduardo Camps-Moreno, Hiram H. López, Gretchen L. Matthews +3 more

Abstract CSS-T codes were recently introduced as quantum error-correcting codes that respect a transversal gate. A CSS-T code depends on a CSS-T pair, which is a pair of binary codes $$(C_1, C_2)$$ ( C 1 , C 2 ) such that $$C_1$$ C 1 contains $$C_2$$ C 2 , $$C_2$$ C 2 is even, and the shortening of the dual of $$C_1$$ C 1 with respect to the support of each codeword of $$C_2$$ C 2 is self-dual. In this paper, we give new conditions to guarantee that a pair of binary codes $$(C_1, C_2)$$ ( C 1 , C 2 ) is a CSS-T pair. We define the poset of CSS-T pairs and determine the minimal and maximal elements of the poset. We provide a propagation rule for nondegenerate CSS-T codes. We apply some main results to Reed–Muller, cyclic and extended cyclic codes. We characterize CSS-T pairs of cyclic codes in terms of the defining cyclotomic cosets. We find cyclic and extended cyclic codes to obtain quantum codes with better parameters than those in the literature.

arXiv:2312.17518•Quantum Information Processing•Jun 6, 2024•12 citations

Asymptotically good binary triorthogonal codes and higher-level transversal gates

Rodrigo San-José

For each level of the Clifford hierarchy from the third level onward, we construct explicit asymptotically good binary CSS codes for which a strongly transversal diagonal rotation, followed by a correction from the preceding level, implements the corresponding logical rotation. We achieve this using algebraic geometry codes over binary extension fields and performing an alphabet reduction that translates orthogonality conditions over the extension field to binary overlap conditions. In particular, we obtain the first asymptotically good family of binary triorthogonal codes. We also give a stronger construction with worse parameters for which the strongly transversal physical rotation implements the desired logical rotation, with no subsequent correction. Finally, adapting an error-correction-based distillation protocol, our binary $T$-gate families yield direct constant-overhead $T$-state block distillation from noisy $T$-state inputs under sufficiently weak input noise and ideal stabilizer operations.

cs.ITCross-listedarXiv:2609.08203•Sep 9, 2026•0 citations

Asymptotically good CSS codes that realize the logical transversal Clifford group fault-tolerantly

K. Sai Mineesh Reddy, Navin Kashyap

This paper introduces a framework for constructing Calderbank-Shor-Steane (CSS) codes that support fault-tolerant logical transversal $Z$-rotations. Using this framework, we obtain asymptotically good CSS codes that fault-tolerantly realize the logical transversal Clifford group (i.e., transversal single-qubit Clifford gates are realized within a single code block, while transversal two-qubit Clifford gates are realized across two identical code blocks). Furthermore, investigating CSS-T codes, we: (a) demonstrate asymptotically good CSS-T codes wherein the transversal $T$ realizes the logical transversal $S^{\dagger}$; (b) show that the condition $C_2 \ast C_1 \subseteq C_1^{\perp}$ is necessary but not sufficient for CSS-T codes; and (c) revise the characterizations of CSS-T codes wherein the transversal $T$ implements the logical identity and the logical transversal $T$, respectively.

quant-pharXiv:2601.08568•Jan 14, 2026•0 citations

Realizing Logical Diagonal Gates via Transversal Physical $Z$-Rotations in CSS Codes

K. Sai Mineesh Reddy, Navin Kashyap

Calderbank-Shor-Steane (CSS) codes, constructed from nested classical codes $C_2 \subseteq C_1$, are typically optimized for good code parameters. However, practical quantum computing equally demands fault-tolerant logical gates. In this work, we characterize nested pairs $(C_1, C_2)$ whose resulting CSS codes realize a target logical diagonal gate via transversal physical $Z$-rotations. In doing so, we recover a result of Camps-Moreno et al. that CSS codes can realize only logical single-qubit $Z$-rotations and multi-qubit controlled $Z$-rotations via transversal physical $Z$-rotations. Building on our characterization, we develop the ''appending construction'', that takes as input an $[[n',k']]$ CSS code $Q'$ and a target logical $Z$-rotation (single-qubit or multi-controlled) $U_L$, and extends $Q'$ by systematically appending $n''$ physical qubits to obtain an $[[n,k]]$ CSS code $Q$ with $n = n'+n''$ and $k=k'$. The target logical gate $U_L$ is realized in $Q$ by applying a well-chosen physical transversal $Z$-rotation to the $n''$ appended physical qubits. Moreover, any logical gate realized via transversal physical $Z$-rotations in the input code $Q'$ remains transversally realizable in the extended code $Q$. The CSS code $Q$ may incur a loss in minimum distance, but the loss can be controlled through the parameter choices made in the construction. By repeatedly applying the appending construction, we can extend any CSS code $Q'$ to obtain a CSS code $Q$ that supports fault-tolerant implementations of multiple desired logical $Z$-rotations. The cost to be paid for this is the increased physical qubit overhead as the number of target logical gates grows. To illustrate our methodology, we construct CSS code families that transversally realize addressable logical single-qubit and multi-controlled $Z$-rotations.

quant-pharXiv:2608.19094•Aug 20, 2026•0 citations
CSS-TTT codes over Binary Extension Fields and their Physical Foundations
We investigate the class of CSS-TTT codes, a family of quantum error-correcting codes that allows for a transversal TTT-gate. We extend the definition of a pair of linear codes (C1,C2)(C_1,C_2)(C1​,C2​), Ci⊆FqnC_i\subseteq\mathbb{F}_q^nCi​⊆Fqn​, forming a qqq-ary CSS-TTT code over binary extension fields, and demonstrate the existence of asymptotically good sequences of LDPC CSS-TTT codes over any such field.
CSS-T codes were recently introduced as quantum error-correcting codes that respect a transversal gate. A CSS-T code depends on a pair (C1,C2C_{1}, C_{2}C1​,C2​) of binary linear codesC1C_{1}C1​andC2C_{2}C2​that satisfy certain conditions. We prove thatC1C_{1}C1​andC2C_{2}C2​form a CSS-T pair if and only ifC2⊂Hull(C1)∩Hull(C12)C_{2}\subset \text{Hull}(C_{1})\cap \text{Hull}(C_{1}^{2})C2​⊂Hull(C1​)∩Hull(C12​), where the hull of a code is the intersection of the code with its dual. We show that if (C1,C2C_{1}, C_{2}C1​,C2​) is a CSS-T pair, and the codeC2C_{2}C2​is degenerated on{i}\{i\}{i}, meaning that theithi^{th}ith-entry is zero for all the elements inC2C_{2}C2​, then the pair of punctured codes (C1∣i,C2∣iC_{1}\vert_{i}, C_{2}\vert_{i}C1​∣i​,C2​∣i​) is also a CSS-T pair. Finally, we provide Magma code based on our results and quasi-cyclic codes as a step toward finding quantum LDPC or LDGM CSS-T codes computationally.
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.
Abstract CSS-T codes were recently introduced as quantum error-correcting codes that respect a transversal gate. A CSS-T code depends on a CSS-T pair, which is a pair of binary codes (C1,C2)(C_1, C_2)(C1​,C2​) ( C 1 , C 2 ) such that C1C_1C1​ C 1 contains C2C_2C2​ C 2 , C2C_2C2​ C 2 is even, and the shortening of the dual of C1C_1C1​ C 1 with respect to the support of each codeword of C2C_2C2​ C 2 is self-dual. In this paper, we give new conditions to guarantee that a pair of binary codes (C1,C2)(C_1, C_2)(C1​,C2​) ( C 1 , C 2 ) is a CSS-T pair. We define the poset of CSS-T pairs and determine the minimal and maximal elements of the poset. We provide a propagation rule for nondegenerate CSS-T codes. We apply some main results to Reed–Muller, cyclic and extended cyclic codes. We characterize CSS-T pairs of cyclic codes in terms of the defining cyclotomic cosets. We find cyclic and extended cyclic codes to obtain quantum codes with better parameters than those in the literature.
For each level of the Clifford hierarchy from the third level onward, we construct explicit asymptotically good binary CSS codes for which a strongly transversal diagonal rotation, followed by a correction from the preceding level, implements the corresponding logical rotation. We achieve this using algebraic geometry codes over binary extension fields and performing an alphabet reduction that translates orthogonality conditions over the extension field to binary overlap conditions. In particular, we obtain the first asymptotically good family of binary triorthogonal codes. We also give a stronger construction with worse parameters for which the strongly transversal physical rotation implements the desired logical rotation, with no subsequent correction. Finally, adapting an error-correction-based distillation protocol, our binary TTT-gate families yield direct constant-overhead TTT-state block distillation from noisy TTT-state inputs under sufficiently weak input noise and ideal stabilizer operations.
This paper introduces a framework for constructing Calderbank-Shor-Steane (CSS) codes that support fault-tolerant logical transversal ZZZ-rotations. Using this framework, we obtain asymptotically good CSS codes that fault-tolerantly realize the logical transversal Clifford group (i.e., transversal single-qubit Clifford gates are realized within a single code block, while transversal two-qubit Clifford gates are realized across two identical code blocks). Furthermore, investigating CSS-T codes, we: (a) demonstrate asymptotically good CSS-T codes wherein the transversal TTT realizes the logical transversal S†S^{\dagger}S†; (b) show that the condition C2∗C1⊆C1⊥C_2 \ast C_1 \subseteq C_1^{\perp}C2​∗C1​⊆C1⊥​ is necessary but not sufficient for CSS-T codes; and (c) revise the characterizations of CSS-T codes wherein the transversal TTT implements the logical identity and the logical transversal TTT, respectively.
Realizing Logical Diagonal Gates via Transversal Physical ZZZ-Rotations in CSS Codes
Calderbank-Shor-Steane (CSS) codes, constructed from nested classical codes C2⊆C1C_2 \subseteq C_1C2​⊆C1​, are typically optimized for good code parameters. However, practical quantum computing equally demands fault-tolerant logical gates. In this work, we characterize nested pairs (C1,C2)(C_1, C_2)(C1​,C2​) whose resulting CSS codes realize a target logical diagonal gate via transversal physical ZZZ-rotations. In doing so, we recover a result of Camps-Moreno et al. that CSS codes can realize only logical single-qubit ZZZ-rotations and multi-qubit controlled ZZZ-rotations via transversal physical ZZZ-rotations. Building on our characterization, we develop the ''appending construction'', that takes as input an [[n′,k′]][[n',k']][[n′,k′]] CSS code Q′Q'Q′ and a target logical ZZZ-rotation (single-qubit or multi-controlled) ULU_LUL​, and extends Q′Q'Q′ by systematically appending n′′n''n′′ physical qubits to obtain an [[n,k]][[n,k]][[n,k]] CSS code QQQ with n=n′+n′′n = n'+n''n=n′+n′′ and k=k′k=k'k=k′. The target logical gate ULU_LUL​ is realized in QQQ by applying a well-chosen physical transversal ZZZ-rotation to the n′′n''n′′ appended physical qubits. Moreover, any logical gate realized via transversal physical ZZZ-rotations in the input code Q′Q'Q′ remains transversally realizable in the extended code QQQ. The CSS code QQQ may incur a loss in minimum distance, but the loss can be controlled through the parameter choices made in the construction. By repeatedly applying the appending construction, we can extend any CSS code Q′Q'Q′ to obtain a CSS code QQQ that supports fault-tolerant implementations of multiple desired logical ZZZ-rotations. The cost to be paid for this is the increased physical qubit overhead as the number of target logical gates grows. To illustrate our methodology, we construct CSS code families that transversally realize addressable logical single-qubit and multi-controlled ZZZ-rotations.