{"id":"arxiv/2610.18218","url":"https://arxiv.org/abs/2610.18218","tags":["quant-ph"],"score":0,"title":"Methods for Automated Equivalence Checking of Quantum Error-Correction Codes","domain":"quant-ph","source":"arxiv","authors":["Maxie Bichmann","Ludwig Schmid","Robert Wille"],"reviews":0,"subject":"quant-ph","summary":"Quantum error-correction code and circuit construction is an active field of research, motivating automated methods for identifying equivalent designs. We develop and evaluate automated strategies for deciding whether two descriptions of quantum error-correction codes are equivalent under specified transformations. We formalize permutation equivalence for stabilizer and CSS codes and local-Clifford equivalence for stabilizer codes within a unified framework that separates physical from representation freedom. We develop three decision strategies (group-action search, isomorphism-based…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-10-13","reactions":{}}