{"id":"https://openalex.org/W7225834086","doi":"https://doi.org/10.5281/zenodo.24121980","title":"Return of the Ring: Whole-Number Certificates for Every Endpoint Total","display_name":"Return of the Ring: Whole-Number Certificates for Every Endpoint Total","publication_year":2026,"publication_date":"2026-11-11","ids":{"openalex":"https://openalex.org/W7225834086","doi":"https://doi.org/10.5281/zenodo.24121980"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24121980","doi":"https://doi.org/10.5281/zenodo.24121980","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24121980","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":"article-journal"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.24121980","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5152157139","display_name":"Chris Bartlett","orcid":"https://orcid.org/0009-0001-3323-0131","observed_orcids":["https://orcid.org/0009-0001-3323-0131"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Bartlett, Chris","raw_affiliation_strings":["Independent Researcher"],"raw_orcid":"https://orcid.org/0009-0001-3323-0131","affiliations":[{"raw_affiliation_string":"Independent Researcher","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5152157139"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"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/T11567","display_name":"semigroups and automata theory","score":0.7304999828338623,"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/T11567","display_name":"semigroups and automata theory","score":0.7304999828338623,"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/T10142","display_name":"Formal Methods in Verification","score":0.11299999803304672,"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/T10126","display_name":"Logic, programming, and type systems","score":0.0812000036239624,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7804999947547913},{"id":"https://openalex.org/C151201525","wikidata":"https://www.wikidata.org/wiki/Q177239","display_name":"Limit (mathematics)","level":2,"score":0.5924999713897705},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.5408999919891357},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.49959999322891235},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4514000117778778},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.44130000472068787},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.42100000381469727},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.39410001039505005},{"id":"https://openalex.org/C94020503","wikidata":"https://www.wikidata.org/wiki/Q12916","display_name":"Real number","level":2,"score":0.3935999870300293},{"id":"https://openalex.org/C164680029","wikidata":"https://www.wikidata.org/wiki/Q1055293","display_name":"Multiple","level":2,"score":0.3853999972343445},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.37070000171661377},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.36660000681877136},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.3625999987125397},{"id":"https://openalex.org/C2776299755","wikidata":"https://www.wikidata.org/wiki/Q432449","display_name":"Carry (investment)","level":2,"score":0.3492000102996826},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.34369999170303345},{"id":"https://openalex.org/C141042865","wikidata":"https://www.wikidata.org/wiki/Q200125","display_name":"Expected value","level":2,"score":0.3278000056743622},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.3231000006198883},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.32100000977516174},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.31679999828338623},{"id":"https://openalex.org/C2780813799","wikidata":"https://www.wikidata.org/wiki/Q3274237","display_name":"Zero (linguistics)","level":2,"score":0.3124000132083893},{"id":"https://openalex.org/C2778751112","wikidata":"https://www.wikidata.org/wiki/Q835016","display_name":"Window (computing)","level":2,"score":0.31040000915527344},{"id":"https://openalex.org/C95611797","wikidata":"https://www.wikidata.org/wiki/Q17502105","display_name":"Infimum and supremum","level":2,"score":0.2994999885559082},{"id":"https://openalex.org/C139676723","wikidata":"https://www.wikidata.org/wiki/Q1193832","display_name":"Sign (mathematics)","level":2,"score":0.2955999970436096},{"id":"https://openalex.org/C143724316","wikidata":"https://www.wikidata.org/wiki/Q312468","display_name":"Series (stratigraphy)","level":2,"score":0.28529998660087585},{"id":"https://openalex.org/C2780378348","wikidata":"https://www.wikidata.org/wiki/Q25351438","display_name":"Ring (chemistry)","level":2,"score":0.2671999931335449},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.2596000134944916}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24121980","doi":"https://doi.org/10.5281/zenodo.24121980","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24121980","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":"article-journal"},{"id":"doi:10.5281/zenodo.24121981","doi":"https://doi.org/10.5281/zenodo.24121981","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24121981","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":"article-journal"}],"best_oa_location":{"id":"doi:10.5281/zenodo.24121980","doi":"https://doi.org/10.5281/zenodo.24121980","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24121980","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":"article-journal"},"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":{"The":[0,31,115,150,208],"earlier":[1,94,287],"paper":[2,49,116,288],"One":[3,283],"Ring":[4],"to":[5],"Host":[6],"It":[7],"All":[8],"gives":[9],"a":[10,14,23,28,34,212,229,248,271,293,298],"test":[11,32],"for":[12,27,75,184,285],"when":[13],"single":[15],"repeating":[16],"cycle":[17],"of":[18,39,45,92,135,143,156,215,267,292],"underlying":[19],"states":[20],"can":[21,57,63,187,195,280],"carry":[22],"given":[24,29],"visible":[25,137],"process":[26],"time.":[30],"is":[33,98,111,211,237,246,289,295],"certificate:":[35],"two":[36,261,274,277],"short":[37],"lists":[38],"whole":[40,68,162,191,249],"numbers":[41,163,192],"satisfying":[42],"four":[43],"families":[44],"linear":[46],"inequalities.":[47],"That":[48],"left":[50],"one":[51,132,141,176,302],"implication":[52,97],"open.":[53],"If":[54],"the":[55,93,96,102,108,113,120,126,129,136,157,161,165,168,220,232,240,242,286],"inequalities":[56],"be":[58,65,188,196],"satisfied":[59,66],"by":[60,67,153,172,297],"real":[61,173,244],"numbers,":[62],"they":[64,73],"numbers?":[69],"We":[70],"prove":[71],"that":[72,185,231,290],"can,":[74],"every":[76,79,90],"finite":[77],"map,":[78],"duration":[80],"and":[81,107,124,146,167,200,273,301],"all":[82],"integer":[83],"data.":[84],"For":[85,223],"natural-number":[86],"data,":[87],"which":[88,218],"covers":[89],"case":[91],"paper,":[95],"also":[99],"proved":[100],"in":[101,112,190],"Lean":[103],"4":[104],"proof":[105,110],"assistant,":[106],"formal":[109],"archive.":[114],"proves":[117],"more.":[118],"Set":[119],"fourth":[121,209],"family":[122,210],"aside":[123],"call":[125],"first":[127],"three":[128],"core.":[130],"In":[131],"connected":[133],"part":[134],"rule,":[138],"take":[139],"any":[140],"set":[142],"endpoint":[144],"counts":[145,269],"add":[147],"them":[148],"up.":[149],"totals":[151,258,266,279],"reached":[152,171],"whole-number":[154,201],"solutions":[155],"core":[158],"are":[159,206],"exactly":[160],"between":[164],"smallest":[166],"largest":[169,243],"total":[170,186,245],"solutions.":[174],"So":[175],"lower":[177,213],"limit,":[178],"upper":[179],"limit":[180,214],"or":[181],"exact":[182],"value":[183],"met":[189,197],"whenever":[193],"it":[194],"at":[198],"all,":[199],"limits":[202,275],"on":[203,228,276],"individual":[204],"entries":[205],"kept.":[207],"this":[216],"kind,":[217],"settles":[219],"open":[221],"implication.":[222],"endpoints":[224],"so":[225],"far":[226],"out":[227],"branch":[230],"step":[233],"after":[234],"their":[235],"window":[236],"still":[238],"off":[239],"cycle,":[241],"already":[247],"number.":[250],"Exact":[251],"examples":[252],"show":[253],"where":[254],"these":[255],"statements":[256],"stop:":[257],"taken":[259],"across":[260],"separate":[262],"parts,":[263],"weighted":[264],"totals,":[265],"continuing":[268],"along":[270],"tree,":[272],"different":[278],"each":[281],"fail.":[282],"consequence":[284],"existence":[291],"host":[294],"decided":[296],"direct":[299],"check":[300],"linear-programming":[303],"feasibility":[304],"test.":[305]},"counts_by_year":[],"updated_date":"2026-11-12T12:28:57.059296","created_date":"2026-11-12T00:00:00"}