tree
6737 papers tagged with this keyword
Strongly chordal graphs as intersection graphs of trees (Farber's proof revisited)
In his Ph.D. thesis, Farber proved that every strongly chordal graph can be represented as intersection graph of subtrees of a weighted tree, and these subtrees are ``compatible''. Moreover, this is an equivalent characterization of strongly chordal graphs. To my knowledge, Farber never published his results in a conference or a journal, and the thesis is not available electronically. As a service to the community, I therefore reproduce the proof here.
I then answer some questions that naturally arise from the proof. In particular, the sufficiency proof works by showing the existence of a simple vertex. I give here an alternate sufficiency proof that directly converts a set of compatible subtrees into a strong elimination order.
A quantitative way to e-positivity of trees
In 2020, Dahlberg, She, and van Willigenburg conjectured that the chromatic symmetric function of any tree with maximum degree at least 4 is not e-positive. Zheng and Tom verified this conjecture for all trees with maximum degree at least 5 and spiders with maximum degree 4, and in their proofs the following necessary condition given by Wolfgang plays an important role: every connected graph having e-positive chromatic symmetric function must contain a connected partition of every type.
In order to make further progress on this conjecture, we refine Wolfgang's result in a quantitative way. At first, we give an explicit formula for the e-coefficients of trees in terms of their connected partitions, by which e-positivity is equivalent to a series of inequalities for the numbers of connected partitions. Based on this formula, we present several necessary conditions on the numbers of connected partitions or acyclic orientations for trees to be e-positive. These necessary conditions turn out to be characterizations on the structure of e-positive trees, and as sample applications we prove the non-e-positivity of several classes of trees with maximum degree 3 or 4. We further make more discussions and calculations on trees with maximum degree 4 and having a connected partition of every type, which inspire us to come up with a list of open problems towards the final resolution of the above conjecture.
Permutation-based Strategies for Labeled Chip-Firing on $k$-ary Trees
Published in Discrete Mathematics & Theoretical Computer Science, vol. 28:2, Combinatorics (January 9, 2026) dmtcs:16108
• View Publication
• BIB
Chip-firing is a combinatorial game on a graph, in which chips are placed and dispersed among its vertices until a stable configuration is achieved. We specifically study a chip-firing variant on an infinite, rooted, directed $k$-ary tree where we place $k^n$ chips labeled $0,1,\dots, k^n-1$ on the root for some nonnegative integer $n$, and we say a vertex $v$ can fire if it has at least $k$ chips. When a vertex fires, we select $k$ labeled chips and send the $i$th smallest chip among them to its $i$th leftmost child. A stable configuration is reached when no vertex can fire. In this paper, we focus on stable configurations resulting from specific firing strategies based on permutations of $1, 2, \dots, n$. We then express the stable configuration as a permutation of $0,1, 2, \dots, k^n-1$ and explore its properties, such as the number of inversions and descents.
Maximal entropy random walks and central Markov chains
We introduce and develop the concept of Maximal Entropy Random Walks (MERWs) on Weighted Bratteli Diagrams (WBDs), maximizing entropy production along paths as a natural criterion for choosing random walks on networks. Initially defined for irreducible finite graphs, MERWs were recently extended to the infinite setting in [1]. Bratteli Diagrams model various growth processes, such as the Young Lattice, where the Plancherel growth process emerges as a MERW. We show that MERWs are special cases of central Markov chains, which, in general, provide a powerful framework for deriving combinatorial identities. Regarding growing trees, in particular, we retrieve and extend Han's hook-length formula for binary trees and demonstrate that the Binary Search Tree (BST) process is a MERW, recovering its asymptotic behavior. We also introduce preferential attachment to generalize BSTs. For comb models, significant central measures appear, including the Chinese restaurant process, providing an alternative proof of the Poisson-Dirichlet limit distribution. Finally, we propose a Monte Carlo method, based on Knuth's algorithm, to approximate MERWs. We apply it to a pyramidal growth model, drawing connections with the limit shape of Young diagrams under the Plancherel measure.
Turán problems for suspension of a balanced tree
The Turán number $\ex(n,H)$ is the maximum number of edges that an $n$-vertex $H$-free graph can have. The suspension $\widehat{H}$ is obtained from $H$ by adding a new vertex which is adjacent to all vertices of $H$ and a tree is balanced if the sizes of its two color classes differ at most $1$. In this paper, we obtain a sharp bound of $\ex(n,\widehat{T})$ when $n\ge 4(4k)^6$ based on the Erdős-Sós conjecture. We also show the bound is sharp for infinitely many $n$ and characterize all extremal graphs. In particular, if $T$ satisfies some conditions such as $T$ contains a matching covering all vertices in one color class, then the bound is sharp for all $n$. This is a new class of graphs whose decomposition family does not contain a linear forest but we still can determine its Turán number.
Graph parameters that are coarsely equivalent to path-length
Two graph parameters are said to be coarsely equivalent if they are within constant factors from each other for every graph $G$. Recently, several graph parameters were shown to be coarsely equivalent to tree-length. Recall that the length of a tree-decomposition ${\cal T}(G)$ of a graph $G$ is the largest diameter of a bag in ${\cal T}(G)$, and the tree-length $tl(G)$ of $G$ is the minimum of the length, over all tree-decompositions of $G$. Similarly, the length of a path-decomposition ${\cal P}(G)$ of a graph $G$ is the largest diameter of a bag in ${\cal P}(G)$, and the path-length $pl(G)$ of $G$ is the minimum of the length, over all path-decompositions of $G$. In this paper, we present several graph parameters that are coarsely equivalent to path-length. Among other results, we show that the path-length of a graph $G$ is small if and only if one of the following equivalent conditions is true: (a) $G$ can be embedded to an unweighted caterpillar tree (equivalently, to a graph of path-width one) with a small additive distortion; (b) there is a constant $r\ge 0$ such that for every triple of vertices $u,v,w$ of $G$, disk of radius $r$ centered at one of them intercepts all paths connecting two others; (c) $G$ has a $k$-dominating shortest path with small $k\ge 0$; (d) $G$ has a $k'$-dominating pair with small $k'\ge 0$; (e) some power $G^μ$ of $G$ is an AT-free (or even a cocomparability) graph for a small integer $μ\ge 0$.
On posets and polytopes attached to arbors
Starting from the data of an arbor, which is a rooted tree with vertices decorated by disjoint sets, we introduce a lattice polytope and a partial order on its lattice points. We give recursive algorithms for various classical invariants of these polytopes and posets, using the tree structure. For linear arbors, we propose a conjecture exchanging the Ehrhart polynomial of the polytope with the Zeta polynomial of the poset for the reverse arbor. The general motivation comes from the action of a transmutation operator acting on M -triangles, which should link the posets considered here with some kinds of generalized noncrossing partitions and generalized associahedra. We give some evidence for this relationship in several cases, including notably some polytopes, namely halohedra and Hochschild polytopes.
Existence of Deadlock-Free Routing for Arbitrary Networks
Given a network of routing nodes, represented as a directed graph, we prove the following necessary and sufficient condition for the existence of deadlock-free message routing: The directed graph must contain two edge-disjoint directed trees rooted at the same node, one tree directed into the root node and the other directed away from the root node.
While the sufficiency of this condition is known, its necessity, to the best of our knowledge, has not been previously recognized or proven. Although not directly applicable to the construction of deadlock-free routing schemes, this result provides a fundamental insight into the nature of deadlock-free networks and may lead to the development of improved tools for designing and verifying such schemes.
The action of the Morava stabilizer group on the coefficients of Morava E-theory at height 2
We calculate an explicit closed formula for the action of the height 2 full Morava stabilizer group on the coefficient ring of height 2 Morava E-theory. In particular, this yields an explicit, surprisingly simple closed formula for the action of the automorphism group of a height 2 formal group law on its Lubin-Tate deformation ring. The formula is of a combinatorial nature, given by sums over certain labelled ordered rooted trees.
Butcher series for Hamiltonian Poisson integrators through symplectic groupoids
We exhibit a new pre-Lie algebra in the framework of symplectic groupoids and, in turn, introduce a pre-Lie formalism of Butcher trees for the approximation of Hamilton-Jacobi solutions on any symplectic groupoid $\mathcal{G} \rightrightarrows M.$ The impact of this new algebraic approach is twofold. On the geometric side, it yields algebraic operations to approximate Lagrangian bisections of $\mathcal{G}$ using the Butcher-Connes-Kreimer Hopf algebra and, in turn, aims at a better understanding of the group of Hamiltonian diffeomorphisms of $M.$ On the computational side, we define a new class of Poisson integrators for Hamiltonian dynamics on Poisson manifolds.
Equivalence Classes Induced by Binary Tree Isomorphism -- Generating Functions
Working with generating functions, the combinatorics of a recurrence relation can be expressed in a way that allows for more efficient calculation of the quantity. This is true of the Catalan numbers for an ordered binary tree \cite{abboud2018subtree}. Binary tree isomorphism is an important problem in computer science. The enumeration of the number of non-isomorphic rooted binary trees is therefore well known. The paper reiterates the known results for ordered binary trees and presents previous results for the enumeration of non-isomorphic rooted binary trees. Then, new enumeration results are put forward for two-colour binary tree isomorphism parametrized by the number of nodes, the number of specific colours and the number of non-isomorphic sibling subtrees. Multi-variate generating function equations are presented that enumerate these tree structures. The generating functions with these parametrizations separate multiplicatively into simplified generating function equations.
The subpath number of cactus graphs
The subpath number of a graph G is defined as the total number of subpaths in G, and it is closely related to the number of subtrees, a well-studied topic in graph theory. This paper is a continuation of our previous paper [5], where we investigated the subpath number and identified extremal graphs within the classes of trees, unicyclic graphs, bipartite graphs, and cycle chains. Here, we focus on the subpath number of cactus graphs and characterize all maximal and minimal cacti with n vertices and k cycles. We prove that maximal cacti are cycle chains in which all interior cycles are triangles, while the two end-cycles differ in length by at most one. In contrast, minimal cacti consist of k triangles, all sharing a common vertex, with the remaining vertices forming a tree attached to this joint vertex. By comparing extremal cacti with respect to the subpath number to those that are extremal for the subtree number and the Wiener index, we demonstrate that the subpath number does not correlate with either of these quantities, as their corresponding extremal graphs differ.
Endomorphism and Automorphism Graphs
Let $G$ be a group. The directed endomorphism graph, \dend of $G$ is a directed graph with vertex set $G$ and there is a directed edge from the vertex `$a$' to the vertex `$\, b$' $(a \neq b) $ if and only if there exists an endomorphism on $G$ mapping $a$ to $b$. The endomorphism graph, \uend $\,$ of $G$ is the corresponding undirected simple graph. The automorphism graph, ${Auto}(G)$ of $G$ is an undirected graph with vertex set $G$ and there is an edge from the vertex `$a$' to the vertex `$\,b$' $(a \neq b) $ if and only if there exists an automorphism on $G$ mapping $a$ to $b$. We have explored graph theoretic properties like size, planarity, girth etc. and tried finding out for which types of groups these graphs are complete, diconnected, trees, bipartite and so on.
On a problem of Caro on $\mathbb{Z}_3$-Ramsey number of forests
Let $k$ be a positive integer and let $G$ be a graph. The zero-sum Ramsey number $R(G,\mathbb{Z}_k)$ is the least integer $N$ (if it exists) such that for every edge-coloring $χ\, : \, E(K_N) \, \rightarrow \, \mathbb{Z}_k$ one can find a copy of $G$ in $K_N$ such that $\sum_{e \, \in \, E(G)}{χ(e)} \, = \, 0$. In 2019, Caro made a conjecture about the $\mathbb{Z}_3$-Ramsey number of trees. In this paper, we settle this conjecture, fixing an incorrect case, and extend the result to forests. Namely, we show that \begin{equation*} R(F,\mathbb{Z}_3) = \left\{ \begin{array}{ll} n+2, & \text{if $F$ is $1 (\mathrm{mod}\, 3)$ regular or a star;}\\ n+1, & \text{if $3 \nmid d(v)$ for every $v \in V(F)$ or $F$ has exactly one} \\ \phantom{placeholder} & \text{vertex of degree $0 (\mathrm{mod}\, 3)$ and all others are $1 (\mathrm{mod}\, 3)$,} \\ \phantom{placeholder} & \text{and $F$ is not $1 (\mathrm{mod}\, 3)$ regular or a star;}\\ n, & \text{otherwise.} \end{array} \right. \end{equation*} where $F$ is any forest on $n$ vertices with $3\mid e(F)$ and no isolated vertices.
Invitation to the subpath number
In this paper we count all the subpaths of a given graph G; including the subpaths of length zero, and we call this quantity the subpath number of G. The subpath number is related to the extensively studied number of subtrees, as it can be considered as counting subtrees with the additional requirement of maximum degree being two. We first give the explicit formula for the subpath number of trees and unicyclic graphs. We show that among connected graphs on the same number of vertices, the minimum of the subpath number is attained for any tree and the maximum for the complete graph. Further, we show that the complete bipartite graph with partite sets of almost equal size maximizes the subpath number among all bipartite graphs. The explicit formula for cycle chains, i.e. graphs in which two consecutive cycles share a single edge, is also given. This family of graphs includes the unbranched catacondensed benzenoids which implies a possible application of the result in chemistry. The paper is concluded with several directions for possible further research where several conjectures are provided.
Bijections for faces of braid-type arrangements
We establish a general bijective framework for encoding faces of some classical hyperplane arrangements.
Precisely, we consider hyperplane arrangements in $\mathbb{R}^n$ whose hyperplanes are all of the form $\{x_i-x_j=s\}$ for some $i,j\in[n]$ and $s\in \mathbb{Z}$. Such an arrangement $A$ is \emph{strongly transitive} if it satisfies the following condition: if $\{x_i-x_j=s\}\notin A$ and $\{x_j-x_k=t\}\notin A$ for some $i,j,k\in [n]$ and $s,t\geq 0$, then $\{x_i-x_k=s+t\}\notin A$.
For any strongly transitive arrangement $A$, we establish a bijection between the faces of $A$ and some set of decorated plane trees.
Resolving subcategories for gentle algebras I: Monogeneous resolving subcategories for gentle trees
This paper is the first part of a series that intends to study the resolving subcategories for gentle algebras over an algebraically closed field $\mathbb{K}$.
In a general setting, we improve the precision of an algorithm from Takahashi for resolving closure calculations in well-behaved abelian categories. Then, we modify the geometric model of Baur--Coelho-Simões and Opper--Plamondon--Schroll to compute such subcategories for gentle quivers that have a finite global dimension.
Finally, we focus on gentle quivers $(Q,R)$ such that $Q$ is a directed tree, and we study the monogeneous resolving subcategories, which are the ones generated by a single non-projective indecomposable $\mathbb{K}Q/\langle R \rangle$-module. By the way, we prove that these subcategories are the join-irreducible elements of the poset of all the resolving subcategories ordered by inclusion.
Halfspace Representations of Path Polytopes of Trees
Given a tree $T$, its path polytope is the convex hull of the edge indicator vectors for the paths between any two distinct leaves in $T$. These polytopes arise naturally in polyhedral geometry and applications, such as phylogenetics, tropical geometry, and algebraic statistics. We provide a minimal halfspace representation of these polytopes. The construction is made inductively using toric fiber products.
On coarse tree decompositions and coarse balanced separators
It is known that there is a linear dependence between the treewidth of a graph and its balanced separator number: the smallest integer $k$ such that for every weighing of the vertices, the graph admits a balanced separator of size at most $k$. We investigate whether this connection can be lifted to the setting of coarse graph theory, where both the bags of the considered tree decompositions and the considered separators should be coverable by a bounded number of bounded-radius balls.
As the first result, we prove that if an $n$-vertex graph $G$ admits balanced separators coverable by $k$ balls of radius $r$, then $G$ also admits tree decompositions ${\cal T}_1$ and ${\cal T}_2$ such that:
- in ${\cal T}_1$, every bag can be covered by $O(k\log n)$ balls of radius $r$; and
- in ${\cal T}_2$, every bag can be covered by $O(k^2\log k)$ balls of radius $r(\log k+\log\log n+O(1))$.
As the second result, we show that if we additionally assume that $G$ has doubling dimension at most $m$, then the functional equivalence between the existence of small balanced separators and of tree decompositions of small width can be fully lifted to the coarse setting. Precisely, we prove that for a positive integer $r$ and a graph $G$ of doubling dimension at most $m$, the following conditions are equivalent, with constants $k_1,k_2,k_3,k_4,Δ_3,Δ_4$ depending on each other and on $m$:
- $G$ admits balanced separators consisting of $k_1$ balls of radius $r$;
- $G$ has a tree decomposition with bags coverable by $k_2$ balls of radius $r$;
- $G$ has a tree-partition of maximum degree $\leq Δ_3$ with bags coverable by $k_3$ balls of radius $r$;
- $G$ is quasi-isometric to a graph of maximum degree $\leq Δ_4$ and tree-partition width $\leq k_4$.
Eigenvalue conditions implying edge-disjoint spanning trees and a forest with constraints
Let $G$ be a nontrivial graph with minimum degree $δ$ and $k$ an integer with $k\ge 2$. In the literature, there are eigenvalue conditions that imply $G$ contains $k$ edge-disjoint spanning trees. We give eigenvalue conditions that imply $G$ contains $k$ edge-disjoint spanning trees and another forest $F$ with $|E(F)|>\frac{δ-1}δ(|V(G)|-1)$, and if $F$ is not a spanning tree, then $F$ has a component with at least $δ$ edges.