Simple Proof of Equivalence between Adiabatic Quantum Computation and the Circuit Model
Ari Mizel, Daniel A. Lidar, Morgan W. Mitchell · Physical Review Letters · 2007
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.