## The Annals of Probability

### A leader-election procedure using records

#### Abstract

Motivated by the open problem of finding the asymptotic distributional behavior of the number of collisions in a Poisson–Dirichlet coalescent, the following version of a stochastic leader-election algorithm is studied. Consider an infinite family of persons, labeled by $1,2,3,\ldots$, who generate i.i.d. random numbers from an arbitrary continuous distribution. Those persons who have generated a record value, that is, a value larger than the values of all previous persons, stay in the game, all others must leave. The remaining persons are relabeled by $1,2,3,\ldots$ maintaining their order in the first round, and the election procedure is repeated independently from the past and indefinitely. We prove limit theorems for a number of relevant functionals for this procedure, notably the number of rounds $T(M)$ until all persons among $1,\ldots,M$, except the first one, have left (as $M\to\infty$). For example, we show that the sequence $(T(M)-\log^{*}M)_{M\in \mathbb{N}}$, where $\log^{*}$ denotes the iterated logarithm, is tight, and study its weak subsequential limits. We further provide an appropriate and apparently new kind of normalization (based on tetrations) such that the original labels of persons who stay in the game until round $n$ converge (as $n\to\infty$) to some random non-Poissonian point process and study its properties. The results are applied to describe all subsequential distributional limits for the number of collisions in the Poisson–Dirichlet coalescent, thus providing a complete answer to the open problem mentioned above.

#### Article information

Source
Ann. Probab. Volume 45, Number 6B (2017), 4348-4388.

Dates
Revised: November 2016
First available in Project Euclid: 12 December 2017

https://projecteuclid.org/euclid.aop/1513069262

Digital Object Identifier
doi:10.1214/16-AOP1167

#### Citation

Alsmeyer, Gerold; Kabluchko, Zakhar; Marynych, Alexander. A leader-election procedure using records. Ann. Probab. 45 (2017), no. 6B, 4348--4388. doi:10.1214/16-AOP1167. https://projecteuclid.org/euclid.aop/1513069262

#### References

