arXiv preprint ·
SynDebug: A Framework to Debug Logic Bugs in Fault-Tolerant Quantum Computing Programs
- Published
- Source
- arXiv preprint, posted before peer review
- DOI
- 10.1145/3828523.3857026
- Original
- Read it at arXiv
- Topics
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.
The authors’ abstract, as arXiv lists it. arXiv’s listings, abstracts included, are free for anyone to reuse.
Read it on ReadSearch
Each opens after you create an account, and brings you back to this paper.
More in Quantum Physics
Audio-Based Condition Monitoring for Agricultural Machinery: Stakeholder Needs, Adoption Barriers, and MVP Requirements
Next Token or Vector? Learning How Far to Decode
Beyond Generation: Using Multimodal LLMs as Detectors of LLM-Generated Deepfake Facial Images
SemQBench: Benchmarking Decomposition-Aware Runtime Policies for Quantum-HPC Search
An Embedded Industrial Irrigation System with Weather-Integrated Intelligent Scheduling
Get the few papers worth your time in Quantum Physics every morning.
ReadSearch reads the new papers in your field each day and brings you the few worth reading, each with its key finding in a sentence.