arrow
Return

GeQuPI: : Quantum Program Improvement with Multi-Objective Genetic Programming☆

delete2025-01-01
delete0
delete
OA
AI
F
Felix Gemeinhardt *
S
Stefan Klikovits
M
Manuel Wimmer
DOI:10.1016/j.jss.2024.112223delete
deleteOriginal
deleteShare
deleteSave
View PDF
Abstract

Abstract

En 中文
Processing quantum information poses novel challenges regarding the debugging of faulty quantum programs. Notably, the lack of accessible information on intermediate states during quantum processing, renders traditional debugging techniques infeasible. Moreover, even correct quantum programs might not be processable, as current quantum computers are limited in computation capacity. Thus, quantum program developers have to consider trade-offs between accuracy (i.e., probabilistically correct functionality) and computational cost of the proposed solutions. Manually finding sufficiently accurate and efficient solutions is a challenging task, even for quantum computing experts. To tackle these challenges, we propose a quantum program improvement framework for an automated generation of accurate and efficient solutions, coined Genetic Quantum Program Improver (GeQuPI). In particular, we focus on the tasks of debugging and optimization of quantum programs. Our framework uses techniques from quantum information theory and applies multi-objective genetic programming, which can be further hybridized with quantum-aware optimizers. To demonstrate the benefits of GeQuPI, it is applied to 47 quantum programs reused from literature and openly published libraries. The results show that our approach is capable of correcting faulty programs and optimize inefficient ones for the majority of the studied cases, showing average optimizations of 35% with respect to computational cost.
Keywords:
Quantum computing
Evolutionary algorithms
Quantum software engineering
Quantum circuit optimization
AI Summary

AI Summary

Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.

Journal

Journal of Systems and Software cover
Journal of Systems and Software
IF:
4.1
Papers:
5.4K
Citations:
8.4K

Organization

J
Johannes Kepler University Linz
Scholars:
5.5K
Papers: 4.6K
Citations: 106