The bulk spectral gap is certifiable from above but uncomputable from below

Xiangling Xu, Matthias Schötz, Jie Wang +4

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: n…