Erratum: Simple Proof of Equivalence between Adiabatic Quantum Computation and the Circuit Model [Phys. Rev. Lett. 99 , 070502 (2007)]
Ari Mizel, Daniel A. Lidar, Morgan W. Mitchell · Physical Review Letters · 2021
In the third to last paragraph of the Letter, we used the inequality hZjHjZi O1=N 2 as part of a proof of an O1=N 4 lower bound on the gap. This inequality is not valid for arbitrary jZi. We asserted it based upon reasoning along the lines of Ref.