Limitation of Stoquastic Quantum Annealing: A Structural Perspective

Abstract

We analyze the behavior of stoquastic transverse-field quantum annealing (TFQA) on a structured class of Maximum Independent Set (MIS) instances, using the same decomposition framework developed in our companion work on the DIC-DAC-DOA algorithm (Beyond Stoquasticity). For these instances, we provide a structural explanation for the anti-crossing arising from the competition between the energies associated with a set of degenerate local minima (LM) and the global minimum (GM), and analytically derive the associated exponentially small gap. Our analysis proceeds in two steps. First, we reduce the dynamics to an effective two-block Hamiltonian $H_{core}$, constructed from the bare (decoupled) subsystems associated with the LM and GM. This reduction is justified analytically using the structural decomposition. Second, we reformulate the eigenvalue problem as a generalized eigenvalue problem in a non-orthogonal basis constructed from the bare eigenstates of the subsystems. This transformation enables a clean perturbative treatment of the anti-crossing structure, independent of the transverse field, unlike standard perturbation theory approach, which requires treating the transverse field as a small parameter. This paper serves as a supplementary companion to our main work on the DIC-DAC-DOA algorithm, where we demonstrate how appropriately designed non-stoquastic drivers can bypass this tunneling-induced bottleneck.