tree
6861 papers tagged with this keyword
Generalized chip firing and critical groups of arithmetical structures on trees
Chip firing provides a way to study the sandpile group (also known as the Jacobian) of a graph. We use a generalized version of chip firing to bound the number of invariant factors of the critical group of an arithmetical structure on a graph. We also show that, under suitable hypotheses, critical groups are additive under wedge sums of graphs with arithmetical structures. These results allow us to relate the number of invariant factors of critical groups associated to any given tree to decompositions of the tree into simpler trees. We use this to classify those trees for which every arithmetical structure has cyclic critical group. Finally, we show how to construct arithmetical structures on trees with prescribed critical groups. In particular, every finite abelian group is realized as the critical group of some arithmetical structure on a tree.
Geometric bounds for spanning tree entropy of planar lattice graphs
We prove infinitely many cases of conjectured sharp upper and lower bounds for the spanning tree entropy of any planar lattice graph. These bounds come from volumes of associated hyperbolic alternating links, right-angled hyperbolic polyhedra and hyperbolic regular ideal bipyramids. For many planar lattice graphs, we show these bounds are easy to compute and provide excellent numerical estimates for the spanning tree entropy.
Encoding and Enumerating Acyclic Orientations of Graphs
Published in Utilitas Mathematica, 125 (2025), 21-41
• View Publication
• BIB
In this work we study the acyclic orientations of graphs. We obtain an encoding of the acyclic orientations of the complete $p$-partite graph with size of its parts $n_1,n_2,\ldots,n_p$ via a vector with $p$ symbols and length $n=n_1+n_2+\ldots+n_p$ when the parts are fixed but not the vertices in each part. We also give a recursive way to construct all acyclic orientations of a complete multipartite graph, this construction can be done by computer easily in order $\mathcal{O}(n)$. Furthermore, we obtain a closed formula for non-isomorphic acyclic orientations of both the complete multipartite graphs and the complete multipartite graphs with a directed spanning tree. Moreover, we obtain a closed formula for the number of acyclic orientations of a complete multipartite graph $K_{n_1,\ldots,n_p}$ with labelled vertices. Finally, we obtain a way encode all acyclic orientations of an arbitrary graph as a permutation code. Using the codification mentioned above we obtain sharp upper and lower bounds of the number of acyclic orientations of a graph.
Independent mutual-visibility coloring and related concepts
Given a graph $G$, a subset $M\subseteq V(G)$ is a mutual-visibility (MV) set if for every $u,v\in M$, there exists a $u,v$-geodesic whose internal vertices are not in $M$. We investigate proper vertex colorings of graphs whose color classes are mutual-visibility sets. The main concepts that arise in this investigation are independent mutual-visibility (IMV) sets and vertex partitions into these sets (IMV colorings). The IMV number $μ_{i}$ and the IMV chromatic number $χ_{μ_{i}}$ are defined as maximum and minimum cardinality taken over all IMV sets and IMV colorings, respectively. Along the way, we also continue with the study of MV chromatic number $χ_μ$ (as the smallest number of sets in a vertex partition into MV sets), which was initiated in an earlier paper.
We establish a close connection between the (I)MV chromatic numbers of subdivisions of complete graphs and Ramsey numbers $R(4^k;2)$. From the computational point of view, we prove that the problems of computing $χ_{μ_{i}}$ and $μ_{i}$ are NP-complete, and that it is NP-hard to decide whether a graph $G$ satisfies $\imv(G)=α(G)$ where $α(G)$ is the independence number of $G$. Several tight bounds on $χ_{μ_{i}}$, $χ_μ$ and $μ_{i}$ are given. Exact values/formulas for these parameters in some classical families of graphs are proved. In particular, we prove that $χ_{μ_{i}}(T)=χ_μ(T)$ holds for any tree $T$ of order at least $3$, and determine their exact formulas in the case of lexicographic product graphs. Finally, we give tight bounds on the (I)MV chromatic numbers for the Cartesian and strong product graphs, which lead to exact values in some important families of product graphs.
Halin graphs with positive Lin-Lu-Yau curvature
Published
• View Publication
• BIB
Halin graphs constitute an interesting class of planar and polyhedral graphs. A generalized Halin graph is obtained by connecting all leaves of a planar embedding of a tree via a cycle. A Halin graph is a generalized Halin graph having no vertex of degree two. We classify all generalized Halin graphs with positive Lin-Lu-Yau curvature.
Internally-disjoint Directed Pendant Steiner Trees in Digraphs
For a digraph $D=(V(D),A(D))$ and a set $S\subseteq V(D)$ with $|S|\geq 2$ and $r\in S$, a directed pendant $(S,r)$-Steiner tree (or, simply, a pendant $(S,r)$-tree) is an out-tree $T$ rooted at $r$ such that $S\subseteq V(T)$ and each vertex of $S$ has degree one in $T$. Two pendant $(S,r)$-trees are called internally-disjoint if they are arc-disjoint and their common vertex set is exactly $S$. The goal of the {\sc Internally-disjoint Directed Pendant Steiner Tree Packing (IDPSTP)} problem is to find a largest collection of pairwise internally-disjoint pendant $(S,r)$-trees in $D$. We use $τ_{S,r}(D)$ to denote the maximum number of pairwise internally-disjoint pendant $(S,r)$-trees in $D$ and define the directed pendant-tree $k$-connectivity of $D$ as
\begin{align*}
τ_{k}(D)=\min\{τ_{S,r}(D)\mid S\subseteq V(D),|S|=k,r\in S\}.
\end{align*}
IDPSTP is a restriction of the {\sc Internally-disjoint Directed Steiner Tree Packing} problem studied by Cheriyan and Salavatipour [Algorithmica, 2006] and Sun and Yeo [JGT, 2023]. The directed pendant-tree $k$-connectivity extends the concept of pendant-tree $k$-connectivity in undirected graphs studied by Hager [JCTB, 1985] and could be seen as a generalization of classical vertex-connectivity of digraphs.
In this paper, we completely determine the computational complexity for the parameter $τ_{S,r}(D)$ on Eulerian digraphs and symmetric digraphs. We also give sharp bounds and values for the parameter $τ_{k}(D)$.
Moving through Cartesian products, coronas and joins in general position
The general position problem asks for large sets of vertices such that no three vertices of the set lie on a common shortest path. Recently a dynamic version of this problem was defined, called the \emph{mobile general position problem}, in which a collection of robots must visit all the vertices of the graph whilst remaining in general position. In this paper we investigate this problem in the context of Cartesian products, corona products and joins, giving upper and lower bounds for general graphs and exact values for families including grids, cylinders, Hamming graphs and prisms of trees.
Irregularity and Topological Indices in Fibonacci Word Trees and Modified Fibonacci Word Index
Published in Chebyshevskii Sbornik, 26(3), 257-273, 2025; ISSN 2226-8383 (print), ISSN 2587-7119 (online)
• View Publication
• BIB
This paper introduces the concept of the Fibonacci Word Index $\operatorname{FWI}$, a novel topological index derived from the Albertson index, applied to trees constructed from Fibonacci words. Building upon the classical Fibonacci sequence and its generalizations, we explore the structural properties of Fibonacci word trees and their degree-based irregularity measures. We define the $\operatorname{FWI}$ and its variants, including the total irregularity and modified Fibonacci Word Index where it defined as \[ \operatorname{FWI}^*(T)=\sum_{n,m\in E(\mathscr{T})}[deg F_n^2-deg F_m^2], \] and establish foundational inequalities relating these indices to the maximum degree of the underlying trees. Our results extend known graph invariants to the combinatorial setting of Fibonacci words, providing new insights into their algebraic and topological characteristics.
Combinatorial Identities Using the Matrix Tree Theorem
Published
• View Publication
• BIB
In this paper, we explore some interesting applications of the matrix tree theorem. In particular, we present a combinatorial interpretation of a distribution of $(n-1)^{n-1}$, in the context of uprooted spanning trees of the complete graph $K_{n}$, which was previously obtained by Chauve--Dulucq--Guibert. Additionally, we establish a combinatorial explanation for the distribution of $m^{n-1}n^{m-1}$, related to spanning trees of the complete bipartite graph $K_{m,n}$, which seems new. Furthermore, we extend this study to the graph $K_{n}\setminus \{e_{1,n}\}$, obtained by deleting an edge from $K_n$, and derive a new identity for the number of its uprooted spanning trees.
Tanglegrams with a Unique 1-Crossing-Critical Subtanglegram have Tangle Crossing Number 1
A tanglegram of size n is a graph formed from two rooted binary trees with n leaves each and a perfect matching between their leaf sets. Tanglegrams are used to model co-evolution in various settings. A tanglegram layout is a straight line drawing where the two trees are drawn as plane trees with their leaf-sets on two parallel lines, and only the edges of the matching may cross. The tangle crossing number of a tanglegram is the minimum crossing number among its layouts. It is known that tanglegrams have crossing number at least one precisely when they contain one of two size 4 subtanglegrams, which we refer to as cross-inducing subtanglegrams. We show here that a tanglegram with exactly one cross inducing subtanglegram must have tangle crossing number exactly one, and ask the question whether the tangle-crossing number of tanglegrams with exactly k cross-inducing subtanglegrams is bounded for every k.
Extremal Trees With Prescribed Burning Numbers
Graph burning is motivated by the spread of social influence, and the burning number measures the speed of the spread. Given that the smallest burning number among the spanning trees of a graph determines the burning number of a connected graph, trees are the main objects of investigation in graph burning. Given a prescribed burning number, our study focuses on identifying the corresponding extremal trees with respect to order up to graph homeomorphism. In this work, we propose the concept of admissible sequences over a homeomorphically irreducible tree in addition to developing a general framework. We then determine whether an admissible sequence induces an extremal tree with a specified burning number. Additionally, we obtain some results on the smallest attainable diameter for extremal $n$-spiders with a prescribed burning number.
Odd coloring of $k$-trees
Published
• View Publication
• BIB
An odd coloring of a graph is a proper coloring such that every non-isolated vertex has a color that appears at an odd number of its neighbors. This notion was introduced by Petrševski and Škrekovski in 2022. In this paper, we focus on odd coloring of $k$-trees, where a $k$-tree is a graph obtained from the complete graph of order $k+1$ by recursively adding a new vertex that is joined to a clique of order $k$ in the former graph. It follows from a result of Cranston, Lafferty, and Song in 2023 that every $k$-tree is odd $(2k+1)$-colorable. We improve this bound to show that every $k$-tree is odd $\left(k+2\left\lfloor\log_2 k\right\rfloor+3\right)$-colorable. Furthermore, when $k=2,3$, we show the tight bound that every 2-tree is odd $4$-colorable and that every 3-tree is odd $5$-colorable.
Unavoidable subgraphs in digraphs with large out-degrees
Published
• View Publication
• BIB
We ask the question, which oriented trees $T$ must be contained as subgraphs in every finite directed graph of sufficiently large minimum out-degree. We formulate the following simple condition: all vertices in $T$ of in-degree at least $2$ must be on the same 'level' in the natural height function of $T$. We prove this condition to be necessary and conjecture it to be sufficient. In support of our conjecture, we prove it for a fairly general class of trees.
An essential tool in the latter proof, and a question interesting in its own right, is finding large subdivided in-stars in a directed graph of large minimum out-degree. We conjecture that any digraph and oriented graph of minimum out-degree at least $k\ell$ and $k\ell/2$, respectively, contains the $(k-1)$-subdivision of the in-star with $\ell$ leaves as a subgraph; this would be tight and generalizes a conjecture of Thomassé. We prove this for digraphs and $k=2$ up to a factor of less than $2$.
Partial sampling of a random spanning tree
We investigate the distributions of subtrees connecting several vertices in the spanning trees of the complete graphs and their asymptotics.
On an alternating sum of factorials and Stirling numbers of the first kind: trees, lattices, and games
We study an alternating sum involving factorials and Stirling numbers of the first kind. We give an exponential generating function for these numbers and show they are nonnegative and enumerate the number of increasing trees on $n$ vertices that are won by the second of two players when interpreted as a game tree. We also give a simple description of the quotient from the weak order to the Tamari lattice in terms of plane trees, and give bijections between plane trees, 213-avoiding permutations, and 312-avoiding permutations. Finally, for a rooted tree, we give equivalent characterizations of when it describes a game won by the first or second player in terms of the rank-generating function of the lattice of prunings and the Euler characteristic of an associated real variety.
Faithful universal graphs for minor-closed classes
It was proved by Huynh, Mohar, Šámal, Thomassen and Wood in 2021 that any countable graph containing every countable planar graph as a subgraph has an infinite clique minor. We prove a finite, quantitative version of this result: for fixed $t$, if a graph $G$ is $K_t$-minor-free and contains every $n$-vertex planar graph as a subgraph, then $G$ has $2^{Ω(n)}$ vertices. On the other hand, we construct a polynomial size $K_4$-minor-free graph containing every $n$-vertex tree as an induced subgraph, and a polynomial size $K_7$-minor-free graph containing every $n$-vertex $K_4$-minor-free graph as induced subgraph. This answers several problems raised recently by Bergold, Iršič, Lauff, Orthaber, Scheucher and Wesolek.
We study more generally the order of universal graphs for various classes (of graphs of bounded degree, treedepth, pathwidth, or treewidth), if the universal graphs retain some of the structure of the original class.
On the Relation Between Treewidth, Tree-Independence Number, and Tree-Chromatic Number of Graphs
We investigate two recently introduced graph parameters, both of which measure the complexity of the tree decompositions of a given graph. Recall that the treewidth ${\rm tw}(G)$ of a graph $G$ measures the largest number of vertices required in a bag of every tree decomposition of $G$. Similarly, the tree-independence number ${\rm tree\textnormal{-}}α(G)$ and the tree-chromatic number ${\rm tree\textnormal{-}}χ(G)$ measure the largest independence number, respectively the largest chromatic number, required in a bag of every tree decomposition of $G$.
Recently, Dallard, Milanič, and Štorgel asked (JCTB, 2024) whether for all graphs $G$ it holds that ${\rm tw}(G)+1 \leq {\rm tree\textnormal{-}}α(G) \cdot {\rm tree\textnormal{-}}χ(G)$. We provide a negative answer for this question in a strong form: for every function $f\colon {\mathbb N} \rightarrow {\mathbb N}$, there exists a graph $G$ such that ${\rm tw}(G) > {\rm tree\textnormal{-}}α(G) \cdot f({\rm tree\textnormal{-}}χ(G))$. On the other hand, we complement this result with an upper bound, by showing that ${\rm tw}(G)+1 \leq {\rm tree\textnormal{-}}α(G)^2 \cdot {\rm tree\textnormal{-}}χ(G)$ for every graph $G$.
Computing Distances on Graph Associahedra is Fixed-parameter Tractable
An elimination tree of a connected graph $G$ is a rooted tree on the vertices of $G$ obtained by choosing a root $v$ and recursing on the connected components of $G-v$ to obtain the subtrees of $v$. The graph associahedron of $G$ is a polytope whose vertices correspond to elimination trees of $G$ and whose edges correspond to tree rotations, a natural operation between elimination trees. These objects generalize associahedra, which correspond to the case where $G$ is a path. Ito et al. [ICALP 2023] recently proved that the problem of computing distances on graph associahedra is NP-hard. In this paper we prove that the problem, for a general graph $G$, is fixed-parameter tractable parameterized by the distance $k$. Prior to our work, only the case where $G$ is a path was known to be fixed-parameter tractable. To prove our result, we use a novel approach based on a marking scheme that restricts the search to a set of vertices whose size is bounded by a (large) function of $k$.
Lower bounds on collective additive spanners
In this paper we present various lower bound results on collective tree spanners and on spanners of bounded treewidth. A graph $G$ is said to admit a system of $μ$ collective additive tree $c$-spanners if there is a system $\cal{T}$$(G)$ of at most $μ$ spanning trees of $G$ such that for any two vertices $u,v$ of $G$ a tree $T\in \cal{T}$$(G)$ exists such that the distance in $T$ between $u$ and $v$ is at most $c$ plus their distance in $G$. A graph $G$ is said to admit an additive $k$-treewidth $c$-spanner if there is a spanning subgraph $H$ of $G$ with treewidth $k$ such that for any pair of vertices $u$ and $v$ their distance in $H$ is at most $c$ plus their distance in $G$. Among other results, we show that:
$\bullet$ Any system of collective additive tree $1$ -- spanners must have $Ω(\sqrt[3]{\log n})$ spanning trees for some unit interval graphs;
$\bullet$ No system of a constant number of collective additive tree $2$-spanners can exist for strongly chordal graphs;
$\bullet$ No system of a constant number of collective additive tree $3$-spanners can exist for chordal graphs;
$\bullet$ No system of a constant number of collective additive tree $c$-spanners can exist for weakly chordal graphs as well as for outerplanar graphs for any constant $c\geq 0$;
$\bullet$ For any constants $k \ge 2$ and $c \ge 1$ there are graphs of treewidth $k$ such that no spanning subgraph of treewidth $k-1$ can be an additive $c$-spanner of such a graph.
All these lower bound results apply also to general graphs. Furthermore, they %results complement known upper bound results with tight lower bound results.
Insertion algorithms and pattern avoidance on trees arising in the Kapranov embedding of $\overline{M}_{0,n+3}$
We resolve a question of Gillespie, Griffin, and Levinson that asks for a combinatorial bijection between two classes of trivalent trees, tournament trees and slide trees, that both naturally arise in the intersection theory of the moduli space $\overline{M}_{0,n+3}$ of stable genus zero curves with $n+3$ marked points. Each set of trees enumerates the same intersection product of certain pullbacks of $ψ$ classes under forgetting maps.
We give an explicit combinatorial bijection between these two sets of trees using an insertion algorithm. We also classify the words that appear on the slide trees of caterpillar shape via pattern avoidance conditions.