{
  "id": "1502.04573",
  "version": "v1",
  "published": "2015-02-16T15:29:36.000Z",
  "updated": "2015-02-16T15:29:36.000Z",
  "title": "Undecidability of the Spectral Gap (full version)",
  "authors": [
    "Toby Cubitt",
    "David Perez-Garcia",
    "Michael M. Wolf"
  ],
  "comment": "146 pages, 56 theorems etc., 15 figures. Read \"Extended Overview\" section for an overview, and \"Structure of the paper\" section for a reading guide! See shorter companion paper arXiv:1502.04135 ( same title and authors) for a short version omitting technical details",
  "categories": [
    "quant-ph",
    "cond-mat.other",
    "hep-th",
    "math-ph",
    "math.MP"
  ],
  "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. This implies that it is logically impossible to say in general whether a quantum many-body system is gapped or gapless. Our results imply that there exist specific Hamiltonians for which the presence or absence of a spectral gap is independent of all consistent axiomatisations of mathematics. These results have a number of important implications for condensed matter and many-body quantum theory.",
  "revisions": [
    {
      "version": "v1",
      "updated": "2015-02-16T15:29:36.000Z"
    }
  ],
  "analyses": {
    "keywords": [
      "spectral gap",
      "undecidability",
      "quantum many-body system",
      "Haldane conjecture",
      "Yang-Mills gap conjecture",
      "Turing machine",
      "Godels incompleteness theorem"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 146,
      "language": "en",
      "license": "arXiv",
      "status": "editable",
      "inspire": 1345069,
      "adsabs": "2015arXiv150204573C"
    }
  }
}