Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.10427

Design-Time Conformance Checking for Pulse-Level Quantum Control

Rylan Malarchick
View original source ↗Read source document ↗Export metadata ↓

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.

Explore related subjects

quant-phcs.SE

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Rylan Malarchick. 2026-10-07. Design-Time Conformance Checking for Pulse-Level Quantum Control. https://arxiv.org/abs/2610.10427

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

KEEP EXPLORING

Related papers

arXiv2026

Quantum probability for statisticians; some new ideas

It is argued from several points of view that quantum probabilities might play a role in statistical settings. New approaches toward quantum foundations have postulates that appear to be equally valid in macroscopic settings. One such approach is described here in detail, while one other is briefly sketched. In particular, arguments behind the Born rule, which gives the basis for quantum probabilities, are given. A list of ideas for possible statistical applications of quantum probabilities is provided and discussed. A particular area is machine learning, where there exists substantial literature on links to quantum probability. Here, an idea about model reduction is sketched and is motivated from a quantum probability model. Quantum models can play a role in model reduction, where the partial least squares regression model is a special case. It is shown that for certain experiments, a Bayesian prior given by a quantum probability can be motivated. Quantum decision theory is an emerging discipline that can be motivated by this author's theory of quantum foundations.

quant-ph↗
arXiv2026

Black hole/quantum machine learning correspondence

We explore a possible connection between the black hole information paradox and interpolation geometry underlying the double descent phenomenon in quantum machine learning. State-dependent operator reconstruction on the Hawking radiation can be formulated as a quantum linear inverse problem defined on the black hole-radiation purification. In this picture, the Page time corresponds to the interpolation threshold, where the dimensions of the remaining black hole and the radiation become comparable. Using the Marchenko-Pastur law, we study the spectrum of the corresponding Gram matrices and obtain the variance of the linear reconstruction coefficients. The Page point is then related to both a change in the rank structure of the two subsystems and a strong enhancement of the coefficient variance near the interpolation threshold. This suggests a possible relation between the Page transition and interpolation phenomena in quantum machine learning.

quant-ph↗
arXiv2026

Intersubjective Agreement about Measurement Outcomes Is Unnecessary in QBism

The thought experiment called ``Wigner's Friend" has experienced a renewal of interest for interrogating the meaning of intersubjectivity and objectivity in quantum mechanics. These new inquiries extend to investigations at the intersection of phenomenology and QBism. Philosopher of physics Steven French argues that QBism does not give assurances that Wigner and friend must agree on the same quantum state or measurement outcomes. In this article, we draw on Wigner's Friend to argue that an external guarantee for agreement on either quantum states or measurement outcomes is unnecessary. We defend the view that the quantum formalism is already inherently intersubjective in the way required to sustain objectivity. Here we explore the QBist notion of reciprocity, which treats Wigner and friend as physical systems taking mutual actions on each other. The QBist notion of reciprocity leads to a sharper characterization of what it means to objectify quantum systems with the formalism. Drawing on phenomenological resources, we argue that state assignments for quantum systems, including those for Wigner and friend, are a form of objectification. To assign a quantum state is to objectify a phenomenon as a quantum system, to treat something as the sort of object to which the formalism applies. Our argument accounts for why the quantum formalism does not radically change in application for different systems because the systems themselves exceed their formalization.

quant-ph↗