• [1] Alsmeyer, G., Kabluchko, Z. and Marynych, A. (2016). Leader election using random walks.ALEA Lat. Am. J. Probab. Math. Stat.131095–1122.
• [2] Alsmeyer, G. and Rösler, U. (1996). The bisexual Galton–Watson process with promiscuous mating: Extinction probabilities in the supercritical case.Ann. Appl. Probab.6922–939.
• [3] Angel, O., Berestycki, N. and Limic, V. (2012). Global divergence of spatial coalescents.Probab. Theory Related Fields152625–679.
• [4] Berestycki, N. (2009).Recent Progress in Coalescent Theory. Ensaios Matemáticos[Mathematical Surveys]16. Sociedade Brasileira de Matemática, Rio de Janeiro.
• [5] Biggins, J. D. and Bingham, N. H. (1991). Near-constancy phenomena in branching processes.Math. Proc. Cambridge Philos. Soc.110545–558.
• [6] Biggins, J. D. and Nadarajah, S. (1993). Near-constancy of the Harris function in the simple branching process.Comm. Statist. Stochastic Models9435–444.
• [7] Billingsley, P. (1999).Convergence of Probability Measures, 2nd ed. Wiley, New York.
• [8] Bingham, N. H. (1971). Limit theorems for occupation times of Markov processes.Z. Wahrsch. Verw. Gebiete171–22.
• [9] Bruss, F. T. and Grübel, R. (2003). On the multiplicity of the maximum in a discrete random sample.Ann. Appl. Probab.131252–1263.
• [10] Devillers, O. (1992). Randomization yields simple $O(n\log^{\ast}n)$ algorithms for difficult $\Omega(n)$ problems.Internat. J. Comput. Geom. Appl.297–111.
• [11] Diaconis, P. and Freedman, D. (1999). Iterated random functions.SIAM Rev.4145–76.
• [12] Fill, J. A., Mahmoud, H. M. and Szpankowski, W. (1996). On the distribution for the duration of a randomized leader election algorithm.Ann. Appl. Probab.61260–1283.
• [13] Flajolet, P., Roux, M. and Vallée, B. (2010). Digital trees and memoryless sources: From arithmetics to analysis. In 21st International Meeting on Probabilistic,Combinatorial,and Asymptotic Methods in the Analysis of Algorithms(AofA’10).Discrete Math. Theor. Comput. Sci. Proc.,AM233–260. Assoc. Discrete Math. Theor. Comput. Sci, Nancy.
• [14] Gnedin, A., Iksanov, A. and Marynych, A. $\Lambda$-coalescents: A survey.J. Appl. Probab.51A23–40.
• [15] Gut, A. (1990). Convergence rates for record times and the associated counting process.Stochastic Process. Appl.36135–151.
• [16] Janson, S., Lavault, C. and Louchard, G. (2008). Convergence of some leader election algorithms.Discrete Math. Theor. Comput. Sci.10171–196.
• [17] Janson, S. and Szpankowski, W. (1997). Analysis of an asymmetric leader election algorithm.Electron. J. Combin.4(1): Research Paper 17, 16 pp. (electronic).
• [18] Kalpathy, R., Mahmoud, H. M. and Ward, M. D. (2011). Asymptotic properties of a leader election algorithm.J. Appl. Probab.48569–575.
• [19] Kesten, H. (1980). The number of distinguishable alleles according to the Ohta–Kimura model of neutral mutation.J. Math. Biol.10167–187.
• [20] Knuth, D. E. (1996).Selected Papers on Computer Science. CSLI Lecture Notes59. CSLI Publications, Stanford, CA; Cambridge University Press, Cambridge.
• [21] Kuczma, M., Choczewski, B. and Ger, R. (1990).Iterative Functional Equations. Encyclopedia of Mathematics and Its Applications32. Cambridge Univ. Press, Cambridge.
• [22] Linial, N. (1992). Locality in distributed graph algorithms.SIAM J. Comput.21193–201.
• [23] Marynych, A. (2010). On the asymptotics of moments of linear random recurrences.Theory Stoch. Process.16106–119.
• [24] Möhle, M. (2010). Asymptotic results for coalescent processes without proper frequencies and applications to the two-parameter Poisson–Dirichlet coalescent.Stochastic Process. Appl.1202159–2173.
• [25] Möhle, M. and Sagitov, S. (2001). A classification of coalescent processes for haploid exchangeable population models.Ann. Probab.291547–1562.
• [26] Nevzorov, V. B. (2001).Records:Mathematical Theory. Translations of Mathematical Monographs194. Amer. Math. Soc., Providence, RI.
• [27] Pitman, J. (1999). Coalescents with multiple collisions.Ann. Probab.271870–1902.
• [28] Prodinger, H. (1993). How to select a loser.Discrete Math.120149–159.
• [29] Rényi, A. (1976). On the extreme elements of observations. InCollected Works of Alfred Rényi,Vol. III50–66. Akadémia Kiadó.
• [30] Sagitov, S. (2003). Convergence to the coalescent with simultaneous multiple mergers.J. Appl. Probab.40839–854.
• [31] Schneider, J. and Wattenhofer, R. (2008). A log-star distributed maximal independent set algorithm for growth-bounded graphs. InProceedings of the Twenty-Seventh ACM Symposium on Principles of Distributed Computing35–44. ACM, New York.
• [32] Schweinsberg, J. (2000). Coalescents with simultaneous multiple collisions.Electron. J. Probab.5: Paper no. 12, 50 pp. (electronic).
• [33] Shorrock, R. W. (1972). On record values and record times.J. Appl. Probab.9316–326.
• [34] Sigman, K. (1995).Stationary Marked Point Processes:An Intuitive Approach. Chapman & Hall, New York.
• [35] Yamazato, M. (2009). On a ${J}_{1}$-convergence theorem for stochastic processes on ${D}[0,\infty)$ having monotone sample paths and its applications (The 8th workshop on stochastic numerics).RIMS Kôkyûroku1620109–118.