Tomasz Lamża , Justyna Zawalska , Kacper Jurek , Mariusz Sterzel , Katarzyna Rycerz
{"title":"Facilitating usage of quantum–classical optimization software with QHyper library","authors":"Tomasz Lamża , Justyna Zawalska , Kacper Jurek , Mariusz Sterzel , Katarzyna Rycerz","doi":"10.1016/j.infsof.2025.107861","DOIUrl":null,"url":null,"abstract":"<div><h3>Context:</h3><div>Quantum computing offers promising approaches to solving combinatorial optimization problems. While there are many software frameworks for these approaches, they are developed by different providers, requiring users to reimplement their problems separately in each environment to facilitate comparisons. Additionally, due to the current limitations of quantum hardware, classical solvers are often used as reference methods, further increasing implementation overhead. This lack of integration highlights the need for a unified API that seamlessly connects all approaches, enabling efficient problem formulation and comparison of different methods.</div></div><div><h3>Objective:</h3><div>This work aims to provide a research tool with a unified interface for specifying combinatorial optimization problems, selecting different solvers, managing problem hyperparameters, and standardizing the output for effortless analysis and comparison.</div></div><div><h3>Methods:</h3><div>We have developed an open-source research tool with a modular architecture that fulfills the aforementioned objective. QHyper’s design provides an independent representation of the problem along with a converter that supports various formulations compatible with available solvers. Among them are the Quantum Approximate Optimization Algorithm implemented in PennyLane, the D-Wave Advantage solver, and the Gurobi optimizer. For optimization, QHyper offers various methods, from local techniques based on gradient descent to custom global Monte Carlo methods for hyperparameter optimization.</div></div><div><h3>Results:</h3><div>QHyper’s overhead is within the statistical margin of error compared to the stand-alone use of solvers. The included illustrative example shows how to create a custom problem and easily switch between the chosen solvers. The paper also contains references to real-life scientific use cases for the presented tool.</div></div><div><h3>Conclusion:</h3><div>QHyper’s design ensures easy extensibility to new problems, solvers, and optimizers, and has proven its usefulness for several scientific use cases mentioned in the paper. With simple configuration options and easy management, such as through Jupyter Notebooks, this library can be useful for practitioners, engineers, and academics working on combinatorial optimization research.</div></div>","PeriodicalId":54983,"journal":{"name":"Information and Software Technology","volume":"188 ","pages":"Article 107861"},"PeriodicalIF":4.3000,"publicationDate":"2025-09-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Information and Software Technology","FirstCategoryId":"94","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0950584925002009","RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"COMPUTER SCIENCE, INFORMATION SYSTEMS","Score":null,"Total":0}
引用次数: 0
Abstract
Context:
Quantum computing offers promising approaches to solving combinatorial optimization problems. While there are many software frameworks for these approaches, they are developed by different providers, requiring users to reimplement their problems separately in each environment to facilitate comparisons. Additionally, due to the current limitations of quantum hardware, classical solvers are often used as reference methods, further increasing implementation overhead. This lack of integration highlights the need for a unified API that seamlessly connects all approaches, enabling efficient problem formulation and comparison of different methods.
Objective:
This work aims to provide a research tool with a unified interface for specifying combinatorial optimization problems, selecting different solvers, managing problem hyperparameters, and standardizing the output for effortless analysis and comparison.
Methods:
We have developed an open-source research tool with a modular architecture that fulfills the aforementioned objective. QHyper’s design provides an independent representation of the problem along with a converter that supports various formulations compatible with available solvers. Among them are the Quantum Approximate Optimization Algorithm implemented in PennyLane, the D-Wave Advantage solver, and the Gurobi optimizer. For optimization, QHyper offers various methods, from local techniques based on gradient descent to custom global Monte Carlo methods for hyperparameter optimization.
Results:
QHyper’s overhead is within the statistical margin of error compared to the stand-alone use of solvers. The included illustrative example shows how to create a custom problem and easily switch between the chosen solvers. The paper also contains references to real-life scientific use cases for the presented tool.
Conclusion:
QHyper’s design ensures easy extensibility to new problems, solvers, and optimizers, and has proven its usefulness for several scientific use cases mentioned in the paper. With simple configuration options and easy management, such as through Jupyter Notebooks, this library can be useful for practitioners, engineers, and academics working on combinatorial optimization research.
期刊介绍:
Information and Software Technology is the international archival journal focusing on research and experience that contributes to the improvement of software development practices. The journal''s scope includes methods and techniques to better engineer software and manage its development. Articles submitted for review should have a clear component of software engineering or address ways to improve the engineering and management of software development. Areas covered by the journal include:
• Software management, quality and metrics,
• Software processes,
• Software architecture, modelling, specification, design and programming
• Functional and non-functional software requirements
• Software testing and verification & validation
• Empirical studies of all aspects of engineering and managing software development
Short Communications is a new section dedicated to short papers addressing new ideas, controversial opinions, "Negative" results and much more. Read the Guide for authors for more information.
The journal encourages and welcomes submissions of systematic literature studies (reviews and maps) within the scope of the journal. Information and Software Technology is the premiere outlet for systematic literature studies in software engineering.