UCL Discovery
UCL home » Library Services » Electronic resources » UCL Discovery

Undecidability of the spectral gap

Cubitt, TS; Perez-Garcia, D; Wolf, MM; (2015) Undecidability of the spectral gap. Nature , 528 (7581) pp. 207-211. 10.1038/nature16059. Green open access

[thumbnail of spectral-gap_short.pdf]
Preview
Text
spectral-gap_short.pdf - Accepted version

Download (3MB) | Preview

Abstract

The spectral gap - the energy difference between the ground state and first excited state of a system - is central to quantum many-body physics. Many challenging open problems, such as the Haldane conjecture, the question of the existence of gapped topological spin liquid phases, and the Yang-Mills gap conjecture, concern spectral gaps. These and other problems are particular cases of the general spectral gap problem: given the Hamiltonian of a quantum many-body system, is it gapped or gapless? Here we prove that this is an undecidable problem. Specifically, we construct families of quantum spin systems on a two-dimensional lattice with translationally invariant, nearest-neighbour interactions, for which the spectral gap problem is undecidable. This result extends to undecidability of other low-energy properties, such as the existence of algebraically decaying ground-state correlations. The proof combines Hamiltonian complexity techniques with aperiodic tilings, to construct a Hamiltonian whose ground state encodes the evolution of a quantum phase-estimation algorithm followed by a universal Turing machine. The spectral gap depends on the outcome of the corresponding 'halting problem'. Our result implies that there exists no algorithm to determine whether an arbitrary model is gapped or gapless, and that there exist models for which the presence or absence of a spectral gap is independent of the axioms of mathematics.

Type: Article
Title: Undecidability of the spectral gap
Open access status: An open access version is available from UCL Discovery
DOI: 10.1038/nature16059
Publisher version: http://dx.doi.org/10.1038/nature16059
Language: English
Additional information: Copyright © 2015 Macmillan Publishers Limited. All rights reserved.
Keywords: Quantum information, Theoretical physics
UCL classification: UCL
UCL > Provost and Vice Provost Offices > UCL BEAMS
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science
URI: https://discovery.ucl.ac.uk/id/eprint/1476775
Downloads since deposit
192Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item