## Electronic Journal of Probability

### Cost functionals for large (uniform and simply generated) random trees

#### Abstract

Additive tree functionals allow to represent the cost of many divide-and-conquer algorithms. We give an invariance principle for such tree functionals for the Catalan model (random tree uniformly distributed among the full binary ordered trees with given number of nodes) and for simply generated trees (including random tree uniformly distributed among the ordered trees with given number of nodes). In the Catalan model, this relies on the natural embedding of binary trees into the Brownian excursion and then on elementary $L^2$ computations. We recover results first given by Fill and Kapur (2004) and then by Fill and Janson (2009). In the simply generated case, we use convergence of conditioned Galton-Watson trees towards stable Lévy trees, which provides less precise results but leads us to conjecture a different phase transition value between “global” and “local” regimes. We also recover results first given by Janson (2003 and 2016) in the Brownian case and give a generalization to the stable case.

#### Article information

Source
Electron. J. Probab., Volume 23 (2018), paper no. 87, 36 pp.

Dates
Accepted: 15 August 2018
First available in Project Euclid: 12 September 2018

https://projecteuclid.org/euclid.ejp/1536717746

Digital Object Identifier
doi:10.1214/18-EJP213

Mathematical Reviews number (MathSciNet)
MR3858915

Zentralblatt MATH identifier
1398.05061

#### Citation

Delmas, Jean-François; Dhersin, Jean-Stéphane; Sciauveau, Marion. Cost functionals for large (uniform and simply generated) random trees. Electron. J. Probab. 23 (2018), paper no. 87, 36 pp. doi:10.1214/18-EJP213. https://projecteuclid.org/euclid.ejp/1536717746

#### References

