arXiv++ Combinatorics

Let $\cP_{\ell,k}$ be the set of rooted binary phylogenetic networks with $\ell$ labelled leaves, $k$ reticulations and no parallel edges. We write $|\cP_{\ell,k}|=W_k(\ell)+D_k(\ell)$, where the weighted count $W_k(\ell)$ adds the inverse orders of the leaf-fixing automorphism groups and the defect $D_k(\ell)$ collects the remainder. The weighted count satisfies, for every $k$, a recursion over the source layers of the tree-component structure that involves neither a list of component graphs nor any distinction between symmetric and asymmetric configurations, and its exponential generating function is a Laurent polynomial in $\sqrt{1-2x}$. Automorphism groups of networks are $2$-groups, elementary abelian for $k\le5$ but not in general. For $k\le5$ the defect is the weighted count of networks with a distinguished involution, which obeys an extension of the same recursion. An exact symbolic evaluation of the two recursions yields $|\cP_{\ell,k}|$ in closed form for $k\le5$, the case $k=5$ being new; it reproduces the published counts for $k\le4$ and corrects a coefficient in a published generating function for $k=3$. For every $k$, uniformly over explicit ranges of $k$, we prove that the non-tree-child networks are a fraction $2k(k-1)/\ell$ of the tree-child networks to leading order, which gives the third term of the asymptotic expansion of $|\cP_{\ell,k}|$. We also prove that reticulation-visible networks exceed tree-child networks by the fraction $k(k-1)/\ell$, and that a uniformly random network in $\cP_{\ell,k}$ has a nontrivial automorphism with probability $k(k-1)/(4\ell^3)$ to leading order.

We develop a unified framework for the exact enumeration and asymptotic analysis of the three most studied classes of phylogenetic networks: tree-child (TC), reticulation-visible (RV) and orchard networks, whose cardinalities satisfy the strict ordering $|\mathrm{TC}_{\ell,k}|<|\mathrm{RV}_{\ell,k}|<|\mathrm{Orch}_{\ell,k}|$ for reticulation number $k\geq2$ (with $\mathrm{TC}\subsetneq\mathrm{RV}$ and $\mathrm{TC}\subsetneq\mathrm{Orch}$, while $\mathrm{RV}$ and $\mathrm{Orch}$ are incomparable as sets). Using the Chang--Fuchs structural theorem, we derive a two-level master functional equation for the RV bivariate generating function and obtain exact closed-form identities for the differences $Δ_k(\ell):=|RV_{\ell,k}|-|TC_{\ell,k}|$ for $k=2,3$, with the asymptotic universality $Δ_k(\ell)/|TC_{\ell,k}|\sim k!/\ell$. For orchard networks, we prove a \emph{universal hypergeometric law} that resolves the exact enumeration problem for all $\ell$: the column generating function $F_\ell(v)$ is rational with denominator $D_\ell(v)=\prod_{j=2}^\ell X_j(v)$, where \[ X_\ell(v) = \sum_{k=0}^{\lfloor\ell/2\rfloor}(-1)^k\, \frac{\ell!}{(\ell-2k)!\,k!}\,v^k \] is the matching polynomial of the complete graph $K_\ell$ and a rescaled Jacobi polynomial. This immediately resolves the intractable $\ell=9$ case: $D_9$ has degree 20, dominant growth rate $\approx40.73$, and all spectral roots are positive real. A complete enumeration table is provided extending the published data of Cardona, Ribas and Pons.