tree
6737 papers tagged with this keyword
On the accuracy of ancestral sequence reconstruction for ultrametric trees with parsimony
Published
• View Publication
• BIB
We examine a mathematical question concerning the reconstruction accuracy of the Fitch algorithm for reconstructing the ancestral sequence of the most recent common ancestor given a phylogenetic tree and sequence data for all taxa under consideration. In particular, for the symmetric 4-state substitution model which is also known as Jukes-Cantor model, we answer affirmatively a conjecture of Li, Steel and Zhang which states that for any ultrametric phylogenetic tree and a symmetric model, the Fitch parsimony method using all terminal taxa is more accurate, or at least as accurate, for ancestral state reconstruction than using any particular terminal taxon or any particular pair of taxa. This conjecture had so far only been answered for two-state data by Fischer and Thatte. Here, we focus on answering the biologically more relevant case with four states, which corresponds to ancestral sequence reconstruction from DNA or RNA data.
Snarks with special spanning trees
Published
• View Publication
• BIB
Let $G$ be a cubic graph which has a decomposition into a spanning tree $T$ and a $2$-regular subgraph $C$, i.e. $E(T) \cup E(C) = E(G)$ and $E(T) \cap E(C) = \emptyset$. We provide an answer to the following question: which lengths can the cycles of $C$ have if $G$ is a snark? Note that $T$ is a hist (i.e. a spanning tree without a vertex of degree two) and that every cubic graph with a hist has the above decomposition.
Recognizing hyperelliptic graphs in polynomial time
Published
• View Publication
• BIB
Recently, a new set of multigraph parameters was defined, called "gonalities". Gonality bears some similarity to treewidth, and is a relevant graph parameter for problems in number theory and multigraph algorithms. Multigraphs of gonality 1 are trees. We consider so-called "hyperelliptic graphs" (multigraphs of gonality 2) and provide a safe and complete sets of reduction rules for such multigraphs, showing that for three of the flavors of gonality, we can recognize hyperelliptic graphs in O(n log n+m) time, where n is the number of vertices and m the number of edges of the multigraph.
Random recursive trees and preferential attachment trees are random split trees
Published
• View Publication
• BIB
We consider linear preferential attachment trees, and show that they can be regarded as random split trees in the sense of Devroye (1999), although with infinite potential branching. In particular, this applies to the random recursive tree and the standard preferential attachment tree. An application is given to the sum over all pairs of nodes of the common number of ancestors.
On the Linear Extension Complexity of Stable Set Polytopes for Perfect Graphs
Published
• View Publication
• BIB
We study the linear extension complexity of stable set polytopes of perfect graphs. We make use of known structural results permitting to decompose perfect graphs into basic perfect graphs by means of two graph operations: 2-join and skew partitions. Exploiting the link between extension complexity and the nonnegative rank of an associated slack matrix, we investigate the behaviour of the extension complexity under these graph operations. We show bounds for the extension complexity of the stable set polytope of a perfect graph $G$ depending linearly on the size of $G$ and involving the depth of a decomposition tree of $G$ in terms of basic perfect graphs.
Counting Markov Equivalence Classes for DAG models on Trees
Published
• View Publication
• BIB
DAG models are statistical models satisfying a collection of conditional independence relations encoded by the nonedges of a directed acyclic graph (DAG) $\mathcal{G}$. Such models are used to model complex cause-effect systems across a variety of research fields. From observational data alone, a DAG model $\mathcal{G}$ is only recoverable up to Markov equivalence. Combinatorially, two DAGs are Markov equivalent if and only if they have the same underlying undirected graph (i.e. skeleton) and the same set of the induced subDAGs $i\to j \leftarrow k$, known as immoralities. Hence it is of interest to study the number and size of Markov equivalence classes (MECs). In a recent paper, the authors introduced a pair of generating functions that enumerate the number of MECs on a fixed skeleton by number of immoralities and by class size, and they studied the complexity of computing these functions. In this paper, we lay the foundation for studying these generating functions by analyzing their structure for trees and other closely related graphs. We describe these polynomials for some important families of graphs including paths, stars, cycles, spider graphs, caterpillars, and complete binary trees. In doing so, we recover important connections to independence polynomials, and extend some classical identities that hold for Fibonacci numbers. We also provide tight lower and upper bounds for the number and size of MECs on any tree. Finally, we use computational methods to show that the number and distribution of high degree nodes in a triangle-free graph dictates the number and size of MECs.
On the statistical inconsistency of Maximum Parsimony for $k$-tuple-site data
Published
• View Publication
• BIB
One of the main aims of phylogenetics is to reconstruct the \enquote{Tree of Life}. In this respect, different methods and criteria are used to analyze DNA sequences of different species and to compare them in order to derive the evolutionary relationships of these species. Maximum Parsimony is one such criterion for tree reconstruction and, it is the one which we will use in this paper. However, it is well-known that tree reconstruction methods can lead to wrong relationship estimates. One typical problem of Maximum Parsimony is long branch attraction, which can lead to statistical inconsistency. In this work, we will consider a blockwise approach to alignment analysis, namely so-called $k$-tuple analyses. For four taxa it has already been shown that $k$-tuple-based analyses are statistically inconsistent if and only if the standard character-based (site-based) analyses are statistically inconsistent. So, in the four-taxon case, going from individual sites to $k$-tuples does not lead to any improvement. However, real biological analyses often consider more than only four taxa. Therefore, we analyze the case of five taxa for $2$- and $3$-tuple-site data and consider alphabets with two and four elements. We show that the equivalence of single-site data and $k$-tuple-site data then no longer holds. Even so, we can show that Maximum Parsimony is statistically inconsistent for $k$-tuple site data and five taxa.
Constructing edge-disjoint spanning trees in augmented cubes
Published
• View Publication
• BIB
Let T1, T2,.... Tk be spanning trees in a graph G. If for any pair of vertices u and v of G, the paths between u and v in every Ti( 0 < i < k+1) do not contain common edges then T1, T2,.... Tk are called edge-disjoint spanning trees in G. The design of multiple edge-disjoint spanning trees has applications to the reliable communication protocols. The n-dimensional augmented cube, denoted as AQn, a variation of the hypercube, possesses some properties superior to those of the hypercube. For AQn (n > 2), construction of n-1 edge-disjoint spanning trees is given the result is optimal with respect to the number of edge-disjoint spanning trees.
[1, 2]-sets and [1, 2]-total Sets in Trees with Algorithms
Published
• View Publication
• BIB
A set $S \subseteq V$ of the graph $G = (V, E)$ is called a $[1, 2]$-set of $G$ if any vertex which is not in $S$ has at least one but no more than two neighbors in $S$. A set $S \subseteq V$ is called a $[1, 2]$-total set of $G$ if any vertex of $G$, no matter in $S$ or not, is adjacent to at least one but not more than two vertices in $S$. In this paper we introduce a linear algorithm for finding the cardinality of the smallest $[1, 2]$-sets and $[1, 2]$-total sets of a tree and extend it to a more generalized version for $[i, j]$-sets, a generalization of $[1, 2]$-sets. This answers one of the open problems proposed in [5]. Then since not all trees have $[1, 2]$-total sets, we devise a recursive method for generating all the trees that do have such sets. This method also constructs every $[1, 2]$-total set of each tree that it generates.
Phylogenetic diversity and biodiversity indices on phylogenetic networks
Published
• View Publication
• BIB
In biodiversity conservation it is often necessary to prioritize the species to conserve. Existing approaches to prioritization, e.g. the Fair Proportion Index and the Shapley Value, are based on phylogenetic trees and rank species according to their contribution to overall phylogenetic diversity. However, in many cases evolution is not treelike and thus, phylogenetic networks have come to the fore as a generalization of phylogenetic trees, allowing for the representation of non-treelike evolutionary events, such as horizontal gene transfer or hybridization. Here, we extend the concepts of phylogenetic diversity and phylogenetic diversity indices from phylogenetic trees to phylogenetic networks. On the one hand, we consider the treelike content of a phylogenetic network, e.g. the (multi)set of phylogenetic trees displayed by a network and the LSA tree associated with it. On the other hand, we derive the phylogenetic diversity of subsets of taxa and biodiversity indices directly from the internal structure of the network. Furthermore, we introduce our software package NetDiversity, which was implemented in Perl and allows for the calculation of all generalized measures of phylogenetic diversity and generalized phylogenetic diversity indices established in this note that are independent of inheritance probabilities. We apply our methods to a phylogentic network representing the evolutionary relationships among swordtails and platyfishes (Xiphophorus: Poeciliidae), a group of species characterized by widespread hybridization.
On Functional Graphs of Quadratic Polynomials
Published
• View Publication
• BIB
We study functional graphs generated by quadratic polynomials over prime fields. We introduce efficient algorithms for methodical computations and provide the values of various direct and cumulative statistical parameters of interest. These include: the number of connected functional graphs, the number of graphs having a maximal cycle, the number of cycles of fixed size, the number of components of fixed size, as well as the shape of trees extracted from functional graphs. We particularly focus on connected functional graphs, that is, the graphs which contain only one component (and thus only one cycle). Based on the results of our computations, we formulate several conjectures highlighting the similarities and differences between these functional graphs and random mappings.
A note on perfect quantum state transfers on trees
It has been asked whether there are trees other than $P_2$ and $P_3$ which can admit perfect state transfers. In this note we show that the answer is negative.
Edge Erasures and Chordal Graphs
Published
• View Publication
• BIB
We prove several results about chordal graphs and weighted chordal graphs by focusing on exposed edges. These are edges that are properly contained in a single maximal complete subgraph. This leads to a characterization of chordal graphs via deletions of a sequence of exposed edges from a complete graph. Most interesting is that in this context the connected components of the edge-induced subgraph of exposed edges are 2-edge connected. We use this latter fact in the weighted case to give a modified version of Kruskal's second algorithm for finding a minimum spanning tree in a weighted chordal graph. This modified algorithm benefits from being local in an important sense.
On Gallai's conjecture for series-parallel graphs and planar 3-trees
A path cover is a decomposition of the edges of a graph into edge-disjoint simple paths. Gallai conjectured that every connected $n$-vertex graph has a path cover with at most $\lceil n/2 \rceil$ paths. We prove Gallai's conjecture for series-parallel graphs. For the class of planar 3-trees we show how to construct a path cover with at most $\lfloor 5n/8 \rfloor$ paths, which is an improvement over the best previously known bound of $\lfloor 2n/3 \rfloor$.
Chip-firing on trees of loops
Published
• View Publication
• BIB
Cools, Draisma, Payne, and Robeva proved that generic metric graphs that are "paths of loops" are Brill-Noether general. We show that Brill-Noether generality does not hold for "trees of loops": the only trees of loops that are Brill-Noether general are paths of loops. We study various notions of generality and examine which of these graphs satisfy them.
Shorter signed circuit covers of graphs
Published
• View Publication
• BIB
A signed circuit is a minimal signed graph (with respect to inclusion) that admits a nowhere-zero flow. We show that each flow-admissible signed graph on $m$ edges can be covered by signed circuits of total length at most $(3+2/3)\cdot m$, improving a recent result of Cheng et al. [manuscript, 2015]. To obtain this improvement we prove several results on signed circuit covers of trees of Eulerian graphs, which are connected signed graphs such that removing all bridges results in a collection of Eulerian graphs.
The structure of ABC-minimal trees with given number of leaves
Published in MATCH Commun. Math. Comput. Chem. 79 (2018) 415-430
• Search Publication
The atom-bond connectivity (ABC) index is a degree-based molecular descriptor with diverse chemical applications. Recent work of Lin et al. [W. Lin, J. Chen, C. Ma, Y. Zhang, J. Chen, D. Zhang, and F. Jia, On trees with minimal ABC index among trees with given number of leaves, MATCH Commun. Math. Comput. Chem. 76 (2016) 131-140] gave rise to a conjecture about the minimum possible ABC-index of trees with a fixed number $t$ of leaves. We show that this conjecture is incorrect and we prove what the correct answer is. It is shown that the extremal tree $T_t$ is unique for $t\ge 1195$, it has order $|T_t| = t + \lfloor \tfrac{t}{10}\rfloor +1$ (when $t$ mod 10 is between 0 and 4 or when it is 5, 6, or 7 and $t$ is sufficiently large) or $|T_t| = t + \lfloor \tfrac{t}{10}\rfloor + 2$ (when $t$ mod 10 is 8 or 9 or when it is 5, 6, or 7 and $t$ is sufficiently small) and its ABC-index is $( \sqrt{\tfrac{10}{11}} + \tfrac{1}{10}\sqrt{\tfrac{1}{11}} )t + O(1)$.
Labeled binary trees, subarrangements of the Catalan arrangements, and Schur positivity
Published
• View Publication
• BIB
In 1995, the first author introduced a multivariate generating function {$G$} that tracks the distribution of ascents and descents in labeled binary trees. In addition to proving that $G$ is symmetric, he conjectured that $G$ is Schur positive. We prove this conjecture by expanding $G$ positively in terms of ribbon Schur functions. We obtain this expansion using a weight-preserving bijection whose inverse is inspired by the Push-Glide algorithm of Préville-Ratelle and Viennot. In fact, this weight-preserving bijection allows us to establish a stronger version of the first author's conjecture showing that the generating function restricted to labeled binary trees with a fixed canopy is still Schur positive.
We also discuss applications in the setting of hyperplane arrangements. We show that a certain specialization of $G$ equals the Frobenius characteristic of the natural $\mathfrak{S}_n$-action on regions of the semiorder arrangement, which we then expand in terms of {the Frobenius characteristics} of Foulkes characters. We also construct an $\mathfrak{S}_n$-action on regions of the Linial arrangement using a set of trees studied by Bernardi, and subsequently compute the character of this action by employing Lagrange inversion. The resulting expression generalizes Postnikov's formula for the number of regions in the Linial arrangement. As a final application, we prove $γ$-nonnegativity for the distribution of the number of right edges over local binary search trees.
Woon's tree and sums over compositions
This article studies sums over all compositions of an integer. We derive a generating function for this quantity, and apply it to several special functions, including various generalized Bernoulli numbers. We connect composition sums with a recursive tree introduced by S.G. Woon and extended by P. Fuchs under the name "general PI tree", in which an output sequence $\{x_n\}$ is associated to the input sequence $\{g_n\}$ by summing over each row of the tree built from $\{g_n\}$. Our link with the notion of compositions allows to introduce a modification of Fuchs' tree that takes into account nonlinear transforms of the generating function of the input sequence. We also introduce the notion of \textit{generalized sums over compositions}, where we look at composition sums over each part of a composition.
A combinatorial proof of a formula of Biane and Chapuy
Published in Electronic Journal of Combinatorics. 25 (2018) P1.58
• View Publication
• BIB
Let $G$ be a simple strongly connected weighted directed graph. Let $\mathcal{G}$ denote the spanning tree graph of $G$. That is, the vertices of $\mathcal{G}$ consist of the directed rooted spanning trees on $G$, and the edges of $\mathcal{G}$ consist of pairs of trees $(t_i, t_j)$ such that $t_j$ can be obtained from $t_i$ by adding the edge from the root of $t_i$ to the root of $t_j$ and deleting the outgoing edge from the root of $t_j$. A formula for the ratio of the sum of the weights of the directed rooted spanning trees on $\mathcal{G}$ to the sum of the weights of the directed rooted spanning trees on $G$ was recently given by Biane and Chapuy. We provide an alternative proof of this formula, which is both simple and combinatorial. The proof involves working with the stochastic zeta function of an irreducible Markov chain. By generalizing the stochastic zeta function we also recover the general result of Biane and Chapuy which gives a formula for the determinant of the Schrödinger matrix on $\mathcal{G}$ corresponding to a given Schrödinger matrix on $G$, in terms of the minors of the latter matrix.