2026-06-28T10:32:04Zhttps://docta.ucm.es/rest/oai/requestoai:docta.ucm.es:20.500.14352/242832023-08-26T00:09:28Zcom_20.500.14352_14col_20.500.14352_15
Docta Complutense
author
Cubbit, Toby S.
author
Pérez García, David
author
Wolf, Michael M.
2023-06-18T06:48:57Z
2023-06-18T06:48:57Z
2015-12-10
0028-0836
10.1038/nature16059
https://hdl.handle.net/20.500.14352/24283
http://www.nature.com/nature/journal/v528/n7581/full/nature16059.html
https://arxiv.org/abs/1502.04135https://arxiv.org/abs/1502.04573
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.
eng
Undecidability of the spectral gap
journal article
URL
https://docta.ucm.es/bitstreams/fdb4ddcd-5b13-4a60-a8c0-18b71f4740bd/download
File
MD5
fac980ee9d23b873cc46ddbeaaa203d1
3901296
application/pdf
1502.04573v2.pdf
URL
https://docta.ucm.es/bitstreams/9a836961-5a60-4340-8de0-ecd6af6cd81d/download
File
MD5
4202a70ec9a94e48850b255cd7f61381
4338231
application/pdf
PerezGarcia35.pdf
URL
https://docta.ucm.es/bitstreams/48f98d19-e0ef-4a3c-a66c-759413765e1d/download
File
MD5
0333f8d64c8d4cab04ae630794c5be9c
3298709
application/pdf
1502.04135v2.pdf
URL
https://docta.ucm.es/bitstreams/28bb6cf3-04a2-4a28-84c2-0e58370e1718/download
File
MD5
6bc23d8d149bd9fcedf87b3006cc2281
34709
text/plain
1502.04135v2.pdf.txt