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

Divisible Codes for Quantum Computation

Jingzhen Hu, Qingzhong Liang, Robert Calderbank

Published Apr 27, 2022• 2 citations
arXivHTMLPDF

Abstract

Divisible codes are defined by the property that codeword weights share a common divisor greater than one. They are used to design signals for communications and sensing, and this paper explores how they can be used to protect quantum information as it is transformed by logical gates. Given a CSS code $\mathcal{C}$, we derive conditions that are both necessary and sufficient for a transversal diagonal physical operator $U_Z$ to preserve $\mathcal{C}$ and induce $U_L$. The group of $Z$-stabilizers in a CSS code $\mathcal{C}$ is determined by the dual of a classical $[n, k_1]$ binary code $\mathcal{C}_1$, and the group of $X$-stabilizers is determined by a classical $[n, k_2]$ binary code $\mathcal{C}_2$ that is contained in $\mathcal{C}_1$. The requirement that a diagonal physical operator $U_Z$ fixes a CSS code $\mathcal{C}$ leads to constraints on the congruence of weights in cosets of $\mathcal{C}_2$. These constraints are a perfect fit to divisible codes, and represent an opportunity to take advantage of the extensive literature on classical codes with two or three weights. We construct new families of CSS codes using cosets of the first order Reed Muller code defined by quadratic forms. We provide a simple alternative to the standard method of deriving the coset weight distributions (based on Dickson normal form) that may be of independent interest. Finally, we develop an approach to circumventing the Eastin-Knill Theorem which states that no QECC can implement a universal set of logical gates through transversal gates alone. The essential idea is to design stabilizer codes in layers, with $N_1$ inner qubits and $N_2$ outer qubits, and to assemble a universal set of fault tolerant gates on the inner qubits.

DOI
10.48550/arxiv.2204.13176

Related papers

Co-design of CSS Codes and Diagonal Gates

Jingzhen Hu, Qingzhong Liang, Robert Calderbank

The challenge of quantum computing is to combine error resilience with universal computation. There are many finite sets of gates that are universal, and a standard choice is to augment the set of Clifford gates by a non-Clifford unitary such as the T gate. Given a CSS code, we introduce a method of synthesizing all possible diagonal physical gates that preserve the codespace and induce a target logical gate. We denote an 〚n, k = k1− k2, d〛 CSS code $\mathcal{C}$ by $\operatorname{CSS} \left( {X,{\mathcal{C}_2};Z,\mathcal{C}_1^ \bot } \right)$, where the [n, k2] binary code ${\mathcal{C}_2}$ determines the X-stabilizers in $\mathcal{C}$, and the [n, n−k1] binary code $\mathcal{C}_1^ \bot $ determines the Z-stabilizers in $\mathcal{C}$. The diagonal entries of a diagonal physical gate are indexed by binary vectors in $\mathbb{F}_2^n$. We show that a diagonal physical gate preserves the CSS codespace if and only if entries from the same coset of ${\mathcal{C}_2}$ in ${\mathcal{C}_1}$ (same X-logical) are identical. We also show that the target logical operator only specifies ${2^{{k_1}}}$ out of 2ndiagonal entries of the diagonal physical gate. The remaining degrees of freedom can be used to optimize implementation of the physical gate within a particular quantum computing infrastructure. This encompasses optimization with respect to locality of the physical gate, a criterion that is essential to fault tolerance. When the target logical operator is the identity, the physical gates that preserve the CSS code represent noise operators to which the codespace is oblivious. We illustrate our method by providing several examples of code-gate pairs for which the target logical gate is a non-Clifford unitary. The framework is extended to stabilizer codes in https://arxiv.org/abs/2109.13481.

IEEE International Symposium on Information Theory (ISIT)•Jun 26, 2022•1 citation

Designing the Quantum Channels Induced by Diagonal Gates

Jingzhen Hu, Qingzhong Liang, Robert Calderbank

