Verifying Fault-Tolerance of Quantum Error Correction Codes
Fuente:
arXiv
Saved in:
| Main Authors: | , , , , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866910026224893952 |
|---|---|
| author | Chen, Kean Liu, Yuhao Fang, Wang Paykin, Jennifer Wu, Xin-Chuan Schmitz, Albert Zdancewic, Steve Li, Gushu |
| author_facet | Chen, Kean Liu, Yuhao Fang, Wang Paykin, Jennifer Wu, Xin-Chuan Schmitz, Albert Zdancewic, Steve Li, Gushu |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2501_14380 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Verifying Fault-Tolerance of Quantum Error Correction Codes Chen, Kean Liu, Yuhao Fang, Wang Paykin, Jennifer Wu, Xin-Chuan Schmitz, Albert Zdancewic, Steve Li, Gushu Quantum Physics Programming Languages 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. |
| title | Verifying Fault-Tolerance of Quantum Error Correction Codes |
| topic | Quantum Physics Programming Languages |
| url | https://arxiv.org/abs/2501.14380 |