Abstract:We first revisit and generalize a known result about a doubly exponential sequence that describes the number of k -ary ordered rooted trees of height h where k≥2 is a fixed integer. Such a sequence has the form (tk(h))h≥0 where tk(h)=c(k)kh−1 for each given k and c(k)∈ R . We provide the first detailed analysis of the real number sequence (c(k))k≥2 and show, in particular, that this sequence is strictly decreasing and has a limit 2 when k tends to infinity. We then turn our attention to a more general setting for sequences that describe the number of ordered rooted trees of a given height. This has applications in algorithm analyses where searches in rooted trees are performed. We consider infinite ordered rooted trees in which each ordered rooted subtree induced by all the vertices on levels h∈ N or less is a finite ordered rooted tree of height h of a certain type. In particular, we study those infinite trees T in which each vertex has infinitely many descendants. We first give a complete characterization of those infinite trees for which the number s(Th) of ordered rooted subtrees Tn of height at most h of T is bounded by a polynomial in h . We then present natural lower and upper bounds for s(Th) and use those to obtain a tight threshold function f(h) for which we have s(Th)=Θ(hf(h)) for infinitely many h∈N . This threshold function can be presented in terms of the Lambert W function; the upper branch of the two inverses of the function w↦wew . Finally, we investigate some theoretical properties of s(Th) for those infinite trees T that have a finite width when viewed as partially ordered sets (posets) with the root as the sole maximum element. In particular, we show that for large enough h the function s(Th) is given by a polynomial in h and we determine the degree and the leading coefficient of this polynomial.

Enumerations of vertices among all rooted ordered trees with levels and degrees

Enumerating the total number of subtrees of trees

On locally finite ordered rooted trees and their rooted subtrees

Trees with many leaves in tournaments

Regular packing of rooted hyperforests with root constraints in hypergraphs

Enumeration of Subtrees and BC-subtrees with Maximum Degree No More Than K in Trees

On the enumeration of leaf-labelled increasing trees with arbitrary node-degree

Packing tree degree sequences

A refinement of Cayley's formula for trees

Large Degree Vertices in Longest Cycles of Graphs, II

The Wiener Index of Trees with Given Degree Sequences

A recursive algorithm for trees and forests

Eigenvalues and spanning trees with constrained degree

The Number of Subtrees of Trees with Given Degree Sequence.

On triangulations with high vertex degree

Trees with the most subtrees -- an algorithmic approach

Bounds on the Treewidth of Level-k Rooted Phylogenetic Networks

A Cantor-Bendixson Rank for Siblings of Trees

Decks of rooted binary trees

Rooted trees with level structures, $Ω$-classes and double ramification cycles

On trees with real rooted independence polynomial