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.