Abstract:Optimizing objective functions stands to benefit significantly from leveraging quantum computers, promising enhanced solution quality across various application domains in the future. However, harnessing the potential of quantum solvers necessitates formulating problems according to the Quadratic Unconstrained Binary Optimization (QUBO) model, demanding significant expertise in quantum computation and QUBO formulations. This expertise barrier limits access to quantum solutions. Fortunately, automating the conversion of conventional optimization problems into QUBO formulations presents a solution for promoting accessibility to quantum solvers. This article addresses the unmet need for a comprehensive automatic framework to assist users in utilizing quantum solvers for optimization tasks while preserving interfaces that closely resemble conventional optimization practices. The framework prompts users to specify variables, optimization criteria, as well as validity constraints and, afterwards, allows them to choose the desired solver. Subsequently, it automatically transforms the problem description into a format compatible with the chosen solver and provides the resulting solution. Additionally, the framework offers instruments for analyzing solution validity and quality. Comparative analysis against existing libraries and tools in the literature highlights the comprehensive nature of the proposed framework. Two use cases (the knapsack problem and linear regression) are considered to show the completeness and efficiency of the framework in real-world applications. Finally, the proposed framework represents a significant advancement towards automating quantum computing solutions and widening access to quantum optimization for a broader range of users.

What problem does this paper attempt to address?

This paper presents an automatic framework that aims to address the challenge of utilizing quantum computers to solve optimization problems. Currently, using a quantum solver requires transforming the problem into a Quadratic Unconstrained Binary Optimization (QUBO) model, which requires a deep understanding of quantum computing and QUBO modeling, limiting access to quantum solutions for non-expert users. The paper proposes an automatic conversion framework that transforms traditional optimization problems into the QUBO form. Users only need to specify variables, optimization criteria, and constraints, and then choose a solver. The framework will automatically convert the problem into the format compatible with the selected solver and provide a solution. Additionally, the framework provides tools for analyzing the effectiveness and quality of the solutions. The key feature of this framework is its user interface, which resembles conventional optimization practices, simplifying the usage of quantum solvers. By comparing existing libraries and tools, the paper emphasizes the comprehensiveness of this framework and demonstrates its practicality and efficiency through two real-world application cases (knapsack problem and linear regression). This framework, part of the Munich Quantum Toolbox (MQT), is openly available on GitHub. It represents an important step towards automated quantum computing solutions, aiming to enable more users to access and utilize quantum optimization.

Towards an Automatic Framework for Solving Optimization Problems with Quantum Computers

A Framework to Formulate Pathfinding Problems for Quantum Computing

Recommending Solution Paths for Solving Optimization Problems with Quantum Computing

A Predictive Approach for Selecting the Best Quantum Solver for an Optimization Problem

Solving Quadratic Unconstrained Binary Optimization with divide-and-conquer and quantum algorithms

Creating Automated Quantum-Assisted Solutions for Optimization Problems

Quadratic unconstrained binary optimization problem preprocessing: Theory and empirical analysis

Optimized QUBO formulation methods for quantum computing

Quantum Optimization: Potential, Challenges, and the Path Forward

Hybrid Quantum Annealing Decomposition Framework for Unit Commitment

Enhancing Quantum Algorithms for Quadratic Unconstrained Binary Optimization via Integer Programming

An Automatic Approach for Combinational Problems on a Hybrid Quantum Architecture

How to Approximate any Objective Function via Quadratic Unconstrained Binary Optimization

Hybrid Meta-Solving for Practical Quantum Computing

Towards Arbitrary QUBO Optimization: Analysis of Classical and Quantum-Activated Feedforward Neural Networks

An Optimization Case Study for solving a Transport Robot Scheduling Problem on Quantum-Hybrid and Quantum-Inspired Hardware

Quantum Optimization Algorithms in Operations Research: Methods, Applications, and Implications

Evaluation of Quantum and Hybrid Solvers for Combinatorial Optimization

Solving Combinatorial Optimization Problems with a Block Encoding Quantum Optimizer

Towards Robust Benchmarking of Quantum Optimization Algorithms

Quantum Optimisation for Continuous Multivariable Functions by a Structured Search