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.

A note on high-dimensional discrepancy of subtrees

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

Discrepancies of spanning trees in dense graphs

An oriented discrepancy version of Dirac's theorem

On the Gap between Hereditary Discrepancy and the Determinant Lower Bound

Bisection Width, Discrepancy, and Eigenvalues of Hypergraphs

On the local convergence of integer-valued Lipschitz functions on regular trees

Fitting Distances by Tree Metrics Minimizing the Total Error within a Constant Factor

The Discrepancy of Shortest Paths

Optimal Online Discrepancy Minimization

Symmetric-Difference (Degeneracy) and Signed Tree Models

Tight Hamilton cycles with high discrepancy

On a discrete approach to lower bounds in discrepancy theory

The curse of dimensionality for the $L_p$-discrepancy with finite $p$

On locally finite ordered rooted trees and their rooted subtrees

Near-critical and finite-size scaling for high-dimensional lattice trees and animals

The $L_p$-discrepancy for finite $p>1$ suffers from the curse of dimensionality

Discrepancy properties for random regular digraphs

Every decision tree has an influential variable

An improved bound on the Maximum Agreement Subtree problem