# Verifying Fault-Tolerance of Quantum Error Correction Codes

Article · Kean Chen, Yuhao Liu, Wang Fang, Jennifer Paykin, Xin-Chuan Wu, Albert Schmitz, Steve Zdancewic, Gushu Li

- Archive id: arxiv:2501.14380
- Published: 2025-01-24
- Venue: International Conference on Computer Aided Verification (CAV 2025), pp. 3-27
- DOI: https://doi.org/10.1007/978-3-031-98685-7_1
- arXiv: https://arxiv.org/abs/2501.14380
- Citations: 7
- Source URL: https://arxiv.org/abs/2501.14380
- PDF: https://arxiv.org/pdf/2501.14380
- Provenance: arxiv

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

_Abstract reproduced under CC0-1.0 (arXiv descriptive metadata)._

Topics: [Quantum Error Correction & Fault Tolerance](https://space-kitty.com/topics/quantum-error-correction)

---
Space Kitty Archive · https://space-kitty.com · API: https://space-kitty.com/api/v1 · MCP: https://space-kitty.com/mcp · Premium: $0.20/request via x402 (Base Sepolia (testnet)). Metadata: arXiv (CC0), OpenAlex (CC0), Europe PMC (CC BY/CC0 works), ClinicalTrials.gov.