Abstract:Quantum annealing (QA) can be used to quickly obtain near-optimal solutions for quadratic unconstrained binary optimization (QUBO) problems. In QA hardware, each decision variable of a QUBO should be mapped to one or more adjacent qubits in such a way that pairs of variables defining a quadratic term in the objective function are mapped to some pair of adjacent qubits. However, qubits have limited connectivity in existing QA hardware. This has spurred work on preprocessing algorithms for embedding the graph representing problem variables with quadratic terms into the hardware graph representing qubits adjacencies, such as the Chimera graph in hardware produced by D-Wave Systems. In this paper, we use integer linear programming to search for an embedding of the problem graph into certain classes of minors of the Chimera graph, which we call template embeddings. One of these classes corresponds to complete bipartite graphs, for which we show the limitation of the existing approach based on minimum odd cycle transversals (OCTs). One of the formulations presented is exact and thus can be used to certify the absence of a minor embedding using that template. On an extensive test set consisting of random graphs from five different classes of varying size and sparsity, we can embed more graphs than a state-of-the-art OCT-based approach, our approach scales better with the hardware size, and the runtime is generally orders of magnitude smaller. Summary of Contribution: Our work combines classical and quantum computing for operations research by showing that integer linear programming can be successfully used as a preprocessing step for adiabatic quantum optimization. We use it to determine how a quadratic unconstrained binary optimization problem can be solved by a quantum annealer in which the qubits are coupled as in a Chimera graph, such as in the quantum annealers currently produced by D-Wave Systems. The paper also provides a timely introduction to adiabatic quantum computing and related work on minor embeddings.

Scaling overhead of embedding optimization problems in quantum annealing

Embedding overhead scaling of optimization problems in quantum annealing

Scalable embedding of parity constraints in quantum annealing hardware

Template-based Minor Embedding for Adiabatic Quantum Optimization

4-clique Network Minor Embedding for Quantum Annealers

Quantum Annealing Correction with Minor Embedding

A Hybrid Quantum-Classical Paradigm to Mitigate Embedding Costs in Quantum Annealing

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

Optimizing the Optimizer: Decomposition Techniques for Quantum Annealing

Classical Combinatorial Optimization Scaling for Random Ising Models on 2D Heavy-Hex Graphs

Scaling Advantage in Approximate Optimization with Quantum Annealing

Comparing Three Generations of D-Wave Quantum Annealers for Minor Embedded Combinatorial Optimization Problems

Scaling of the quantum approximate optimization algorithm on superconducting qubit based hardware

A case study in programming a quantum annealer for hard operational planning problems

Benchmarking Quantum Annealers with Near-Optimal Minor-Embedded Instances

Embedding quantum optimization problems using AC driven quantum ferromagnets

Embedding Algorithms for Quantum Annealers with Chimera and Pegasus Connection Topologies

Boosting quantum annealing performance through direct polynomial unconstrained binary optimization

Quantum Annealing for Constrained Optimization

Hybrid quantum annealing for larger-than-QPU lattice-structured problems