Undecidability of the spectral gap | Publicación