{"id":"https://openalex.org/W7225197478","doi":"https://doi.org/10.5281/zenodo.23919620","title":"Historical Reconvergence in a Parallel Rewriting System","display_name":"Historical Reconvergence in a Parallel Rewriting System","publication_year":2026,"publication_date":"2026-11-03","ids":{"openalex":"https://openalex.org/W7225197478","doi":"https://doi.org/10.5281/zenodo.23919620"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.23919620","doi":"https://doi.org/10.5281/zenodo.23919620","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23919620","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.23919620","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5124187934","display_name":"Maurice Crutzen","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Crutzen, Maurice","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5124187934"],"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/T11567","display_name":"semigroups and automata theory","score":0.6273999810218811,"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.6273999810218811,"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/T12162","display_name":"Cellular Automata and Applications","score":0.290800005197525,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.016699999570846558,"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/sum-of-squares","display_name":"sums of squares","score":0.6669999957084656},{"id":"https://openalex.org/keywords/combinatorics-on-words","display_name":"combinatorics on words","score":0.6439999938011169}],"concepts":[{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.788100004196167},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.6486999988555908},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6033999919891357},{"id":"https://openalex.org/C39613435","wikidata":"https://www.wikidata.org/wiki/Q846677","display_name":"Remainder","level":2,"score":0.5802000164985657},{"id":"https://openalex.org/C31170391","wikidata":"https://www.wikidata.org/wiki/Q188619","display_name":"Hierarchy","level":2,"score":0.5371999740600586},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.49309998750686646},{"id":"https://openalex.org/C74193536","wikidata":"https://www.wikidata.org/wiki/Q574844","display_name":"Kernel (algebra)","level":2,"score":0.478300005197525},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4625999927520752},{"id":"https://openalex.org/C75306776","wikidata":"https://www.wikidata.org/wiki/Q7632662","display_name":"Successor cardinal","level":2,"score":0.43309998512268066},{"id":"https://openalex.org/C2780882242","wikidata":"https://www.wikidata.org/wiki/Q14235582","display_name":"Literal (mathematical logic)","level":2,"score":0.39500001072883606},{"id":"https://openalex.org/C121704057","wikidata":"https://www.wikidata.org/wiki/Q352070","display_name":"Collision","level":2,"score":0.3926999866962433},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.38420000672340393},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3652999997138977},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.35280001163482666},{"id":"https://openalex.org/C156340839","wikidata":"https://www.wikidata.org/wiki/Q2704791","display_name":"Enumeration","level":2,"score":0.31779998540878296},{"id":"https://openalex.org/C129844170","wikidata":"https://www.wikidata.org/wiki/Q41299","display_name":"Quadratic equation","level":2,"score":0.3172999918460846},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.3156999945640564},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2948000133037567},{"id":"https://openalex.org/C19768560","wikidata":"https://www.wikidata.org/wiki/Q320727","display_name":"Dependency (UML)","level":2,"score":0.2897999882698059},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.2858999967575073},{"id":"https://openalex.org/C90805587","wikidata":"https://www.wikidata.org/wiki/Q10944557","display_name":"Word (group theory)","level":2,"score":0.28119999170303345},{"id":"https://openalex.org/C187834632","wikidata":"https://www.wikidata.org/wiki/Q188804","display_name":"Factorization","level":2,"score":0.2759999930858612},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.27399998903274536},{"id":"https://openalex.org/C61445026","wikidata":"https://www.wikidata.org/wiki/Q217608","display_name":"Fixed point","level":2,"score":0.27070000767707825},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.2653000056743622}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.23919620","doi":"https://doi.org/10.5281/zenodo.23919620","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23919620","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.23919621","doi":"https://doi.org/10.5281/zenodo.23919621","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23919621","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.23919620","doi":"https://doi.org/10.5281/zenodo.23919620","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23919620","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":["https://openalex.org/W7220953441","https://openalex.org/W7100656491","https://openalex.org/W2338661025","https://openalex.org/W2955809862","https://openalex.org/W2022728574","https://openalex.org/W7098464483","https://openalex.org/W2565294872","https://openalex.org/W2774675777","https://openalex.org/W222717917","https://openalex.org/W1769339622"],"abstract_inverted_index":{"Abstract":[0],"\u2014":[1],"We":[2,61,152,209],"study":[3],"the":[4,42,58,66,77,88,135,139,148,155,170,191,199,213,226,242],"propagation":[5],"of":[6,34,49,79,138,169,241],"endpoint":[7,40,67],"multiplicities":[8],"in":[9,96,145],"a":[10,31,46,93,158,175,238],"minimal":[11],"parallel":[12,50],"rewriting":[13,228],"system":[14],"with":[15,174],"rules":[16],"A":[17,25,28],"\u2192":[18,24],"AB":[19],"or":[20,26,246],"BA":[21],"and":[22,117,163],"B":[23],"B.":[27],"history":[29],"is":[30,41,76,150],"complete":[32],"sequence":[33],"local":[35],"rewrite":[36,108],"choices,":[37],"while":[38],"an":[39,97,112,165,185,247],"word":[43],"obtained":[44],"after":[45],"fixed":[47],"number":[48,78],"steps.":[51],"Distinct":[52],"histories":[53,80,197],"may":[54],"therefore":[55],"reconverge":[56],"to":[57],"same":[59,200],"endpoint.":[60],"quantify":[62],"this":[63,107],"reconvergence":[64],"through":[65],"collision":[68,90,171],"count":[69,91],"c_t":[70],"=":[71,102,126],"\u2211_W":[72],"n_t(W)\u00b2,":[73],"where":[74,132],"n_t(W)":[75],"ending":[81],"at":[82],"W.":[83],"Our":[84],"first":[85],"result":[86],"expresses":[87],"next-step":[89],"as":[92,157],"quadratic":[94],"form":[95],"exact":[98,166,224],"common-successor":[99,216],"kernel":[100,156,217],"K_1(U,V)":[101,125],"|S(U)":[103],"\u2229":[104],"S(V)|.":[105],"For":[106],"system,":[109],"we":[110,183],"derive":[111],"explicit":[113],"formula:":[114],"if":[115],"U":[116],"V":[118],"have":[119,198],"common":[120],"successor":[121],"length":[122],"L,":[123],"then":[124,153],"2^L":[127],"\u00b7":[128],"2^(-|E(U)":[129],"\u222a":[130],"E(V)|),":[131],"E(U)":[133],"records":[134],"starting":[136],"positions":[137],"two-letter":[140],"outputs":[141],"forced":[142],"by":[143],"A-symbols":[144],"U;":[146],"otherwise":[147],"overlap":[149],"zero.":[151],"express":[154],"positive":[159],"subset-feature":[160],"hierarchy":[161],"expansion":[162],"obtain":[164],"sum-of-squares":[167],"representation":[168],"count,":[172],"together":[173],"non-negative":[176],"remainder":[177],"for":[178,205,225],"every":[179],"finite-order":[180],"truncation.":[181],"Independently,":[182],"prove":[184],"exponentially":[186],"decreasing":[187],"upper":[188],"bound":[189],"on":[190],"probability":[192],"that":[193,212],"two":[194],"independently":[195],"sampled":[196],"endpoint:":[201],"q_t":[202],"\u2264":[203],"2^(-\u2308(t+1)/2\u2309)":[204],"t":[206],"\u2265":[207],"1.":[208],"also":[210],"show":[211],"full":[214],"microscopic":[215],"has":[218],"infinite":[219],"rank.":[220],"These":[221],"results":[222],"are":[223],"stated":[227],"system.":[229],"They":[230],"do":[231],"not":[232],"establish":[233],"finite-dimensional":[234],"closure,":[235],"asymptotic":[236],"independence,":[237],"physical":[239],"interpretation":[240],"hidden":[243],"historical":[244],"sector,":[245],"information-first":[248],"ontology.":[249]},"counts_by_year":[],"updated_date":"2026-11-05T12:25:35.769452","created_date":"2026-11-04T00:00:00"}