SynDebug: A Framework to Debug Logic Bugs in Fault-Tolerant Quantum Computing Programs
Abstract
Fault-tolerant quantum computing (FTQC) introduces substantial systems-level complexity through quantum error correction (QEC), making debugging FTQC programs challenging. Existing quantum debugging approaches primarily target logical-level circuits and do not naturally support debugging within realistic FTQC execution flows. We present SynDebug, the first systems-level debugging framework for FTQC programs. SynDebug introduces lightweight assertion-based debugging primitives that operate directly within encoded FTQC infrastructures while avoiding additional logical surface area and minimizing temporal overhead. We evaluate SynDebug across multiple QEC code families, code distances, and encoded workloads, including state preparation, entanglement validation, and Shor-style programs. Our results demonstrate that SynDebug enables practical FTQC debugging with an average 1.8% additional circuit depth overhead (0% in most cases) and no measurable increase in the logical error rate, showing that systems-level debugging for large-scale FTQC applications is both feasible and practical.
Versions
Related
- Towards fault-tolerant quantum computing with optically controlled superconducting qubits
- Feasibility of Distributed Fault-Tolerant Quantum Computing: From Quantum Links to Algorithms
- Noise Limits on Fault-Tolerant Fermionic Quantum Computing
- Transversal Fanout for Fault Tolerant Distributed Quantum Computing: Analysis and Application
- Modular fault-tolerant quantum computing on a non-CSS code
BibTeX
@misc{dibrita2026syndebug,
title = {{SynDebug: A Framework to Debug Logic Bugs in Fault-Tolerant Quantum Computing Programs}},
author = {Nicholas S. DiBrita and Jack Lange and Tirthak Patel},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.22275},
eprint = {2610.22275},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.22275},
note = {CC BY-NC-ND 4.0},
}
RIS
TY - UNPB
TI - SynDebug: A Framework to Debug Logic Bugs in Fault-Tolerant Quantum Computing Programs
AU - Nicholas S. DiBrita
AU - Jack Lange
AU - Tirthak Patel
PY - 2026
DA - 2026/10/15
PB - arXiv
DO - 10.48550/arxiv.2610.22275
UR - https://arxiv.org/abs/2610.22275
AB - Fault-tolerant quantum computing (FTQC) introduces substantial systems-level complexity through quantum error correction (QEC), making debugging FTQC programs challenging. Existing quantum debugging approaches primarily target logical-level circuits and do not naturally support debugging within realistic FTQC execution flows. We present SynDebug, the first systems-level debugging framework for FTQC programs. SynDebug introduces lightweight assertion-based debugging primitives that operate directly within encoded FTQC infrastructures while avoiding additional logical surface area and minimizing temporal overhead. We evaluate SynDebug across multiple QEC code families, code distances, and encoded workloads, including state preparation, entanglement validation, and Shor-style programs. Our results demonstrate that SynDebug enables practical FTQC debugging with an average 1.8% additional circuit depth overhead (0% in most cases) and no measurable increase in the logical error rate, showing that systems-level debugging for large-scale FTQC applications is both feasible and practical.
ER -