arXiv++ Combinatorics

We give a description of invariants and attractors of the critical and subcritical Galton-Watson tree measures under the operation of Horton pruning (cutting tree leaves with subsequent series reduction). Under a regularity condition, the class of invariant measures consists of the critical binary Galton-Watson tree and a one-parameter family of critical Galton-Watson trees with offspring distribution $\{q_k\}$ that has a power tail $q_k\sim Ck^{-(1+1/q_0)}$, where $q_0\in(1/2,1)$. Each invariant measure has a non-empty domain of attraction under consecutive Horton pruning, specified by the tail behavior of the initial Galton-Watson offspring distribution. The invariant measures satisfy the Toeplitz property for the Tokunaga coefficients and obey the Horton law with exponent $R = (1-q_0)^{-1/q_0}$.

The Horton laws originated in hydrology with a 1945 paper by Robert E. Horton, and for a long time remained a purely empirical finding. Ubiquitous in hierarchical branching systems, the Horton laws have been rediscovered in many disciplines ranging from geomorphology to genetics to computer science. Attempts to build a mathematical foundation behind the Horton laws during the 1990s revealed their close connection to the operation of pruning -- erasing a tree from the leaves down to the root. This survey synthesizes recent results on invariances and self-similarities of tree measures under various forms of pruning. We argue that pruning is an indispensable instrument for describing branching structures and representing a variety of coalescent and annihilation dynamics. The Horton laws appear as a characteristic imprint of self-similarity, which settles some questions prompted by geophysical data.

We study self-similarity in random binary rooted trees. In a well-understood case of Galton-Watson trees, a distribution on a space of trees is said to be self-similar if it is invariant with respect to the operation of pruning, which cuts the tree leaves. This only happens for the critical Galton-Watson tree (a constant process progeny), which also exhibits other special symmetries. We extend the prune-invariance setup to arbitrary binary trees with edge lengths. In this general case the class of self-similar processes becomes much richer and covers a variety of practically important situations. The main result is construction of the hierarchical branching processes that satisfy various self-similarity definitions (including mean self-similarity and self-similarity in edge-lengths) depending on the process parameters. Taking the limit of averaged stochastic dynamics, as the number of trajectories increases, we obtain a deterministic system of differential equations that describes the process evolution. This system is used to establish a phase transition that separates fading and explosive behavior of the average process progeny. We describe a class of critical Tokunaga processes that happen at the phase transition boundary. They enjoy multiple additional symmetries and include the celebrated critical binary Galton-Watson tree with independent exponential edge length as a special case. Finally, we discuss a duality between trees and continuous functions, and introduce a class of extreme-invariant processes, constructed as the Harris paths of a self-similar hierarchical branching process, whose local minima has the same (linearly scaled) distribution as the original process.

Self-similarity of random trees is related to the operation of pruning. Pruning $R$ cuts the leaves and their parental edges and removes the resulting chains of degree-two nodes from a finite tree. A Horton-Strahler order of a vertex $v$ and its parental edge is defined as the minimal number of prunings necessary to eliminate the subtree rooted at $v$. A branch is a group of neighboring vertices and edges of the same order. The Horton numbers $N_k[K]$ and $N_{ij}[K]$ are defined as the expected number of branches of order $k$, and the expected number of order-$i$ branches that merged order-$j$ branches, $j>i$, respectively, in a finite tree of order $K$. The Tokunaga coefficients are defined as $T_{ij}[K]=N_{ij}[K]/N_j[K]$. The pruning decreases the orders of tree vertices by unity. A rooted full binary tree is said to be mean-self-similar if its Tokunaga coefficients are invariant with respect to pruning: $T_k:=T_{i,i+k}[K]$. We show that for self-similar trees, the condition $\limsup(T_k)^{1/k}<\infty$ is necessary and sufficient for the existence of the strong Horton law: $N_k[K]/N_1[K] \rightarrow R^{1-k}$, as $K \rightarrow \infty$ for some $R>0$ and every $k\geq 1$. This work is a step toward providing rigorous foundations for the Horton law that, being omnipresent in natural branching systems, has escaped so far a formal explanation.

The paper establishes a weak version of Horton self-similarity for a tree representation of Kingman's coalescent process. The proof is based on a Smoluchowski-type system of ordinary differential equations for the number of branches of a given Horton-Strahler order in a tree that represents Kingman's N-coalescent process with a constant kernel, in a hydrodynamic limit. We also demonstrate a close connection between the combinatorial Kingman's tree and the combinatorial level set tree of a white noise, which implies Horton self-similarity for the latter.