The challenge of quantum computing is to combine error resilience with universal computation. Diagonal gates such as the transversal T gate play an important role in implementing a universal set of quantum operations. This paper introduces a framework that describes the process of preparing a code state, applying a diagonal physical gate, measuring a code syndrome, and applying a Pauli correction that may depend on the measured syndrome (the average logical channel induced by an arbitrary diagonal gate). It focuses on CSS codes, and describes the interaction of code states and physical gates in terms of generator coefficients determined by the induced logical operator. The interaction of code states and diagonal gates depends very strongly on the signs of Z -stabilizers in the CSS code, and the proposed generator coefficient framework explicitly includes this degree of freedom. The paper derives necessary and sufficient conditions for an arbitrary diagonal gate to preserve the code space of a stabilizer code, and provides an explicit expression of the induced logical operator. When the diagonal gate is a quadratic form diagonal gate (introduced by Rengaswamy et al.), the conditions can be expressed in terms of divisibility of weights in the two classical codes that determine the CSS code. These codes find application in magic state distillation and elsewhere. When all the signs are positive, the paper characterizes all possible CSS codes, invariant under transversal Z -rotation through π/2l , that are constructed from classical Reed-Muller codes by deriving the necessary and sufficient constraints on l . The generator coefficient framework extends to arbitrary stabilizer codes but there is nothing to be gained by considering the more general class of non-degenerate stabilizer codes.

arXiv:2109.13481•Quantum•Sep 8, 2022•11 citations

Improved Quantum Codes with Transversal T Gates

Adam Wills

In this work, we study quantum CSS codes with transversal $T$ gates. Here, $T$ gate transversality is meant in the strongest sense; the application of physical $T$ to every physical qubit yields logical $T$ on every logical qubit, without Clifford corrections. Despite the importance of the $T$ gate in fault-tolerant quantum computation, the parameters of asymptotic families of such codes have not been improved since the work of Hastings and Haah in 2017, and Haah in 2018. In this work, we significantly broaden the achievable parameters of quantum code families with transversal $T$ gates, both expanding the regime of achievable polynomial rate and distance, and constructing such codes with constant rate and growing distance; this is the first time the latter has been achieved, even when allowing Clifford corrections after the transversal $T$ gate. These are also the first codes achieving $γ\to 0$ for a code with a transversal $T$ gate, where $γ$ is the overhead exponent of magic state distillation. To do this, we develop a framework of divisible decreasing monomial codes, punctured at a downward-closed set on the Boolean hypercube to create logical qubits. We prove a closed-form expression for the distance of such a code punctured at such a set, which may be of independent interest. We first instantiate this with an explicit construction based on weighted Reed-Muller codes, puncturing at low Hamming-weight points, and then with a randomised construction, where a small random set of points is protected from the puncturing to save quantum code distance, achieving improved parameters.

quant-pharXiv:2608.24000•Aug 26, 2026•0 citations

Transversal gates for quantum CSS codes

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

In this paper, we focus on the problem of computing the set of diagonal transversal gates fixing a CSS code. We determine the logical actions of the gates as well as the groups of transversal gates that induce non-trivial logical gates and logical identities. We explicitly declare the set of equations defining the groups, a key advantage and differentiator of our approach. We compute the complete set of transversal stabilizers and transversal gates for any CSS code arising from monomial codes, a family that includes decreasing monomial codes and polar codes. As a consequence, we recover and extend some results in the literature on CSS-T codes, triorthogonal codes, and divisible codes.

cs.ITCross-listedarXiv:2601.21514•Jan 30, 2026•0 citations

On Optimality of CSS Codes for Transversal T

Narayanan Rengaswamy, Robert Calderbank, Michael Newman +1 more

In order to perform universal fault-tolerant quantum computation, one needs to implement a logical non-Clifford gate. Consequently, it is important to understand codes that implement such gates transversally. In this paper, we adopt an algebraic approach to characterize all stabilizer codes for which transversal T and T†gates preserve the codespace. Our Heisenberg perspective reduces this question to a finite geometry problem that translates to the design of certain classical codes. We prove three corollaries of this result: (a) For any non-degenerate [n, k, d] stabilizer code supporting a physical transversal T (which might not be logical T), there exists an [n, k, d]] CSS code with the same property; (b) Triorthogonal codes form the most general family of CSS codes that realize logical transversal T via physical transversal T; (c) Triorthogonality is necessary for physical transversal T on a CSS code to realize the logical identity. The main tool we use is a recent characterization of a particular family of diagonal gates in the Clifford hierarchy that are efficiently described by symmetric matrices over rings of integers [N. Rengaswamy et al., Phys. Rev. A 100, 022304]. We refer to these operations as Quadratic Form Diagonal (QFD) gates. Our framework generalizes all existing stabilizer code constructions that realize logical gates via transversal T. We provide several examples of codes and briefly discuss connections to decreasing monomial codes, pin codes, generalized triorthogonality and quasitransversality. We partially extend these results towards characterizing all stabilizer codes that support transversal π/2ℓZ-rotations. In particular, using Ax's theorem on residue weights of polynomials, we provide an alternate characterization of logical gates induced by transversal π/2ℓZ-rotations on a family of quantum Reed-Muller codes. We also briefly discuss a general approach to analyze QFD gates that might lead to a characterization of all stabilizer codes that support any given physical transversal 1- or 2-local diagonal gate.

