{"id":"https://openalex.org/W4380874003","doi":"https://doi.org/10.1145/3583668.3594571","title":"Brief Announcement: Population Protocols Decide Double-exponential Thresholds","display_name":"Brief Announcement: Population Protocols Decide Double-exponential Thresholds","publication_year":2023,"publication_date":"2023-06-16","ids":{"openalex":"https://openalex.org/W4380874003","doi":"https://doi.org/10.1145/3583668.3594571"},"language":"en","primary_location":{"id":"doi:10.1145/3583668.3594571","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3583668.3594571","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2023 ACM Symposium on Principles of Distributed Computing","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5004347437","display_name":"Philipp Czerner","orcid":"https://orcid.org/0000-0002-1786-9592"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Philipp Czerner","raw_affiliation_strings":["School of Computation, Information and Technology, Technical University of Munich, Garching b. M\u00fcnchen, Germany"],"raw_orcid":"https://orcid.org/0000-0002-1786-9592","affiliations":[{"raw_affiliation_string":"School of Computation, Information and Technology, Technical University of Munich, Garching b. M\u00fcnchen, Germany","institution_ids":["https://openalex.org/I62916508"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5004347437"],"corresponding_institution_ids":["https://openalex.org/I62916508"],"apc_list":null,"apc_paid":null,"fwci":0.1968,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.48120914,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"28","last_page":"31"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10237","display_name":"Cryptography and Data Security","score":0.9945999979972839,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T12288","display_name":"Optimization and Search Problems","score":0.9868000149726868,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/decidability","display_name":"Decidability","score":0.7762423753738403},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.7103407382965088},{"id":"https://openalex.org/keywords/presburger-arithmetic","display_name":"Presburger arithmetic","score":0.6237298846244812},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5477156639099121},{"id":"https://openalex.org/keywords/population","display_name":"Population","score":0.5258836150169373},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5022876262664795},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.49689891934394836},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.48519042134284973},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.46973997354507446},{"id":"https://openalex.org/keywords/exponential-function","display_name":"Exponential function","score":0.4563089907169342},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.45550063252449036},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.42747724056243896},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.4261702299118042},{"id":"https://openalex.org/keywords/binary-number","display_name":"Binary number","score":0.4137554168701172},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3765181303024292},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.18704217672348022},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.11575058102607727},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.08041191101074219}],"concepts":[{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.7762423753738403},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.7103407382965088},{"id":"https://openalex.org/C5852641","wikidata":"https://www.wikidata.org/wiki/Q956059","display_name":"Presburger arithmetic","level":3,"score":0.6237298846244812},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5477156639099121},{"id":"https://openalex.org/C2908647359","wikidata":"https://www.wikidata.org/wiki/Q2625603","display_name":"Population","level":2,"score":0.5258836150169373},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5022876262664795},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.49689891934394836},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.48519042134284973},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.46973997354507446},{"id":"https://openalex.org/C151376022","wikidata":"https://www.wikidata.org/wiki/Q168698","display_name":"Exponential function","level":2,"score":0.4563089907169342},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.45550063252449036},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.42747724056243896},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4261702299118042},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.4137554168701172},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3765181303024292},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.18704217672348022},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.11575058102607727},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.08041191101074219},{"id":"https://openalex.org/C149923435","wikidata":"https://www.wikidata.org/wiki/Q37732","display_name":"Demography","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3583668.3594571","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3583668.3594571","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2023 ACM Symposium on Principles of Distributed Computing","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3806350710","display_name":null,"funder_award_id":"787367","funder_id":"https://openalex.org/F4320334678","funder_display_name":"European Research Council"},{"id":"https://openalex.org/G8404958574","display_name":null,"funder_award_id":"378803395","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"}],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"},{"id":"https://openalex.org/F4320334678","display_name":"European Research Council","ror":"https://ror.org/0472cxd90"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W1508910175","https://openalex.org/W2043683320","https://openalex.org/W2092232879","https://openalex.org/W2098579316","https://openalex.org/W2123429492","https://openalex.org/W2142465565","https://openalex.org/W2240903249","https://openalex.org/W2706788079","https://openalex.org/W3133482207","https://openalex.org/W3184567057","https://openalex.org/W3184709752","https://openalex.org/W4226281292","https://openalex.org/W4285486040","https://openalex.org/W4286210572"],"related_works":["https://openalex.org/W4225592929","https://openalex.org/W4294016381","https://openalex.org/W3130346675","https://openalex.org/W2583753471","https://openalex.org/W2922024459","https://openalex.org/W2122700562","https://openalex.org/W1587864502","https://openalex.org/W1540595797","https://openalex.org/W2042574976","https://openalex.org/W3147969442"],"abstract_inverted_index":{"Population":[0],"protocols":[1,41,69,82,91,108,132],"are":[2],"a":[3,26,31,142,148],"model":[4],"of":[5,36,40,99,115,168],"distributed":[6],"computation":[7],"in":[8,14,62,73],"which":[9],"finite-state":[10],"agents":[11],"interact":[12],"randomly":[13],"pairs.":[15],"A":[16,38],"protocol":[17],"decides":[18],"for":[19,84,96,112,141],"any":[20,97],"initial":[21],"configuration":[22],"whether":[23,90],"it":[24,48,77,87,163],"satisfies":[25],"fixed":[27],"property,":[28],"specified":[29],"as":[30,56],"predicate":[32],"on":[33],"the":[34,156],"set":[35],"configurations.":[37],"family":[39,98,114],"deciding":[42],"predicates":[43,65,100,117],"\u03c6n":[44,53],"is":[45,54,78,88,155,159],"succinct":[46,81],"if":[47],"uses":[49],"O(|\u03c6n|)":[50],"states,":[51],"where":[52],"encoded":[55,72],"quantifier-free":[57],"Presburger":[58],"formula":[59],"with":[60,92,109,123,133],"coefficients":[61],"binary.":[63],"(All":[64],"decidable":[66],"by":[67,106],"population":[68],"can":[70],"be":[71],"this":[74,104],"manner.)":[75],"While":[76],"known":[79,149],"that":[80,136,158],"exist":[83,95],"all":[85],"predicates,":[86],"open":[89],"o(|\u03c6n|)":[93],"states":[94,111,135],"\u03c6n.":[101],"We":[102],"answer":[103],"affirmatively,":[105],"constructing":[107],"O(log|\u03c6n|)":[110],"some":[113,166],"threshold":[116],"\u03c6n(x)":[118],"\u21d4":[119],"x":[120,138],"\u2265":[121,139,144],"kn,":[122],"k1,":[124],"k2,":[125],"...":[126],"\u2208":[127],"\u2115.":[128],"(In":[129],"other":[130],"words,":[131],"O(n)":[134],"decide":[137],"k":[140,143],"2n.)":[145],"This":[146],"matches":[147],"lower":[150],"bound.":[151],"Moreover,":[152],"our":[153],"construction":[154],"first":[157],"not":[160],"1-aware,":[161],"making":[162],"robust":[164],"against":[165],"types":[167],"errors.":[169]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}