Limit distributions for multitype branching processes of $m$-ary search trees
Annales de l'I.H.P. Probabilités et statistiques, Volume 50 (2014) no. 2, p. 628-654

Let $m\ge 3$ be an integer. The so-called $m$-ary search tree is a discrete time Markov chain which is very popular in theoretical computer science, modelling famous algorithms used in searching and sorting. This random process satisfies a well-known phase transition: when $m\le 26$, the asymptotic behavior of the process is Gaussian, but for $m\ge 27$ it is no longer Gaussian and a limit ${W}^{DT}$ of a complex-valued martingale arises. In this paper, we consider the multitype branching process which is the continuous time version of the $m$-ary search tree. This process satisfies a phase transition of the same kind. In particular, when $m\ge 27$, a limit $W$ of a complex-valued martingale intervenes in its asymptotics. Thanks to the branching property, the law of $W$ satisfies a smoothing equation of the type $Z\stackrel{ℒ}{=}{\mathrm{e}}^{-\lambda T}\left({Z}^{\left(1\right)}+\cdots +{Z}^{\left(m\right)}\right)$, where $\lambda$ is a particular complex number, ${Z}^{\left(k\right)}$ are independent complex-valued random variables having the same law as $Z$, $T$ is a ${ℝ}_{+}$-valued random variable independent of the ${Z}^{\left(k\right)}$, and $\stackrel{ℒ}{=}$ denotes equality in law. This distributional equation is extensively studied by various approaches. The existence and uniqueness of solution of the equation are proved by contraction methods. The fact that the distribution of $W$ is absolutely continuous and that its support is the whole complex plane is shown via Fourier analysis. Finally, the existence of exponential moments of $W$ is obtained by considering $W$ as the limit of a complex Mandelbrot cascade.

Soit $m\ge 3$ un entier. Très populaire en informatique fondamentale, l’arbre $m$-aire de recherche est une chaîne de Markov à temps discret qui modélise de célèbres algorithmes de tri et de recherche de données. Ce processus aléatoire vérifie une transition de phase bien connue : lorsque $m\le 26$, le comportement asymptotique du processus est gaussien. En revanche, lorsque $m\ge 27$, il n’est plus gaussien et fait apparaître la limite ${W}^{DT}$ d’une martingale à valeurs complexes. Dans cet article, on considère le processus de branchement multitype qui est le plongement en temps continu de l’arbre $m$-aire de recherche. Ce processus fait l’objet d’une transition de phase du même type. En particulier, lorsque $m\ge 27$, son asymptotique s’exprime à l’aide de la limite $W$ d’une martingale complexe. Grâce à la propriété de branchement, la loi de $W$ est solution d’une équation en distribution du type $Z\stackrel{ℒ}{=}{\mathrm{e}}^{-\lambda T}\left({Z}^{\left(1\right)}+\cdots +{Z}^{\left(m\right)}\right)$$\lambda$ est un nombre complexe particulier, les ${Z}^{\left(k\right)}$ sont des variables aléatoires complexes indépendantes dont la loi est celle de $Z$, $T$ est une variable aléatoire réelle positive indépendante des ${Z}^{\left(k\right)}$, et $\stackrel{ℒ}{=}$ désigne l’égalité en distribution. On étudie cette équation en loi par des approches variées. L’existence et l’unicité de solutions sont prouvées par des méthodes de contraction. L’absolue continuité de $W$ et le fait que son support soit le plan complexe tout entier sont démontrés par analyse de Fourier. Enfin, on obtient l’existence de moments exponentiels en considérant $W$ comme la limite d’une cascade de Mandelbrot à valeurs complexes.

