Simple proof of equivalence between adiabatic quantum computation and   the circuit model
  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. 
Ari Mizel, Daniel A. Lidar, Morgan Mitchell