Design-Time Conformance Checking for Pulse-Level Quantum Control
Abstract
A pulse-level quantum control program is written against a device whose limits are recorded, if at all, in vendor documentation and source code. A program that exceeds them can be refused at compile time. It can also be accepted and silently altered, or compile and then fail at the board. In the last two cases the experiment runs, and the data does not correspond to the program that was written. We present qconform, a checker that decides whether a pulse program is realizable on a device, given a versioned capability descriptor for that device. Every constraint in a descriptor cites the toolchain observation that established it. The checker is design-time, offline, and deterministic, and it uses no floating point. It reports a verdict, the rules it applied, and a coverage manifest that names what it did not check. We evaluate qconform by differential testing against the QICK and Qblox toolchains, on three QICK board configurations and one Qblox cluster. Over 1263 program runs of 969 distinct programs, the checker accepted no program that a toolchain refuses. On both vendors, a descriptor pinned to one toolchain release accepts programs that older releases refuse. The evaluation also found ten defects in the checker and its descriptors, all fixed.
Related
- Higher-Order Magnus Corrections to Leakage Elimination Operator-Based Quantum Control Pulse Design in the Low-Frequency Regime
- Adaptive AI for Pulse-Level Quantum Control
- Periodic-Pulse Control of Collective Emission and Photon Statistics in Interacting Quantum Emitters
- Capability-Gated Conformance Testing of Quantum Error-Correction Decoder Libraries
- Methods for Automated Equivalence Checking of Quantum Error-Correction Codes
BibTeX
@misc{malarchick2026designtime,
title = {{Design-Time Conformance Checking for Pulse-Level Quantum Control}},
author = {Rylan Malarchick},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.10427},
eprint = {2610.10427},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.10427},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Design-Time Conformance Checking for Pulse-Level Quantum Control
AU - Rylan Malarchick
PY - 2026
DA - 2026/10/07
PB - arXiv
DO - 10.48550/arxiv.2610.10427
UR - https://arxiv.org/abs/2610.10427
AB - A pulse-level quantum control program is written against a device whose limits are recorded, if at all, in vendor documentation and source code. A program that exceeds them can be refused at compile time. It can also be accepted and silently altered, or compile and then fail at the board. In the last two cases the experiment runs, and the data does not correspond to the program that was written. We present qconform, a checker that decides whether a pulse program is realizable on a device, given a versioned capability descriptor for that device. Every constraint in a descriptor cites the toolchain observation that established it. The checker is design-time, offline, and deterministic, and it uses no floating point. It reports a verdict, the rules it applied, and a coverage manifest that names what it did not check. We evaluate qconform by differential testing against the QICK and Qblox toolchains, on three QICK board configurations and one Qblox cluster. Over 1263 program runs of 969 distinct programs, the checker accepted no program that a toolchain refuses. On both vendors, a descriptor pinned to one toolchain release accepts programs that older releases refuse. The evaluation also found ten defects in the checker and its descriptors, all fixed.
ER -