DOI : https://doi.org/10.1214/12-AIHP518
Classification:  60C05,  60J80,  05D40
Keywords: martingale, characteristic function, embedding in continuous time, multitype branching process, smoothing transformation, absolute continuity, support, exponential moments
@article{AIHPB_2014__50_2_628_0,
author = {Chauvin, Brigitte and Liu, Quansheng and Pouyanne, Nicolas},
title = {Limit distributions for multitype branching processes of $m$-ary search trees},
journal = {Annales de l'I.H.P. Probabilit\'es et statistiques},
publisher = {Gauthier-Villars},
volume = {50},
number = {2},
year = {2014},
pages = {628-654},
doi = {10.1214/12-AIHP518},
mrnumber = {3189087},
language = {en},
url = {http://www.numdam.org/item/AIHPB_2014__50_2_628_0}
}

Chauvin, Brigitte; Liu, Quansheng; Pouyanne, Nicolas. Limit distributions for multitype branching processes of $m$-ary search trees. Annales de l'I.H.P. Probabilités et statistiques, Volume 50 (2014) no. 2, pp. 628-654. doi : 10.1214/12-AIHP518. http://www.numdam.org/item/AIHPB_2014__50_2_628_0/

[1] K. B. Athreya and P. Ney. Branching Processes. Springer, New York, 1972. | MR 373040 | Zbl 0259.60002

[2] J. Barral, X. Jin and B. Mandelbrot. Convergence of complex multiplicative cascades. Ann. Appl. Probab. 20 (2010) 1219-1252. | MR 2676938 | Zbl 1221.60028

[3] J. Bertoin. Random Fragmentation and Coagulation Processes. Cambridge Studies in Advanced Mathematics. Cambridge Univ. Press, Cambridge, 2006. | MR 2253162 | Zbl 1107.60002

[4] B. Chauvin and N. Pouyanne. $m$-ary search trees when $m>26$: A strong asymptotics for the space requirements. Random Structures Algorithms 24 (2004) 133-154. | MR 2035872 | Zbl 1037.60027

[5] B. Chauvin, N. Pouyanne and R. Sahnoun. Limit distributions for large Pólya urns. Ann. Appl. Probab. 21 (2011) 1-32. | MR 2759195 | Zbl 1220.60006

[6] H.-H. Chern and H.-K. Hwang. Phase changes in random $m$-ary search trees and generalized quicksort. Random Structures Algorithms 19 (2001) 316-358. | MR 1871558 | Zbl 0990.68052

[7] R. M. Dudley. Real Analysis and Probability. Cambridge Univ. Press, Cambridge, 2002. | MR 1932358 | Zbl 1023.60001

[8] R. Durrett and T. Liggett. Fixed points of the smoothing transformation. Z. Wahrsch. verw. Gebiete 64 (1983) 275-301. | MR 716487 | Zbl 0506.60097

[9] J. A. Fill and N. Kapur. The space requirement of $m$-ary search trees: Distributional asymptotics for $m\ge 27$. In Proceedings of the 7th Iranian Conference, Tehran, 2004. Available at ArXiv:math.PR/0405144. | MR 2094243

[10] Y. Guivarc'H. Sur une extension de la notion de loi semi-stable. Ann. Inst. Henri Poincaré Probab. Stat. 26 (1990) 261-285. | Numdam | MR 1063751 | Zbl 0703.60012

[11] W. N. Hudson, J. A. Veeh and D. C. Weiner. Moments of distributions attracted to operator-stable laws. J. Multivariate Anal. 24 (1988) 1-10. | MR 925125 | Zbl 0638.60027

[12] S. Janson. Functional limit theorem for multitype branching processes and generalized Pólya urns. Stochastic Process. Appl. 110 (2004) 177-245. | MR 2040966 | Zbl 1075.60109

[13] Q. Liu. Asymptotic properties of supercritical age-dependent branching processes and homogeneous branching random walks. Stochastic Process. Appl. 82 (1999) 61-87. | MR 1695070 | Zbl 0997.60091

[14] Q. Liu. Asymptotic properties and absolute continuity of laws stable by random weighted mean. Stochastic Process. Appl. 95 (2001) 83-107. | MR 1847093 | Zbl 1058.60068

[15] Q. Liu and A. Rouault. Limit theorems for Mandelbrot's multiplicative cascades. Ann. Appl. Probab. 10 (2000) 218-239. | MR 1765209 | Zbl 1161.60316

[16] H. M. Mahmoud. Evolution of Random Search Trees. Wiley, New York, 1992. | MR 1140708 | Zbl 0762.68033

[17] J. R. Norris. Markov Chains. Cambridge Series in Statistical and Probabilistic Mathematics. Cambridge Univ. Press, Cambridge, 1997. | MR 1600720 | Zbl 0873.60043

[18] N. Pouyanne. Classification of large Pólya-Eggenberger urns with regard to their asymptotics. In 2005 International Conference on Analysis of Algorithms. Discrete Math. Theor. Comput. Sci. Proc., AD. Assoc. Discrete Math. Theor. Comput. Sci., Nancy 275-285, 2005 (electronic). | MR 2193125 | Zbl 1096.60007

[19] N. Pouyanne. An algebraic approach to Pólya processes. Ann. Inst. Henri Poincaré Probab. Stat. 44 (2008) 293-323. | Numdam | MR 2446325 | Zbl 1185.60029

[20] U. Rösler. A fixed point theorem for distributions. Stochastic Process. Appl. 42 (1992) 195-214. | Zbl 0761.60015

[21] U. Rösler and L. Rüschendorf. The contraction method for recursive algorithms. Algorithmica 29 (2001) 3-33. | MR 1887296 | Zbl 0967.68166

[22] M. Sharpe. Operator-stable probability distribution on vector groups. Trans. Amer. Math. Soc. 136 (1969) 51-65. | MR 238365 | Zbl 0192.53603