Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2609.29492

QEVOLVE-Bench: A Seed Benchmark for Quantum SDK Evolution and Repair Planning

Krishna Bhatia·Gautami Sanjay Naik
View original source ↗Read source document ↗Export metadata ↓

Abstract

Quantum software is increasingly built on fast-moving Python SDKs such as Qiskit, PennyLane, and Cirq. When these SDKs evolve, user programs can fail because execution helpers are removed, import paths change, simulator abstractions shift, device names are deprecated, or circuit export interfaces are revised. Although some failures surface as simple missing-symbol errors, repairing them is not only a syntactic problem: developers must identify the replacement workflow, preserve the quantum-facing intent, and validate behavior under pinned framework versions. This paper presents QEVOLVE-Bench, a small executable seed benchmark for quantum SDK evolution. The current public release contains 14 controlled migration tasks across Qiskit, PennyLane, and Cirq. Each task is a self-contained Python project with pinned dependencies, failing and passing outputs, pytest acceptance checks, metadata, and benchmark notes. The artifact also includes a manifest, sanity checker, representative smoke-test logs, Zenodo archive, screencast, and a lightweight QEVOLVE-Agent prototype that converts task evidence into structured repair proposals. QEVOLVE-Bench is intentionally not a statistically powered benchmark; instead, it is an extensible seed artifact that lowers the setup cost for studying automated repair, LLM-based software engineering, and maintenance of quantum SDK-based projects.

Explore related subjects

quant-ph

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Krishna Bhatia, Gautami Sanjay Naik. 2026-08-25. QEVOLVE-Bench: A Seed Benchmark for Quantum SDK Evolution and Repair Planning. https://arxiv.org/abs/2609.29492

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

KEEP EXPLORING

Related papers

arXiv2026

Cavity-mediated cross-cross-resonance gate

We propose a cavity-mediated gate between two transmon qubits or other nonlinear superconducting elements. The gate is realized by driving both qubits at a frequency that is near-resonant with the frequency of the cavity. Since both qubits are subject to a cross-resonant drive, we call this gate a cross-cross-resonance gate. In close analogy with gates between trapped-ion qubits, in phase space, the state of the cavity makes a circle whose area depends on the state of the two qubits, realizing a controlled-phase gate. We propose two schemes for canceling the dominant error, which is the qubit-cavity dispersive coupling. We also show that this cross-cross-resonance gate allows one to realize simultaneous gates between multiple pairs of qubits coupled via the same metamaterial composed of an array of coupled cavities or other linear mediators.

quant-ph↗
arXiv2026

Tensors, entanglement, separability, and their complexity

The aim of this paper is to show how to characterize the entanglement and separability of d-partite states, and to obtain both known and new results using the modern theory of tensors. The geometric measure of entanglement of a pure state is one of most natural ways to quantify the entanglement, which is simply related to the spectral norm of a tensor state. On the other hand, the logarithm of the nuclear norm of the state and density tensors can be considered as its ``energy''. We first show that the most geometric measure entangled $d$-partite state has the minimum spectral norm and maximum nuclear norm. Second, we introduce the notion of Hermitian and density tensors, and the subspaces of bi-symmetric and bi-skew-symmetric Hermitian tensors, which correspond to Bosons and Fermions respectively. We show that separable density tensors, and strongly separable bi-symmetric density tensors are characterized by the value (equal to one) of their corresponding nuclear norms. In general, these characterizations are NP-hard to verify. Third, the main result of this paper to show that the above quantities are computed in polynomial time when we restrict our attention to Bosons: symmetric $d$-qubits, or more generally to symmetric $d$-qunits in $\mathbb{C}^n$, and the corresponding bi-symmetric Hermtian density tensors, for a fixed value of $n$.

quant-ph↗
arXiv2026

Many-Body Effects in Dark-State Laser Cooling

We develop a unified many-body theory of two-photon dark-state laser cooling, the workhorse for preparing trapped ions close to their motional quantum ground state. For ions with a $Λ$ level structure, driven by Raman lasers, we identify an ion-number-dependent crossover between weak and strong coupling where both the cooling rate and final temperature are simultaneously optimized. We obtain simple analytic results in both extremes: In the weak coupling limit, we show a Lorentzian spin-absorption spectrum determines the cooling rate and final occupation of the motional state, which are both independent of the number of ions. We also highlight the benefit of including an additional spin dependent force in this case. In the strong coupling regime, our theory reveals the role of collective dynamics arising from phonon exchange between dark and bright states, allowing us to explain the enhancement of the cooling rate with increasing ion number. Our analytic results agree closely with exact numerical simulations and provide experimentally accessible guidelines for optimizing cooling in large ion crystals, a key step toward scalable, high-fidelity trapped-ion quantum technologies.

quant-ph↗