Simple proof of equivalence between adiabatic quantum computation and the circuit model | Publicación