{"id":"https://openalex.org/W3133482207","doi":"https://doi.org/10.1145/3465084.3467912","title":"Lower Bounds on the State Complexity of Population Protocols","display_name":"Lower Bounds on the State Complexity of Population Protocols","publication_year":2021,"publication_date":"2021-07-21","ids":{"openalex":"https://openalex.org/W3133482207","doi":"https://doi.org/10.1145/3465084.3467912","mag":"3133482207"},"language":"en","primary_location":{"id":"doi:10.1145/3465084.3467912","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3465084.3467912","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing","raw_type":"proceedings-article"},"type":"preprint","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":false,"raw_author_name":"Philipp Czerner","raw_affiliation_strings":["Technical University of Munich, M\u00fcnchen, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technical University of Munich, M\u00fcnchen, Germany","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090378914","display_name":"Javier Esparza","orcid":"https://orcid.org/0000-0001-9862-4919"},"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":false,"raw_author_name":"Javier Esparza","raw_affiliation_strings":["Technical University of Munich, M\u00fcnchen, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technical University of Munich, M\u00fcnchen, Germany","institution_ids":["https://openalex.org/I62916508"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I62916508"],"apc_list":null,"apc_paid":null,"fwci":1.1226,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.78579037,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"45","last_page":"54"},"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.9998000264167786,"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.9998000264167786,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9988999962806702,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9948999881744385,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.7633416652679443},{"id":"https://openalex.org/keywords/binary-logarithm","display_name":"Binary logarithm","score":0.609973669052124},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.5152397751808167},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4961460530757904},{"id":"https://openalex.org/keywords/log-log-plot","display_name":"Log-log plot","score":0.49253377318382263},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.49100950360298157},{"id":"https://openalex.org/keywords/inverse","display_name":"Inverse","score":0.49024492502212524},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4841614365577698},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.47273269295692444},{"id":"https://openalex.org/keywords/population","display_name":"Population","score":0.4589276611804962},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.44888558983802795},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4331490993499756},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.394320547580719},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.3866193890571594},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2283003032207489}],"concepts":[{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.7633416652679443},{"id":"https://openalex.org/C63553672","wikidata":"https://www.wikidata.org/wiki/Q581168","display_name":"Binary logarithm","level":2,"score":0.609973669052124},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.5152397751808167},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4961460530757904},{"id":"https://openalex.org/C195292467","wikidata":"https://www.wikidata.org/wiki/Q2091879","display_name":"Log-log plot","level":3,"score":0.49253377318382263},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.49100950360298157},{"id":"https://openalex.org/C207467116","wikidata":"https://www.wikidata.org/wiki/Q4385666","display_name":"Inverse","level":2,"score":0.49024492502212524},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4841614365577698},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.47273269295692444},{"id":"https://openalex.org/C2908647359","wikidata":"https://www.wikidata.org/wiki/Q2625603","display_name":"Population","level":2,"score":0.4589276611804962},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.44888558983802795},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4331490993499756},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.394320547580719},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3866193890571594},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2283003032207489},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"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/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","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/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/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/3465084.3467912","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3465084.3467912","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6000000238418579,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G2398295961","display_name":null,"funder_award_id":"GRK 2428","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G3806350710","display_name":null,"funder_award_id":"787367","funder_id":"https://openalex.org/F4320334678","funder_display_name":"European Research Council"}],"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":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W1452987818","https://openalex.org/W1545252802","https://openalex.org/W1963547452","https://openalex.org/W1996109622","https://openalex.org/W1998717089","https://openalex.org/W2006072889","https://openalex.org/W2055081868","https://openalex.org/W2071228820","https://openalex.org/W2098579316","https://openalex.org/W2099040330","https://openalex.org/W2123429492","https://openalex.org/W2275408670","https://openalex.org/W2706788079","https://openalex.org/W2888796762","https://openalex.org/W2898165178","https://openalex.org/W2907311168","https://openalex.org/W2963620995","https://openalex.org/W2963943319","https://openalex.org/W2965199304","https://openalex.org/W2978576973","https://openalex.org/W3104722849","https://openalex.org/W3125224867","https://openalex.org/W3133482207","https://openalex.org/W3148956417","https://openalex.org/W3184709752"],"related_works":["https://openalex.org/W2035522910","https://openalex.org/W2005615533","https://openalex.org/W4243665620","https://openalex.org/W1529311266","https://openalex.org/W2047234016","https://openalex.org/W2052169362","https://openalex.org/W1608733163","https://openalex.org/W1983915440","https://openalex.org/W3095925971","https://openalex.org/W2005304136"],"abstract_inverted_index":{"Population":[0],"protocols":[1,88,94,127],"are":[2],"a":[3,36,41,52,60,123],"model":[4],"of":[5,12,21,46,51,57,59,107,122],"computation":[6],"in":[7,17],"which":[8],"an":[9],"arbitrary":[10],"number":[11,56],"indistinguishable":[13],"finite-state":[14],"agents":[15,23],"interact":[16],"pairs.":[18],"The":[19,48],"goal":[20],"the":[22,44,55,75,99,104,120],"is":[24,54,111],"to":[25],"decide":[26],"by":[27,68],"stable":[28],"consensus":[29],"whether":[30],"their":[31],"initial":[32],"global":[33],"configuration":[34],"satisfies":[35],"given":[37],"property,":[38],"specified":[39],"as":[40],"predicate":[42,53],"on":[43],"set":[45],"configurations.":[47],"state":[49,82,105],"complexity":[50,83,106],"states":[58],"smallest":[61],"protocol":[62],"that":[63,74],"computes":[64],"it.":[65],"Previous":[66],"work":[67],"Blondin":[69],"et":[70],"al.":[71],"has":[72],"shown":[73],"counting":[76],"predicates":[77],"x":[78,108],"\u2265":[79,109],"\u03b7":[80,110],"have":[81],"\u00d8(log":[84],"\u03b7)":[85,92,115],"for":[86,93,116,126],"leaderless":[87,117],"and":[89,119],"\u039f(log":[90],"log":[91,113,114],"with":[95,128],"leaders.":[96,129],"We":[97],"obtain":[98],"first":[100],"non-trivial":[101],"lower":[102],"bounds:":[103],"\u03a9(log":[112],"protocols,":[118],"inverse":[121],"non-elementary":[124],"function":[125]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2}],"updated_date":"2026-06-26T08:34:08.712188","created_date":"2025-10-10T00:00:00"}