Spectral Gap Undecidability Dominates Quantum Many-Body Physics — E8 Intelligence Research

{"FINDING:":[0],"Undecidability":[1],"of":[2,115,139,166],"the":[3,14,60,85,89,95,110,131,137,146,167],"spectral":[4,27,37],"gap":[5,38,61,90,96],"in":[6],"quantum":[7],"many-body":[8],"systems":[9],"(Cubitt":[10],"et":[11],"al.)":[12],"is":[13,77,81],"dominant":[15],"mathematical":[16],"result;":[17],"other":[18],"findings":[19],"are":[20],"peripheral":[21],"(hexaquark":[22],"SU(3)":[23],"multiplet,":[24],"graph":[25],"recoloring,":[26],"line":[28],"precision,":[29],"traffic":[30],"models,":[31],"leaf":[32],"counting).":[33],"|":[34,149],"MATH:":[35],"The":[36,151],"problem:":[39],"given":[40],"a":[41,51,92,99,113,140,155],"translationally-invariant":[42],"Hamiltonian":[43,142,156],"\\\\(":[44,62,120,126],"H":[45],"=":[46,64],"\\\\sum_i":[47],"h_i":[48],"\\\\)":[49,68,124,128],"on":[50,136],"2D":[52,132],"lattice":[53,114],"(finite":[54],"local":[55,118],"Hilbert":[56],"space),":[57],"determining":[58],"whether":[59],"\\\\Delta":[63],"E_1":[65],"-":[66],"E_0":[67],"(difference":[69],"between":[70],"ground":[71],"state":[72],"and":[73,134],"first":[74],"excited":[75],"energy)":[76],"zero":[78],"or":[79],"positive":[80],"undecidable.":[82],"This":[83],"maps":[84],"halting":[86],"problem":[87],"onto":[88],"via":[91],"construction":[93],"where":[94],"closes":[97],"iff":[98],"Turing":[100],"machine":[101],"halts.":[102],"Key":[103],"constants:":[104],"no":[105],"specific":[106],"numeric":[107],"constants,":[108],"but":[109],"proof":[111,153],"uses":[112],"qudits":[116],"with":[117],"dimension":[119],"d":[121],"\\\\geq":[122],"2":[123],"(often":[125],"d=2":[127],"suffices":[129],"for":[130],"case),":[133],"relies":[135],"existence":[138],"\\"gadget\\"":[141],"whose":[143],"spectrum":[144],"encodes":[145],"machine's":[147],"computation.":[148],"CONNECTION:":[150],"undecidability":[152],"constructs":[154],"wh":[157],"Author:":[158],"Andrew":[159],"Stewart":[160],"Caldin,":[161],"Independent":[162],"Researcher,":[163],"UK.":[164],"Part":[165],"E8":[168],"Intelligence":[169],"Research":[170],"series.":[171],"Platform:":[172],"e8intelligence.com":[173]}