Verifying Fault-Tolerance of Quantum Error Correction Codes
Abstract
Quantum computers have advanced rapidly in qubit count and gate fidelity. However, large-scale fault-tolerant quantum computing still relies on quantum error correction code (QECC) to suppress noise. Manually or experimentally verifying the fault-tolerance property of complex QECC implementation is impractical due to the vast error combinations. This paper formalizes the fault-tolerance of QECC implementations within the language of quantum programs. By incorporating the techniques of quantum symbolic execution, we provide an automatic verification tool for quantum fault-tolerance. We evaluate and demonstrate the effectiveness of our tool on a universal set of logical operations across different QECCs.
Cite
@article{arxiv.2501.14380,
title = {Verifying Fault-Tolerance of Quantum Error Correction Codes},
author = {Kean Chen and Yuhao Liu and Wang Fang and Jennifer Paykin and Xin-Chuan Wu and Albert Schmitz and Steve Zdancewic and Gushu Li},
journal= {arXiv preprint arXiv:2501.14380},
year = {2026}
}
Comments
54 pages, 8 figures, extended version of the paper accepted by CAV 2025