Improved Gap Estimates for Simulating Quantum Circuits by Adiabatic   Evolution
  We use elementary variational arguments to prove, and improve on, gap estimates which arise in simulating quantum circuits by adiabatic evolution. 
Percy Deift, Mary Beth Ruskai and Wolfgang Spitzer