arXiv:1910.09333•IEEE Journal on Selected Areas in Information Theory•Jul 30, 2020•56 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
Divisible codes are defined by the property that codeword weights share a common divisor greater than one. They are used to design signals for communications and sensing, and this paper explores how they can be used to protect quantum information as it is transformed by logical gates. Given a CSS code C\mathcal{C}C, we derive conditions that are both necessary and sufficient for a transversal diagonal physical operator UZU_ZUZ​ to preserve C\mathcal{C}C and induce ULU_LUL​. The group of ZZZ-stabilizers in a CSS code C\mathcal{C}C is determined by the dual of a classical [n,k1][n, k_1][n,k1​] binary code C1\mathcal{C}_1C1​, and the group of XXX-stabilizers is determined by a classical [n,k2][n, k_2][n,k2​] binary code C2\mathcal{C}_2C2​ that is contained in C1\mathcal{C}_1C1​. The requirement that a diagonal physical operator UZU_ZUZ​ fixes a CSS code C\mathcal{C}C leads to constraints on the congruence of weights in cosets of C2\mathcal{C}_2C2​. These constraints are a perfect fit to divisible codes, and represent an opportunity to take advantage of the extensive literature on classical codes with two or three weights. We construct new families of CSS codes using cosets of the first order Reed Muller code defined by quadratic forms. We provide a simple alternative to the standard method of deriving the coset weight distributions (based on Dickson normal form) that may be of independent interest. Finally, we develop an approach to circumventing the Eastin-Knill Theorem which states that no QECC can implement a universal set of logical gates through transversal gates alone. The essential idea is to design stabilizer codes in layers, with N1N_1N1​ inner qubits and N2N_2N2​ outer qubits, and to assemble a universal set of fault tolerant gates on the inner qubits.
The challenge of quantum computing is to combine error resilience with universal computation. There are many finite sets of gates that are universal, and a standard choice is to augment the set of Clifford gates by a non-Clifford unitary such as the T gate. Given a CSS code, we introduce a method of synthesizing all possible diagonal physical gates that preserve the codespace and induce a target logical gate. We denote an 〚n, k = k1− k2, d〛 CSS code C\mathcal{C}C by CSS⁡(X,C2;Z,C1⊥)\operatorname{CSS} \left( {X,{\mathcal{C}_2};Z,\mathcal{C}_1^ \bot } \right)CSS(X,C2​;Z,C1⊥​), where the [n, k2] binary code C2{\mathcal{C}_2}C2​ determines the X-stabilizers in C\mathcal{C}C, and the [n, n−k1] binary code $\mathcal{C}_1^ \bot $ determines the Z-stabilizers in C\mathcal{C}C. The diagonal entries of a diagonal physical gate are indexed by binary vectors in F2n\mathbb{F}_2^nF2n​. We show that a diagonal physical gate preserves the CSS codespace if and only if entries from the same coset of C2{\mathcal{C}_2}C2​ in C1{\mathcal{C}_1}C1​ (same X-logical) are identical. We also show that the target logical operator only specifies 2k1{2^{{k_1}}}2k1​ out of 2ndiagonal entries of the diagonal physical gate. The remaining degrees of freedom can be used to optimize implementation of the physical gate within a particular quantum computing infrastructure. This encompasses optimization with respect to locality of the physical gate, a criterion that is essential to fault tolerance. When the target logical operator is the identity, the physical gates that preserve the CSS code represent noise operators to which the codespace is oblivious. We illustrate our method by providing several examples of code-gate pairs for which the target logical gate is a non-Clifford unitary. The framework is extended to stabilizer codes in https://arxiv.org/abs/2109.13481.
The challenge of quantum computing is to combine error resilience with universal computation. Diagonal gates such as the transversal T gate play an important role in implementing a universal set of quantum operations. This paper introduces a framework that describes the process of preparing a code state, applying a diagonal physical gate, measuring a code syndrome, and applying a Pauli correction that may depend on the measured syndrome (the average logical channel induced by an arbitrary diagonal gate). It focuses on CSS codes, and describes the interaction of code states and physical gates in terms of generator coefficients determined by the induced logical operator. The interaction of code states and diagonal gates depends very strongly on the signs of Z -stabilizers in the CSS code, and the proposed generator coefficient framework explicitly includes this degree of freedom. The paper derives necessary and sufficient conditions for an arbitrary diagonal gate to preserve the code space of a stabilizer code, and provides an explicit expression of the induced logical operator. When the diagonal gate is a quadratic form diagonal gate (introduced by Rengaswamy et al.), the conditions can be expressed in terms of divisibility of weights in the two classical codes that determine the CSS code. These codes find application in magic state distillation and elsewhere. When all the signs are positive, the paper characterizes all possible CSS codes, invariant under transversal Z -rotation through π/2l , that are constructed from classical Reed-Muller codes by deriving the necessary and sufficient constraints on l . The generator coefficient framework extends to arbitrary stabilizer codes but there is nothing to be gained by considering the more general class of non-degenerate stabilizer codes.
In this work, we study quantum CSS codes with transversal TTT gates. Here, TTT gate transversality is meant in the strongest sense; the application of physical TTT to every physical qubit yields logical TTT on every logical qubit, without Clifford corrections. Despite the importance of the TTT gate in fault-tolerant quantum computation, the parameters of asymptotic families of such codes have not been improved since the work of Hastings and Haah in 2017, and Haah in 2018. In this work, we significantly broaden the achievable parameters of quantum code families with transversal TTT gates, both expanding the regime of achievable polynomial rate and distance, and constructing such codes with constant rate and growing distance; this is the first time the latter has been achieved, even when allowing Clifford corrections after the transversal TTT gate. These are also the first codes achieving γ→0γ\to 0γ→0 for a code with a transversal TTT gate, where γγγ is the overhead exponent of magic state distillation. To do this, we develop a framework of divisible decreasing monomial codes, punctured at a downward-closed set on the Boolean hypercube to create logical qubits. We prove a closed-form expression for the distance of such a code punctured at such a set, which may be of independent interest. We first instantiate this with an explicit construction based on weighted Reed-Muller codes, puncturing at low Hamming-weight points, and then with a randomised construction, where a small random set of points is protected from the puncturing to save quantum code distance, achieving improved parameters.
In this paper, we focus on the problem of computing the set of diagonal transversal gates fixing a CSS code. We determine the logical actions of the gates as well as the groups of transversal gates that induce non-trivial logical gates and logical identities. We explicitly declare the set of equations defining the groups, a key advantage and differentiator of our approach. We compute the complete set of transversal stabilizers and transversal gates for any CSS code arising from monomial codes, a family that includes decreasing monomial codes and polar codes. As a consequence, we recover and extend some results in the literature on CSS-T codes, triorthogonal codes, and divisible codes.
In order to perform universal fault-tolerant quantum computation, one needs to implement a logical non-Clifford gate. Consequently, it is important to understand codes that implement such gates transversally. In this paper, we adopt an algebraic approach to characterize all stabilizer codes for which transversal T and T†gates preserve the codespace. Our Heisenberg perspective reduces this question to a finite geometry problem that translates to the design of certain classical codes. We prove three corollaries of this result: (a) For any non-degenerate [n, k, d] stabilizer code supporting a physical transversal T (which might not be logical T), there exists an [n, k, d]] CSS code with the same property; (b) Triorthogonal codes form the most general family of CSS codes that realize logical transversal T via physical transversal T; (c) Triorthogonality is necessary for physical transversal T on a CSS code to realize the logical identity. The main tool we use is a recent characterization of a particular family of diagonal gates in the Clifford hierarchy that are efficiently described by symmetric matrices over rings of integers [N. Rengaswamy et al., Phys. Rev. A 100, 022304]. We refer to these operations as Quadratic Form Diagonal (QFD) gates. Our framework generalizes all existing stabilizer code constructions that realize logical gates via transversal T. We provide several examples of codes and briefly discuss connections to decreasing monomial codes, pin codes, generalized triorthogonality and quasitransversality. We partially extend these results towards characterizing all stabilizer codes that support transversal π/2ℓZ-rotations. In particular, using Ax's theorem on residue weights of polynomials, we provide an alternate characterization of logical gates induced by transversal π/2ℓZ-rotations on a family of quantum Reed-Muller codes. We also briefly discuss a general approach to analyze QFD gates that might lead to a characterization of all stabilizer codes that support any given physical transversal 1- or 2-local diagonal gate.
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.