8 Scopus citations

Abstract

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. Moreover, this constant can be taken equal to the operator norm of the local operator that generates the Hamiltonian (the local interaction strength). The result still holds true if one restricts to arbitrarily small quantum perturbations of classical Hamiltonians. The proof combines a robustness analysis of Robinson's aperiodic tiling, together with tools from quantum information theory: the quantum phase estimation algorithm and the history state technique mapping Quantum Turing Machines to Hamiltonians.

Original languageEnglish
Article numbere14
JournalForum of Mathematics, Pi
Volume10
DOIs
StatePublished - 10 Jun 2022

Keywords

  • quantum computation
  • quantum many-body physics
  • spectral theory
  • undecidability

Fingerprint

Dive into the research topics of 'Undecidability of the Spectral Gap'. Together they form a unique fingerprint.

Cite this