tree
6733 papers tagged with this keyword
The average distance of spanning trees in terms of independence number
Let $G$ be a connected graph with vertex set $V(G)$, and denote by $d_G(u,v)$ the distance from $u$ to $v$ in $G$, for any $u,v \in V(G)$. The average distance of an $n$-vertex connected graph $G$, denoted by $μ(G)$, is defined to be the average of all distances between all pairs of vertices in $G$, i.e., $μ(G) = \binom{n}{2}^{-1} \sum_{\{u,v\} \subset V(G)}d_G(u,v)$. The problem of finding a spanning tree of minimum average distance is known to be NP-hard, so establishing an upper bound for the minimum average distance among all spanning trees is of particular interest. Mukwembi (J. Graph Theory, 2014) showed that if $G$ is a connected graph of order $n$ with independence number $α$, where $n > 2 α- 1$, then $G$ has a spanning tree $T$ such that $μ(T) \le α+ 2$. In this paper, we first improve the upper bound to $μ(T) < α+ 1$ for $α\ge 1$, and then we find the bound could be further improved when $α$ becomes larger, so a better upper bound \[ μ(T) < \left\{ \begin{array}{ll} α+1 & \hbox{if } 1\leα\le 6,\\ α+\frac12+\frac{4(α-1)}{α^2} & \hbox{if } α\ge 7, \end{array} \right. \] is established later. In the end, we give a remark to indicate our new upper bound is best possible in the sense of asymptotics (when $n$ and $α$ are large enough).
The Distribution Of Subtrees In Dense Graphs And The Roots Of The Subtree Polynomial
For a graph $G$ with $n$ vertices and a positive integer $k \leq n$, let $s_k(G)$ be the number of subtrees (subgraphs that are trees, not necessarily induced) of $G$ with $k$ vertices. The subtree polynomial of $G$ is $S(G;x) = \sum_{k=1}^n s_k(G) x^k$. In this paper, we consider dense connected graphs with a minimum degree that is linear in the number of vertices. We prove that the number of missing vertices in a random subtree is asymptotically Poisson-distributed and deduce that all the roots of the subtree polynomial have to be close to $0$.
Trees and Graphs with Non Log-concave Dominating Set Sequence via AI Tools
We give new examples of graphs and trees with dominating set sequences that are not log-concave. These examples were generated by PatternBoost, a transformer-based reinforcement learning software developed by Charton-Ellenberg-Wagner-Williamson. We also show: for any positive integer $m$, there exists a tree whose dominating set sequence is not log-concave for at least $m$ indices by modifying a similar construction of Bautista-Ramos for the independent set sequence. We show that a large class of caterpillar graphs has log-concave dominating set sequences. A continuous analogue of the sequence is also log-concave for all graphs.
Graceful labelings of spiders with three-edge legs and pendant leaves at the center
A graph $G$ on $m$ edges is graceful if there is an injection $f : V(G) \to \{0, 1, \ldots, m\}$ whose induced edge labels $\{|f(u) - f(v)| : uv \in E(G)\}$ are exactly $\{1, 2, \ldots, m\}$. Ringel and Kotzig conjectured in 1964 that every tree is graceful. A computer check has confirmed this for all trees on at most 35 vertices (Fang 2010), but no general proof is known. Here we exhibit an infinite family of trees that escapes the named spider results of Bahls--Lake--Wertheim, Panpa--Poomsa-ard, and Panpa--Imnang--Wasuanankul: the family $T(k, m)$ of spiders with $k$ legs of length $3$ together with $m$ pendant leaves at the centre. We prove every such tree is graceful for all $k \ge 1$ and $m \ge 0$. The argument splits into two short lemmas. The first is a pendant-extension lemma that applies whenever the underlying graceful labeling sends the centre to $0$; the second is the base case, namely that $S_{k, 3}$ admits exactly such an apex-zero labeling, a fact already implicit in Bahls--Lake--Wertheim (2010). What is new is the explicit identification of $T(k, m)$ and the observation that the family is closed under both pendant addition and the apex-zero condition, so it includes infinitely many trees not handled by the named theorems above.
On tree decompositions whose trees are subgraphs
Fix $k \in \mathbb{N}$ and let $G$ be a connected graph with treewidth at most $k$. We say that $xy \notin E(G)$ is a {\em $k$-ghost-edge} of $G$ if for every tree decomposition $(T, \cB)$ of $G$ with width at most $k$, both $x$ and $y$ are contained in a bag of $(T, \cB)$. Moreover, if $G$ does not contain any $k$-ghost-edges, then $G$ is {\em $k$-ghost-free}. Hickingbotham proposed a conjecture that every connected $k$-ghost-free graph $G$ has a tree decomposition $(T, \cB)$ with width at most $k$ such that $T$ is a subgraph of $G$. In this paper, we prove that Hickingbotham's conjecture is false for all $k\geq3$.
Schur States, Average Mixing, and Counting Trees on Line Graphs' CTQW
We introduce a family of complex-valued edge weights on a finite simple graph $\G$ arising from a continuous-time quantum walk on the line graph $\ell\G$, packaged as the \emph{Schur state}: an $n \times n$ Hermitian matrix encoding the amplitudes of an edge-state walk. The entrywise modulus square induces a real-weighted adjacency matrix $A(e)$ and Laplacian $L(e)$, and time-averaging yields a weighted graph whose spanning-tree count we relate to that of $\G$. Our main result is \[
tn\!\left(\G, \tfrac{1}{m}\right) = \frac{1}{m^{n-1}}\, tn(\G), \] valid whenever the initial edge state is \emph{uniform commutative}, where $n=|V\G|$, $m=|E\G|$, and $tn(\G, w)$ denotes the weighted spanning-tree count. We further identify a structural mechanism -- the $-2$ eigenspace of $\ell\G$ -- providing uniform commutative states beyond the regular case, in particular for line graphs of Eulerian graphs with an even number of edges. As a side result, we establish that commutative states are precisely the states whose von Neumann entropy is preserved under average mixing.
Tree-alpha and excluding finitely many graphs
We prove that a hereditary graph class $\mathcal{G}$ defined by finitely many excluded induced subgraphs has bounded tree-$α$ if and only if it is "$(\mathrm{tw},ω)$-bounded" (that is, for all $t\in \mathbb N$, the class of all $K_t$-free graphs in $\mathcal{G}$ has bounded treewidth). Equivalently, $\mathcal{G}$ has bounded tree-$α$ if and only if it excludes a complete bipartite graph, a forest whose components each have at most three leaves, and the line graph of such a forest.
This resolves two conjectures of Dallard, Krnc, Kwon, Milanič, Munaro, Štorgel, and Wiederrecht: the above, and a weaker one that for all $a,b\in \mathbb N$, every hereditary class that excludes $K_{a,a}$ and the $b$-vertex path has bounded tree-$α$. The latter was already open even for $(a,b)\in \{(2,7),(3,5)\}$, and only recently proved for $(a,b)=(2,6)$.
On the minimum number of maximal distance-$k$ independent sets in trees
A vertex subset of a graph is called a distance-$k$ independent set if the distance between any two of its distinct vertices is at least $k + 1$. For all $n,k \geq 1$, we determine the minimum possible number of inclusion-wise maximal distance-$k$ independent sets among all $n$-vertex trees. It equals $n$ if $n \leq k + 1$, and $n - \bigg\lfloor \frac{n - (k \bmod 2)}{\lfloor k/2 \rfloor + 1} \bigg\rfloor + 1$ otherwise. We also completely describe the class of trees attaining this bound and determine the growth rate of the number of such $n$-vertex trees for a fixed $k \geq 1$. If $k$ is odd and $(k+1)/2$ does not divide $n-1$, then the number of non-isomorphic $n$-vertex trees with the minimum possible number of maximal distance-$k$ independent sets grows linearly with $n$. Otherwise, it is bounded above by the number of unlabeled $k^2$-vertex trees.
Sufficient conditions for spanning $k$-trees in tough graphs
The toughness of a graph $G$, denoted by $τ(G)$, is defined by $τ(G)=$min $\{\frac{|S|}{c(G-S)}:S\subseteq V(G)$ and $c(G-S)\geq2\}$. A graph $G$ is said to be $τ$-tough if $τ(G)\geq τ$. Let $k\geq2$ be an integer. A tree $T$ is called a $k$-tree if $d_{T}(v)\leq k$ for each $v\in V(T)$, that is, the maximum degree of a $k$-tree is at most $k$. A $k$-tree $T$ is a spanning $k$-tree if $T$ is a spanning subgraph of a connected graph $G$. In 1989, Win [Graphs Combin. 5 (1989) 201--205] proved that if $τ(G)\geq\frac{1}{k-2}$, where $k\geq3$, then $G$ contains a spanning $k$-tree. Liu, Fan and Shu [Discrete Math. 348 (2025) 114593] provided a tight sufficient condition based on the spectral condition for connected $\frac{1}{k}$-tough and $\frac{1}{k-1}$-tough graphs to contain a spanning $k$-tree, where $k\geq3$ is an integer. A natural and interesting problem arises: Can the value of $τ$ be refined?
When $\frac{1}{k-2}>τ\geq\frac{1}{k-1}$, we initially establish a lower bound on the size to ensure that a connected $\frac{t}{t(k-2)+1}$-tough graph $G$ contains a spanning $k$-tree, where $k\geq3$ and $t\geq1$ are integers. Meanwhile, we provide two sufficient conditions in terms of spectral radius and signless Laplacian spectral radius for a connected $\frac{t}{t(k-2)+1}$-tough graph $G$ to contain a spanning $k$-tree, where $k\geq3$ and $t\geq1$ are integers. When $t=1$, we obtain the result $η=1$ from Liu, Fan and Shu.
Extremal graphs for average size of maximal matchings in bicyclic graphs
For a graph \(G\), let $avm(G)$ denote the average size of its maximal matchings. This parameter was introduced by Engbers and Erey in the study of extremal problems for maximal matchings, and they asked for extensions from trees and unicyclic graphs to \(k\)-cyclic graphs. In this paper, we solve the first non-unicyclic case by determining the minimum value of $avm(G)$ over all connected bicyclic graphs with \(n\) vertices and \(n+1\) edges. We prove that, for every connected bicyclic graph \(G\) of order \(n\ge 5\), \[ \operatorname{avm}(G)\ge \frac{4n-11}{2n-5}. \] Moreover, equality holds uniquely for the graph obtained from two triangles sharing a common edge by attaching all remaining \(n-4\) pendant edges to one of the two vertices of degree \(3\). The key point is to translate the minimization of \(\operatorname{avm}(G)\) into structural restrictions on small maximal matchings, which are then analyzed through the three possible bicyclic core types.
Polynomial and spectra factorization of graphs obtained by iteration the operad of generalized graph composition
The generalized composition graph is used by Cardoso and some researchers for factorization of the adjacency spectrum and Laplacian of a simple graph. Because the generalized composition graph is an example of a set-theoretic linear operad, this operation can be iterated at more than one level, where the complex language of partition refinement in the iteration is represented in terms of Schr"oder trees. This allows us to generalize the factorization of the adjacency spectrum and Laplacian of a simple graph presented by Cardoso in terms of Schr"oder trees and colorings over the edges of a graph. Cardoso's technique has been generalized by other authors for the universal adjacency matrix of a graph. This work also presents generalized factorizations in terms of Schr"oder trees and colorings on the edges of a graph for the universal adjacency spectrum, the characteristic polynomial of the universal adjacency matrix, and the generalized characteristic polynomial of a graph.
Scaffolds for Higher Tropical Grassmannians: Foundations
Scaffolds are the one-dimensional skeleta of high-dimensional flag simplicial complexes of nonpositive curvature. They generalize the phylogenetic trees of Trop G(2,n) to arbitrary $k$, drawing together SL(k)-web bases, affine buildings, the combinatorics of the positive tropical Grassmannian and low-dimensional topology. We prove that scaffolds model points in all tropical Grassmannians via a $k$-point distance function.
In this paper, we study in detail CAT(0) planar graphs, which are positive scaffolds for the tropical Grassmannian of three-planes. CAT(0) planar graphs are directed versions of the diskoids of Fontaine-Kamnitzer-Kuperberg, planar dual to SL(3)-webs. Our main result is the construction of a unique representation of any given integer positive tropical Plucker vector by a normal CAT(0) planar graph. We show that any normal CAT(0) planar graph embeds into the tropical linear space as a Lam-Postnikov membrane, and embeds into the Keel-Tevelev membrane within the affine building. We show that Early's planar basis expansion can be computed directly from the strand combinatorics of the dual web, and connect this expansion to Petersen-Pylyavskyy-Speyer's noncrossing tableaux, explored further in our companion paper.
Maximum ratio of (graph) irregularities
Published in Discrete Applied Mathematics, 2026
• Search Publication
We estimate the maximum ratio between the $σ_t$- and $σ$-irregularity for graphs and trees of order $n$, which are respectively bounded by $Θ(n^{5/2})$ and $n-2$. This answers a question and a conjecture by Filipovski et al. in an elegant way. For trees, we obtain that the (Albertson) irregularity measure $\irr$ is an upper bound for the graph variance (normalised with the order).
Enumerating Multi-Operator Monomials in Commutative and Noncommutative Settings
We study enumeration problems for multi-operator monomials generated from one indeterminate by an associative multiplication together with finitely many unary operators. We consider four regimes, according to whether multiplication is commutative and whether the unary operators commute. In the case where the unary operators do not commute, we obtain explicit multigraded generating functions and coefficient formulas, including a multinomial refinement of the Narayana numbers, together with interpretations in terms of rooted trees, restricted lattice paths, and binary trees. When the unary operators commute, we derive canonical representatives and effective recurrences, with corresponding monotonicity conditions in the combinatorial models. When multiplication is commutative, the sequence decomposition is replaced by a multiset decomposition, leading to exp--log generating functions and Euler-transform recurrences. In special cases, the resulting sequences recover classical families including the Catalan numbers, the small Schröder numbers, and rooted-tree numbers.
Asymptotic height of Plancherel random trees
We study a natural analogue of Ulam's problem for random rooted trees distributed according to a Plancherel-type measure. This probability measure is closely related to the classical Plancherel measure on integer partitions. For a Plancherel random tree $T_n$ with $n$ vertices, we investigate the asymptotic behavior of its height $H_n$, defined as the maximal distance from the root to a leaf. We prove that this height grows logarithmically. More precisely, there is a one-parameter family of random trees $(T_n(θ))_{n \in \mathbb{N}}$ indexed by $θ>0$ such that $\frac{H_n}{\log n}$ converges in probability to $c_\star(θ)$, where $c_\star(θ)$ is an explicit constant depending on the parameter $θ$. The case of Plancherel trees corresponds to the parameter $θ=2$.
The proof is based on the fact that the Plancherel random trees can be viewed as Ewens fragmentation trees, for which the height exhibits a sharp threshold phenomenon. An upper bound is obtained via $s$-mass functionals and contraction estimates, while the lower bound is derived by embedding the model into a branching random walk with logarithmic displacements governed by a Poisson--Dirichlet distribution. The constant $c_\star(θ)$ is characterized through a variational principle associated with this branching random walk.
Arboretum.hs: Symbolic manipulation for algebras of graphs
We design the Arboretum$.$hs package for symbolic computations with algebras of trees and more general graphs in Haskell. Thanks to the declarative nature of functional programming, the package's implementation closely follows mathematical definitions, making the code intuitive and transparent for users working with algebraic and combinatorial structures. To assist with current mathematical research, Arboretum$.$hs supports experimentation by facilitating the introduction of new algebraic operations, as well as providing functionality for rendering trees and forests through LaTeX integration. Compared to recent imperative implementations in languages such as Julia or Python, Arboretum$.$hs offers greater flexibility for manipulating and extending tree-based structures. Its use of Haskell enables safe programming and strong compile-time guarantees, serving both as a practical computational tool and a foundation for further research in algebraic combinatorics, beyond the setting of trees usually considered in the implementation of Butcher series, which are a fundamental tool for the analysis of numerical integrators.
Families of Eliahou semigroups linked to Farey intervals
We describe new families of Eliahou semigroups, encompassing previous families described by Delgado, Eliahou and Fromentin, and Bras-Amorós. A crucial parameter is a Farey interval associated to the semigroup. We show that these semigroups probably all satisfy Wilf's conjecture and describe ways to explicitly construct semigroups belonging to these families.
This work is based on an exploration of the numerical semigroup tree giving (conjecturally) all Eliahou semigroups of conductor up to 320 thanks to a new way of representing the semigroups and pruning of unwanted branches.
On Detecting $H$-Induced Minors for Small $H$
We consider the $H$-Induced Minor problem: for a fixed graph~$H$, decide whether a given graph $G$ contains $H$ as an induced minor. While the problem is known to be NP-complete for some trees~$H$ on more than $2^{300}$ vertices, the complexity for small trees remains unresolved. In particular, the case where $H$ is the $7$-vertex tree consisting of a path on five vertices with a pendant vertex attached to the second and fourth vertex was a long-standing open problem. We show that this case is polynomial-time solvable by developing algorithms that detect a sequence of carefully chosen substructures. Complementing this, we prove that detecting some of these substructures individually is NP-hard. We also give polynomial-time algorithms for three cases where $H$ is a graph on five vertices (that is not a tree). In this way, we completed the classification of $H$-Induced Minor for graphs $H$ on five vertices and answered an open problem of Dallard, Dumas, Hilaire and Perez (2025).
On the complexity of edge subdivision to $H$-free graphs
Subdividing an edge $uv$ in a graph replaces it by a path $u w v$ with one new vertex. For a graph $H$, the \textsc{$H$-free Subdivision} problem asks whether, given a graph $G$ and an integer $k$, one can destroy all induced copies of $H$ in $G$ by at most $k$ edge subdivisions.
We show that the problem is polynomial-time solvable when every component of $H$ is a subdivided star or a subdivided bistar, and at most one component is a subdivided bistar. On the other hand, we prove that \textsc{$H$-free Subdivision} is NP-complete and, assuming the Exponential Time Hypothesis, admits no $2^{o(k)} n^{O(1)}$-time algorithm whenever $H$ satisfies any of the following conditions: \begin{itemize}
\item $H$ has minimum degree at least $2$, and the neighborhood of every degree-$2$ vertex induces a $K_2$;
\item the vertices of degree at least $3$ in $H$ induce a graph with at least two edges;
\item $H$ has a triangle with two vertices of degree at least $3$;
\item $H$ contains, as an induced subgraph, the graph obtained from two vertex-disjoint triangles by adding one edge between them;
\item $H$ contains exactly one triangle;
\item $H$ has girth at least $4$;
\item $H$ is a tree with exactly two vertices of degree at least $3$ at distance $2$ or at least $4$. \end{itemize} A simple bounded search-tree algorithm for the problem runs in $2^{O(k)} n^{O(1)}$ time. Thus, for all hardness cases above, this running time is essentially optimal under ETH.
Local Limit of Random Regular Bipartite Planar Maps
We prove the existence of the local limit of uniform random d-regular bipartite planar maps, for every $d\geq 3$, as the number of vertices tends to infinity. The proof relies on a bijection between maps and so-called blossoming trees established in a previous work. After proving local convergence of the associated decorated trees, we extend the bijection to infinite trees and transfer the convergence to planar maps. The limiting object is almost surely one-ended and recurrent for the simple random walk.