Shared Ancestry Graphs and Symbolic Arboreal Maps
Katharina T. Huber,Vincent Moulton,Guillaume E. Scholz
DOI: https://doi.org/10.1137/23m1573318
IF: 0.868
2024-10-05
SIAM Journal on Discrete Mathematics
Abstract:SIAM Journal on Discrete Mathematics, Volume 38, Issue 4, Page 2553-2577, December 2024. A network [math] on a finite set [math], [math], is a connected directed acyclic graph with leaf set [math] in which every root in [math] has outdegree at least 2 and no vertex in [math] has indegree and outdegree equal to 1; [math] is arboreal if the underlying unrooted, undirected graph of [math] is a tree. Networks are of interest in evolutionary biology since they are used, for example, to represent the evolutionary history of a set [math] of species whose ancestors have exchanged genes in the past. For [math] some arbitrary set of symbols, [math] is a symbolic arboreal map if there exists some arboreal network [math] whose vertices with outdegree 2 or more are labeled by elements in [math] and so that [math], [math], is equal to the label of the least common ancestor of [math] and [math] in [math] if this exists, and [math] otherwise. Important examples of symbolic arboreal maps include the symbolic ultrametrics, which arise in areas such as game theory, phylogenetics, and cograph theory. In this paper we show that a map [math] is a symbolic arboreal map if and only if [math] satisfies certain 3- and 4-point conditions and the graph with vertex set [math] and edge set consisting of those pairs [math] with [math] is Ptolemaic (i.e., its shortest path distance satisfies Ptolemy's inequality). To do this, we introduce and prove a key theorem concerning the shared ancestry graph for a network [math] on [math], where this is the graph with vertex set [math] and edge set consisting of those [math] such that [math] and [math] share a common ancestor in [math]. In particular, we show that for any connected graph [math] with vertex set [math] and edge clique cover [math] in which there are no two distinct sets in [math] with one a subset of the other, there is some network with [math] roots and leaf set [math] whose shared ancestry graph is [math].
mathematics, applied