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

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

K. Sai Mineesh Reddy, Navin Kashyap

quant-phcs.ITSubmitted Aug 19, 2026• Announced Aug 20, 2026• 0 citations
v1 · Aug 19, 2026v2 · Aug 20, 2026v3 · Aug 21, 2026v4 · Sep 29, 2026v5 · Oct 2, 2026
arXivHTMLPDF

Abstract

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. 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.

Comments
52 pages

Related papers

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

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

Beyond transversality: structure of Clifford circuits for CSS codes

Victor V. Albert

We characterize four groups of Clifford circuits for Calderbank--Shor--Steane (CSS) codes that are relevant to fault-tolerant logical operations. First, we show that every code-preserving Clifford circuit is a product of Z-diagonal circuits, composed of S and CZ gates, and their X-basis analogues. Second, we define the two-fold transversal group, generated by depth-one two-local code-preserving circuits, and show that each of its elements can be expressed as a product of layers consisting of either Z-diagonal, X-diagonal, or CNOT gates. As a corollary, every transversal gate is a product of three transversal diagonal circuits; for connected non-self-dual codes, two such circuits suffice. We further show that every code-preserving automorphism circuit, consisting of single-qubit Clifford gates and permutations, has a normal form comprising a Hadamard layer, a permutation, and two diagonal circuits. We also define a two-fold automorphism group, in which a depth-one two-local circuit may be code-preserving up to a permutation, and show that its logical image can be larger than that of the two-fold transversal group. For 231 CSS codes, we provide explicit generators and determine the logical image of the two-fold transversal group. We tabulate 173 codes whose full logical Clifford group is generated by two-fold-transversal circuits, including codes of distances 3, 4, 5, 6, 8, 10, 12, and 13, with respective best rates 2/5, 3/4, 34/77, 17/28, 14/25, 1/27, 3/56, and 1/33. We construct families of CSS codes from bipartite grids, cut-complements, and quadrics, and census the self-dual codes invariant under rank-3 permutation groups. Many of these codes realize the full logical Clifford group in this way.

quant-pharXiv:2608.05688•Aug 7, 2026•0 citations

Transversal diagonal logical operators for stabiliser codes

Mark A Webster, Armanda O. Quintavalle, Stephen D. Bartlett

Abstract Storing quantum information in a quantum error correction code can protect it from errors, but the ability to transform the stored quantum information in a fault tolerant way is equally important. Logical Pauli group operators can be implemented on Calderbank-Shor-Steane (CSS) codes, a commonly-studied category of codes, by applying a series of physical Pauli X and Z gates. Logical operators of this form are fault-tolerant because each qubit is acted upon by at most one gate, limiting the spread of errors, and are referred to as transversal logical operators. Identifying transversal logical operators outside the Pauli group is less well understood. Pauli operators are the first level of the Clifford hierarchy which is deeply connected to fault-tolerance and universality. In this work, we study transversal logical operators composed of single- and multi-qubit diagonal Clifford hierarchy gates. We demonstrate algorithms for identifying all transversal diagonal logical operators on a CSS code that are more general or have lower computational complexity than previous methods. We also show a method for constructing CSS codes that have a desired diagonal logical Clifford hierarchy operator implemented using single qubit phase gates. Our methods rely on representing operators composed of diagonal Clifford hierarchy gates as diagonal XP operators and this technique may have broader applications.

New Journal of Physics•Sep 22, 2023•13 citations

Homological origin of the transversal implementability of logical diagonal gates in quantum CSS codes

Junichi Haruna

Transversal Pauli Z rotations provide a natural route to fault-tolerant logical diagonal gates in quantum Calderbank-Shor-Steane (CSS) codes, but their capability is inherently constrained. We develop a homological framework that organizes transversal diagonal gates in terms of their logical action and physical implementation, revealing two layers of structure that govern their behavior. At a fixed level, we establish that their logical action admits a classification in terms of homological data of the underlying chain complex, extending the standard description of logical operators. We then formulate the refinement to finer angles as a lifting problem and derive two Bockstein-type obstruction maps, whose vanishing is a necessary and sufficient condition for the existence of a transversal logical diagonal gate at the next level. Within this framework, known algebraic conditions such as divisibility and triorthogonality are reinterpreted as necessary conditions for the existence of transversal logical diagonal gates with uniform rotation angles. Our results identify homological obstructions governing transversal implementability and provide a conceptual foundation for a formal theory of transversal structures in quantum error correction.

quant-pharXiv:2602.14499•Progress of Theoretical and Experimental Physics•Feb 17, 2026•0 citations

Transversal Diagonal Logical Operators for Stabiliser Codes

Webster, Mark A., Armanda O. Quintavalle, Stephen D. Bartlett

Storing quantum information in a quantum error correction code can protect it from errors, but the ability to transform the stored quantum information in a fault tolerant way is equally important. Logical Pauli group operators can be implemented on Calderbank-Shor-Steane (CSS) codes, a commonly-studied category of codes, by applying a series of physical Pauli X and Z gates. Logical operators of this form are fault-tolerant because each qubit is acted upon by at most one gate, limiting the spread of errors, and are referred to as transversal logical operators. Identifying transversal logical operators outside the Pauli group is less well understood. Pauli operators are the first level of the Clifford hierarchy which is deeply connected to fault-tolerance and universality. In this work, we study transversal logical operators composed of single- and multi-qubit diagonal Clifford hierarchy gates. We demonstrate algorithms for identifying all transversal diagonal logical operators on a CSS code that are more general or have lower computational complexity than previous methods. We also show a method for constructing CSS codes that have a desired diagonal logical Clifford hierarchy operator implemented using single qubit phase gates. Our methods rely on representing operators composed of diagonal Clifford hierarchy gates as diagonal XP operators and this technique may have broader applications.

