106 research outputs found
Adiabatic optimization without local minima
Several previous works have investigated the circumstances under which
quantum adiabatic optimization algorithms can tunnel out of local energy minima
that trap simulated annealing or other classical local search algorithms. Here
we investigate the even more basic question of whether adiabatic optimization
algorithms always succeed in polynomial time for trivial optimization problems
in which there are no local energy minima other than the global minimum.
Surprisingly, we find a counterexample in which the potential is a single basin
on a graph, but the eigenvalue gap is exponentially small as a function of the
number of vertices. In this counterexample, the ground state wavefunction
consists of two "lobes" separated by a region of exponentially small amplitude.
Conversely, we prove if the ground state wavefunction is single-peaked then the
eigenvalue gap scales at worst as one over the square of the number of
vertices.Comment: 20 pages, 1 figure. Journal versio
Yang-Baxter operators need quantum entanglement to distinguish knots
Any solution to the Yang-Baxter equation yields a family of representations
of braid groups. Under certain conditions, identified by Turaev, the
appropriately normalized trace of these representations yields a link
invariant. Any Yang-Baxter solution can be interpreted as a two-qudit quantum
gate. Here we show that if this gate is non-entangling, then the resulting
invariant of knots is trivial. We thus obtain a general connection between
topological entanglement and quantum entanglement, as suggested by Kauffman et
al.Comment: 12 pages, 2 figure
Spectral graph theory with applications to quantum adiabatic optimization
In this dissertation I draw a connection between quantum adiabatic optimization, spectral graph theory, heat-diffusion, and sub-stochastic processes through the operators that govern these processes and their associated spectra. In particular, we study Hamiltonians which have recently become known as ``stoquastic'' or, equivalently, the generators of sub-stochastic processes. The operators corresponding to these Hamiltonians are of interest in all of the settings mentioned above.
I predominantly explore the connection between the spectral gap of an operator, or the difference between the two lowest energies of that operator, and certain equilibrium behavior. In the context of adiabatic optimization, this corresponds to the likelihood of solving the optimization problem of interest. I will provide an instance of an optimization problem that is easy to solve classically, but leaves open the possibility to being difficult adiabatically.
Aside from this concrete example, the work in this dissertation is predominantly mathematical and we focus on bounding the spectral gap. Our primary tool for doing this is spectral graph theory, which provides the most natural approach to this task by simply considering Dirichlet eigenvalues of subgraphs of host graphs. I will derive tight bounds for the gap of one-dimensional, hypercube, and general convex subgraphs. The techniques used will also adapt methods recently used by Andrews and Clutterbuck to prove the long-standing ``Fundamental Gap Conjecture''
- …