{"id":"https://openalex.org/W7225756338","doi":"https://doi.org/10.5281/zenodo.24115744","title":"An uncomputable phase diagram at positive temperature for one classical lattice model","display_name":"An uncomputable phase diagram at positive temperature for one classical lattice model","publication_year":2026,"publication_date":"2026-11-10","ids":{"openalex":"https://openalex.org/W7225756338","doi":"https://doi.org/10.5281/zenodo.24115744"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24115744","doi":"https://doi.org/10.5281/zenodo.24115744","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24115744","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.24115744","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5140911527","display_name":"Seth Douglas","orcid":"https://orcid.org/0009-0007-4708-3252","observed_orcids":["https://orcid.org/0009-0007-4708-3252"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Douglas, Seth","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0009-0007-4708-3252","affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5123014657","display_name":"Nidhal Mghirbi","orcid":"https://orcid.org/0009-0005-6534-1118","observed_orcids":["https://orcid.org/0009-0005-6534-1118"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mghirbi, Nidhal","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0009-0005-6534-1118","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.6348000168800354,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.6348000168800354,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13234","display_name":"p-Adic Analysis and Mathematical Physics","score":0.10649999976158142,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10591","display_name":"Theoretical and Computational Physics","score":0.07750000059604645,"subfield":{"id":"https://openalex.org/subfields/3104","display_name":"Condensed Matter Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[],"concepts":[{"id":"https://openalex.org/C51329190","wikidata":"https://www.wikidata.org/wiki/Q1076349","display_name":"Ising model","level":2,"score":0.7026000022888184},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6775000095367432},{"id":"https://openalex.org/C158444337","wikidata":"https://www.wikidata.org/wiki/Q2510435","display_name":"Gibbs measure","level":2,"score":0.6532999873161316},{"id":"https://openalex.org/C45340560","wikidata":"https://www.wikidata.org/wiki/Q215382","display_name":"Disjoint sets","level":2,"score":0.512499988079071},{"id":"https://openalex.org/C2780009758","wikidata":"https://www.wikidata.org/wiki/Q6804172","display_name":"Measure (data warehouse)","level":2,"score":0.5072000026702881},{"id":"https://openalex.org/C2777021972","wikidata":"https://www.wikidata.org/wiki/Q22976830","display_name":"Uniqueness","level":2,"score":0.5048999786376953},{"id":"https://openalex.org/C85906118","wikidata":"https://www.wikidata.org/wiki/Q186693","display_name":"Phase diagram","level":3,"score":0.5040000081062317},{"id":"https://openalex.org/C2781204021","wikidata":"https://www.wikidata.org/wiki/Q6497091","display_name":"Lattice (music)","level":2,"score":0.4869000017642975},{"id":"https://openalex.org/C207467116","wikidata":"https://www.wikidata.org/wiki/Q4385666","display_name":"Inverse","level":2,"score":0.4571000039577484},{"id":"https://openalex.org/C2778870898","wikidata":"https://www.wikidata.org/wiki/Q7577658","display_name":"Spins","level":2,"score":0.4530999958515167},{"id":"https://openalex.org/C130787639","wikidata":"https://www.wikidata.org/wiki/Q5645293","display_name":"Hamiltonian (control theory)","level":2,"score":0.43299999833106995},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4284000098705292},{"id":"https://openalex.org/C2777620828","wikidata":"https://www.wikidata.org/wiki/Q7582067","display_name":"Square lattice","level":3,"score":0.399399995803833},{"id":"https://openalex.org/C2993791989","wikidata":"https://www.wikidata.org/wiki/Q917476","display_name":"Inverse temperature","level":2,"score":0.3862999975681305},{"id":"https://openalex.org/C196298200","wikidata":"https://www.wikidata.org/wiki/Q577705","display_name":"Critical point (mathematics)","level":2,"score":0.3637999892234802},{"id":"https://openalex.org/C2780198381","wikidata":"https://www.wikidata.org/wiki/Q17083882","display_name":"Spin model","level":2,"score":0.3555999994277954},{"id":"https://openalex.org/C2777105136","wikidata":"https://www.wikidata.org/wiki/Q827230","display_name":"Lebesgue measure","level":3,"score":0.35350000858306885},{"id":"https://openalex.org/C29248071","wikidata":"https://www.wikidata.org/wiki/Q163310","display_name":"Turing machine","level":3,"score":0.3402999937534332},{"id":"https://openalex.org/C102439081","wikidata":"https://www.wikidata.org/wiki/Q469596","display_name":"Classical XY model","level":3,"score":0.3327000141143799},{"id":"https://openalex.org/C121864883","wikidata":"https://www.wikidata.org/wiki/Q677916","display_name":"Statistical physics","level":1,"score":0.32749998569488525},{"id":"https://openalex.org/C192034797","wikidata":"https://www.wikidata.org/wiki/Q3502995","display_name":"Undecidable problem","level":3,"score":0.32690000534057617},{"id":"https://openalex.org/C112675119","wikidata":"https://www.wikidata.org/wiki/Q2992284","display_name":"Periodic boundary conditions","level":3,"score":0.3199999928474426},{"id":"https://openalex.org/C61445026","wikidata":"https://www.wikidata.org/wiki/Q217608","display_name":"Fixed point","level":2,"score":0.31940001249313354},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3156999945640564},{"id":"https://openalex.org/C49005734","wikidata":"https://www.wikidata.org/wiki/Q7581981","display_name":"Square-lattice Ising model","level":3,"score":0.2964000105857849},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.29499998688697815},{"id":"https://openalex.org/C131584629","wikidata":"https://www.wikidata.org/wiki/Q4308705","display_name":"Coupling (piping)","level":2,"score":0.29429998993873596},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.2858000099658966},{"id":"https://openalex.org/C149288129","wikidata":"https://www.wikidata.org/wiki/Q185357","display_name":"Phase transition","level":2,"score":0.28189998865127563},{"id":"https://openalex.org/C2780872131","wikidata":"https://www.wikidata.org/wiki/Q5558987","display_name":"Gibbs state","level":3,"score":0.2782999873161316},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.263700008392334},{"id":"https://openalex.org/C44280652","wikidata":"https://www.wikidata.org/wiki/Q104837","display_name":"Phase (matter)","level":2,"score":0.2556999921798706},{"id":"https://openalex.org/C42704618","wikidata":"https://www.wikidata.org/wiki/Q910917","display_name":"Spin (aerodynamics)","level":2,"score":0.2540999948978424}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24115744","doi":"https://doi.org/10.5281/zenodo.24115744","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24115744","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.5281/zenodo.24115745","doi":"https://doi.org/10.5281/zenodo.24115745","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24115745","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.5281/zenodo.24115744","doi":"https://doi.org/10.5281/zenodo.24115744","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24115744","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Can":[0],"the":[1,36,93,119,143,172,175,195,223,227,231,253],"phase":[2,31],"diagram":[3],"of":[4,24,118,174,188,198,201,226,245],"one":[5,48,97],"fixed":[6,65],"classical":[7,41],"lattice":[8],"model":[9,94],"be":[10,33],"uncomputable?":[11],"For":[12],"quantum":[13],"spin":[14],"systems":[15],"at":[16,43,86,110,123,139,235],"zero":[17],"temperature":[18,89,126],"it":[19],"can:":[20],"there":[21,73],"are":[22,74],"families":[23],"Hamiltonians":[25],"whose":[26,209],"spectral":[27],"gap":[28],"or":[29],"ground-state":[30],"cannot":[32],"computed":[34],"from":[35,82,171],"parameter.":[37],"We":[38],"prove":[39],"a":[40,64,147,152,164,168,243],"counterpart":[42],"positive":[44],"temperature.":[45],"There":[46],"is":[47,127,151,211,216,263],"translation-invariant":[49,98,120,238],"nearest-neighbour":[50],"interaction":[51],"on":[52,106,180],"\u2124\u00b2,":[53],"with":[54,78,234],"local":[55],"energies":[56,193],"0,":[57],"1":[58],"and":[59,63,72,109,177,191],"+\u221e":[60],"(hard":[61],"constraints)":[62],"universal":[66],"Turing":[67,165],"machine":[68,166],"U":[69,102,114,179,183],"built":[70],"in,":[71],"disjoint":[75],"intervals":[76,247],"J_n":[77,92],"rational":[79,124,259],"endpoints":[80],"computable":[81],"n,":[83,108],"such":[84],"that":[85,155,202],"every":[87,140],"inverse":[88,125,232],"\u03b2":[90,215],"in":[91],"has":[95],"exactly":[96,242],"Gibbs":[99,121,136,239],"measure":[100,122],"if":[101,113],"does":[103],"not":[104],"halt":[105],"input":[107],"least":[111,236],"two":[112,237],"halts.":[115],"So":[116],"uniqueness":[117],"undecidable":[128],"for":[129],"this":[130,261],"single":[131],"model.":[132],"Uniqueness":[133],"among":[134],"all":[135,199],"measures":[137,240],"fails":[138],"temperature,":[141],"because":[142],"hard":[144],"constraints":[145],"freeze":[146],"non-periodic":[148],"background.The":[149],"background":[150],"hierarchical":[153],"tiling":[154],"contains":[156],"arbitrarily":[157],"large":[158,212],"square":[159],"grids.":[160],"On":[161],"each":[162],"grid":[163,176],"reads":[167],"label":[169],"n":[170,219,249],"size":[173,203],"runs":[178],"n.":[181],"Where":[182],"halts,":[184],"small":[185],"sensors":[186],"made":[187],"free":[189],"bits":[190],"unit":[192],"couple":[194],"corner":[196],"spins":[197],"grids":[200],"into":[204],"an":[205],"ordinary":[206],"Ising":[207,229],"model,":[208,230],"coupling":[210],"only":[213],"when":[214],"close":[217],"to":[218,258],"log":[220,250],"2.":[221],"Assuming":[222],"exact":[224],"solution":[225],"two-dimensional":[228],"temperatures":[233],"form":[241],"union":[244],"explicit":[246],"around":[248],"2":[251],"over":[252],"halting":[254],"inputs":[255],"n;":[256],"restricted":[257],"\u03b2,":[260],"set":[262],"\u03a3\u2070\u2081-complete.":[264]},"counts_by_year":[],"updated_date":"2026-11-11T12:16:26.678958","created_date":"2026-11-11T00:00:00"}