{"id":"arxiv/2606.03836","url":"https://arxiv.org/abs/2606.03836","tags":["quant-ph","cond-mat.stat-mech","math-ph"],"score":0,"title":"The bulk spectral gap is certifiable from above but uncomputable from below","domain":"quant-ph","source":"arxiv","authors":["Xiangling Xu","Matthias Schötz","Jie Wang","Victor Magron","Igor Klep","Omar Fawzi","Marc-Olivier Renou"],"reviews":0,"subject":"quant-ph","summary":"Determining spectral gaps in the thermodynamic limit is a central challenge in quantum many-body physics. When a fixed boundary condition is imposed, this problem is undecidable: no algorithm, even with unlimited resources, can decide for every Hamiltonian whether it is gapped. Yet the thermodynamic limit is meant to capture the intrinsic properties of very large systems, which should not depend on how their boundaries are chosen. Here, we therefore consider the bulk spectral gap problem, which concerns only the intrinsic excitations of the infinite system, independently of any boundary. We…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-06-02","reactions":{}}