arXiv:2303.15615•Mar 27, 2023•1 citation
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. 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.
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.
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.
We characterize four groups of Clifford circuits for Calderbank--Shor--Steane (CSS) codes that are relevant to fault-tolerant logical operations. First, we show that every code-preserving Clifford circuit is a product of Z-diagonal circuits, composed of S and CZ gates, and their X-basis analogues. Second, we define the two-fold transversal group, generated by depth-one two-local code-preserving circuits, and show that each of its elements can be expressed as a product of layers consisting of either Z-diagonal, X-diagonal, or CNOT gates. As a corollary, every transversal gate is a product of three transversal diagonal circuits; for connected non-self-dual codes, two such circuits suffice. We further show that every code-preserving automorphism circuit, consisting of single-qubit Clifford gates and permutations, has a normal form comprising a Hadamard layer, a permutation, and two diagonal circuits. We also define a two-fold automorphism group, in which a depth-one two-local circuit may be code-preserving up to a permutation, and show that its logical image can be larger than that of the two-fold transversal group. For 231 CSS codes, we provide explicit generators and determine the logical image of the two-fold transversal group. We tabulate 173 codes whose full logical Clifford group is generated by two-fold-transversal circuits, including codes of distances 3, 4, 5, 6, 8, 10, 12, and 13, with respective best rates 2/5, 3/4, 34/77, 17/28, 14/25, 1/27, 3/56, and 1/33. We construct families of CSS codes from bipartite grids, cut-complements, and quadrics, and census the self-dual codes invariant under rank-3 permutation groups. Many of these codes realize the full logical Clifford group in this way.
Abstract Storing quantum information in a quantum error correction code can protect it from errors, but the ability to transform the stored quantum information in a fault tolerant way is equally important. Logical Pauli group operators can be implemented on Calderbank-Shor-Steane (CSS) codes, a commonly-studied category of codes, by applying a series of physical Pauli X and Z gates. Logical operators of this form are fault-tolerant because each qubit is acted upon by at most one gate, limiting the spread of errors, and are referred to as transversal logical operators. Identifying transversal logical operators outside the Pauli group is less well understood. Pauli operators are the first level of the Clifford hierarchy which is deeply connected to fault-tolerance and universality. In this work, we study transversal logical operators composed of single- and multi-qubit diagonal Clifford hierarchy gates. We demonstrate algorithms for identifying all transversal diagonal logical operators on a CSS code that are more general or have lower computational complexity than previous methods. We also show a method for constructing CSS codes that have a desired diagonal logical Clifford hierarchy operator implemented using single qubit phase gates. Our methods rely on representing operators composed of diagonal Clifford hierarchy gates as diagonal XP operators and this technique may have broader applications.
Transversal Pauli Z rotations provide a natural route to fault-tolerant logical diagonal gates in quantum Calderbank-Shor-Steane (CSS) codes, but their capability is inherently constrained. We develop a homological framework that organizes transversal diagonal gates in terms of their logical action and physical implementation, revealing two layers of structure that govern their behavior. At a fixed level, we establish that their logical action admits a classification in terms of homological data of the underlying chain complex, extending the standard description of logical operators. We then formulate the refinement to finer angles as a lifting problem and derive two Bockstein-type obstruction maps, whose vanishing is a necessary and sufficient condition for the existence of a transversal logical diagonal gate at the next level. Within this framework, known algebraic conditions such as divisibility and triorthogonality are reinterpreted as necessary conditions for the existence of transversal logical diagonal gates with uniform rotation angles. Our results identify homological obstructions governing transversal implementability and provide a conceptual foundation for a formal theory of transversal structures in quantum error correction.
Storing quantum information in a quantum error correction code can protect it from errors, but the ability to transform the stored quantum information in a fault tolerant way is equally important. Logical Pauli group operators can be implemented on Calderbank-Shor-Steane (CSS) codes, a commonly-studied category of codes, by applying a series of physical Pauli X and Z gates. Logical operators of this form are fault-tolerant because each qubit is acted upon by at most one gate, limiting the spread of errors, and are referred to as transversal logical operators. Identifying transversal logical operators outside the Pauli group is less well understood. Pauli operators are the first level of the Clifford hierarchy which is deeply connected to fault-tolerance and universality. In this work, we study transversal logical operators composed of single- and multi-qubit diagonal Clifford hierarchy gates. We demonstrate algorithms for identifying all transversal diagonal logical operators on a CSS code that are more general or have lower computational complexity than previous methods. We also show a method for constructing CSS codes that have a desired diagonal logical Clifford hierarchy operator implemented using single qubit phase gates. Our methods rely on representing operators composed of diagonal Clifford hierarchy gates as diagonal XP operators and this technique may have broader applications.