Abstract:We introduce a comprehensive quantum solver for binary combinatorial optimization problems on gate-model quantum computers that outperforms any published alternative and consistently delivers correct solutions for problems with up to 127 qubits. We provide an overview of the internal workflow, describing the integration of a customized ansatz and variational parameter update strategy, efficient error suppression in hardware execution, and QPU-overhead-free post-processing to correct for bit-flip errors. We benchmark this solver on IBM quantum computers for several classically nontrivial unconstrained binary optimization problems -- the entire optimization is conducted on hardware with no use of classical simulation or prior knowledge of the solution. First, we demonstrate the ability to correctly solve Max-Cut instances for random regular graphs with a variety of densities using up to 120 qubits, where the graph topologies are not matched to device connectivity. Next, we apply the solver to higher-order binary optimization and successfully search for the ground state energy of a 127-qubit spin-glass model with linear, quadratic, and cubic interaction terms. Use of this new quantum solver increases the likelihood of finding the minimum energy by up to $\sim1,500\times$ relative to published results using a DWave annealer, and it can find the correct solution when the annealer fails. Furthermore, for both problem types, the Q-CTRL solver outperforms a heuristic local solver used to indicate the relative difficulty of the problems pursued. Overall, these results represent the largest quantum optimizations successfully solved on hardware to date, and demonstrate the first time a gate-model quantum computer has been able to outperform an annealer for a class of binary optimization problems.

Resource Efficient Boolean Function Solver on Quantum Computer

Circuit optimization of Grover quantum search algorithm

Qubit-efficient quantum combinatorial optimization solver

A Fast Quantum Algorithm for Searching the Quasi-Optimal Solutions of Unit Commitment

Boolean Function Decomposition Based on Grover Algorithm and Its Simulation Using Quantum Language Quipper

Analysis and Simulation of Grover’s Search Algorithm

Experimental Quantum Computing to Solve Systems of Linear Equations

qSAT: Design of an Efficient Quantum Satisfiability Solver for Hardware Equivalence Checking

Quantum multi-programming for Grover's search

Quantum-Enhanced Greedy Combinatorial Optimization Solver

Performant near-term quantum combinatorial optimization

Quantum speedup to some types of polynomial equations

Solving various NP-Hard problems using exponentially fewer qubits on a Quantum Computer

Efficient Digital Quadratic Unconstrained Binary Optimization Solvers for SAT Problems

Practical Quantum Search by Variational Quantum Eigensolver on Noisy Intermediate-scale Quantum Hardware

Scalable algorithm simplification using quantum AND logic

Comprehensive characterization of three-qubit Grover search algorithm on IBM's 127-qubit superconducting quantum computers

A quantum algorithm for solving systems of nonlinear algebraic equations

Automated Quantum Oracle Synthesis with a Minimal Number of Qubits

Variational Quantum Search with Shallow Depth for Unstructured Database Search

Quantum optimization using a 127-qubit gate-model IBM quantum computer can outperform quantum annealers for nontrivial binary optimization problems