Abstract:Several combinatorial optimization problems can be solved with NISQ devices once that a corresponding quadratic unconstrained binary optimization (QUBO) form is derived. The aim of this work is to drastically reduce the variables needed for these QUBO reformulations in order to unlock the possibility to efficiently obtain optimal solutions for a class of optimization problems with NISQ devices. This is achieved by introducing novel tools that allow an efficient use of slack variables, even for problems with non-linear constraints, without the need to approximate the starting problem. We divide our new techniques in two independent parts, called the iterative quadratic polynomial and the master-satellite methods. Hence, we show how to apply our techniques in case of an NP-hard optimization problem inspired by a real-world financial scenario called Max-Profit Balance Settlement. We follow by submitting several instances of this problem to two D-wave quantum annealers, comparing the performances of our novel approach with the standard methods used in these scenarios. Moreover, this study allows to appreciate several performance differences between the D-wave Advantage and Advantage2 quantum annealers.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is how to more effectively transform combinatorial optimization problems into the Quadratic Unconstrained Binary Optimization (QUBO) form in quantum computing, especially for Noisy Intermediate - Scale Quantum (NISQ) devices. Specifically, the goal of the paper is to significantly reduce the number of variables required for QUBO conversion, especially the number of slack variables, by introducing new tools and techniques, thereby unlocking the possibility of efficiently solving a class of optimization problems using NISQ devices.
### Background and Problem Definition
In the field of quantum computing, especially on NISQ devices, the problems that can be effectively solved are severely limited. One of the main limiting factors is the number of qubits required to run the algorithm. Many combinatorial optimization problems can be solved by NISQ devices provided that they can be transformed into the corresponding QUBO form. Different transformation methods will result in significantly different numbers of binary variables (i.e., the number of qubits) required. Therefore, the paper aims to improve the ability of NISQ devices to solve optimization problems by introducing new techniques to reduce the number of variables required for these QUBO transformations.
### Main Contributions
1. **Iterative Quadratic Polynomial (IQP) Method**:
- It provides a new method to enforce constraint conditions in the QUBO form, especially suitable for constraints defined on a small number of binary variables.
- It can be easily generalized to enforce nonlinear equality and inequality constraints without approximating the original problem.
2. **Master - Satellite (MS) Method**:
- It provides a new method to enforce constraint conditions in the QUBO form by exploiting the synergy between different constraints that share the same binary variables.
- It divides the constraints into "master" constraints and "satellite" constraints. The master constraints are enforced for all possible combinations of binary variables, while the satellite constraints are only enforced for combinations that already satisfy the master constraints.
### Application Cases
The paper demonstrates the application of these new methods through an NP - hard optimization problem from the financial field - the Max - Profit Balance Settlement (MPBS) problem. Specifically:
- **Problem Description**: The MPBS problem is a practical problem in the financial field, involving the distribution of profits among multiple participants while satisfying a series of complex constraint conditions.
- **Experimental Results**: By applying the new methods proposed in the paper, it is possible to reduce the slack variables by about 90% when generating the QUBO form. In addition, when using the D - Wave quantum annealer to solve the MPBS problem, the success rate of the solutions provided by the new methods is significantly higher than that of traditional methods, and as the input scale increases, the rate of decline in the success rate is also slower.
### Conclusion
By introducing the IQP and MS methods, the paper has successfully reduced the number of variables required for QUBO transformation, especially the number of slack variables, thereby improving the ability of NISQ devices to solve complex optimization problems. These methods are not only innovative in theory but also show significant advantages in practical applications.