1: \begin{abstract}

2: %The population protocol model is a common abstract model of mobile sensor networks.

3: %In this paper, we propose a self-stabilizing leader election protocol on directed rings of all sizes. 

4: %Note that a self-stabilizing protocol is a protocol that even if it starts from any starting configuration, it eventually satisfy a desired property, and then maintain that property forever.

5: %

6: %In 2005, Angluin et al. proposed a self-stabilizing leader election protocol that works on odd-sized ring networks.

7: %Then, Chen and Chen proposed a self-stabilizing leader election protocol that works on arbitrary ring networks in 2019.

8: %The latter protocol uses only constant states, but requires an exponential expectation interactions before it converges to the correct configuration (such as a configuration with exactly one leader).

9: We propose a self-stabilizing leader election protocol on directed rings in the model of population protocols.

10: Given an upper bound $N$ on the population size $n$, 

11: %that assumes that the upper bound N of the network size is known.

12: the proposed protocol elects a unique leader

13: within $O(nN)$ expected steps starting from any configuration

14: and uses $O(N)$ states. 

15: This convergence time is optimal if a given upper bound $N$

16: is asymptotically tight, \ie $N=O(n)$.

17: %The proposed protocol uses $O(N)$ states to detect the absence of a leader in an initial configuration.

18: 

19: %\keywords{leader election  \and self-stabilizing \and population protocols}

20: \end{abstract}