Abstract:The population protocol model is a computational model for passive mobile agents. We address the leader election problem, which determines a unique leader on arbitrary communication graphs starting from any configuration. Unfortunately, self-stabilizing leader election is impossible to be solved without knowing the exact number of agents; thus, we consider loosely-stabilizing leader election, which converges to safe configurations in a relatively short time, and holds the specification (maintains a unique leader) for a relatively long time. When agents have unique identifiers, Sudo et al.(2019) proposed a protocol that, given an upper bound $N$ for the number of agents $n$, converges in $O(mN\log n)$ expected steps, where $m$ is the number of edges. When unique identifiers are not required, they also proposed a protocol that, using random numbers and given $N$, converges in $O(mN^2\log{N})$ expected steps. Both protocols have a holding time of $\Omega(e^{2N})$ expected steps and use $O(\log{N})$ bits of memory. They also showed that the lower bound of the convergence time is $\Omega(mN)$ expected steps for protocols with a holding time of $\Omega(e^N)$ expected steps given $N$.
In this paper, we propose protocols that do not require unique identifiers. These protocols achieve convergence times close to the lower bound with increasing memory usage. Specifically, given $N$ and an upper bound $\Delta$ for the maximum degree, we propose two protocols whose convergence times are $O(mN\log n)$ and $O(mN\log N)$ both in expectation and with high probability. The former protocol uses random numbers, while the latter does not require them. Both protocols utilize $O(\Delta \log N)$ bits of memory and hold the specification for $\Omega(e^{2N})$ expected steps.
What problem does this paper attempt to address?
### What problem does this paper attempt to solve?
This paper mainly solves the problem of achieving approximately optimal loosely - stabilizing leader election without unique identifiers in the population protocol model on arbitrary graphs.
#### Background and Problem Description
1. **Population Protocol Model**
- The population protocol model is a computational model for passively mobile agents. It is applicable to fields such as distributed computing, sensor networks, chemical reaction systems, and molecular computing.
- In this model, each node (called an agent) in the network updates its state through interactions with other agents.
2. **Leader Election Problem**
- The leader election problem requires electing a unique leader from the population and maintaining this unique leader.
- The self - stabilizing leader election problem needs to elect a unique leader from any initial configuration and maintain this leader forever.
3. **Challenges**
- It is known that self - stabilizing leader election is impossible to achieve without knowing the exact number of agents.
- Therefore, research has turned to loosely - stabilizing leader election, that is, converging to a safe configuration in a relatively short time and maintaining a unique leader in a relatively long time.
4. **Previous Work**
- When agents have unique identifiers, Sudo et al. (2019) proposed a protocol with an expected convergence time of \(O(mN \log n)\) given the upper limit \(N\) of the number of agents, where \(m\) is the number of edges.
- When unique identifiers are not required, they also proposed a protocol using random numbers with an expected convergence time of \(O(mN^2 \log N)\).
- The holding times of these protocols are all \(\Omega(e^{2N})\) expected steps, and they use \(O(\log N)\) bits of memory.
5. **Contributions of This Paper**
- This paper proposes a new protocol PBC, which achieves near - optimal convergence time on anonymous (without unique identifiers) arbitrary graphs.
- Given \(N\) and the upper limit \(\Delta\) of the maximum degree, the PBC protocol has an expected convergence time of \(O(mN \log n)\) in the random transition period and an expected convergence time of \(O(mN \log N)\) in the deterministic transition period.
- This protocol uses \(O(\Delta \log N)\) bits of memory and maintains a unique leader for \(\Omega(N e^{2N})\) expected steps.
#### Specific Problem - Solving Methods
1. **Two - Hop Coloring Protocol**
- To implement the PBC protocol, this paper utilizes the "Same Speed Timer" proposed by Sudo et al., which requires two - hop coloring.
- This paper proposes two new self - stabilizing two - hop coloring protocols: PLRU (random transition) and P′LRU (deterministic transition).
- The PLRU protocol has an expected convergence time of \(O(mn)\), and the P′LRU protocol has an expected convergence time of \(O(m(n + \Delta \log N))\), and both use \(O(\Delta \log N)\) bits of memory.
2. **Leader Election Protocol PBC**
- The PBC protocol is mainly divided into three phases: Global Reset, Leader Generation, and Leader Detection.
- In the Global Reset phase, when an inconsistency is detected, all agents are reset to followers.
- In the Leader Generation phase, agents will elect a unique leader.
- In the Leader Detection phase, the leader will periodically generate search viruses to detect whether there are multiple leaders.
In summary, the main contribution of this paper is to propose a method that can achieve approximately optimal convergence on arbitrary graphs without the need for unique identifiers.