172 research outputs found
Solving Set Cover with Pairs Problem using Quantum Annealing
Here we consider using quantum annealing to solve Set Cover with Pairs (SCP), an NP-hard combinatorial optimization problem that plays an important role in networking, computational biology, and biochemistry. We show an explicit construction of Ising Hamiltonians whose ground states encode the solution of SCP instances. We numerically simulate the time-dependent Schrödinger equation in order to test the performance of quantum annealing for random instances and compare with that of simulated annealing. We also discuss explicit embedding strategies for realizing our Hamiltonian construction on the D-wave type restricted Ising Hamiltonian based on Chimera graphs. Our embedding on the Chimera graph preserves the structure of the original SCP instance and in particular, the embedding for general complete bipartite graphs and logical disjunctions may be of broader use than that the specific problem we deal with
Evolutionary Approaches to Optimization Problems in Chimera Topologies
Chimera graphs define the topology of one of the first commercially available
quantum computers. A variety of optimization problems have been mapped to this
topology to evaluate the behavior of quantum enhanced optimization heuristics
in relation to other optimizers, being able to efficiently solve problems
classically to use them as benchmarks for quantum machines. In this paper we
investigate for the first time the use of Evolutionary Algorithms (EAs) on
Ising spin glass instances defined on the Chimera topology. Three genetic
algorithms (GAs) and three estimation of distribution algorithms (EDAs) are
evaluated over hard instances of the Ising spin glass constructed from
Sidon sets. We focus on determining whether the information about the topology
of the graph can be used to improve the results of EAs and on identifying the
characteristics of the Ising instances that influence the success rate of GAs
and EDAs.Comment: 8 pages, 5 figures, 3 table
Fast Quantum Methods for Optimization
Discrete combinatorial optimization consists in finding the optimal
configuration that minimizes a given discrete objective function. An
interpretation of such a function as the energy of a classical system allows us
to reduce the optimization problem into the preparation of a low-temperature
thermal state of the system. Motivated by the quantum annealing method, we
present three strategies to prepare the low-temperature state that exploit
quantum mechanics in remarkable ways. We focus on implementations without
uncontrolled errors induced by the environment. This allows us to rigorously
prove a quantum advantage. The first strategy uses a classical-to-quantum
mapping, where the equilibrium properties of a classical system in spatial
dimensions can be determined from the ground state properties of a quantum
system also in spatial dimensions. We show how such a ground state can be
prepared by means of quantum annealing, including quantum adiabatic evolutions.
This mapping also allows us to unveil some fundamental relations between
simulated and quantum annealing. The second strategy builds upon the first one
and introduces a technique called spectral gap amplification to reduce the time
required to prepare the same quantum state adiabatically. If implemented on a
quantum device that exploits quantum coherence, this strategy leads to a
quadratic improvement in complexity over the well-known bound of the classical
simulated annealing method. The third strategy is not purely adiabatic;
instead, it exploits diabatic processes between the low-energy states of the
corresponding quantum system. For some problems it results in an exponential
speedup (in the oracle model) over the best classical algorithms.Comment: 15 pages (2 figures
- …