aiqbench analysis
This paper establishes a rigorous homological framework for classifying transversal diagonal gates in quantum CSS codes, deriving necessary and sufficient conditions based on Bockstein-type obstruction maps. By reinterpreting standard algebraic constraints like divisibility through this new lens, the work provides a foundational theory for understanding fault-tolerant logical operations in quantum error correction.
Homological origin of the transversal implementability of logical diagonal gates in quantum CSS codes
arXiv:2602.14499v3 Announce Type: replace Abstract: 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.
Abstract: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.
Quantum Physics (quant-ph); Strongly Correlated Electrons (cond-mat.str-el); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
arXiv:2602.14499 [quant-ph]
(or arXiv:2602.14499v3 [quant-ph] for this version)
https://doi.org/10.48550/arXiv.2602.14499 Focus to learn more arXiv-issued DOI via DataCite
Prog. Theor. Exp. Phys. 2026, 083A03
https://doi.org/10.1093/ptep/ptag133 Focus to learn more DOI(s) linking to related resources
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
Full text under the publisher's open licence · 294 words
Related coverage

Simple logical quantum computation with concatenated symplectic double codes
Quantum Journal · Aug 19, 2026

Researchers Extend Quantum Codes to Realise Multiple Rotations with Added Qubits
Quantum Zeitgeist · Sep 18, 2026

Floquetifying stabiliser codes with distance-preserving rewrites
Quantum Journal · Sep 3, 2026
Finding diagonal logical gates in CSS codes and circuits
arXiv · Jul 30, 2026