Abstract:The Horton-Strahler number of a rooted tree $T$ is the height of the tallest complete binary tree that can be homeomorphically embedded in $T$. The number of full binary trees with $n$ internal vertices and Horton-Strahler number $s$ is known to be the same as the number of Dyck paths of length $2n$ whose height $h$ satisfies $\lfloor \log_2(1+h)\rfloor=s$. In this paper, we present a new bijective proof of the above result, that in fact strengthens and refines it as follows. We introduce a sequence of trees $(\tau_i,i \ge 0)$ which "interpolates" the complete binary trees, in the sense that $\tau_{2^h-1}$ is the complete binary tree of height $h$ for all $h \ge 0$, and $\tau_{i+1}$ strictly contains $\tau_i$ for all $i \ge 0$. Defining $\mathcal{S}(T)$ to be the largest $i$ for which $\tau_i$ can be homeomorphically embedded in $T$, we then show that the number of full binary trees $T$ with $n$ internal vertices and with $\mathcal{S}(T)=h$ is the same as the number of Dyck paths of length $2n$ with height $h$. (We call $\mathcal{S}(T)$ the refined Horton-Strahler number of $T$.) Our proof is bijective and relies on a recursive decomposition of binary trees (resp. Dyck paths) into subtrees with strictly smaller refined Horton-Strahler number (resp. subpaths with strictly smaller height). In a subsequent paper, we will show that the bijection has a continuum analogue, which transforms a Brownian continuum random tree into a Brownian excursion and under which (a continuous analogue of) the refined Horton-Strahler number of the tree becomes the height of the excursion.

Some Properties and Combinatorial Implications of Weighted Small Schröder Numbers

Bijections from weighted Dyck paths to Schroeder paths

Congruences involving Delannoy numbers and Schröder numbers

On Delannoy Numbers and Schröder Numbers

Small Divisor problems and $A_p$ weights with an application

The Numbers of De Bruijn Sequences in Extremal Weight Classes

Arithmetic Properties of Delannoy Numbers and Schröder Numbers

Sums of singular series along arithmetic progressions and with smooth weights

More on the Inverse Problem of Steiner Wiener Index.

On the Asymptotic Distributions of Classes of Subtree Additive Properties of Plane Trees under the Nearest Neighbor Thermodynamic Model

The largest singletons in weighted set partitions and its applications

Duality of antidiagonals and pipe dreams

Combinatorial approach to Andrews-Gordon and Bressoud type identities

A Combinatorial Approach to Frobenius Numbers of Some Special Sequences (Complete Version)

The Sackin index and depth of leaves in generalized Schröder trees

On Dedekind's problem, a sparse version of Sperner's theorem, and antichains of a given size in the Boolean lattice

Proofs of Conjectures on Extremal Weight De Bruijn Sequences

Elementary Proofs of Arithmetic Properties for Schur-Type Overpartitions Modulo Small Powers of 2

Tree hook length formulae, Feynman rules and B-series

Asymptotics of Weighted Reflectable Walks in $A_2$

Refined Horton-Strahler numbers I: a discrete bijection