tree
6737 papers tagged with this keyword
On symmetries in phylogenetic trees
Published
• View Publication
• BIB
Billey et al. [arXiv:1507.04976] have recently discovered a surprisingly simple formula for the number $a_n(σ)$ of leaf-labelled rooted non-embedded binary trees (also known as phylogenetic trees) with $n\geq 1$ leaves, fixed (for the relabelling action) by a given permutation $σ\in\frak{S}_n$. Denoting by $λ\vdash n$ the integer partition giving the sizes of the cycles of $σ$ in non-increasing order, they show by a guessing/checking approach that if $λ$ is a binary partition (it is known that $a_n(σ)=0$ otherwise), then $$ a_n(σ)=\prod_{i=2}^{\ell(λ)}(2(λ_i+\cdots+λ_{\ell(λ)})-1), $$ and they derive from it a formula and random generation procedure for tanglegrams (and more generally for tangled chains). Our main result is a combinatorial proof of the formula, which yields a simplification of the random sampler for tangled chains.
On the additive chromatic number of several families of graphs
Published
• View Publication
• BIB
The Additive Coloring Problem is a variation of the Coloring Problem where labels of $\{1,\ldots,k\}$ are assigned to the vertices of a graph $G$ so that the sum of labels over the neighborhood of each vertex is a proper coloring of $G$. The least value $k$ for which $G$ admits such labeling is called \emph{additive chromatic number} of $G$. This problem was first presented by Czerwiński, Grytczuk and Żelazny who also proposed a conjecture that for every graph $G$, the additive chromatic number never exceeds the classic chromatic number. Up to date, the conjecture has been proved for complete graphs, trees, non-3-colorable planar graphs with girth at least 13 and non-bipartite planar graphs with girth at least 26. In this work, we show that the conjecture holds for split graphs. We also present exact formulas for computing the additive chromatic number for some subfamilies of split graphs (complete split, headless spiders and complete sun), regular bipartite, complete multipartite, fan, windmill, circuit, wheel, cycle sun and wheel sun.
Packing minor-closed families of graphs into complete graphs
Published in J. Combin. Theory Ser. B 119 (2016), 245-265
• View Publication
• BIB
Motivated by a conjecture of Gyárfás, recently Böttcher, Hladký, Piguet, and Taraz showed that every collection $T_1,\dots,T_t$ of trees on $n$ vertices with $\sum_{i=1}^te(T_i)\leq \binom{n}{2}$ and with bounded maximum degree, can be packed into the complete graph on $(1+o(1))n$ vertices. We generalise this result where we relax the restriction of packing families of trees to families of graphs of any given non-trivial minor-closed class of graphs.
Comparing Graphs of Different Sizes
Published in Combin. Probab. Comput. 26, no. 5 (2017), 681--696
• View Publication
• BIB
We consider two notions describing how one finite graph may be larger than another. Using them, we prove several theorems for such pairs that compare the number of spanning trees, the return probabilities of random walks, and the number of independent sets, among other combinatorial quantities. Our methods involve inequalities for determinants, for traces of functions of operators, and for entropy.
The Register Function and Reductions of Binary Trees and Lattice Paths
The register function (or Horton-Strahler number) of a binary tree is a well-known combinatorial parameter. We study a reduction procedure for binary trees which offers a new interpretation for the register function as the maximal number of reductions that can be applied to a given tree. In particular, the precise asymptotic behavior of the number of certain substructures ("branches") that occur when reducing a tree repeatedly is determined. In the same manner we introduce a reduction for simple two-dimensional lattice paths from which a complexity measure similar to the register function can be derived. We analyze this quantity, as well as the (cumulative) size of an (iteratively) reduced lattice path asymptotically.
Interlacing families and the Hermitian spectral norm of digraphs
Published in Linear Algebra Appl. 564 (2019), pp. 201-208
• View Publication
• BIB
It is proved that for any finite connected graph $G$, there exists an orientation of $G$ such that the spectral radius of the corresponding Hermitian adjacency matrix is smaller or equal to the spectral radius of the universal cover of $G$ (with equality if and only if $G$ is a tree). This resolves a problem proposed by Mohar. The proof uses the method of interlacing families of polynomials that was developed by Marcus, Spielman, and Srivastava in their seminal work on the existence of infinite families of Ramanujan graphs.
Betweenness and Nonbetweenness
The betweenness function $bet(n)$ is the minimum number of total orderings of $n$ objects such that for any three distinct objects $a$, $b$ and $c$, there is an ordering in which $b$ is between $a$ and $c$. The nonbetweenness function $nbet(n)$ is the minimum number of total orderings such that for any three distinct objects $a$, $b$ and $c$, there is an ordering in which $b$ is not between $a$ and $c$. We show that $nbet(n) = \left\lceil \log_2\log_2n \right\rceil+1$ and $bet(n) = Θ(\log n)$. Betweenness and Nonbetweenness are specific cases of a more general extreme value function called the `extreme ternary constraint function'. The asymptotic value of this generalisation is computed using the values of $nbet(n)$ and $bet(n)$. This result demonstrates that the minimum size of a set of rooted phylogenetic trees is consistent with all phylogenetic triplets is $Θ(\log\log n)$.
Connectivity, toughness, spanning trees of bounded degree, and the spectrum of regular graphs
In this paper, we present some new results describing connections between the spectrum of a regular graph and its generalized connectivity, toughness, and the existence of spanning trees with bounded degree.
Colouring and Covering Nowhere Dense Graphs
Published
• View Publication
• BIB
It was shown by Grohe et al. that nowhere dense classes of graphs admit sparse neighbourhood covers of small degree. We show that a monotone graph class admits sparse neighbourhood covers if and only if it is nowhere dense. The existence of such covers for nowhere dense classes is established through bounds on so-called weak colouring numbers.
The core results of this paper are various lower and upper bounds on the weak colouring numbers and other, closely related generalised colouring numbers. We prove tight bounds for these numbers on graphs of bounded tree width. We clarify and tighten the relation between the expansion (in the sense of "bounded expansion" as defined by Nesetril and Ossona de Mendez) and the various generalised colouring numbers. These upper bounds are complemented by new, stronger exponential lower bounds on the generalised colouring numbers. Finally, we show that computing weak r-colouring numbers is NP-complete for all r>2.
On metric graphs with prescribed gonality
Published
• View Publication
• BIB
We prove that in the moduli space of genus-g metric graphs the locus of graphs with gonality at most d has the classical dimension min{3g-3,2g+2d-5}. This follows from a careful parameter count to establish the upper bound and a construction of sufficiently many graphs with gonality at most d to establish the lower bound. Here, gonality is the minimal degree of a non-degenerate harmonic map to a tree that satisfies the Riemann-Hurwitz condition everywhere. Along the way, we establish a convenient combinatorial datum capturing such harmonic maps to trees.
Multiplicative Zagreb indices of k-trees
Published in Discrete Applied Mathematics, 180 (2015), 168-175
• Search Publication
Let G be a graph with vertex set V (G) and edge set E(G). The first generalized multiplicative Zagreb index of G is M_1(G) and the second multiplicative Zagreb index is M_2(G). The multiplicative Zagreb indices have been the focus of considerable research in computational chemistry dating back to Narumi and Katayama in 1980s. In this paper, we generalize Narumi-Katayama index and the first multiplicative index, where c = 1, 2, respectively, and extend the results of Gutman to the generalized tree, the k-tree, where the results of Gutman are for k = 1. Additionally, we characterize the extremal graphs and determine the exact bounds of these indices of k-trees, which attain the lower and upper bounds.
Combinatorial Scoring of Phylogenetic Networks
Published in Lecture Notes in Computer Science 9797 (2016), 560-572
• View Publication
• BIB
Construction of phylogenetic trees and networks for extant species from their characters represents one of the key problems in phylogenomics. While solution to this problem is not always uniquely defined and there exist multiple methods for tree/network construction, it becomes important to measure how well the constructed networks capture the given character relationship across the species.
In the current study, we propose a novel method for measuring the specificity of a given phylogenetic network in terms of the total number of distributions of character states at the leaves that the network may impose. While for binary phylogenetic trees, this number has an exact formula and depends only on the number of leaves and character states but not on the tree topology, the situation is much more complicated for non-binary trees or networks. Nevertheless, we develop an algorithm for combinatorial enumeration of such distributions, which is applicable for arbitrary trees and networks under some reasonable assumptions.
Metric Dimension of Bounded Tree-length Graphs
Published
• View Publication
• BIB
The notion of resolving sets in a graph was introduced by Slater (1975) and Harary and Melter (1976) as a way of uniquely identifying every vertex in a graph. A set of vertices in a graph is a resolving set if for any pair of vertices x and y there is a vertex in the set which has distinct distances to x and y. A smallest resolving set in a graph is called a metric basis and its size, the metric dimension of the graph. The problem of computing the metric dimension of a graph is a well-known NP-hard problem and while it was known to be polynomial time solvable on trees, it is only recently that efforts have been made to understand its computational complexity on various restricted graph classes. In recent work, Foucaud et al. (2015) showed that this problem is NP-complete even on interval graphs. They complemented this result by also showing that it is fixed-parameter tractable (FPT) parameterized by the metric dimension of the graph. In this work, we show that this FPT result can in fact be extended to all graphs of bounded tree-length. This includes well-known classes like chordal graphs, AT-free graphs and permutation graphs. We also show that this problem is FPT parameterized by the modular-width of the input graph.
Spanning Trees and Mahler Measure
The complexity of a finite connected graph is its number of spanning trees; for a non-connected graph it is the product of complexities of its connected components. If $G$ is an infinite graph with cofinite free ${\mathbb Z}^d$-symmetry, then the logarithmic Mahler measure $m(Δ)$ of its Laplacian polynomial $Δ$ is the exponential growth rate of the complexity of finite quotients of $G$. It is bounded below by $m(Δ({\mathbb G}_d))$, where ${\mathbb G}_d$ is the grid graph of dimension $d$. The growth rates $m(Δ({\mathbb G}_d))$ are asymptotic to $\log 2d$ as $d$ tends to infinity. If $m(Δ(G))\ne 0$, then $m(Δ(G)) \ge \log 2$. An application to determinant growth rates of families of alternating links arising from planar graphs is given.
Counting spanning trees on fractal graphs and their asymptotic complexity
Published
• View Publication
• BIB
Using the method of spectral decimation and a modified version of Kirchhoff's Matrix-Tree Theorem, a closed form solution to the number of spanning trees on approximating graphs to a fully symmetric self-similar structure on a finitely ramified fractal is given in Theorem \ref{thm:maintheoremfull}. We show how spectral decimation implies the existence of the asymptotic complexity constant and obtain some bounds for it. Examples calculated include the Sierpinski Gasket, a non post critically finite analog of the Sierpinski Gasket, the Diamond fractal, and the Hexagasket. For each example, the asymptotic complexity constant is found.
Free skew Boolean intersection algebras and set partitions
Published in Order 35 (2018), 1-22
• View Publication
• BIB
We show that atoms of the $n$-generated free left-handed skew Boolean intersection algebra are in a bijective correspondence with pointed partitions of non-empty subsets of $\{1,2,\dots, n\}$. Furthermore, under the canonical inclusion into the $k$-generated free algebra, where $k\geq n$, an atom of the $n$-generated free algebra decomposes into an orthogonal join of atoms of the $k$-generated free algebra in an agreement with the containment relation on the respective partitions. As a consequence of these results, we describe the structure of finite free left-handed skew Boolean intersection algebras and express several their combinatorial characteristics in terms of Bell numbers and Stirling numbers of the second kind. We also look at the infinite case. For countably many generators, our constructions lead to the `partition analogue' of the Cantor tree whose boundary is the `partition variant' of the Cantor set.
Construction and characterization of graphs whose each spanning tree has a perfect matching
Published
• View Publication
• BIB
An edge subset $S$ of a connected graph $G$ is called an anti-Kekulé set if $G-S$ is connected and has no perfect matching. We can see that a connected graph $G$ has no anti-Kekulé set if and only if each spanning tree of $G$ has a perfect matching. In this paper, by applying Tutte's 1-factor theorem and structure of minimally 2-connected graphs, we characterize all graphs whose each spanning tree has a perfect matching In addition, we show that if $G$ is a connected graph of order $2n$ for a positive integer $n\geq 4$ and size $m$ whose each spanning tree has a perfect matching, then $m\leq \frac{(n+1)n} 2$, with equality if and only if $G\cong K_n\circ K_1$.
Rigidity and reconstruction for graphs
Published
• View Publication
• BIB
We present measure theoretic rigidity for graphs of first Betti number b>1 in terms of measures on the boundary of a 2b-regular tree, that we make explicit in terms of the edge-adjacency and closed-walk structure of the graph. We prove that edge-reconstruction of the entire graph is equivalent to that of the "closed walk lengths".
Total Dominating Sequences in Graphs
Published
• View Publication
• BIB
A vertex in a graph totally dominates another vertex if they are adjacent. A sequence of vertices in a graph $G$ is called a total dominating sequence if every vertex $v$ in the sequence totally dominates at least one vertex that was not totally dominated by any vertex that precedes $v$ in the sequence, and at the end all vertices of $G$ are totally dominated. While the length of a shortest such sequence is the total domination number of $G$, in this paper we investigate total dominating sequences of maximum length, which we call the Grundy total domination number, $γ_{\rm gr}^t(G)$, of $G$. We provide a characterization of the graphs $G$ for which $γ_{\rm gr}^t(G)=|V(G)|$ and of those for which $γ_{\rm gr}^t(G)=2$. We show that if $T$ is a nontrivial tree of order~$n$ with no vertex with two or more leaf-neighbors, then $γ_{\rm gr}^t(T) \ge \frac{2}{3}(n+1)$, and characterize the extremal trees. We also prove that for $k \ge 3$, if $G$ is a connected $k$-regular graph of order~$n$ different from $K_{k,k}$, then $γ_{\rm gr}^t(G) \ge (n + \lceil \frac{k}{2} \rceil - 2)/(k-1)$ if $G$ is not bipartite and $γ_{\rm gr}^t(G) \ge (n + 2\lceil \frac{k}{2} \rceil - 4)/(k-1)$ if $G$ is bipartite. The Grundy total domination number is proven to be bounded from above by two times the Grundy domination number, while the former invariant can be arbitrarily smaller than the latter. Finally, a natural connection with edge covering sequences in hypergraphs is established, which in particular yields the NP-completeness of the decision version of the Grundy total domination number.
Structure trees, networks and almost invariant sets
Published
• View Publication
• BIB
A self-contained account of the theory of structure trees for edge cuts in networks is given. Applications include a generalisation of the Max-Flow Min-Cut Theorem to infinite networks and a short proof of a conjecture of Kropholler. This gives a relative version of Stallings' Theorem on the structure of groups with more than one end. A generalisation of the Almost Stability Theorem is also obtained, which provides information about the structure of the Sageev cubing.