Abstract:Quantum approximate optimization is one of the promising candidates for useful quantum computation, particularly in the context of finding approximate solutions to Quadratic Unconstrained Binary Optimization (QUBO) problems. However, the existing quantum processing units (QPUs) are relatively small, and canonical mappings of QUBO via the Ising model require one qubit per variable, rendering direct large-scale optimization infeasible. In classical optimization, a general strategy for addressing many large-scale problems is via multilevel/multigrid methods, where the large target problem is iteratively coarsened, and the global solution is constructed from multiple small-scale optimization runs. In this work, we experimentally test how existing QPUs perform as a sub-solver within such a multilevel strategy. We combine and extend (via additional classical processing) the recent Noise-Directed Adaptive Remapping (NDAR) and Quantum Relax $\&$ Round (QRR) algorithms. We first demonstrate the effectiveness of our heuristic extensions on Rigetti's transmon device Ankaa-2. We find approximate solutions to $10$ instances of fully connected $82$-qubit Sherrington-Kirkpatrick graphs with random integer-valued coefficients obtaining normalized approximation ratios (ARs) in the range $\sim 0.98-1.0$, and the same class with real-valued coefficients (ARs $\sim 0.94-1.0$). Then, we implement the extended NDAR and QRR algorithms as subsolvers in the multilevel algorithm for $6$ large-scale graphs with at most $\sim 27,000$ variables. The QPU (with classical post-processing steps) is used to find approximate solutions to dozens of problems, at most $82$-qubit, which are iteratively used to construct the global solution. We observe that quantum optimization results are competitive regarding the quality of solutions compared to classical heuristics used as subsolvers within the multilevel approach.

Investigating the Relation Between Problem Hardness and QUBO Properties

Quadratic unconstrained binary optimization problem preprocessing: Theory and empirical analysis

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

Optimum-Preserving QUBO Parameter Compression

Discrete quadratic model QUBO solution landscapes

How to Approximate any Objective Function via Quadratic Unconstrained Binary Optimization

Solving QUBOs with a quantum-amenable branch and bound method

QUBO formulations for numerical quantum computing

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

QUBO Formulations for Variation of Domination Problem

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

On some features of Quadratic Unconstrained Binary Optimization with random coefficients

A New QUBO Objective Function for Solving the Maximum Common Subgraph Isomorphism Problem Via Quantum Annealing

A Study of Scalarisation Techniques for Multi-Objective QUBO Solving

QUBO formulations for training machine learning models

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

Optimized QUBO formulation methods for quantum computing

An encoding of argumentation problems using quadratic unconstrained binary optimization

A Multilevel Approach For Solving Large-Scale QUBO Problems With Noisy Hybrid Quantum Approximate Optimization

PyQUBO: Python Library for Mapping Combinatorial Optimization Problems to QUBO Form

Enhancing Quantum Algorithms for Quadratic Unconstrained Binary Optimization via Integer Programming