Minor-embedding heuristics for large-scale annealing processors with sparse hardware graphs of up to 102,400 nodes

Minor embedding heuristics have become an indispensable tool for compiling problems in quadratically unconstrained binary optimization (QUBO) into the hardware graphs of quantum and CMOS annealing processors. While recent embedding heuristics have been developed for annealers of moderate size (about 2000 nodes) the size of the latest CMOS annealing processor (with 102,400 nodes) poses entirely new demands on the embedding heuristic. This raises the question, if recent embedding heuristics can maintain meaningful embedding performance on hardware graphs of increasing size. Here, we develop an improved version of the probabilistic-swap-shift-annealing (PSSA) embedding heuristic [which has recently been demonstrated to outperform the standard embedding heuristic by D-Wave Systems (Cai et al., 2014)] and evaluate its embedding performance on hardware graphs of increasing size. For random-cubic and Barabasi-Albert graphs we find the embedding performance of improved PSSA to consistently exceed the threshold of the best known complete graph embedding by a factor of 3.2 and 2.8, respectively, up to hardware graphs with 102,400 nodes. On the other hand, for random graphs with constant edge density not even improved PSSA can overcome the deterministic threshold guaranteed by the existence of the best known complete graph embedding. Finally, we prove a new upper bound on the maximal embeddable size of complete graphs into hardware graphs of CMOS annealers and show that the embedding performance of its currently best known complete graph embedding has optimal order for hardware graphs with fixed coordination number.

[1]  Kazuyuki Aihara,et al.  A fully programmable 100-spin coherent Ising machine with all-to-all connections , 2016, Science.

[2]  Sabre Kais,et al.  Electronic Structure Calculations and the Ising Hamiltonian. , 2017, The journal of physical chemistry. B.

[3]  Andrew J. Ochoa,et al.  Efficient Cluster Algorithm for Spin Glasses in Any Space Dimension. , 2015, Physical review letters.

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

[5]  Alexander Grigoriev,et al.  Treewidth Lower Bounds with Brambles , 2005, Algorithmica.

[6]  Ken-ichi Kawarabayashi,et al.  A coherent Ising machine for 2000-node optimization problems , 2016, Science.

[7]  Bruce A. Reed,et al.  The disjoint paths problem in quadratic time , 2012, J. Comb. Theory, Ser. B.

[8]  Vicky Choi,et al.  Minor-embedding in adiabatic quantum computation: II. Minor-universal graph design , 2010, Quantum Inf. Process..

[9]  Nicholas C. Wormald,et al.  Generating Random Regular Graphs Quickly , 1999, Combinatorics, Probability and Computing.

[10]  Yamaoka Masanao,et al.  Contractive graph-minor embedding for CMOS Ising computer , 2016 .

[11]  Davide Venturelli,et al.  Integer Programming Techniques for Minor-Embedding in Quantum Annealers , 2019, CPAIOR.

[12]  Toshiyuki Miyazawa,et al.  Physics-Inspired Optimization for Quadratic Unconstrained Problems Using a Digital Annealer , 2018, Front. Phys..

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

[14]  Vicky Choi,et al.  Minor-embedding in adiabatic quantum computation: I. The parameter setting problem , 2008, Quantum Inf. Process..

[15]  Sanroku Tsukamoto,et al.  Ising-Model Optimizer with Parallel-Trial Bit-Sieve Engine , 2017, CISIS.

[16]  M. W. Johnson,et al.  Quantum annealing with manufactured spins , 2011, Nature.

[17]  Paul D. Seymour,et al.  Graph Minors. II. Algorithmic Aspects of Tree-Width , 1986, J. Algorithms.

[18]  Xin-She Yang,et al.  Introduction to Algorithms , 2021, Nature-Inspired Optimization Algorithms.

[19]  Atsuyoshi Nakamura,et al.  Graph Minors from Simulated Annealing for Annealing Machines with Sparse Connectivity , 2018, TPNC.

[20]  Hiroyuki Mizuno,et al.  A 20k-Spin Ising Chip to Solve Combinatorial Optimization Problems With CMOS Annealing , 2016, IEEE Journal of Solid-State Circuits.

[21]  Hristo Djidjev,et al.  Embedding Algorithms for Quantum Annealers with Chimera and Pegasus Connection Topologies , 2020, ISC.

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

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

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

[25]  Dimitrios M. Thilikos,et al.  Faster parameterized algorithms for minor containment , 2011, Theor. Comput. Sci..

[26]  R. Halin S-functions for graphs , 1976 .

[27]  H. Tamura,et al.  Accelerator Architecture for Combinatorial Optimization Problems , 2017 .

[28]  Travis S. Humble,et al.  Optimizing adiabatic quantum program compilation using a graph-theoretic framework , 2017, Quantum Information Processing.

[29]  Aidan Roy,et al.  A practical heuristic for finding graph minors , 2014, ArXiv.

[30]  Travis S. Humble,et al.  Adiabatic quantum programming: minor embedding with hard faults , 2012, Quantum Information Processing.

[31]  Ken-ichi Kawarabayashi,et al.  Binary optimization by momentum annealing. , 2019, Physical review. E.

[32]  Masanao Yamaoka,et al.  An Ising Computer Based on Simulated Quantum Annealing by Path Integral Monte Carlo Method , 2017, 2017 IEEE International Conference on Rebooting Computing (ICRC).

[33]  Seyed Saeed Changiz Rezaei,et al.  Systematic and deterministic graph minor embedding for Cartesian products of graphs , 2016, Quantum Information Processing.

[34]  C. D. Gelatt,et al.  Optimization by Simulated Annealing , 1983, Science.

[35]  Aidan Roy,et al.  Fast clique minor generation in Chimera qubit connectivity graphs , 2015, Quantum Inf. Process..

[36]  Albert-László Barabási,et al.  Statistical mechanics of complex networks , 2001, ArXiv.

[37]  Matthias Troyer,et al.  Optimised simulated annealing for Ising spin glasses , 2014, Comput. Phys. Commun..

[38]  Neil Robertson,et al.  Graph Minors .XIII. The Disjoint Paths Problem , 1995, J. Comb. Theory B.