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

Quadratic Unconstrained Binary Optimization (QUBO) is a broad class of optimization problems with many practical applications. To solve its hard instances in an exact way, known classical algorithms require exponential time and several approximate methods have been devised to reduce such cost. With the growing maturity of quantum computing, quantum algorithms have been proposed to speed up the solution by using either quantum annealers or universal quantum computers. Here we apply the divide-and-conquer approach to reduce the original problem to a collection of smaller problems whose solutions can be assembled to form a single Polynomial Binary Unconstrained Optimization instance with fewer variables. This technique can be applied to any QUBO instance and leads to either an all-classical or a hybrid quantum-classical approach. When quantum heuristics like the Quantum Approximate Optimization Algorithm (QAOA) are used, our proposal leads to a double advantage: a substantial reduction of quantum resources, specifically an average of ∼ 42% fewer qubits to solve MaxCut on random 3-regular graphs, together with an improvement in the quality of the approximate solutions reached.

[1]  Fred W. Glover,et al.  Quantum Bridge Analytics I: a tutorial on formulating and using QUBO models , 2018, 4OR.

[2]  Joel Nothman,et al.  SciPy 1.0-Fundamental Algorithms for Scientific Computing in Python , 2019, ArXiv.

[3]  Ilya Safro,et al.  Multistart Methods for Quantum Approximate optimization , 2019, 2019 IEEE High Performance Extreme Computing Conference (HPEC).

[4]  C. Monroe,et al.  Quantum approximate optimization of the long-range Ising model with a trapped-ion quantum simulator , 2019, Proceedings of the National Academy of Sciences.

[5]  Andrew Lucas,et al.  Ising formulations of many NP problems , 2013, Front. Physics.

[6]  H. Nishimori,et al.  Quantum annealing in the transverse Ising model , 1998, cond-mat/9804280.

[7]  Adrian Kügel,et al.  Improved Exact Solver for the Weighted MAX-SAT Problem , 2010, POS@SAT.

[8]  Gian Giacomo Guerreschi,et al.  Evaluation of Quantum Approximate Optimization Algorithm based on the approximation ratio of single samples , 2020, ArXiv.

[9]  Robert Koenig,et al.  Obstacles to State Preparation and Variational Optimization from Symmetry Protection. , 2019, 1910.08980.

[10]  Daniel A. Lidar,et al.  Evidence for quantum annealing with more than one hundred qubits , 2013, Nature Physics.

[11]  M. Lukin,et al.  Quantum optimization of maximum independent set using Rydberg atom arrays , 2018, Science.

[12]  Andrew W. Cross,et al.  Quantum optimization using variational algorithms on near-term quantum devices , 2017, Quantum Science and Technology.

[13]  Fred W. Glover,et al.  The unconstrained binary quadratic programming problem: a survey , 2014, Journal of Combinatorial Optimization.

[14]  Gábor Csárdi,et al.  The igraph software package for complex network research , 2006 .

[15]  E. Farhi,et al.  A Quantum Adiabatic Evolution Algorithm Applied to Random Instances of an NP-Complete Problem , 2001, Science.

[16]  S. Lloyd,et al.  Quantum Algorithm Providing Exponential Speed Increase for Finding Eigenvalues and Eigenvectors , 1998, quant-ph/9807070.

[17]  Mikhail Smelyanskiy,et al.  Practical optimization for hybrid quantum-classical algorithms , 2017, 1701.01450.

[18]  Richard M. Karp,et al.  Reducibility Among Combinatorial Problems , 1972, 50 Years of Integer Programming.

[19]  Rolf Niedermeier,et al.  Worst-case upper bounds for MAX-2-SAT with an application to MAX-CUT , 2003, Discret. Appl. Math..

[20]  Stefan M. Wild,et al.  Asynchronously parallel optimization solver for finding multiple minima , 2018, Math. Program. Comput..

[21]  今井 浩 20世紀の名著名論:Peter Shor : Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer , 2004 .

[22]  S. Knysh,et al.  Quantum Optimization of Fully-Connected Spin Glasses , 2014, 1406.7553.

[23]  Leo Zhou,et al.  Quantum Approximate Optimization Algorithm: Performance, Mechanism, and Implementation on Near-Term Devices , 2018, Physical Review X.

[24]  Gian Giacomo Guerreschi,et al.  QAOA for Max-Cut requires hundreds of qubits for quantum speed-up , 2018, Scientific Reports.

[25]  D. Bacon,et al.  Quantum approximate optimization of non-planar graph problems on a planar superconducting processor , 2020, Nature Physics.

[26]  Giacomo Nannicini,et al.  Improving Variational Quantum Optimization using CVaR , 2019, Quantum.

[27]  Blake R. Johnson,et al.  Unsupervised Machine Learning on a Hybrid Quantum Computer , 2017, 1712.05771.

[28]  Iain Dunning,et al.  What Works Best When? A Systematic Evaluation of Heuristics for Max-Cut and QUBO , 2018, INFORMS J. Comput..

[29]  Rolando L. La Placa,et al.  How many qubits are needed for quantum computational supremacy? , 2018, Quantum.

[30]  Lov K. Grover Quantum Mechanics Helps in Searching for a Needle in a Haystack , 1997, quant-ph/9706033.

[31]  Santo Fortunato,et al.  Community detection in networks: A user guide , 2016, ArXiv.

[32]  David P. Williamson,et al.  Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming , 1995, JACM.

[33]  Peter W. Shor,et al.  Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer , 1995, SIAM Rev..

[34]  Uriel Feige,et al.  Approximating the value of two power proof systems, with applications to MAX 2SAT and MAX DICUT , 1995, Proceedings Third Israel Symposium on the Theory of Computing and Systems.

[35]  Daniel A. Lidar,et al.  Max 2-SAT with up to 108 qubits , 2013, 1307.3931.

[36]  Alán Aspuru-Guzik,et al.  Quantum Chemistry in the Age of Quantum Computing. , 2018, Chemical reviews.

[37]  E. Farhi,et al.  A Quantum Approximate Optimization Algorithm , 2014, 1411.4028.

[38]  Martin Leib,et al.  Training the quantum approximate optimization algorithm without access to a quantum processing unit , 2019, Quantum Science and Technology.

[39]  Gian Giacomo Guerreschi,et al.  Resource-efficient digital quantum simulation of d-level systems for photonic, vibrational, and spin-s Hamiltonians , 2019, npj Quantum Information.

[40]  Uri Zwick,et al.  MAX CUT in cubic graphs , 2002, SODA '02.

[41]  M. Hastings,et al.  Training A Quantum Optimizer , 2016, 1605.05370.