tree
6737 papers tagged with this keyword
Average degrees of edge-chromatic critical graphs
Published
• View Publication
• BIB
Given a graph $G$, denote by $Δ$, $\bar{d}$ and $χ^\prime$ the maximum degree, the average degree and the chromatic index of $G$, respectively. A simple graph $G$ is called {\it edge-$Δ$-critical} if $χ^\prime(G)=Δ+1$ and $χ^\prime(H)\leΔ$ for every proper subgraph $H$ of $G$. Vizing in 1968 conjectured that if $G$ is edge-$Δ$-critical, then $\bar{d}\geq Δ-1+ \frac{3}{n}$. We show that $$ \begin{displaystyle} \avd \ge \begin{cases}
0.69241\D-0.15658 \quad\,\: \mbox{ if } Δ\geq 66,
0.69392\D-0.20642\quad\;\,\mbox{ if } Δ=65, \mbox{ and }
0.68706\D+0.19815\quad\! \quad\mbox{if } 56\leq Δ\leq64.
\end{cases}
\end{displaystyle}
$$
This result improves the best known bound $\frac{2}{3}(Δ+2)$ obtained by Woodall in 2007 for $Δ\geq 56$. Additionally, Woodall constructed an infinite family of graphs showing his result cannot be improved by well-known Vizing's Adjacency Lemma and other known edge-coloring techniques. To over come the barrier, we follow the recently developed recoloring technique of Tashkinov trees to expand Vizing fans technique to a larger class of trees.
Tropical hyperelliptic curves in the plane
Published
• View Publication
• BIB
Abstractly, tropical hyperelliptic curves are metric graphs that admit a two-to-one harmonic morphism to a tree. They also appear as embedded tropical curves in the plane arising from triangulations of polygons with all interior lattice points collinear. We prove that hyperelliptic graphs can only arise from such polygons. Along the way we will prove certain graphs do not embed tropically in the plane due to entirely combinatorial obstructions, regardless of whether their metric is actually hyperelliptic.
Antimagic Labelings of Caterpillars
Published in Applied Mathematics and Computation 347 (2019) 734-740
• View Publication
• BIB
A $k$-antimagic labeling of a graph $G$ is an injection from $E(G)$ to $\{1,2,\dots,|E(G)|+k\}$ such that all vertex sums are pairwise distinct, where the vertex sum at vertex $u$ is the sum of the labels assigned to edges incident to $u$. We call a graph $k$-antimagic when it has a $k$-antimagic labeling, and antimagic when it is 0-antimagic. Hartsfield and Ringel conjectured that every simple connected graph other than $K_2$ is antimagic, but the conjecture is still open even for trees. Here we study $k$-antimagic labelings of caterpillars, which are defined as trees the removal of whose leaves produces a path, called its spine. As a general result, we use constructive techniques to prove that any caterpillar of order $n$ is $(\lfloor (n-1)/2 \rfloor - 2)$-antimagic. Furthermore, if $C$ is a caterpillar with a spine of order $s$, we prove that when $C$ has at least $\lfloor (3s+1)/2 \rfloor$ leaves or $\lfloor (s-1)/2 \rfloor$ consecutive vertices of degree at most 2 at one end of a longest path, then $C$ is antimagic. As a consequence of a result by Wong and Zhu, we also prove that if $p$ is a prime number, any caterpillar with a spine of order $p$, $p-1$ or $p-2$ is $1$-antimagic.
Null Decomposition of Trees
Published
• View Publication
• BIB
Let $T$ be a tree, we show that the null space of the adjacency matrix of $T$ has relevant information about the structure of $T$. We introduce the Null Decomposition of trees, and use it in order to get formulas for independence number and matching number of a tree. We also prove that the number of maximum matchings in a tree is related to the null decomposition.
A tanglegram Kuratowski theorem
Published
• View Publication
• BIB
A tanglegram consists of two rooted binary plane trees with the same number of leaves and a perfect matching between the two leaf sets. Tanglegrams are drawn with the leaves on two parallel lines, the trees on either side of the strip created by these lines, and the perfect matching inside the strip. If this can be done without any edges crossing, a tanglegram is called planar. We show that every non-planar tanglegram contains one of two non-planar 4-leaf tanglegrams as induced subtanglegram, which parallels Kuratowski's Theorem.
The Undirected Optical Indices of Complete $m$-ary Trees
Published
• View Publication
• BIB
The routing and wavelength assignment problem arises from the investigation of optimal wavelength allocation in an optical network that employs Wavelength Division Multiplexing (WDM). Consider an optical network that is represented by a connected, simple graph $G$. An all-to-all routing $R$ in $G$ is a set of paths connecting all pairs of vertices of $G$. The undirected optical index of $G$ is the minimum integer $k$ to guarantee the existence of a mapping $φ:R\to\{1,2,\ldots,k\}$, such that $φ(P)\neqφ(P')$ if $P$ and $P'$ have common edge(s), over all possible routings $R$. A natural lower bound of the undirected optical index of $G$ is the (undirected) edge-forwarding index, which is defined to be the minimum of the maximum edge-load over all possible all-to-all routings. In this paper, we first derive the exact value of the optical index of the complete $m$-ary trees, and then investigate the gap between undirected optical and edge-forwarding indices.
On the Shapley value of unrooted phylogenetic trees
Published
• View Publication
• BIB
The Shapley value, a solution concept from cooperative game theory, has recently been considered for both unrooted and rooted phylogenetic trees. Here, we focus on the Shapley value of unrooted trees and first revisit the so-called split counts of a phylogenetic tree and the Shapley transformation matrix that allows for the calculation of the Shapley value from the edge lengths of a tree. We show that non-isomorphic trees may have permutation-equivalent Shapley transformation matrices and permutation-equivalent null spaces. This implies that estimating the split counts associated with a tree or the Shapley values of its leaves does not suffice to reconstruct the correct tree topology. We then turn to the use of the Shapley value as a prioritization criterion in biodiversity conservation and compare it to a greedy solution concept. Here, we show that for certain phylogenetic trees, the Shapley value may fail as a prioritization criterion, meaning that the diversity spanned by the top $k$ species (ranked by their Shapley values) cannot approximate the total diversity of all $n$ species.
Bounds on the burning numbers of spiders and path-forests
Published
• View Publication
• BIB
Graph burning is one model for the spread of memes and contagion in social networks. The corresponding graph parameter is the burning number of a graph $G$, written $b(G)$, which measures the speed of the social contagion. While it is conjectured that the burning number of a connected graph of order $n$ is at most $\lceil \sqrt{n} \rceil$, this remains open in general and in many graph families. We prove the conjectured bound for spider graphs, which are trees with exactly one vertex of degree at least 3. To prove our result for spiders, we develop new bounds on the burning number for path-forests, which in turn leads to a $\frac 3 2$-approximation algorithm for computing the burning number of path-forests.
On the topology of no $k$-equal spaces
Published
• View Publication
• BIB
We consider the topology of real no $k$-equal spaces via the theory of cellular spanning trees. Our main theorem proves that the rank of the $(k-2)$-dimensional homology of the no $k$-equal subspace of $\mathbb{R}$ is equal to the number of facets in a $k$-dimensional spanning tree of the $k$-skeleton of the $n$-dimensional hypercube.
Combinatorial proofs of some properties of tangent and Genocchi numbers
Published in European Journal of Combinatorics,2018,13pages
• View Publication
• BIB
The tangent number $T_{2n+1}$ is equal to the number of increasing labelled complete binary trees with $2n+1$ vertices. This combinatorial interpretation immediately proves that $T_{2n+1}$ is divisible by $2^n$. However, a stronger divisibility property is known in the studies of Bernoulli and Genocchi numbers, namely, the divisibility of $(n+1)T_{2n+1}$ by $2^{2n}$. The traditional proofs of this fact need significant calculations. In the present paper, we provide a combinatorial proof of the latter divisibility by using the hook length formula for trees. Furthermore, our method is extended to $k$-ary trees, leading to a new generalization of the Genocchi numbers.
A universal tree-based network with the minimum number of reticulations
Published
• View Publication
• BIB
A tree-based network $\mathcal N$ on $X$ is universal if every rooted binary phylogenetic $X$-tree is a base tree for $\mathcal N$. Hayamizu and, independently, Zhang constructively showed that, for all positive integers $n$, there exists an universal tree-based network on $n$ leaves. For all $n$, Hayamizu's construction contains $Θ(n!)$ reticulations, while Zhang's construction contains $Θ(n^2)$ reticulations. A simple counting argument shows that an universal tree-based network has $Ω(n\log n)$ reticulations. With this in mind, Hayamizu as well as Steel posed the problem of determining whether or not such networks exists with $O(n\log n)$ reticulations. In this paper, we show that, for all $n$, there exists an universal tree-based network on $n$ leaves with $O(n\log n)$ reticulations.
Combinatorial properties of triplet covers for binary trees
It is a classical result that an unrooted tree $T$ having positive real-valued edge lengths and no vertices of degree two can be reconstructed from the induced distance between each pair of leaves. Moreover, if each non-leaf vertex of $T$ has degree 3 then the number of distance values required is linear in the number of leaves. A canonical candidate for such a set of pairs of leaves in $T$ is the following: for each non-leaf vertex $v$, choose a leaf in each of the three components of $T-v$, group these three leaves into three pairs, and take the union of this set over all choices of $v$. This forms a so-called 'triplet cover' for $T$. In the first part of this paper we answer an open question (from 2012) by showing that the induced leaf-to-leaf distances for any triplet cover for $T$ uniquely determine $T$ and its edge lengths. We then investigate the finer combinatorial properties of triplet covers. In particular, we describe the structure of triplet covers that satisfy one or more of the following properties of being minimal, 'sparse', and 'shellable'.
Three-way symbolic tree-maps and ultrametrics
Published
• View Publication
• BIB
Three-way dissimilarities are a generalization of (two-way) dissimilarities which can be used to indicate the lack of homogeneity or resemblance between any three objects. Such maps have applications in cluster analysis, and have been used in areas such as psychology and phylogenetics, where three-way data tables can arise. Special examples of such dissimilarities are three-way tree-metrics and ultrametrics, which arise from leaf-labelled trees with edges labelled by positive real numbers. Here we consider three-way maps which arise from leaf-labelled trees where instead the interior vertices are labelled by an arbitrary set of values. For unrooted trees we call such maps three-way symbolic tree-maps; for rooted trees we call them three-way symbolic ultrametrics since they can be considered as a generalization of the (two-way) symbolic ultrametrics of Böcker and Dress. We show that, as with two- and three-way tree-metrics and ultrametrics, three-way symbolic tree-maps and ultrametrics can be characterized via certain $k$-point conditions. In the unrooted case, our characterization is mathematically equivalent to one presented by Gurvich for a certain class of edge-labelled hypergraphs. We also show that it can be decided whether or not an arbitrary three-way symbolic map is a tree-map or a symbolic ultrametric using a triplet-based approach that relies on the so-called BUILD algorithm for deciding when a set of 3-leaved trees or triplets can be displayed by a single tree. We envisage that our results will be useful in developing new approaches and algorithms for understanding 3-way data, especially within the area of phylogenetics.
Long paths and toughness of k-trees and chordal planar graphs
Published
• View Publication
• BIB
We show that every $k$-tree of toughness greater than $\frac{k}{3}$ is Hamilton-connected for $k \geq 3$. (In particular, chordal planar graphs of toughness greater than $1$ are Hamilton-connected.) This improves the result of Broersma et al. (2007) and generalizes the result of Böhme et al. (1999).
On the other hand, we present graphs whose longest paths are short. Namely, we construct $1$-tough chordal planar graphs and $1$-tough planar $3$-trees, and we show that the shortness exponent of the class is $0$, at most $\log_{30}{22}$, respectively. Both improve the bound of Böhme et al. Furthermore, the construction provides $k$-trees (for $k \geq 4$) of toughness greater than $1$.
Noncrossing hypertrees
Hypertrees and noncrossing trees are well-established objects in the combinatorics literature, but the hybrid notion of a noncrossing hypertree has received less attention. In this article I investigate the poset of noncrossing hypertrees as an induced subposet of the hypertree poset. Its dual is the face poset of a simplicial complex, one that can be identified with a generalized cluster complex of type $A$. The first main result is that this noncrossing hypertree complex is homeomorphic to a piecewise spherical complex associated with the noncrossing partition lattice and thus it has a natural metric. The fact that the order complex of the noncrossing partition lattice with its bounding elements removed is homeomorphic to a generalized cluster complex was not previously known or conjectured.
The metric noncrossing hypertree complex is a union of unit spheres with a number of remarkable properties: 1) the metric subspheres and simplices in each dimension are both bijectively labeled by the set of noncrossing hypertrees with a fixed number of hyperedges, 2) the number of spheres containing the simplex labeled by the noncrossing tree $τ$ is the same as the number simplices in the sphere labeled by the noncrossing tree $τ$, and 3) among the maximal spherical subcomplexes one finds every normal fan of a metric realization of the simple associahedron associated to the cluster algebra of type $A$. In particular, the poset of noncrossing hypertrees and its metric simplicial complex provide a new perspective on familiar combinatorial objects and a common context in which to view the known bijections between noncrossing partitions and the vertices/facets of simple/simplicial associahedra.
Odd induced subgraphs in graphs with treewidth at most two
Published
• View Publication
• BIB
A long-standing conjecture asserts that there exists a constant $c>0$ such that every graph of order $n$ without isolated vertices contains an induced subgraph of order at least $cn$ with all degrees odd. Scott (1992) proved that every graph $G$ has an induced subgraph of order at least $|V(G)|/(2χ(G))$ with all degrees odd, where $χ(G)$ is the chromatic number of $G$, this implies the conjecture for graphs with { bounded} chromatic number. But the factor $1/(2χ(G))$ seems to be not best possible, for example, Radcliffe and Scott (1995) proved $c=\frac 23$ for trees, Berman, Wang and Wargo (1997) showed that $c=\frac 25$ for graphs with maximum degree $3$, so it is interesting to determine the exact value of $c$ for special family of graphs. In this paper, we further confirm the conjecture for graphs with treewidth at most 2 with $c=\frac{2}{5}$, and the bound is best possible.
Comparing mixing times on sparse random graphs
Published
• View Publication
• BIB
It is natural to expect that nonbacktracking random walk will mix faster than simple random walks, but so far this has only been proved in regular graphs. To analyze typical irregular graphs, let $G$ be a random graph on $n$ vertices with minimum degree 3 and a degree distribution that has exponential tails. We determine the precise worst-case mixing time for simple random walk on $G$, and show that, with high probability, it exhibits cutoff at time $\mathbf{h}^{-1} \log n$, where $\mathbf{h}$ is the asymptotic entropy for simple random walk on a Galton--Watson tree that approximates $G$ locally. (Previously this was only known for typical starting points.) Furthermore, we show that this asymptotic mixing time is strictly larger than the mixing time of nonbacktracking walk, via a delicate comparison of entropies on the Galton-Watson tree.
Approaching $\frac{3}{2}$ for the $s$-$t$-path TSP
Published in Journal of the ACM 66 (2019), Article 14
• View Publication
• BIB
We show that there is a polynomial-time algorithm with approximation guarantee $\frac{3}{2}+ε$ for the $s$-$t$-path TSP, for any fixed $ε>0$. It is well known that Wolsey's analysis of Christofides' algorithm also works for the $s$-$t$-path TSP with its natural LP relaxation except for the narrow cuts (in which the LP solution has value less than two). A fixed optimum tour has either a single edge in a narrow cut (then call the edge and the cut lonely) or at least three (then call the cut busy). Our algorithm "guesses" (by dynamic programming) lonely cuts and edges. Then we partition the instance into smaller instances and strengthen the LP, requiring value at least three for busy cuts. By setting up a $k$-stage recursive dynamic program, we can compute a spanning tree $(V,S)$ and an LP solution $y$ such that $(\frac{1}{2}+O(2^{-k}))y$ is in the $T$-join polyhedron, where $T$ is the set of vertices whose degree in $S$ has the wrong parity.
The Chromatic Symmetric Functions of Trivially Perfect Graphs and Cographs
Published
• View Publication
• BIB
Richard P. Stanley defined the chromatic symmetric function of a simple graph and has conjectured that every tree is determined by its chromatic symmetric function. Recently, Takahiro Hasebe and the author proved that the order quasisymmetric functions, which are analogs of the chromatic symmetric functions, distinguish rooted trees. In this paper, using a similar method, we prove that the chromatic symmetric functions distinguish trivially perfect graphs. Moreover, we also prove that claw-free cographs, that is, $ \{K_{1,3},P_{4}\} $-free graphs belong to a known class of $ e $-positive graphs.
Maximizing and minimizing the number of generalized colorings of trees
Published
• View Publication
• BIB
We classify the trees on $n$ vertices with the maximum and the minimum number of certain generalized colorings, including conflict-free, odd, non-monochromatic, star, and star rainbow vertex colorings. We also extend a result of Cutler and Radcliffe on the maximum and minimum number of existence homomorphisms from a tree to a completely looped graph on $q$ vertices.