{"id":"https://openalex.org/W4415035546","doi":"https://doi.org/10.1145/3798129.3800734","title":"S-Unit Equations in Modules and Linear-Exponential Diophantine Equations","display_name":"S-Unit Equations in Modules and Linear-Exponential Diophantine Equations","publication_year":2026,"publication_date":"2026-06-09","ids":{"openalex":"https://openalex.org/W4415035546","doi":"https://doi.org/10.1145/3798129.3800734"},"language":"en","primary_location":{"id":"doi:10.1145/3798129.3800734","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3798129.3800734","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 58th Annual ACM Symposium on Theory of Computing","raw_type":"proceedings-article"},"type":"article","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3798129.3800734","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5014183475","display_name":"Ruiwen Dong","orcid":"https://orcid.org/0009-0007-4349-082X"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Ruiwen Dong","raw_affiliation_strings":["University of Oxford, Oxford, United Kingdom"],"raw_orcid":"https://orcid.org/0009-0007-4349-082X","affiliations":[{"raw_affiliation_string":"University of Oxford, Oxford, United Kingdom","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5119938176","display_name":"Doron Shafrir","orcid":null},"institutions":[{"id":"https://openalex.org/I124227911","display_name":"Ben-Gurion University of the Negev","ror":"https://ror.org/05tkyf982","country_code":"IL","type":"education","lineage":["https://openalex.org/I124227911"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Doron Shafrir","raw_affiliation_strings":["Ben-Gurion University of the Negev, Be\u2019er Sheva, Israel"],"raw_orcid":"https://orcid.org/0009-0008-6425-3898","affiliations":[{"raw_affiliation_string":"Ben-Gurion University of the Negev, Be\u2019er Sheva, Israel","institution_ids":["https://openalex.org/I124227911"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.04546411,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"128","last_page":"137"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12069","display_name":"Commutative Algebra and Its Applications","score":0.9918000102043152,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12069","display_name":"Commutative Algebra and Its Applications","score":0.9918000102043152,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"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/T11435","display_name":"Polynomial and algebraic computation","score":0.9704999923706055,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/diophantine-equation","display_name":"Diophantine equation","score":0.7885000109672546},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.7667999863624573},{"id":"https://openalex.org/keywords/diophantine-geometry","display_name":"Diophantine geometry","score":0.6625000238418579},{"id":"https://openalex.org/keywords/prime","display_name":"Prime (order theory)","score":0.6345999836921692},{"id":"https://openalex.org/keywords/monomial","display_name":"Monomial","score":0.5227000117301941},{"id":"https://openalex.org/keywords/prime-power","display_name":"Prime power","score":0.5134000182151794},{"id":"https://openalex.org/keywords/uncountable-set","display_name":"Uncountable set","score":0.5126000046730042},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4708999991416931},{"id":"https://openalex.org/keywords/base","display_name":"Base (topology)","score":0.4187000095844269}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7929999828338623},{"id":"https://openalex.org/C206530611","wikidata":"https://www.wikidata.org/wiki/Q905896","display_name":"Diophantine equation","level":2,"score":0.7885000109672546},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.7667999863624573},{"id":"https://openalex.org/C555856410","wikidata":"https://www.wikidata.org/wiki/Q65122107","display_name":"Diophantine geometry","level":4,"score":0.6625000238418579},{"id":"https://openalex.org/C184992742","wikidata":"https://www.wikidata.org/wiki/Q7243229","display_name":"Prime (order theory)","level":2,"score":0.6345999836921692},{"id":"https://openalex.org/C11252640","wikidata":"https://www.wikidata.org/wiki/Q243723","display_name":"Monomial","level":2,"score":0.5227000117301941},{"id":"https://openalex.org/C174072685","wikidata":"https://www.wikidata.org/wiki/Q1667469","display_name":"Prime power","level":3,"score":0.5134000182151794},{"id":"https://openalex.org/C142399903","wikidata":"https://www.wikidata.org/wiki/Q1128796","display_name":"Uncountable set","level":3,"score":0.5126000046730042},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4708999991416931},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4341999888420105},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.4187000095844269},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.4075999855995178},{"id":"https://openalex.org/C40621787","wikidata":"https://www.wikidata.org/wiki/Q16251580","display_name":"Diophantine set","level":3,"score":0.4018999934196472},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.39500001072883606},{"id":"https://openalex.org/C9870796","wikidata":"https://www.wikidata.org/wiki/Q490481","display_name":"Turing","level":2,"score":0.37950000166893005},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3698999881744385},{"id":"https://openalex.org/C113429393","wikidata":"https://www.wikidata.org/wiki/Q49008","display_name":"Prime number","level":2,"score":0.35249999165534973},{"id":"https://openalex.org/C2780378348","wikidata":"https://www.wikidata.org/wiki/Q25351438","display_name":"Ring (chemistry)","level":2,"score":0.3409999907016754},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.33009999990463257},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.31450000405311584},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.31360000371932983},{"id":"https://openalex.org/C18116961","wikidata":"https://www.wikidata.org/wiki/Q734209","display_name":"Generating set of a group","level":2,"score":0.2989000082015991},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.29490000009536743},{"id":"https://openalex.org/C86287605","wikidata":"https://www.wikidata.org/wiki/Q4454970","display_name":"Legendre's equation","level":3,"score":0.2944999933242798},{"id":"https://openalex.org/C162860070","wikidata":"https://www.wikidata.org/wiki/Q142140","display_name":"Finitely-generated abelian group","level":2,"score":0.2802000045776367},{"id":"https://openalex.org/C2781311116","wikidata":"https://www.wikidata.org/wiki/Q83306","display_name":"Group (periodic table)","level":2,"score":0.2773999869823456},{"id":"https://openalex.org/C9485509","wikidata":"https://www.wikidata.org/wiki/Q1455652","display_name":"Polynomial ring","level":3,"score":0.2508000135421753}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3798129.3800734","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3798129.3800734","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 58th Annual ACM Symposium on Theory of Computing","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:2505.19141","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2505.19141","pdf_url":"https://arxiv.org/pdf/2505.19141","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2505.19141","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2505.19141","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.1145/3798129.3800734","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3798129.3800734","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 58th Annual ACM Symposium on Theory of Computing","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Let":[0],"T":[1,62,107,162,184],"be":[2,8],"a":[3,9,64,67,124,131,147,227],"positive":[4,111],"integer":[5],"and":[6,91,155,218],"M":[7,82,122],"finitely":[10],"presented":[11],"module":[12],"over":[13,25,49,81,121],"the":[14,31,43,50,74,87,140,180,234,242],"Laurent":[15],"polynomial":[16],"ring":[17],"\u2124/T[X1\u00b1,":[18,58],"\u2026,":[19,46,59],"XN\u00b1].":[20,60],"We":[21],"consider":[22],"S-unit":[23,79,99,119,192],"equations":[24,29,100,193],"M:":[26],"these":[27],"are":[28],"of":[30,52,57,66,77,89,103,133,143,150,182,214,230,241],"form":[32,243],"x1":[33],"m1":[34],"+":[35,37],"\u22ef":[36],"xK":[38,47],"mK":[39],"=":[40],"m0,":[41],"where":[42],"variables":[44],"x1,":[45],"range":[48],"set":[51,76],"monomials":[53],"(with":[54],"coefficient":[55],"1)":[56],"When":[61,106],"is":[63,83,108,126,233],"power":[65],"prime":[68,104,141,168],"number":[69,190],"p,":[70],"we":[71,113],"show":[72,114],"that":[73,115,173],"solution":[75,125],"an":[78,109,118],"equation":[80,120],"effectively":[84],"p-normal":[85],"in":[86,101,179,189,194,202,210,222,238],"sense":[88],"Derksen":[90],"Masser":[92],"(2015).":[93],"This":[94,170],"generalizes":[95],"their":[96],"result":[97,149,232],"on":[98],"fields":[102],"characteristic.":[105],"arbitrary":[110,183],"integer,":[112],"deciding":[116,219],"whether":[117],"admits":[123],"Turing":[127],"equivalent":[128],"to":[129,199],"solving":[130],"system":[132],"linear-exponential":[134],"Diophantine":[135],"equations,":[136],"whose":[137],"base":[138],"contains":[139],"divisors":[142],"T.":[144],"Combined":[145],"with":[146],"recent":[148],"Karimov,":[151],"Luca,":[152],"Nieuwveld,":[153],"Ouaknine":[154],"Worrell":[156],"(2025),":[157],"this":[158],"yields":[159],"decidability":[160,176,235],"when":[161],"has":[163],"at":[164],"most":[165],"two":[166],"distinct":[167],"divisors.":[169],"also":[171],"shows":[172],"proving":[174],"either":[175],"or":[177],"undecidability":[178],"case":[181],"would":[185],"entail":[186],"major":[187],"breakthroughs":[188],"theory.":[191],"modules":[195],"have":[196],"direct":[197,228],"connections":[198],"many":[200],"problems":[201,221],"computational":[203],"algebra":[204],"such":[205],"as":[206],"finding":[207],"sparse":[208],"polynomials":[209],"ideals,":[211],"identifying":[212],"zeros":[213],"linear":[215],"recurrence":[216],"sequences,":[217],"membership":[220],"metabelian":[223],"groups.":[224],"In":[225],"particular,":[226],"consequence":[229],"our":[231],"Submonoid":[236],"Membership":[237],"wreath":[239],"products":[240],"\u2124/pa":[244],"qb":[245],"\u2240":[246],"\u2124d.":[247]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}