Generalized Fitch graphs. II: Sets of binary relations that are explained by edge-labeled trees

From MaRDI portal
Publication:2192103

DOI10.1016/J.DAM.2020.01.036zbMATH Open1442.05031arXiv1911.07469OpenAlexW3007983209MaRDI QIDQ2192103FDOQ2192103

Marc Hellmuth, Peter F. Stadler, Carsten R. Seemann

Publication date: 29 June 2020

Published in: Discrete Applied Mathematics (Search for Journal in Brave)

Abstract: Fitch graphs G=(X,E) are digraphs that are explained by emptyset,1-edge-labeled rooted trees T with leaf set X: there is an arc (x,y)inE if and only if the unique path in T that connects the last common ancestor mathrmlca(x,y) of x and y with y contains at least one edge with label "1". In practice, Fitch graphs represent xenology relations, i.e., pairs of genes x and y for which a horizontal gene transfer happened along the path from mathrmlca(x,y) to y. In this contribution, we generalize the concept of Fitch graphs and consider trees T that are equipped with edge-labeling lambda:EomathcalP(M) that assigns to each edge a subset MsubseteqM of colors. Given such a tree, we can derive a map varepsilon(T,lambda) (or equivalently a set of not necessarily disjoint binary relations), such that iinvarepsilon(T,lambda)(x,y) (or equivalently (x,y)inRi) with x,yinX, if and only if there is at least one edge with color i from mathrmlca(x,y) to y. The central question considered here: Is a given map varepsilon a Fitch map, i.e., is there there an edge-labeled tree (T,lambda) with varepsilon(T,lambda)=varepsilon, and thus explains varepsilon? Here, we provide a characterization of Fitch maps in terms of certain neighborhoods and forbidden submaps. Further restrictions of Fitch maps are considered. Moreover, we show that the least-resolved tree explaining a Fitch map is unique (up to isomorphism). In addition, we provide a polynomial-time algorithm to decide whether varepsilon is a Fitch map and, in the affirmative case, to construct the (up to isomorphism) unique least-resolved tree (T*,lambda*) that explains varepsilon.


Full work available at URL: https://arxiv.org/abs/1911.07469




Recommendations




Cites Work


Cited In (2)





This page was built for publication: Generalized Fitch graphs. II: Sets of binary relations that are explained by edge-labeled trees

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2192103)