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.

On isomorphism classes of leaf-induced subtrees in topological trees

The <I>d</I>-Subtree Partition Problem: The <I>d</I>-Subtree Partition Problem

On locally finite ordered rooted trees and their rooted subtrees

Enumerating the total number of subtrees of trees

Getting to the Root of the Problem: Sums of Squares for Infinite Trees

On the topological classification of binary trees using the Horton-Strahler index

A Cantor-Bendixson Rank for Siblings of Trees

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

Trees with the most subtrees -- an algorithmic approach

Leaf-induced subtrees of leaf-Fibonacci trees

Trees with many leaves in tournaments

Classification of Label-Regular Directed Trees up to Almost Isomorphism

On the class reconstruction number of trees

The Number of Topological Types of Trees

Homomorphism Counts to Trees

Refined Horton-Strahler numbers I: a discrete bijection

An Improved Lower Bound on the Largest Common Subtree of Random Leaf-Labeled Binary Trees

The Leaf Function of Penrose P2 Graphs

On distinguishing special trees by their chromatic symmetric functions

Decomposing highly edge-connected graphs into homomorphic copies of a fixed tree

Nonleaf Patterns in Trees: Protected Nodes and Fine Numbers