TY - RPRT TI - The bulk spectral gap is certifiable from above but uncomputable from below AU - Xiangling Xu AU - Matthias Schötz AU - Jie Wang AU - Victor Magron AU - Igor Klep AU - Omar Fawzi AU - Marc-Olivier Renou PY - 2026 UR - https://arxiv.org/abs/2606.03836 ID - 2606.03836 ER -