Spaces of ranked tree-child networks
Vincent Moulton, Andreas Spillner
TL;DR
The paper develops a dual framework for comparing binary ranked tree-child networks (RTCNs): a discrete, poset-guided encoding that yields a generalized rNNI-style distance on RTCNs, and a continuous, CAT(0)-orthant space of equidistant tree-child networks (ETCNs) that enables efficient geodesic computations. Central to the approach is encoding RTCNs as maximal chains of cluster systems on leaf set $X$, via the poset $(\mathfrak{T}(X),\preceq)$, which unifies trees and networks and extends to non-binary cases. The authors prove bijection between binary RTCNs and maximal chains, introduce rNNI$^*$ moves to connect RTCNs, and construct the CAT(0)-orthant space $\mathfrak{S}(X)$ of ETCNs with a polynomial-time distance $\delta$. These results generalize known spaces for ultrametric trees, provide a principled method to compare RTCNs, and open avenues for statistical analysis on the space of tree-child networks.
Abstract
Ranked tree-child networks are a recently introduced class of rooted phylogenetic networks in which the evolutionary events represented by the network are ordered so as to respect the flow of time. This class includes the well-studied ranked phylogenetic trees (also known as ranked genealogies). An important problem in phylogenetic analysis is to define distances between phylogenetic trees and networks in order to systematically compare them. Various distances have been defined on ranked binary phylogenetic trees, but very little is known about comparing ranked tree-child networks. In this paper, we introduce an approach to compare binary ranked tree-child networks on the same leaf set that is based on a new encoding of such networks that is given in terms of a certain partially ordered set. This allows us to define two new spaces of ranked binary tree-child networks. The first space can be considered as a generalization of the recently introduced space of ranked binary phylogenetic trees whose distance is defined in terms of ranked nearest neighbor interchange moves. The second space is a continuous space that captures all equidistant tree-child networks and generalizes the space of ultrametric trees. In particular, we show that this continuous space is a so-called CAT(0)-orthant space which, for example, implies that the distance between two equidistant tree-child networks can be efficiently computed.