• [1] Romain Abraham and Jean-François Delmas, Record process on the continuum random tree, ALEA Lat. Am. J. Probab. Math. Stat. 10 (2013), no. 1, 225–251.
• [2] Romain Abraham and Jean-François Delmas, The forest associated with the record process on a Lévy tree, Stochastic Process. Appl. 123 (2013), no. 9, 3497–3517.
• [3] Romain Abraham and Jean-François Delmas, Local limits of conditioned Galton-Watson trees: the condensation case, Electron. J. Probab. 19 (2014), no. 56, 29.
• [4] Romain Abraham and Jean-François Delmas, Local limits of conditioned Galton-Watson trees: the infinite spine case, Electron. J. Probab. 19 (2014), no. 2, 19.
• [5] David Aldous, Asymptotic fringe distributions for general families of random trees, Ann. Appl. Probab. 1 (1991), no. 2, 228–266.
• [6] David Aldous, The continuum random tree. I, Ann. Probab. 19 (1991), no. 1, 1–28.
• [7] David Aldous, The continuum random tree. II. An overview, Stochastic analysis (Durham, 1990), London Math. Soc. Lecture Note Ser., vol. 167, Cambridge Univ. Press, Cambridge, 1991, pp. 23–70.
• [8] David Aldous, The continuum random tree. III, Ann. Probab. 21 (1993), no. 1, 248–289.
• [9] Jean Bertoin, Lévy processes, Cambridge University Press, 1996.
• [10] Michael Blum, Olivier François, and Svante Janson, The mean, variance and limiting distribution of two statistics sensitive to phylogenetic tree balance, Ann. Appl. Probab. 16 (2006), no. 4, 2195–2214.
• [11] Gabriel Cardona, Arnau Mir, and Francesc Rosselló, Exact formulas for the variance of several balance indices under the Yule model, J. Math. Biol. 67 (2013), no. 6-7, 1833–1846.
• [12] Donald H Colless, Review of phylogenetics: the theory and practice of phylogenetic systematics, Syst. Zool 31 (1982), 100–104.
• [13] Philip J. Davis, Interpolation and approximation, Dover Publications, Inc., New York, 1975.
• [14] Luc Devroye, Limit laws for sums of functions of subtrees of random binary search trees, SIAM J. Comput. 32 (2002/03), no. 1, 152–171.
• [15] Robert P. Dobrow and James Allen Fill, Total path length for random recursive trees, Combin. Probab. Comput. 8 (1999), no. 4, 317–333, Random graphs and combinatorial structures (Oberwolfach, 1997).
• [16] Andrey A. Dobrynin, Roger Entringer, and Ivan Gutman, Wiener index of trees: theory and applications, Acta Appl. Math. 66 (2001), no. 3, 211–249.
• [17] Thomas Duquesne, A limit theorem for the contour process of conditioned Galton-Watson trees, Ann. Probab. 31 (2003), no. 2, 996–1027.
• [18] Thomas Duquesne and Jean-François Le Gall, Random trees, Lévy processes and spatial branching processes, Astérisque (2002), no. 281, vi+147.
• [19] Thomas Duquesne and Jean-François Le Gall, Probabilistic and fractal aspects of Lévy trees, Probab. Theory Related Fields 131 (2005), no. 4, 553–603.
• [20] Steven N. Evans, Probability and real trees, Lecture Notes in Mathematics, vol. 1920, Springer, Berlin, 2008, Lectures from the 35th Summer School on Probability Theory held in Saint-Flour, 2005.
• [21] James Allen Fill, On the distribution of binary search trees under the random permutation model, Random Struct. Algo. 8 (1996), no. 1, 1–25.
• [22] James Allen Fill, Philippe Flajolet, and Nevin Kapur, Singularity analysis, Hadamard products, and tree recurrences, J. Comput. Appl. Math. 174 (2005), no. 2, 271–313.
• [23] James Allen Fill and Svante Janson, Precise logarithmic asymptotics for the right tails of some limit random variables for random trees, Ann. Comb. 12 (2009), no. 4, 403–416.
• [24] James Allen Fill and Nevin Kapur, Limiting distributions for additive functionals on Catalan trees, Theoret. Comput. Sci. 326 (2004), no. 1-3, 69–102.
• [25] James Allen Fill and Nevin Kapur, A repertoire for additive functionals of uniformly distributed $m$-ary search trees, 2005 International Conference on Analysis of Algorithms, Discrete Math. Theor. Comput. Sci. Proc., AD, Assoc. Discrete Math. Theor. Comput. Sci., Nancy, 2005, pp. 105–114 (electronic).
• [26] James Allen Fill and Nevin Kapur, Transfer theorems and asymptotic distributional results for $m$-ary search trees, Random Struct. Algo. 26 (2005), no. 4, 359–391.
• [27] Philippe Flajolet, Xavier Gourdon, and Conrado Martínez, Patterns in random binary search trees, Random Struct. Algo. 11 (1997), no. 3, 223–244.
• [28] Daniel J. Ford, Probabilities on cladograms: Introduction to the alpha model, ProQuest LLC, Ann Arbor, MI, 2006, Thesis (Ph.D.)–Stanford University.
• [29] Walter Gautschi, Some elementary inequalities relating to the gamma and incomplete gamma function, J. Math. and Phys. 38 (1959/60), 77–81.
• [30] Cecilia Holmgren and Svante Janson, Limit laws for functions of fringe trees for binary search trees and random recursive trees, Electron. J. Probab. 20 (2015), no. 4, 51.
• [31] Hsien-Kuei Hwang and Ralph Neininger, Phase change of limit laws in the quicksort recurrence under varying toll functions, SIAM J. Comput. 31 (2002), no. 6, 1687–1722 (electronic).
• [32] Svante Janson, The Wiener index of simply generated random trees, Random Struct. Algo. 22 (2003), no. 4, 337–358.
• [33] Svante Janson, Simply generated trees, conditioned Galton-Watson trees, random allocations and condensation, Probab. Surv. 9 (2012), 103–252.
• [34] Svante Janson, Asymptotic normality of fringe subtrees and additive functionals in conditioned Galton-Watson trees, Random Struct. Algo. 48 (2016), no. 1, 57–101.
• [35] Svante Janson and Philippe Chassaing, The center of mass of the ISE and the Wiener index of trees, Electron. Comm. Probab. 9 (2004), 178–187 (electronic).
• [36] Douglas P. Kennedy, The Galton-Watson process conditioned on the total progeny, J. Appl. Probability 12 (1975), no. 4, 800–806.
• [37] Igor Kortchemski, Invariance principles for Galton-Watson trees conditioned on the number of leaves, Stochastic Process. Appl. 122 (2012), no. 9, 3126–3172.
• [38] Igor Kortchemski, A simple proof of Duquesne’s theorem on contour processes of conditioned Galton-Watson trees, Séminaire de Probabilités XLV, Lecture Notes in Math., vol. 2078, Springer, Cham, 2013, pp. 537–558.
• [39] Igor Kortchemski, Limit theorems for conditioned non-generic Galton-Watson trees, Ann. Inst. Henri Poincaré Probab. Stat. 51 (2015), no. 2, 489–511.
• [40] Jean-François Le Gall, The uniform random tree in a Brownian excursion, Probab. Theory Related Fields 96 (1993), no. 3, 369–383.
• [41] Jean-François Le Gall, Random trees and applications, Probab. Surv. 2 (2005), 245–311.
• [42] Jean-Francois Le Gall and Yves Le Jan, Branching processes in Lévy processes: the exploration process, Ann. Probab. 26 (1998), no. 1, 213–252.
• [43] Hosam M. Mahmoud, Limiting distributions for path lengths in recursive trees, Probab. Engrg. Inform. Sci. 5 (1991), no. 1, 53–59.
• [44] Arnau Mir, Francesc Rosselló, and Lucía Rotger, A new balance index for phylogenetic trees, Math. Biosci. 241 (2013), no. 1, 125–136.
• [45] Ralph Neininger, On binary search tree recursions with monomials as toll functions, J. Comput. Appl. Math. 142 (2002), no. 1, 185–196.
• [46] Ralph Neininger, The Wiener index of random trees, Combin. Probab. Comput. 11 (2002), no. 6, 587–597.
• [47] J. Neveu, Arbres et processus de Galton-Watson, Ann. Inst. H. Poincaré Probab. Statist. 22 (1986), no. 2, 199–207.
• [48] J. Pitman, Combinatorial stochastic processes, Lecture Notes in Mathematics, vol. 1875, Springer-Verlag, Berlin, 2006, Lectures from the 32nd Summer School on Probability Theory held in Saint-Flour, 2002.
• [49] Dimbinaina Ralaivaosaona and Stephan Wagner, Additive functionals of $d$-ary increasing trees, arXiv preprint arXiv:1605.03918 (2016).
• [50] Mireille Régnier, A limiting distribution for quicksort, RAIRO Inform. Théor. Appl. 23 (1989), no. 3, 335–343.
• [51] Christoph Richard, On $q$-functional equations and excursion moments, Discrete Math. 309 (2009), no. 1, 207–230.
• [52] U. Rösler and L. Rüschendorf, The contraction method for recursive algorithms, Algorithmica 29 (2001), no. 1-2, 3–33.
• [53] Uwe Rösler, A limit theorem for “Quicksort”, RAIRO Inform. Théor. Appl. 25 (1991), no. 1, 85–100.
• [54] M.J. Sackin, “good” and “bad” phenograms, Systematic Biology 21 (1972), no. 2, 225–226.
• [55] Lajos Takács, On the total heights of random rooted binary trees, J. Combin. Theory Ser. B 61 (1994), no. 2, 155–166.
• [56] Nenad Trinajstic, Chemical graph theory, Routledge, 2018.
• [57] Stephan Wagner, Central limit theorems for additive tree parameters with small toll functions, Combin. Probab. Comput. 24 (2015), no. 1, 329–353.
• [58] Harry Wiener, Structural determination of paraffin boiling points, Journal of the American Chemical Society 69 (1947), no. 1, 17–20.
• [59] Elahe Zohoorian Azad, Asymptotic cost of cutting down random free trees, Journal of The Iranian Statistical Society 11 (2012), no. 1, 57–73.