Convergence conditions for quantum annealing are derived for optimization problems represented by the Ising model of a general form. Quantum fluctuations are introduced as a transverse field and/or transverse ferromagnetic interactions, and the time evolution follows the real-time Schrödinger equation. It is shown that the system stays arbitrarily close to the instantaneous ground state, finally reaching the target optimal state, if the strength of quantum fluctuations decreases sufficiently slowly, in particular inversely proportionally to the power of time in the asymptotic region. This is the same condition as the other implementations of quantum annealing, quantum Monte Carlo and Green's function Monte Carlo simulations, in spite of the essential difference in the type of dynamics. The method of analysis is an application of the adiabatic theorem in conjunction with an estimate of a lower bound of the energy gap based on the recently proposed idea of Somma et al. for the analysis of classical simulated annealing using a classical-quantum correspondence. Quantum annealing (QA) recently attracts much attention as a novel algorithm for optimization problems.1-4) A fictitious kinetic energy of quantum nature is introduced to the classical system which represents the cost function to be minimized. The resulting system searches the phase space by means of quantum transitions, which are gradually decreased as time proceeds. If the initial state is the ground state of the initial quantum Hamiltonian, the system is expected to keep track of the ground state of the instantaneous Hamiltonian under a slow decrease of quantum fluctuations. From this viewpoint, QA is also called quantum adiabatic evolution. 5) Most of the numerical studies [1][2][3][6][7][8][9][10][11][12][13][14][15] showed that QA is more efficient in solving optimization problems than the well-known classical algorithm, simulated annealing (SA). 16,17) Convergence theorems for stochastic implementations of QA have been proved for the transverse-field Ising model.
18)A power-law decrease of the transverse field has been shown to be sufficient to guarantee convergence to the optimal state for generic optimization problems. This power-law annealing schedule is faster than that of the inverse-log law for SA given in the theorem of Geman and Geman. 17,19) However, these theorems for QA were proved for stochastic processes to realize QA. It has been unknown so far what annealing schedule would guarantee the convergence of QA following the real-time Schrödinger equation. We have solved this problem on the basis of the idea of Somma et al. 20) These authors found that the inverse-log law condition for SA can be derived from the adiabatic theorem for a quantum system obtained from the original classical system through a classical-quantum mapping. Although they also discussed some aspects of QA, their interest was to use quantum mechanics to simulate finite-temperature classical statistical mechanics. We point out in the present article that the convergence co...