Embedding of complete graphs in broken Chimera graphs

In order to solve real-world combinatorial optimization problems with a D-Wave quantum annealer, it is necessary to embed the problem at hand into the D-Wave hardware graph, namely Chimera or Pegasus. Most hard real-world problems exhibit a strong connectivity. For the worst-case scenario of a complete graph, there exists an efficient solution for the embedding into the ideal Chimera graph. However, since real machines almost always have broken qubits, it is necessary to find an embedding into the broken hardware graph. We present a new approach to the problem of embedding complete graphs into broken Chimera graphs. This problem can be formulated as an optimization problem, more precisely as a matching problem with additional linear constraints. Although being NP-hard in general, it is fixed-parameter tractable in the number of inaccessible vertices in the Chimera graph. We tested our exact approach on various instances of broken hardware graphs, both related to real hardware and randomly generated. For fixed runtime, we were able to embed larger complete graphs compared to previous, heuristic approaches. As an extension, we developed a fast heuristic algorithm which enables us to solve even larger instances. We compared the performance of our heuristic and exact approaches.

[1]  Thiago Serra,et al.  Template-based Minor Embedding for Adiabatic Quantum Optimization , 2019, INFORMS J. Comput..

[2]  Robert Schwarz,et al.  PySCIPOpt: Mathematical Programming in Python with the SCIP Optimization Suite , 2016, ICMS.

[3]  Michael Jünger,et al.  Performance of a Quantum Annealer for Ising Ground State Computations on Chimera Graphs , 2019, ArXiv.

[4]  D. Venturelli,et al.  Quantum Annealing Implementation of Job-Shop Scheduling , 2015, 1506.08479.

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

[6]  Steven J. E. Wilton,et al.  Layout-Aware Embedding for Quantum Annealing Processors , 2019, ISC.

[7]  Alon Itai,et al.  Some Matching Problems for Bipartite Graphs , 1978, JACM.

[8]  Benjamin Müller,et al.  The SCIP Optimization Suite 5.0 , 2017, 2112.08872.

[9]  Tobias Stollenwerk,et al.  Flight Gate Assignment with a Quantum Annealer , 2018, QTOP@NetSys.

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

[11]  Kathleen E. Hamilton,et al.  Identifying the minor set cover of dense connected bipartite graphs via random matching edge sets , 2016, Quantum Information Processing.

[12]  Rupak Biswas,et al.  Quantum Annealing Applied to De-Conflicting Optimal Trajectories for Air Traffic Management , 2017, IEEE Transactions on Intelligent Transportation Systems.

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

[14]  Bryan O'Gorman,et al.  A case study in programming a quantum annealer for hard operational planning problems , 2014, Quantum Information Processing.

[15]  Richard M. Karp,et al.  A n^5/2 Algorithm for Maximum Matchings in Bipartite Graphs , 1971, SWAT.

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

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

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

[19]  Aidan Roy,et al.  Next-Generation Topology of D-Wave Quantum Processors , 2020, 2003.00133.

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

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