@misc{xu2026bulkspectralgapsemidecidable,
 archiveprefix = {arXiv},
 author = {Xiangling Xu and Matthias Schötz and Jie Wang and Victor Magron and Igor Klep and Omar Fawzi and Marc-Olivier Renou},
 eprint = {2606.03836},
 primaryclass = {quant-ph},
 title = {The bulk spectral gap is semi-decidable: a convergent family of certified upper bounds},
 url = {https://arxiv.org/abs/2606.03836},
 year = {2026}
}