RESUMEN
We present a new quantum adiabatic theorem that allows one to rigorously bound the adiabatic timescale for a variety of systems, including those described by originally unbounded Hamiltonians that are made finite-dimensional by a cutoff. Our bound is geared towards the qubit approximation of superconducting circuits and presents a sufficient condition for remaining within the [Formula: see text]-dimensional qubit subspace of a circuit model of [Formula: see text] qubits. The novelty of this adiabatic theorem is that, unlike previous rigorous results, it does not contain [Formula: see text] as a factor in the adiabatic timescale, and it allows one to obtain an expression for the adiabatic timescale independent of the cutoff of the infinite-dimensional Hilbert space of the circuit Hamiltonian. As an application, we present an explicit dependence of this timescale on circuit parameters for a superconducting flux qubit and demonstrate that leakage out of the qubit subspace is inevitable as the tunnelling barrier is raised towards the end of a quantum anneal. We also discuss a method of obtaining a [Formula: see text] effective Hamiltonian that best approximates the true dynamics induced by slowly changing circuit control parameters. This article is part of the theme issue 'Quantum annealing and computation: challenges and perspectives'.