Improving Efficiency in Near-State and State-Optimal Self-Stabilising Leader Election Population Protocols

TL;DR

This paper introduces new self-stabilising ranking protocols for leader election in population protocols, achieving faster stabilization times and optimality under various configurations and state constraints.

Contribution

The paper presents novel self-stabilising ranking protocols that improve stabilization time and achieve state optimality, including protocols with minimal extra states and new concepts like agent traps.

Findings

State-optimal protocol stabilizes in O(min(kn^{3/2}, n^2 log^2 n)) time.

Single extra state ensures stabilization in O(n^{7/4} log^2 n) time.

O(log n) extra states achieve O(n log n) stabilization time.

Abstract

We investigate leader election problem via ranking within self-stabilising population protocols. In this scenario, the agent's state space comprises $n$ rank states and $x$ extra states. The initial configuration of $n$ agents consists of arbitrary arrangements of rank and extra states, with the objective of self-ranking. Specifically, each agent is tasked with stabilising in a unique rank state silently, implying that after stabilisation, each agent remains in its designated state indefinitely. In this paper, we present several new self-stabilising ranking protocols, greatly enriching our comprehension of these intricate problems. All protocols ensure self-stabilisation time with high probability (whp), defined as $1-n^{-\eta},$ for a constant $\eta>0.$ We delve into three scenarios, from which we derive stable (always correct), either state-optimal or almost state-optimal, silent ranking protocols that self-stabilise within a time frame of $o(n^2)$ whp, including: - Utilising a novel concept of an agent trap, we derive a state-optimal ranking protocol that achieves self-stabilisation in time $O(min(kn^{3/2},n^2\log^2 n)),$ for any $k$-distant starting configuration. - Furthermore, we show that the incorporation of a single extra state ($x=1$) ensures a ranking protocol that self-stabilises in time $O(n^{7/4}\log^2 n)=o(n^2)$, regardless of the initial configuration. - Lastly, we show that extra $x=O(\log n)$ states admit self-stabilising ranking with the best currently known stabilisation time $O(n\log n)$, when whp and $x=O(\log n)$ guarantees are imposed.