On the number of increasing trees with label repetitions☆
Introduction
A rooted binary plane tree of size (meaning that it has vertices) is called monotonically increasingly labeled with the integers in if the vertices of the tree are labeled with those integers and each sequence of labels along a path from the root to any leaf is weakly increasing. The concept of a monotonically labeled tree (of fixed arity ) has been introduced in the 1980s by Prodinger and Urbanek [11] and has then been revisited by Blieberger [1] in the context of Motzkin trees. In the latter paper, monotonically labeled Motzkin trees are directly related to the enumeration of expression trees that are built during compilation or in symbolic manipulation systems.
A rooted binary plane tree of size is called increasingly labeled, if it is monotonically increasingly labeled with the integers in and each integer from to appears exactly once. In particular, this implies that the sequences of labels along the branches are strictly increasing. This model corresponds to the heap data structure in computer science and is also related to the classical binary search tree model.
In this paper we are interested in a model lying between the two previous ones. It is in fact a special subclass of monotonically labeled increasing trees: each sequence of labels from the root to any leaf is strictly increasing and each integer between and must appear in the tree, where is the largest label. The main difference from the classical model of binary increasing trees (cf. e.g. the book of Drmota [5]) is that the same label can appear in distinct branches of the tree. Our interest in such a model arises from the following fact: There is a classical evolution process, presented for example in [5], to grow a binary increasing tree by replacing at each step an unlabeled leaf by an internal node labeled by the step number and attached to two new leaves. Here, we extend the process by selecting at each step a subset of leaves and replacing each of them by the same structure (the labeled internal nodes, all with the same integer label, and their two children), thus an increasing binary tree with repetitions is under construction.
Such a model may serve to describe population evolution processes where each individual can give birth to two descendants independently of the other individuals. In another paper [4] we have presented an increasing model with repetitions of Schröder trees that encodes the chronology in phylogenetic trees.
Finally, by merging the nodes with the same label we obtain directed acyclic graphs whose nodes are increasingly labeled (without repetitions). Such an approach introduces a new model of concurrent processes with synchronization that induces processes whose description is more expressive than the classical series–parallel model that we have studied in [2], [3].
Another main feature of this paper is the methodological aspect. While we are “only” presenting a first order asymptotic analysis of the counting sequence, we introduce an approach to deal with generating functions which are on the one hand given by some nontrivial functional equation, on the other hand purely formal power series.
Our approach falls into the guess-and-prove paradigm, which is frequently used in algebraic combinatorics and partially automatized there. We will apply an approximate Borel transform to obtain heuristically an equation for the transformed generating functions. Then we use a scaling indicated by the heuristics in order to deal with a moderately growing sequence. The generating function of the scaled sequence then admits an asymptotic analysis which leads to the asymptotic evaluation of the sequence, including a proof of the guessed result after all.
In Section 2 we introduce the concept of increasing binary trees with repetitions. In particular, we develop the evolution process naturally defining such trees and present the asymptotic behavior of its enumeration sequence.
Section 3 is devoted to the asymptotic study of the number of increasing binary trees with repetitions of size . In the first instance, we partition the problem and get some recurrence relation. Then we present the methodology based on the approximate Borel transform. Afterwards, we derive the functional equation from the evolution process and then analyze the counting sequence, first heuristically and, after having gained the insight from the heuristics, then exactly.
Then, in Section 4 we present a brief discussion of the generalization to -ary trees.
Section snippets
Basic concepts and statement of the main result
The concept of an increasing tree is well studied in the literature (cf. for example [5]). An increasing tree is defined as a rooted labeled tree where on each path from the root to a leaf the sequence of labels is increasing. In fact they are strictly increasing, since the nodes of a labeled tree with nodes carry exactly the labels . The aim of the paper is to introduce a weaker model of increasing trees where repetitions of the labels can appear.
Definition 1 A weakly increasing binary tree is a
Enumeration of weakly increasing binary trees
Using the combinatorial evolution process to build trees (described in the previous section) and its associated Lemma 2, we get directly a recurrence for the partition of the set of all weakly increasing trees of size according to their maximal label : where is the number of weakly increasing trees with nodes in which exactly distinct labels occur. We remark that , and thus the first terms of are
Higher arity weakly increasing trees
In this section we briefly discuss how our results generalize to -ary weakly increasing trees with repetitions. The definitions about the binary case can be adapted in an obvious way. The size of the structures corresponds to the number of leaves of the completed -ary tree and the generating function where is the number of -ary weakly increasing trees (with repetitions) of size . In a similar way as in the binary case we obtain the functional equation We
Conclusion
In this article, we have shown that the asymptotic behavior of weakly increasing binary trees of size is given by where is a constant. This exhibits a certain oddity compared to the classic asymptotic behavior of trees. In particular, the presence of the polynomial factor is quite unusual and can be compared to the classical factor for the simple family of trees.
To keep the presentation concise, we have performed only asymptotics up to the first order.
Declaration of Competing Interest
The authors declare that they have no known competing financial interests or personal relationships that could have appeared to influence the work reported in this paper.
Acknowledgments
The authors thank the anonymous referees for their comments and suggested improvements.
References (13)
Monotonically labelled Motzkin trees
Discrete Appl. Math.
(1987)- et al.
On monotone functions of tree structures
Discrete Appl. Math.
(1983) - O. Bodini, M. Dien, A. Genitrini, F. Peschanski, The ordered and colored products in analytic combinatorics:...
- O. Bodini, M. Dien, A. Genitrini, F. Peschanski, Entropic uniform sampling of linear extensions in series-parallel...
- et al.
Ranked Schröder trees
Random Trees
(2009)
Cited by (3)
Strict monotonic trees arising from evolutionary processes: Combinatorial and probabilistic study
2022, Advances in Applied MathematicsCitation Excerpt :This work is part of a long-term over-arching project, in which we aim at relaxing the classical rules of increasing labelling (described in, e.g., [4]), by, for example, allowing labels to appear more than once in the tree. The following papers are part of this strand of research: [9,10] introduce and study models of labelled trees with less-constrained increasing labelling rules; [6] focuses on increasingly-labelled “diamonds”; and [18] analyses at a compacted structure that specifies classes of directed acyclic graphs. In this paper, we introduce two new different models of Schröder trees with chronological evolution: the increasing Schröder trees and the strict monotonic Schröder trees.
Weakly increasing trees on a multiset
2021, Advances in Applied MathematicsCitation Excerpt :In [27,28], multilabeled tree families, which are extensions of increasing trees, are studied, where the nodes in the tree are equipped with a set or a sequence of labels. In [4], a weaker model of increasing trees, in which repetitions of the labels can appear but the sequence of labels is (strictly) increasing along each branch starting from the root, was introduced. In this section, we introduce further motivations of this work and state our main results whose proofs will be given in subsequent sections.
Families of monotonic trees: Combinatorial enumeration and asymptotics
2020, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
- ☆
This work was partially supported by the ANR project MetACOnc ANR-15-CE40-0014, by the Austrian Science Fund (FWF) grant SFB F50-03, the PHC Amadeus project 39454SF, and the National Research Foundation of South Africa , grant number 96236.