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.

Minimum-length chain embedding for the phase unwrapping problem on D-Wave's advantage architecture

4-Clique network minor embedding for quantum annealers

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

Embedding Algorithms for Quantum Annealers with Chimera and Pegasus Connection Topologies

Quantum Annealers Chain Strengths: A Simple Heuristic to Set Them All

Determination of Optimal Chain Coupling made by Embedding in D-Wave Quantum Annealer

Quantum Annealing Correction with Minor Embedding

Scalable embedding of parity constraints in quantum annealing hardware

Initial State Encoding via Reverse Quantum Annealing and h-gain Features

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

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

Scaling overhead of embedding optimization problems in quantum annealing

Experimental quantum annealing: case study involving the graph isomorphism problem

CHARME: A chain-based reinforcement learning approach for the minor embedding problem

Experimenting with D-Wave Quantum Annealers on Prime Factorization problems

Using machine learning for quantum annealing accuracy prediction

Peering into the Anneal Process of a Quantum Annealer

Mapping constrained optimization problems to quantum annealing with application to fault diagnosis

Template-based Minor Embedding for Adiabatic Quantum Optimization

Effective Prime Factorization via Quantum Annealing by Modular Locally-structured Embedding