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.

On the application of Sylvester's law of inertia to QUBO formulations for systems of linear equations

On the application of matrix congruence to QUBO formulations for systems of linear equations

QUBO formulations for numerical quantum computing

QUBO Refinement: Achieving Superior Precision through Iterative Quantum Formulation with Limited Qubits

Quadratic unconstrained binary optimization problem preprocessing: Theory and empirical analysis

Optimized QUBO formulation methods for quantum computing

Privacy-Preserving Quantum Annealing for Quadratic Unconstrained Binary Optimization (QUBO) Problems

QUBO.jl: A Julia Ecosystem for Quadratic Unconstrained Binary Optimization

QUBO formulations for training machine learning models

A hybrid algorithm for quadratically constrained quadratic optimization problems

Solving QUBOs with a quantum-amenable branch and bound method

Investigating the Relation Between Problem Hardness and QUBO Properties

Enhancing Quantum Algorithms for Quadratic Unconstrained Binary Optimization via Integer Programming

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

Hybrid classical-quantum branch-and-bound algorithm for solving integer linear problems

How to Approximate any Objective Function via Quadratic Unconstrained Binary Optimization

Hybrid Classical–Quantum Branch-and-Bound Algorithm for Solving Integer Linear Problems

Towards an Automatic Framework for Solving Optimization Problems with Quantum Computers

An Inexact Feasible Quantum Interior Point Method for Linearly Constrained Quadratic Optimization

Quadratic versus Polynomial Unconstrained Binary Models for Quantum Optimization illustrated on Railway Timetabling