Methods for Automated Equivalence Checking of Quantum Error-Correction Codes

arXiv:2610.18218 · quant-ph · Submitted 2026-10-13 · Read on arXiv

quant-ph

Submitted: 2026-10-13

Updated: 2026-10-13

Comments: 22 pages, 16 main text + 2 references + 4 appendix, 19 figures

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

• CSS Codes — 1× in this paper · explained in 2 episodes
• Unified Framework — 1× in this paper · explained in 6 episodes

Sources

• Symplectic Isometries of Stabilizer Codes
• A ZX-Calculus Approach for the Construction of Graph Codes
• Equivalence Classes of Quantum Error-Correcting Codes
• Phase-free ZX diagrams are CSS codes (...or how to graphically grok the surface code)
• Small Binary Stabilizer Subsystem Codes
• Efficient equivalence checking of Clifford-U circuits with shared single-qubit unitaries
• Exhaustive Optimisation of Automorphism Groups for Stabiliser Codes
• Investigations on Automorphism Groups of Quantum Stabilizer Codes

Related papers

• Reconquering Bell sampling on qudits: stabilizer learning and testing, quantum pseudorandomness bounds, and more
• Encrypted clones can leak: Classification of informative subsets in Quantum Encrypted Cloning
• Polynomial-time classical and quantum simulation of quantum impurity models
• Incoherent Imaging with Spatially Structured Quantum Probes
• A quasiparticle-protected superconducting qubit
• Theory of quantum-enhanced interferometry with general Markovian light sources