Constrained Higher-Order Binary Optimization for Wireless Communications Systems Using Ising Machines
By: Gan Zheng, Ioannis Krikidis
Potential Business Impact:
Helps wireless signals share power and information better.
This paper develops an algorithmic solution using Ising machines to solve large-scale higher-order binary optimization (HOBO) problems with inequality constraints for resource optimization in wireless communications systems. Quadratic unconstrained binary optimization (QUBO) aims to solve a special category of these problems widely encountered in engineering and science. To solve QUBO instances, specialized Ising machines have been designed, while sophisticated quantum annealing algorithm and quantum-inspired classical heuristics have been developed. However, the application of QUBO in wireless communications has limited practical interest mainly due to the complexity of resource optimization problems which are often characterized by high-order polynomial terms and strict inequality constraints. To overcome these bottlenecks and take advantage of recent advancements in Ising machines, in this paper, we propose an iterative algorithmic solution to solve HOBO problems, which is based on the augmented Lagrangian method to handle constraints. Specifically, Taylor expansion is employed to approximate higher-order polynomials to quadratic ones in the augmented Lagrangian function, which enables the solution of a single QUBO problem at each iteration without auxiliary variables. As an illustrative case study, we consider the problem of phase optimization in a simultaneous wireless information and power transfer system, where a reconfigurable intelligent surface with 1-bit phase resolution is used to facilitate information/energy transfer. Simulation results verify that the proposed algorithm achieves satisfactory performance and outperforms heuristic benchmark schemes.
Similar Papers
Introduction to QUDO, Tensor QUDO and HOBO formulations: Qudits, Equivalences, Knapsack Problem, Traveling Salesman Problem and Combinatorial Games
Emerging Technologies
Solves hard puzzles using new math for computers.
Systematic and Efficient Construction of Quadratic Unconstrained Binary Optimization Forms for High-order and Dense Interactions
Quantum Physics
Solves hard math problems for smarter computer learning.
Hardware-Compatible Single-Shot Feasible-Space Heuristics for Solving the Quadratic Assignment Problem
Optimization and Control
Solves hard problems much faster on special chips.