420 likes | 430 Vues
This article discusses the concepts of phylogenetic trees and leaf powers in graph theory, with a focus on their applications in biology. It explores the recognition and properties of leaf powers and their role in understanding evolutionary history.
E N D
On Leaf Powers Andreas Brandstädt University of Rostock, Germany (joint work with Van Bang Le, Peter Wagner, Christian Hundt, and R. Sritharan)
Phylogenetic Trees [Y. Kim, T. Warnow, Tutorial on Phylogenetic Tree Estimation, 1999]: The genealogical history of life (also called evolutionary treeorphylogenetic tree) is usually represented by a bifurcating, leaf-labeled tree (i.e., leafs are labeled by the species).
Phylogenetic Trees The phylogenetic tree is rooted at the most recent common ancestor of a set of taxa(species, biomolecular sequences, languages etc.), and the internal nodes of the tree are each labeled by a (hypothesized or known) ancestor.
Phylogenetic Roots and Powers [Lin, Kearney, Jiang, Phylogenetic k-root and Steiner k-root,ISAAC 2000]: LetG = (V,E) be a finite undirected graph. A tree T with leaf set V is a phylogenetic k-root of Gif the internal nodes of T have degree 3 and xy E distT (x,y) k.
Phylogenetic Roots and Powers Corresponding problems: PRk: Given a graph G, is there a phylogenetic k-root of G? (k fixed) [Lin, Kearney, Jiang, 2000]: Linear time for k 4; open for k 5.
Phylogenetic Roots and Powers Corresponding problems: PRk: Given a graph G, is there a phylogenetic k-root of G? (k fixed) [Lin, Kearney, Jiang, 2000]: Linear time for k 4; open for k 5. Variant where vertices of V might appear as internal nodes of T: Steinerk-root ofG.
Leaf Powers [Nishimura, Ragde, Thilikos, On graph powers for leaf-labeled trees,J. Algorithms 2002]: A finite undirected graph G = (V,E) is a k-leaf powerif there is a tree T = (U, F ) with leaf set V such that for all x,y V xy E distT (x,y) k. Such a tree T is a k-leaf root of G.
Leaf Powers A finite undirected graph G = (V,E) is a leaf powerif it is a k-leaf power for some k 2. Obviously, the 2-leaf powers are exactly the disjoint unions of cliques.
Leaf Powers 2 4 1 3
Leaf Powers 2 4 1 3 2 4 1 3
Leaf Powers 2 4 1 3
Leaf Powers 2 4 1 3 2 4 1 3
Chordal Graphs Graph G is chordal if it contains no chordless cycles of length at least four.
Chordal Graphs Graph G is chordal if it contains no chordless cycles of length at least four. Chordal graphs have many facets: • clique separators • clique tree • simplicial elimination orderings • intersection graphs of subtrees of a tree ...
Graph Powers For graph G = (V,E), let Gk = (V, Ek) with xy Ek distG (x,y) k denote the k-thpowerofG. Fact. A k-leaf poweris an induced subgraph of the k-th power of a tree, and every induced subgraph of a k-leaf poweris a k-leaf power. Fact. Powers of trees are chordal.
Leaf Powers A graph is strongly chordal if it is chordal and sun-free. Trees are strongly chordal. Theorem [Lubiw 1982; Dahlhaus, Duchet 1987; Raychaudhuri 1992] For every k 2: G strongly chordal Gk strongly chordal. Corollary.For every k 2,k-leaf powers are strongly chordal.
Leaf Powers [Bibelnieks, Dearing, Neighborhood subtree tolerance graphs,1993],based on [Broin, Lowe, A dynamic programming algorithm for covering problems with (greedy) totally balanced constraint matrices,1986]: Fact.There arestrongly chordal graphs which are nok-leaf power for any k.
3- and 4-Leaf Powers [Nishimura, Ragde, Thilikos, 2002]: (Very complicated) O(n3) algorithms for recognizing 3-and4-leaf powers
3- and 4-Leaf Powers [Nishimura, Ragde, Thilikos, 2002]: (Very complicated) O(n3) algorithms for recognizing 3-and4-leaf powers Open: - Characterization of k-leaf powers for k 5 and - Characterization of leaf powers in general.
Leaf Powers [Lin, Kearney, Jiang 2000] A critical clique of G is a maximal clique module in G. Thecritical clique graph cc(G) of G is the graph whose vertices are the critical cliques of G, and two such cliques are adjacent iff they contain vertices adjacent in G.
8 3 11 1 13 4 2 12 9 5 6 10 7
8 3 11 1 13 4 2 12 9 5 6 10 7
8 3 11 1 13 4 2 12 9 5 6 10 7 8,9 3,4 11,12 1,2 13 5,6 10 7
3-Leaf Powers Theorem [Dom, Guo, Hüffner, Niedermeier 2004] G is a 3-leaf power G is (bull, dart, gem)-free chordal cc(G) is a tree.
3-Leaf Powers [B., Le 2005; Rautenbach 2004] A connected graph G is a 3-leaf power G is the result of substituting cliques into the vertices of a tree. [B., Le 2005] Linear time recognition for 3-leaf powers.
4-Leaf Powers G2 G3 G4 G1 G5 G6 G7 G8
4-Leaf Powers Theorem [Rautenbach 2004] A graph G without true twins is a 4-leaf power G is (G1, ..., G8)-free chordal.
4-Leaf Powers Theorem [B., Le, Sritharan 2005] For every graph G, the following conditions are equivalent: • G is a 2-connected basic 4-leaf power. • G is the square of some tree. • G is chordal, 2-connected and (G1, ..., G5)-free.
4-Leaf Powers Theorem [B., Le, Sritharan 2005] The following conditions are equivalent: • G is a basic 4-leaf power. • Every block of G is the square of some tree, and for every non-disjoint pair of blocks, at least one of them is a clique. • G is an induced subgraph of the square of some tree. • G is (G1, ..., G8)-free chordal.
(k,l)-Leaf Powers A finite undirected graph G = (V,E) is a (k,l)-leaf powerif there is a tree T = (U, F ) with leaf set V such that for all x,y V xy E distT (x,y) k and xy E distT (x,y) l. Such a tree T is a k-leaf root of G.
(4,6)-Leaf Powers Theorem [B., Wagner 2007] For connected graph G, the following are equivalent: • G is a (4,6)-leaf power. • G is strictly chordal, i.e., (dart,gem)-free chordal. • G results from a block graph by substituting cliques into its vertices. (There is a paper on strictly chordal graphs by Kennedy, Lin and Yan 2006 showing that these graphs are leaf powers.)
2,3 3,4 3,5 4,5 4,6 4,7 5,6 5,7 5,8 5,9 6,7 6,8 6,9 6,10 6,11 7,8 7,9 7,10 7,11 7,12 7,13 8,9 8,10 8,11 8,12 8,13 8,14 8,15 9,10 9,11 9,12 9,13 9,14 9,15 9,16 10,11 10,12 10,13 10,14 10,15 10,16 11,12 11,13 11,14 11,15 11,16 12,13 12,14 12,15 12,16 13,14 13,15 13,16 14,15 14,16 15,16
Ptolemaic Graphs are Leaf Powers Theorem [B., Hundt 2007] Every ptolemaic graph, i.e., gem-free chordal graph is a k-leaf power for some k.
Ptolemaic Graphs are Leaf Powers For a leaf power G, let l(G) denote the smallest k such that G is a k-leaf power. We call l(G) the leaf rank of G. Theorem [B., Hundt 2007] Ptolemaic graphs have unbounded leaf rank.
Leaf Powers Open Problems: • Characterization of k-leaf powers for k 5 and of leaf powers in general. • Complexity of recognizing k-leaf powers for k 6 and of leaf powers in general. • Is every k-leaf power also a (k+1)-leaf power?