tree
6737 papers tagged with this keyword
Connectivity keeping edges of trees in 3-connected or 3-edge-connected graphs
Hasunuma [J. Graph Theory 102 (2023) 423-435] conjectured that for any tree $T$ of order $m$, every $k$-connected (or $k$-edge-connected) graph $G$ with minimum degree at least $k+m-1$ contains a tree $T'\cong T$ such that $G-E(T')$ is still $k$-connected (or $k$-edge connected). Hasunuma verified this conjecture for $k\leq 2$. In this paper, we confirm this conjecture for $k=3$.
Cops and Robbers on Multi-Layer Graphs
Published in Discrete Applied Mathematics, Volume 385, 109-133, 2026
• View Publication
• BIB
We generalise the popular cops and robbers game to multi-layer graphs, where each cop and the robber are restricted to a single layer (or set of edges). We show that initial intuition about the best way to allocate cops to layers is not always correct, and prove that the multi-layer cop number is neither bounded from above nor below by any increasing function of the cop numbers of the individual layers. We determine that it is NP-hard to decide if $k$ cops are sufficient to catch the robber, even if every cop layer is a tree and a set of isolated vertices. However, we give a polynomial time algorithm to determine if $k$ cops can win when the robber layer is a tree. Additionally, we investigate a question of worst-case divisions of a simple graph into layers: given a simple graph $G$, what is the maximum number of cops required to catch a robber over all multi-layer graphs where each edge of $G$ is in at least one layer and all layers are connected? For cliques, suitably dense random graphs, and graphs of bounded treewidth, we determine this parameter up to multiplicative constants. Lastly we consider a multi-layer variant of Meyniel's conjecture, and show the existence of an infinite family of graphs whose multi-layer cop number is bounded from below by a constant times $n / \log n$, where $n$ is the number of vertices in the graph.
Defining binary phylogenetic trees using parsimony: new bounds
Phylogenetic trees are frequently used to model evolution. Such trees are typically reconstructed from data like DNA, RNA, or protein alignments using methods based on criteria like maximum parsimony (amongst others). Maximum parsimony has been assumed to work well for data with only few state changes. Recently, some progress has been made to formally prove this assertion. For instance, it has been shown that each binary phylogenetic tree $T$ with $n \geq 20k$ leaves is uniquely defined by the set $A_k(T)$, which consists of all characters with parsimony score $k$ on $T$. In the present manuscript, we show that the statement indeed holds for all $n \geq 4k$, thus drastically lowering the lower bound for $n$ from $20k$ to $4k$. However, it has been known that for $n \leq 2k$ and $k \geq 3$, it is not generally true that $A_k(T)$ defines $T$. We improve this result by showing that the latter statement can be extended from $n \leq 2k$ to $n \leq 2k+2$. So we drastically reduce the gap of values of $n$ for which it is unknown if trees $T$ on $n$ taxa are defined by $A_k(T)$ from the previous interval of $[2k+1,20k-1]$ to the interval $[2k+3,4k-1]$. Moreover, we close this gap completely for the nearest neighbor interchange (NNI) neighborhood of $T$ in the following sense: We show that as long as $n\geq 2k+3$, no tree that is one NNI move away from $T$ (and thus very similar to $T$) shares the same $A_k$-alignment.
Schnyder woods and Alon-Tarsi number of planar graphs
Thomassen in 1994 published a famous proof of the fact that the choosability of a planar graph is at most 5. Zhu in 2019 generalized this result by showing that the same bound holds for Alon-Tarsi numbers of planar graphs. We present an alternative proof of that fact, derived from the results on decompositions of planar graphs into trees known as Schnyder woods. It turns out that Thomassen's technique and our proof based on Schnyder woods have a lot in common. We discuss and explain the prominent role that counterclockwise 3-orientations play in proofs based on both these approaches.
Refinements of degree conditions for the existence of a spanning tree without small degree stems
A spanning tree of a graph without no vertices of degree $2$ is called a {\it homeomorphically irreducible spanning tree} (or a {\it HIST}) of the graph. Albertson, Berman, Hutchinson and Thomassen~[J. Graph Theory {\bf 14} (1990), 247--258] gave a minimum degree condition for the existence of a HIST, and recently, Ito and Tsuchiya~[J. Graph Theory {\bf 99} (2022), 162--170] found a sharp degree-sum condition for the existence of a HIST. In this paper, we refine these results, and extend the first one to a spanning tree in which no vertex other than the endvertices has small degree.
The Critical Beta-splitting Random Tree II: Overview and Open Problems
In the critical beta-splitting model of a random $n$-leaf rooted tree, clades are recursively (from the root) split into sub-clades, and a clade of $m$ leaves is split into sub-clades containing $i$ and $m-i$ leaves with probabilities $\propto 1/(i(m-i))$. Study of structure theory and explicit quantitative aspects of this model (in discrete or continuous versions) is an active research topic. For many results there are different proofs, probabilistic or analytic, so the model provides a testbed for a ``compare and contrast" discussion of techniques. This article provides an overview of results proved in the sequence of similarly-titled articles I, III, IV and related articles. We mostly do not repeat proofs given elsewhere: instead we seek to paint a ``Big Picture" via graphics and heuristics, and emphasize open problems.
Our discussion is centered around three categories of results. (i) There is a CLT for leaf heights, and the analytic proofs can be extended to provide surprisingly precise analysis of other height-related aspects. (ii) There is an explicit description of the limit {\em fringe distribution} relative to a random leaf, whose graphical representation is essentially the format of the cladogram representation of biological phylogenies. (iii) There is a canonical embedding of the discrete model into a continuous-time model, that is a random tree CTCS(n) on $n$ leaves with real-valued edge lengths, and this model turns out more convenient to study. The family (CTCS(n), n \ge 2) is consistent under a ``delete random leaf and prune" operation. That leads to an explicit inductive construction of (CTCS(n), n \ge 2) as $n$ increases, and then to a limit structure CTCS($\infty$) formalized via exchangeable partitions.
Many open problems remain, in particular to elucidate a relation between CTCS($\infty$) and the $β(2,1)$ coalescent.
Complexity of total dominator coloring in graphs
Let $G=(V,E)$ be a graph with no isolated vertices. A vertex $v$ totally dominate a vertex $w$ ($w \ne v$), if $v$ is adjacent to $w$. A set $D \subseteq V$ called a total dominating set of $G$ if every vertex $v\in V$ is totally dominated by some vertex in $D$. The minimum cardinality of a total dominating set is the total domination number of $G$ and is denoted by $γ_t(G)$. A total dominator coloring of graph $G$ is a proper coloring of vertices of $G$, so that each vertex totally dominates some color class. The total dominator chromatic number $χ_{td}(G)$ of $G$ is the least number of colors required for a total dominator coloring of $G$. The Total Dominator Coloring problem is to find a total dominator coloring of $G$ using the minimum number of colors. It is known that the decision version of this problem is NP-complete for general graphs. We show that it remains NP-complete even when restricted to bipartite, planar and split graphs. We further study the Total Dominator Coloring problem for various graph classes, including trees, cographs and chain graphs. First, we characterize the trees having $χ_{td}(T)=γ_t(T)+1$, which completes the characterization of trees achieving all possible values of $χ_{td}(T)$. Also, we show that for a cograph $G$, $χ_{td}(G)$ can be computed in linear-time. Moreover, we show that $2 \le χ_{td}(G) \le 4$ for a chain graph $G$ and give characterization of chain graphs for every possible value of $χ_{td}(G)$ in linear-time.
Characterising path-, ray- and branch spaces of order trees, and end spaces of infinite graphs
We investigate path-, ray- and branch spaces of trees, certain topological spaces naturally associated with order theoretic trees, and provide topological characterisations for these spaces in terms of the existence of certain kinds of (sub-)bases. Our results yield a solution to a problem due to Diestel from 1992, by establishing the following equivalences for any Hausdorff space $X$:
(1) $X$ is homeomorphic to the end space of a graph,
(2) $X$ is homeomorphic to the ray space of a special order tree,
(3) $X$ admits a nested clopen subbase that is noetherian, hereditarily complete and $σ$-disjoint.
Contracting edges to destroy a pattern: A complexity study
Given a graph G and an integer k, the objective of the $Π$-Contraction problem is to check whether there exists at most k edges in G such that contracting them in G results in a graph satisfying the property $Π$. We investigate the problem where $Π$ is `H-free' (without any induced copies of H). It is trivial that H-free Contraction is polynomial-time solvable if H is a complete graph of at most two vertices. We prove that, in all other cases, the problem is NP-complete. We then investigate the fixed-parameter tractability of these problems. We prove that whenever H is a tree, except for seven trees, H-free Contraction is W[2]-hard. This result along with the known results leaves behind three unknown cases among trees.
Functors on relational structures which admit both left and right adjoints
This paper describes several cases of adjunction in the homomorphism preorder of relational structures. We say that two functors $Λ$ and $Γ$ between thin categories of relational structures are adjoint if for all structures $\mathbf A$ and $\mathbf B$, we have that $Λ(\mathbf A)$ maps homomorphically to $\mathbf B$ if and only if $\mathbf A$ maps homomorphically to $Γ(\mathbf B)$. If this is the case, $Λ$ is called the left adjoint to $Γ$ and $Γ$ the right adjoint to $Λ$. In 2015, Foniok and Tardif described some functors on the category of digraphs that allow both left and right adjoints. The main contribution of Foniok and Tardif is a construction of right adjoints to some of the functors identified as right adjoints by Pultr in 1970. We generalise results of Foniok and Tardif to arbitrary relational structures, and coincidently, we also provide more right adjoints on digraphs, and since these constructions are connected to finite duality, we also provide a new construction of duals to trees. Our results are inspired by an application in promise constraint satisfaction -- it has been shown that such functors can be used as efficient reductions between these problems.
Periodic oscillations of coefficients of power series that satisfy functional equations, a practical revision
For the solutions $Φ(z)$ of functional equations $Φ(z)=P(z)+Φ(Q(z))$, we derive a complete asymptotic of power series coefficients. As an application, we improve significantly an asymptotic of the number of $2,3$-trees with $n$ leaves given in Adv. Math. 44:180-205, 1982 by Andrew M. Odlyzko. The methods we consider can be applied to more general functional equations too.
Maximal Clique and Edge-Ranking Bounds of Biclique Cover Number
The biclique cover number $(\text{bc})$ of a graph $G$ denotes the minimum number of complete bipartite (biclique) subgraphs to cover all the edges of the graph. In this paper, we show that $\text{bc}(G) \geq \lceil \log_2(\text{mc}(G^c)) \rceil \geq \lceil \log_2(χ(G)) \rceil$ for an arbitrary graph $G$, where $χ(G)$ is the chromatic number of $G$ and $\text{mc}(G^c)$ is the number of maximal cliques of the complementary graph $G^c$, i.e., the number of maximal independent sets of $G$. We also show that $\lceil \log_2(\text{mc}(G^c)) \rceil$ could be a strictly tighter lower bound of the biclique cover number than other existing lower bounds. We can also provide a bound of $\text{bc}(G)$ with respect to the biclique partition number ($\text{bp}$) of $G$: $\text{bc}(G) \geq \lceil \log_2(\text{bp}(G) + 1) \rceil$ or $\text{bp}(G) \leq 2^{\text{bc}(G)} - 1$ if $G$ is co-chordal. Furthermore, we show that $\text{bc}(G) \leq χ_r'(T_{{K}^c})$, where $G$ is a co-chordal graph such that each vertex is in at most two maximal independent sets and $χ_r'({T}_{{K}^c})$ is the optimal edge-ranking number of a clique tree of $G^c$.
On tree decompositions whose trees are minors
In 2019, Dvořák asked whether every connected graph $G$ has a tree decomposition $(T, \mathcal{B})$ so that $T$ is a subgraph of $G$ and the width of $(T, \mathcal{B})$ is bounded by a function of the treewidth of $G$. We prove that this is false, even when $G$ has treewidth $2$ and $T$ is allowed to be a minor of $G$.
Harmonic-Arithmetic Index of (Molecular) Trees
Let $G$ be a graph. Denote by $d_x$, $E(G)$, and $D(G)$ the degree of a vertex $x$ in $G$, the set of edges of $G$, and the degree set of $G$, respectively. This paper proposes to investigate (both from mathematical and applications points of view) those graph invariants of the form $\sum_{uv\in E(G)}\varphi(d_v,d_w)$ in which $\varphi$ can be defined either using well-known means of $d_v$ and $d_w$ (for example: arithmetic, geometric, harmonic, quadratic, and cubic means) or by applying a basic arithmetic operation (addition, subtraction, multiplication, and division) on any of two such means, provided that $\varphi$ is a non-negative and symmetric function defined on the Cartesian square of $D(G)$. Many existing well-known graph invariants can be defined in this way; however, there are many exceptions too. One of such uninvestigated graph invariants is the harmonic-arithmetic (HA) index, which is obtained from the aforementioned setting by taking $\varphi$ as the ratio of the harmonic and arithmetic means of $d_v$ and $d_w$. A molecular tree is a tree whose maximum degree does not exceed four. Given the class of all (molecular) trees with a fixed order, graphs that have the largest or least value of the HA index are completely characterized in this paper.
A q-analog of certain symmetric functions and one of its specializations
Let the symmetric functions be defined for the pair of integers $\left( n,r\right) $, $n\geq r\geq 1$, by $p_{n}^{\left( r\right) }=\sum m_{λ}$ where $m_{λ}$ are the monomial symmetric functions, the sum being over the partitions $λ$ of the integer $n$ with length $r$. We introduce by a generating function, a $q$-analog of $p_{n}^{\left( r\right) }$ and give some of its properties. This $q$-analog is related to its the classical form using the $q$-Stirling numbers. We also start with the same procedure the study of a $p,q$-analog of $p_{n}^{\left( r\right) }$.
By specialization of this $q$-analog in the series $\sum\nolimits_{n=0}^{ \infty }q^{\binom{n}{2}}t^{n}/n!$, we recover in a purely formal way$\ $a class of polynomials $J_{n}^{\left( r\right) }$ historically introduced as combinatorial enumerators, in particular of tree inversions. This also results in a new linear recurrence for those polynomials whose triangular table can be constructed, row by row, from the initial conditions $ J_{r}^{\left( r\right) }=1$. The form of this recurrence is also given for the reciprocal polynomials of $J_{n}^{\left( r\right) }$, known to be the sum enumerators of parking functions. Explicit formulas for $J_{n}^{\left( r\right) }$ and their reciprocals are deduced, leading inversely to new representations of these polynomials as forest statistics.
The Laplacian spectral ratio of connected graphs
Let $G$ be a simple connected undirected graph. The Laplacian spectral ratio of $G$, denoted by $R_L(G)$, is defined as the quotient between the largest and second smallest Laplacian eigenvalues of $G$, which is closely related to the structural parameters of a graph (or network), such as diameter, $t$-tough, perfect matching, average density of cuts, and synchronizability, etc. In this paper, we obtain some bounds of the Laplacian spectral ratio, which improves the known results. In addition, we give counter-examples on the upper bound of the Laplacian spectral ratio conjecture of trees, and propose a new conjecture.
Group vertex magicness of product graphs and trees
In this article, some necessary conditions of group vertex magicness of graphs with at least one pendant, group vertex magicness of product graphs, are proved. A characterization of group vertex magicness of trees of diameter up to 5. for all infinite Abelian groups with finitely many torsion elements, is also obtained.
Snakes and Ladders: a Treewidth Story
Let $G$ be an undirected graph. We say that $G$ contains a ladder of length $k$ if the $2 \times (k+1)$ grid graph is an induced subgraph of $G$ that is only connected to the rest of $G$ via its four cornerpoints. We prove that if all the ladders contained in $G$ are reduced to length 4, the treewidth remains unchanged (and that this bound is tight). Our result indicates that, when computing the treewidth of a graph, long ladders can simply be reduced, and that minimal forbidden minors for bounded treewidth graphs cannot contain long ladders. Our result also settles an open problem from algorithmic phylogenetics: the common chain reduction rule, used to simplify the comparison of two evolutionary trees, is treewidth-preserving in the display graph of the two trees.
Edge coalitions in graphs
An edge coalition in a graph $G=(V,E)$ consists of two disjoint sets of edges $E_1$ and $E_2$, neither of which is an edge dominating set but whose union $E_1\cup E_2$ is an edge dominating set. An edge coalition partition in a graph $G$ of order $n=|V|$ and size $m$ is an edge partition $π=\{E_1,\cdots,E_k\}$ so that every set $E_i$ of $π$ either is a singleton edge dominating set, or is not an edge dominating set but forms an edge coalition with another set $E_j$ which is not an edge dominating set. In this paper we introduce the concept of edge coalition and show that there exists edge coalition for some graphs and trees. The graphs $G$ with small and size number of edge coalition are characterized. Finally, coalition graphs of special graphs are studied.
Ending States of a Special Variant of the Chip-Firing Algorithm
We investigate a special variant of chip-firing, in which we consider an infinite set of rooms on a number line, some of which are occupied by violinists. In a move, we take two violinists in adjacent rooms, and send one of them to the closest unoccupied room to the left and the other to the closest unoccupied room to the right. We classify the different possible final states from repeatedly performing this operation. We introduce numbers $R(N,\ell,x)$ that count labeled recursive rooted trees with $N$ vertices, $\ell$ leaves, and the smallest rooted path ending in $x$. We describe the properties of these numbers and connect them to permutations. We conjecture that these numbers describe the probabilities ending with different final states when the moves are chosen uniformly.