Cubitt, Perez-Garcia, Wolf, 2015. Undecidability of the spectral gap 528.. https://doi.org/10.1038/nature16059