@bibtex{          2102.11619,
  Author        = "Czerner, Philipp and Esparza, Javier",
  Abstract      = "Population protocols are a model of computation in which an arbitrary number of indistinguishable finite-state agents interact in pairs. The goal of the agents is to decide by stable consensus whether their initial global configuration satisfies a given property, specified as a predicate on the set of all initial configurations. The state complexity of a predicate is the number of states of a smallest protocol that computes it. Previous work by Blondin et al. has shown that the counting predicates $x \ge \eta$ have state complexity $\mathcal{O}({\l}og \eta)$ for leaderless protocols and $\mathcal{O}({\l}og {\l}og \eta)$ for protocols with leaders. We obtain the first non-trivial lower bounds: the state complexity of $x \geq \eta$ is $\Omega({\l}og{\l}og{\l}og \eta)$ for leaderless protocols, and the inverse of a non-elementary function for protocols with leaders.",
  date-added    = "2021-03-13 09:28:51 +0100",
  date-modified = "2021-03-13 09:28:52 +0100",
  EPrint        = "arXiv:2102.11619",
  EPrintType    = "arXiv",
  Title         = "{L}ower {B}ounds on the {S}tate {C}omplexity of {P}opulation {P}rotocols",
  URL           = "http://arxiv.org/abs/2102.11619",
  Year          = "2021",
  bdsk-url-1    = "http://arxiv.org/abs/2102.11619",
  File          = "2102.11619 - h - h - h.pdf"
}

@bibtex{ 2102.11619, Author = "Czerner, Philipp and Esparza, Javier", Abstract = "Population protocols are a model of computation in which an arbitrary number of indistinguishable finite-state agents interact in pairs. The goal of the agents is to decide by stable consensus whether their initial global configuration satisfies a given property, specified as a predicate on the set of all initial configurations. The state complexity of a predicate is the number of states of a smallest protocol that computes it. Previous work by Blondin et al. has shown that the counting predicates $x \ge \eta$ have state complexity $\mathcal{O}({\l}og \eta)$ for leaderless protocols and $\mathcal{O}({\l}og {\l}og \eta)$ for protocols with leaders. We obtain the first non-trivial lower bounds: the state complexity of $x \geq \eta$ is $\Omega({\l}og{\l}og{\l}og \eta)$ for leaderless protocols, and the inverse of a non-elementary function for protocols with leaders.", date-added = "2021-03-13 09:28:51 +0100", date-modified = "2021-03-13 09:28:52 +0100", EPrint = "arXiv:2102.11619", EPrintType = "arXiv", Title = "{L}ower {B}ounds on the {S}tate {C}omplexity of {P}opulation {P}rotocols", URL = "http://arxiv.org/abs/2102.11619", Year = "2021", bdsk-url-1 = "http://arxiv.org/abs/2102.11619", File = "2102.11619 - h - h - h.pdf" }