arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · cs/0608084

The computational power of population protocols

Dana Angluin·James Aspnes·David Eisenstat·Eric Ruppert
View original source ↗Read source document ↗Export metadata ↓

Abstract

We consider the model of population protocols introduced by Angluin et al., in which anonymous finite-state agents stably compute a predicate of the multiset of their inputs via two-way interactions in the all-pairs family of communication networks. We prove that all predicates stably computable in this model (and certain generalizations of it) are semilinear, answering a central open question about the power of the model. Removing the assumption of two-way interaction, we also consider several variants of the model in which agents communicate by anonymous message-passing where the recipient of each message is chosen by an adversary and the sender is not identified to the recipient. These one-way models are distinguished by whether messages are delivered immediately or after a delay, whether a sender can record that it has sent a message, and whether a recipient can queue incoming messages, refusing to accept new messages until it has had a chance to send out messages of its own. We characterize the classes of predicates stably computable in each of these one-way models using natural subclasses of the semilinear predicates.

Explore related subjects

cs.CCcs.DC

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Dana Angluin, James Aspnes, David Eisenstat, Eric Ruppert. 2006-08-21. The computational power of population protocols. https://arxiv.org/abs/cs/0608084

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

NP-Hardness and Additive Inapproximability of Deterministic Communication Complexity

Given the full truth table of a Boolean function whose input is split between two players, we study the complexity of determining the minimum worst-case number of bits they must communicate to compute it. This is a basic meta-complexity question, posed by Yao in 1979. We prove NP-hardness of approximation within every fixed additive error for deterministic communication complexity, under deterministic polynomial-time reductions. The result holds both in the standard model and in Yao's original model, where the players alternate after every bit and only the receiver of the last bit must determine the answer. In particular, it resolves the exact computation question under Yao's original conventions. Earlier versions of this same paper established exact NP-hardness for the standard model, independently and concurrently with Hirahara, Ilango, and Loff. In both models, a polynomial-time estimator with any fixed additive error would yield a polynomial-time $3$-SAT algorithm, deterministic or bounded-error randomized according to the estimator. For the standard model, we also give quantitative implications for errors that grow with the number $T$ of table entries. A bounded-error randomized polynomial-time estimator with additive error $c\log T/\log\log T$, for any fixed $0\le c<1/8$, yields a bounded-error randomized $3$-SAT algorithm on $N$ variables and $O(N)$ clauses running in time $2^{O(N^α)}$ for every fixed $8c<α<1$. A deterministic polynomial-time estimator with additive error $c_*\log\log T$, for an effective absolute constant $c_*>0$, yields a deterministic algorithm running in time $2^{O((\log N)^2)}$ on such formulas.

cs.CC↗
arXiv2026

Less Is Harder Than More: Proving Unnecessary Complexity

When can a sensor, feature, or API field be removed without changing a fixed system's decisions? We require the remaining inputs to recover its complete optimal-action set, including ties, at every admitted state. Admitting every input combination guarantees one smallest preserving set. Yet checking one deletion is coNP-complete when circuits give utilities on Boolean products, even with two actions and at most two optimal-action sets. Missing combinations permit alternative preserving sets, so an auditor must choose inputs within budget and check the chosen set. Requiring every declared reading to have a positive-probability state adds a support check. We classify choosing and checking exactly for circuit-defined Boolean models, with and without the support requirement. A unique winner after averaging hidden states can still change the original decisions. Certifying such winners requires weighted score comparisons: finding inputs within budget is $\mathsf{NP}^{(\mathsf{NP}^{\mathsf{PP}})}$-complete even with two actions and independent uniform inputs. Explicit tables admit logarithmic approximation of the minimum preserving input count; succinct Boolean products admit no polynomial-time $o(Λ/\logΛ)$ approximation in total encoded length $Λ$, unless $\mathsf P=\mathsf{NP}$. Supplied decompositions and symmetry proofs can make audits polynomial-time; discovery and validation are additional work. For a frozen digit classifier, eleven blocks suffice on held-out rows but fifteen are needed on the full product; four conflicting pairs expose the gap. Building the required response from retained inputs establishes sufficiency, not minimality. Preserve the structure that makes the dependence checkable.

cs.CC↗
arXiv2026

On the average-case complexity landscape for Tensor-Isomorphism-complete problems over finite fields

In Grochow and Qiao (\emph{SIAM J. Comput.}, 2023), the complexity class Tensor Isomorphism (TI) was introduced and isomorphism problems for groups, algebras, and polynomials were shown to be TI-complete. In this paper, we study average-case algorithms for several TI-complete problems over finite fields, including algebra isomorphism, matrix code conjugacy, and $4$-tensor isomorphism. Our main results reveal a rich landscape of average-case complexities of Tensor Isomorphism problems, despite their equivalence in the worst-case setting. Over the finite field of order $q$, we devise (1) average-case \emph{polynomial-time} algorithms for algebra isomorphism and matrix code conjugacy that succeed for $1/Θ(q)$ fraction of inputs; (2) an average-case \emph{polynomial-time} algorithm for the $4$-tensor isomorphism that succeeds for $1/q^{Θ(1)}$ fraction of inputs; and (3) an average-case \emph{polynomial-time} algorithm for the orthogonal $3$-tensor isomorphism that succeed for $1-1/\poly(n)$ fraction of $n\times n\times n$ tensors. Our main technical contribution is to introduce the spectral properties of random matrices into algorithms for TI-complete problems. This leads to not only new algorithms but also new questions in random matrix theory over finite fields. To settle these questions, we need to extend both the generating function approach as in Neumann and Praeger (\emph{J. London Math. Soc.}, 1998) and the character sum method of Gorodetsky and Rodgers (\emph{Trans. Amer. Math. Soc.}, 2021).

cs.CC↗