Undecidability of the Spectral Gap (full version)
Abstract
We show that the spectral gap problem is undecidable. Specifically, we construct families of translationally-invariant, nearest-neighbour Hamiltonians on a 2D square lattice of d-level quantum systems (d constant), for which determining whether the system is gapped or gapless is an undecidable problem. This is true even with the promise that each Hamiltonian is either gapped or gapless in the strongest sense: it is promised to either have continuous spectrum above the ground state in the thermodynamic limit, or its spectral gap is lower-bounded by a constant in the thermodynamic limit. Moreover, this constant can be taken equal to the local interaction strength of the Hamiltonian.
Cite
@article{arxiv.1502.04573,
title = {Undecidability of the Spectral Gap (full version)},
author = {Toby Cubitt and David Perez-Garcia and Michael M. Wolf},
journal= {arXiv preprint arXiv:1502.04573},
year = {2022}
}
Comments
v1: 146 pages, 56 theorems etc, 15 figs. See shorter companion paper arXiv:1502.04135 for version omitting technical details. v2: Small fix to abstract wording. v3: Simplified and shortened parts of proof. 127p, 55 thms, 10 figs. v4: Minor intro edits. v5: Published version. Adds explanatory pseudo-code for all Turing Machines, and other presentational improvements. 150 pages, 55 thms, 13 figs