title: Simple proof of equivalence between adiabatic quantum computation and the circuit model.
abstract: We prove the equivalence between adiabatic quantum computation and quantum computation in the circuit model. An explicit adiabatic computation procedure is given that generates a ground state from which the answer can be extracted. The amount of time needed is evaluated by computing the gap. We show that the procedure is computationally efficient.
authors.affiliation: Department of Physics, Pennsylvania State University, University Park, Pennsylvania 16802, USA.
authors.forename: Ari
authors.initials: A
authors.lastname: Mizel
authors.forename: Daniel A
authors.initials: DA
authors.lastname: Lidar
authors.forename: Morgan
authors.initials: M
authors.lastname: Mitchell