Network Representation and Modular Decomposition of Combinatorial Structures: A Galled-Tree Perspective

TL;DR

This paper introduces a novel approach to representing complex combinatorial structures in phylogenetics using galled-trees, enabling full structural understanding through prime-vertex replacement in modular decomposition.

Contribution

It develops the concept of galled-tree explainable strudigrams, characterizes them, and provides polynomial-time algorithms for recognition and reconstruction.

Findings

Galled-trees effectively capture full structural information of strudigrams.

Recognition and reconstruction of GATEX strudigrams are polynomial-time solvable.

Prime-vertex replacement with galls enhances modular decomposition for complex structures.

Abstract

In phylogenetics, reconstructing rooted trees from distances between taxa is a common task. B\"ocker and Dress generalized this concept by introducing symbolic dated maps $\delta:X \times X \to \Upsilon$, where distances are replaced by symbols, and showed that there is a one-to-one correspondence between symbolic ultrametrics and labeled rooted phylogenetic trees. Many combinatorial structures fall under the umbrella of symbolic dated maps, such as 2-dissimilarities, symmetric labeled 2-structures, or edge-colored complete graphs, and are here referred to as strudigrams. Strudigrams have a unique decomposition into non-overlapping modules, which can be represented by a modular decomposition tree (MDT). In the absence of prime modules, strudigrams are equivalent to symbolic ultrametrics, and the MDT fully captures the relationships $\delta(x,y)$ between pairs of vertices $x,y$ in $X$ through the label of their least common ancestor in the MDT. However, in the presence of prime vertices, this information is generally hidden. To provide this missing structural information, we aim to locally replace the prime vertices in the MDT to obtain networks that capture full information about the strudigrams. While starting with the general framework of prime-vertex replacement networks, we then focus on a specific type of such networks obtained by replacing prime vertices with so-called galls, resulting in labeled galled-trees. We introduce the concept of galled-tree explainable (GATEX) strudigrams, provide their characterization, and demonstrate that recognizing these structures and reconstructing the labeled networks that explain them can be achieved in polynomial time.