Matches in SemOpenAlex for { <https://semopenalex.org/work/W2192149141> ?p ?o ?g. }
- W2192149141 endingPage "211" @default.
- W2192149141 startingPage "207" @default.
- W2192149141 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. The spectral gap problem—whether the Hamiltonian of a quantum many-body problem is gapped or gapless—is rigorously proved to be undecidable; there exists no algorithm to determine whether an arbitrary quantum many-body model is gapped or gapless, and there exist models for which the presence or absence of a spectral gap is independent of the axioms of mathematics. In quantum many-body physics, the spectral gap is the energy difference between the ground state of a system and its first excited state. Establishing whether it is possible to make a decision about the system being gapped or gapless, given a specific model Hamiltonian, is a long-standing problem in physics known as the spectral gap problem. Here, Toby Cubitt et al. prove that the spectral gap problem is undecidable. Although it had been known before that deciding about the existence of a spectral gap is difficult, this result proves the strongest possible form of algorithmic difficulty for a core problem of many-body physics." @default.
- W2192149141 created "2016-06-24" @default.
- W2192149141 creator A5002382493 @default.
- W2192149141 creator A5037099975 @default.
- W2192149141 creator A5081876301 @default.
- W2192149141 date "2015-12-01" @default.
- W2192149141 modified "2023-10-17" @default.
- W2192149141 title "Undecidability of the spectral gap" @default.
- W2192149141 cites W1975451401 @default.
- W2192149141 cites W1982939827 @default.
- W2192149141 cites W1993688167 @default.
- W2192149141 cites W2015181400 @default.
- W2192149141 cites W2021912944 @default.
- W2192149141 cites W2027639122 @default.
- W2192149141 cites W2029100014 @default.
- W2192149141 cites W2057666228 @default.
- W2192149141 cites W2059041305 @default.
- W2192149141 cites W2072381205 @default.
- W2192149141 cites W2080896750 @default.
- W2192149141 cites W2084019889 @default.
- W2192149141 cites W2088019056 @default.
- W2192149141 cites W2091393784 @default.
- W2192149141 cites W2107964429 @default.
- W2192149141 cites W2113166233 @default.
- W2192149141 cites W2135902788 @default.
- W2192149141 cites W2895657145 @default.
- W2192149141 cites W3098607210 @default.
- W2192149141 cites W3174658623 @default.
- W2192149141 cites W4256369010 @default.
- W2192149141 cites W571091908 @default.
- W2192149141 doi "https://doi.org/10.1038/nature16059" @default.
- W2192149141 hasPubMedId "https://pubmed.ncbi.nlm.nih.gov/26659181" @default.
- W2192149141 hasPublicationYear "2015" @default.
- W2192149141 type Work @default.
- W2192149141 sameAs 2192149141 @default.
- W2192149141 citedByCount "187" @default.
- W2192149141 countsByYear W21921491412015 @default.
- W2192149141 countsByYear W21921491412016 @default.
- W2192149141 countsByYear W21921491412017 @default.
- W2192149141 countsByYear W21921491412018 @default.
- W2192149141 countsByYear W21921491412019 @default.
- W2192149141 countsByYear W21921491412020 @default.
- W2192149141 countsByYear W21921491412021 @default.
- W2192149141 countsByYear W21921491412022 @default.
- W2192149141 countsByYear W21921491412023 @default.
- W2192149141 crossrefType "journal-article" @default.
- W2192149141 hasAuthorship W2192149141A5002382493 @default.
- W2192149141 hasAuthorship W2192149141A5037099975 @default.
- W2192149141 hasAuthorship W2192149141A5081876301 @default.
- W2192149141 hasBestOaLocation W21921491412 @default.
- W2192149141 hasConcept C118615104 @default.
- W2192149141 hasConcept C121332964 @default.
- W2192149141 hasConcept C126255220 @default.
- W2192149141 hasConcept C130787639 @default.
- W2192149141 hasConcept C153269930 @default.
- W2192149141 hasConcept C192034797 @default.
- W2192149141 hasConcept C24057170 @default.
- W2192149141 hasConcept C26873012 @default.
- W2192149141 hasConcept C2777925532 @default.
- W2192149141 hasConcept C2778114796 @default.
- W2192149141 hasConcept C2780198381 @default.
- W2192149141 hasConcept C33332235 @default.
- W2192149141 hasConcept C33923547 @default.
- W2192149141 hasConcept C62520636 @default.
- W2192149141 hasConcept C69523127 @default.
- W2192149141 hasConcept C84114770 @default.
- W2192149141 hasConceptScore W2192149141C118615104 @default.
- W2192149141 hasConceptScore W2192149141C121332964 @default.
- W2192149141 hasConceptScore W2192149141C126255220 @default.
- W2192149141 hasConceptScore W2192149141C130787639 @default.
- W2192149141 hasConceptScore W2192149141C153269930 @default.
- W2192149141 hasConceptScore W2192149141C192034797 @default.
- W2192149141 hasConceptScore W2192149141C24057170 @default.
- W2192149141 hasConceptScore W2192149141C26873012 @default.
- W2192149141 hasConceptScore W2192149141C2777925532 @default.
- W2192149141 hasConceptScore W2192149141C2778114796 @default.
- W2192149141 hasConceptScore W2192149141C2780198381 @default.
- W2192149141 hasConceptScore W2192149141C33332235 @default.
- W2192149141 hasConceptScore W2192149141C33923547 @default.
- W2192149141 hasConceptScore W2192149141C62520636 @default.
- W2192149141 hasConceptScore W2192149141C69523127 @default.
- W2192149141 hasConceptScore W2192149141C84114770 @default.
- W2192149141 hasIssue "7581" @default.
- W2192149141 hasLocation W21921491411 @default.
- W2192149141 hasLocation W219214914110 @default.
- W2192149141 hasLocation W219214914111 @default.
- W2192149141 hasLocation W21921491412 @default.
- W2192149141 hasLocation W21921491413 @default.
- W2192149141 hasLocation W21921491414 @default.
- W2192149141 hasLocation W21921491415 @default.
- W2192149141 hasLocation W21921491416 @default.
- W2192149141 hasLocation W21921491417 @default.
- W2192149141 hasLocation W21921491418 @default.
- W2192149141 hasLocation W21921491419 @default.
- W2192149141 hasOpenAccess W2192149141 @default.
- W2192149141 hasPrimaryLocation W21921491411 @default.
- W2192149141 hasRelatedWork W1576507461 @default.
- W2192149141 hasRelatedWork W2052987405 @default.