Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.22275

SynDebug: A Framework to Debug Logic Bugs in Fault-Tolerant Quantum Computing Programs

Nicholas S. DiBrita·Jack Lange·Tirthak Patel
View original source ↗Read source document ↗Export metadata ↓

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.

Explore related subjects

quant-phcs.ET

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Nicholas S. DiBrita, Jack Lange, Tirthak Patel. 2026-10-15. SynDebug: A Framework to Debug Logic Bugs in Fault-Tolerant Quantum Computing Programs. https://doi.org/10.1145/3828523.3857026

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Entanglement Detection with Rotationally Covariant Measurements -- From Compton Scattering to Lemonade

The accurate and efficient detection of quantum entanglement remains a central challenge in quantum information science. In this work, we study the detection of entanglement of polarized photons for measurement devices that are specified by rotational covariance. We derive explicit positive operator-valued measures (POVMs) showing that any such (idealized) setting is classified by one real measurable parameter r. In particular, we give a POVM formulation of the Klein-Nishina formula for Compton scattering of polarized photons. We provide an SDP-based entanglement certification method with computable bounds that operates on the full measured statistics, also considering semi-device independent scenarios. Furthermore, we show that, while Bell violations are impossible with two rotationally covariant measurements, EPR steering can still be certified under one-sided symmetry constraints. Finally, we demonstrate how our approach can be applied by analyzing a rotationally covariant showcase experiment using scattered polarized light in a selection of soft drinks. Our results motivate further investigation of entanglement detection with lemonade- based detectors.

quant-ph↗
arXiv2026

Simulation of topological superconductors and their competing orders using photon-mediated interactions

Realizing and controlling the unconventional pairing featured by topological superconductors remains a central challenge. We introduce a cavity QED quantum simulator that engineers competing chiral $p_x+ip_y$ and $d_{x^2-y^2}+id_{xy}$ orders by tailoring cavity-mediated couplings between atomic pseudospins that emulate momentum-dependent pairing channels. The desired spatially inhomogeneous cavity-mediated couplings can be engineered in a 2D optical lattice using incommensurate cavity-lattice wavelengths naturally occurring in cavity QED systems. This minimal and fully tunable platform enables controlled state preparation and continuous measurement of superconducting order parameters. To probe this competition, the platform enables selective excitation and direct time-domain detection of Bardasis-Schrieffer modes---collective excitations of the subdominant pairing channel. The same competing channel can have an even stronger impact out of equilibrium, where a sudden quench can drive its growth and abruptly reshape the dominant superconducting order, despite the stability of the dominant order in equilibrium. Together, these results establish cavity QED as a controlled setting for revealing hidden competing orders and exploring nonlinear dynamics of topological superconductivity that remain elusive in solid-state and ultracold-atom systems.

quant-ph↗
arXiv2026

Contractivity of time-dependent driven-dissipative systems

Experimentally relevant quantum systems are frequently described by a time-dependent Lindblad master equation in which the dissipation due to interaction with an environment is fixed, but the experimenter has control over the Hamiltonian, which therefore can change with time. A fundamental question that is also of practical relevance is to determine when such systems invariably lose information about their initial state (are exponentially contractive independent of the Hamiltonian) or when the control can be used to prevent this loss of information to some degree. Here, we identify the necessary and sufficient criterion on the dissipator for Hamiltonian-invariant contractivity. If the dissipator does not fulfil this criterion, but by itself is exponentially contractive, we also establish exponential contractivity for sufficiently weak or slow drives and construct examples where strong or fast driving prevents exponential contraction.

quant-ph↗