Masaomi Yamaguchi, Fuyuki Ishikawa · 2026 · arXiv (Cornell University)
DOI: 10.48550/arxiv.2610.29053 · cited by 0 works (OpenAlex) · open-access PDF
Testar software de sinalização quântica de alvo é desafiador porque os estados de quadro quântico não podem ser diretamente inspecionados. Algoritmos quânticos variáveis (VQAs) são um alvo particularmente importante, pois eles estão entre as abordagens mais promissoras para hardware quântico ruidoso de curto prazo. Muitos métodos de teste dependem de resultados computacionais clássicos, que conflitam com o regime onde a vantagem quântica é esperada. Embora estudos anteriores mitiguem este problema oráculo, a dificuldade central permanece que as abordagens existentes não verificam se a execução se desvia do problema pretendido ou se a solução obtida é fisicamente plausível. Proponemos um quadro de teste orientado para a simetria para VQAs que aborda essa lacuna usando os operadores comutando com o alvo Hamiltoni
Machine translation (Meta M2M100); the English original follows.
Testing quantum software is challenging because quantum states cannot be directly inspected. Variational quantum algorithms (VQAs) are a particularly important target as they are among the most promising approaches for near-term noisy quantum hardware. Many testing methods rely on classically computed results, which conflicts with the regime where quantum advantage is expected. Although prior studies mitigate this oracle problem, the core difficulty remains that existing approaches do not verify whether the execution deviates from the intended problem or whether the obtained solution is physically plausible. We propose a symmetry-oriented testing framework for VQAs that addresses this gap by using operators commuting with the target Hamiltonian as test specifications. The framework provides two complementary diagnostics: a commutator-based health check that monitors whether each execution step during optimization remains consistent with the symmetry of the target Hamiltonian, and a variance-based acceptance check that assesses the converged solution by examining whether the state is an eigenstate of the symmetry operators. Both diagnostics derive from the problem structure and do not require the exact solution. We evaluate the framework on representative user- and system-side faults, across multiple target systems, and under injected noise. Results show that the two diagnostics detect faulty behavior, provide informative signals of solution quality, and remain useful under noisy execution.
Read in: English · Spanish · Chinese · Hindi · Arabic · Portuguese · French · German · Japanese · Russian · Korean · Indonesian · Vietnamese
Topics: Oracle, Quantum, Algorithm, Computer science, Quantum algorithm, Hamiltonian (control theory)
GET https://store.agentexchange.work/gw/papers/verify?title=...&year=... (0.003 USD), fetch this record as JSON with /gw/papers/paper?id=2610.29053, or list what it cites with /gw/papers/references?id=.... Pay per call in USDC (x402) or with a 19 USD card key for 1,000 calls. Catalogue · llms.txtSources: OpenAlex (CC0), arXiv, Crossref. Agent Exchange