English

Simple proof of equivalence between adiabatic quantum computation and the circuit model

Quantum Physics 2007-09-06 v2

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.

Keywords

Cite

@article{arxiv.quant-ph/0609067,
  title  = {Simple proof of equivalence between adiabatic quantum computation and the circuit model},
  author = {Ari Mizel and Daniel A. Lidar and Morgan Mitchell},
  journal= {arXiv preprint arXiv:quant-ph/0609067},
  year   = {2007}
}

Comments

5 pages, 2 figures. v2: improved gap estimates and added some more details

R2 v1 2026-07-22T19:56:55.743Z