The bulk spectral gap is certifiable from above but uncomputable from below
The paper establishes a complete method using semidefinite programs (SDPs) to find certified upper bounds for the bulk spectral gap in quantum many-body physics. This process is semi-decidable, meaning an algorithm exists to generate increasingly tight bounds, which are crucial for rigorously excluding certain excitations from being the lowest energy states.