tree
6733 papers tagged with this keyword
Exact random covers of metric trees: balanced rounding, duality, and sharp thresholds
Norin and Turcotte's asymptotically sharp bound for graph burning [J. Combin. Theory Ser. B 168 (2024), 208--235] led them to an exact random-cover conjecture for finite metric trees. Let $U[0,r]$ be the uniform probability measure on $[0,r]$. They conjectured that every finite metric tree $T$ of length $L\ge2r$ admits a probability measure on $0$-good ball covers whose expected radius measure is at most $(L/r)U[0,r]$. We prove the conjecture for every finite metric tree.
We recast the bootstrapping calculation of Norin and Turcotte as a zero-error replacement certificate. The resulting local scale reduction, together with a three-piece decomposition and a macro-recursion, produces a fractional marked-ball cover with the exact radius budget. We then pass from the fractional cover to random finite covers by a compact rounding argument. For metric-tree balls, Tamir's balancedness theorem and standard balanced-matrix ideality provide the finite-dimensional integrality input.
We also prove an arbitrary-budget duality criterion. If $0<R\le L$ and $β$ is a finite positive Borel measure on $[0,R]$, then $β$ dominates the expected radius measure of a random $0$-good cover if and only if $σ(T)\le\int_{[0,R]}\max_{v\in T}σ(B_T(v,s))\,dβ(s)$ for every finite positive Borel measure $σ$ on $T$; it is enough to test finite atomic measures. We use this criterion to extend the uniform range to every $r\le L-\operatorname{diam}(T)/2$, determine the exact range for equal-arm metric stars, and derive deterministic bounds, interval rigidity, and a diameter-defect stability estimate.
Multiplicity-Isolated Cores and Chromatic Symmetric Reconstruction of Trees
Stanley's tree-isomorphism conjecture asks whether the chromatic symmetric function distinguishes nonisomorphic trees. We give a reconstruction criterion that permits repeated leaf-component orders. For a proper tree, collapse each leaf component to its center and record its order as a vertex weight. We prove that the chromatic symmetric function reconstructs the tree whenever every nonleaf vertex of this weighted core has a weight that occurs nowhere else in the core. Repetitions among core leaves are unrestricted. The proof uses only the leading star-basis partition and the coefficients immediately above it. As a consequence, the conjecture holds for an infinite class of diameter-six trees not covered by the condition that all leaf-component orders are distinct. We also give a canonical integer-partition model for arbitrary diameter-six trees and an exact cut-partition implementation intended for further work. The unrestricted diameter-six case remains open.
Extremal graphs for a conjecture on the square energy of graphs
For a graph $G$, let $s^+(G)$ and $s^-(G)$ denote the sums of the squares of its positive and negative adjacency eigenvalues. We determine all equality cases in the conjecture of Elphick, Farber, Goldberg, and Wocjan that every connected graph $G$ on $n$ vertices satisfies \[
\min \{s^+(G),s^-(G)\}\ge n-1. \] Namely, equality for $s^+$ holds exactly for trees, whereas equality for $s^-$ holds exactly for trees and complete graphs. The proof combines the $P_3$-removal lemma in the no-cut-vertex case with a detailed equality analysis of the underlying doubly nonnegative matrix inequality. Every block is forced to be complete, and a minimal-counterexample argument gives an exact rank-one decomposition of the folded matrix $M^c$. The resulting non-edge vanishings, together with $AX=XA$, rule out an interface between a bridge and a nontrivial block.
A 32-leaf tree requiring six coordinates for an isometric $\ell_\infty$ embedding
We disprove the conjecture that every tree with t leaves embeds isometrically into $\ell_\infty^{\lceil \log_2 t\rceil}$. We construct a 32-leaf tree whose least isometric $\ell_\infty$-dimension is six rather than five, and prove that every tree with at most 31 leaves attains the conjectured bound; Brigham et al. had recorded equality through 21 leaves. Thus 32 is the first failure, and the example answers affirmatively a question of Fitzpatrick and Nowakowski from 2000. The same topology has dimension six under every assignment of positive edge lengths, and therefore also disproves the later sharp leaf-threshold conjecture for weighted metric trees.
A Family of Simultaneously Cospectral Trees for Degree-Distance Matrices
Spectral characterization of graphs for various graph matrices constitutes a central topic in spectral graph theory. Let $G$ be a graph with adjacency matrix $A(G)$, diagonal degree matrix $\Deg(G)$, distance matrix $D(G)$, and transmission matrix \(\Trs(G)\), respectively. Recently, Alfaro and Zapata (2024) introduced the degree-distance matrices \(\Ddegp(G)=\Deg(G)+D(G)\) and \(\Ddeg(G)=\Deg(G)-D(G)\), together with the transmission-adjacency matrices \(\Atrsp(G)=\Trs(G)+A(G)\) and \(\Atrs(G)=\Trs(G)-A(G)\). Based on computational evidence for trees on at most \(20\) vertices, they conjectured that all trees are determined by the spectra of \(\Ddegp\) as well as \(\Ddeg\).
In this paper, we disprove these conjectures by constructing an infinite family of pairs of non-isomorphic trees. More precisely, for each integer \(r\ge 3\), we construct a pair of trees on \(17r-15\) vertices which are simultaneously cospectral with respect to the following six matrices \[
A,\quad L,\quad Q,\quad D,\quad \Ddegp,\quad \Ddeg . \] The construction is based on an \(r\)-regularized leaf extension and an equitable-partition reduction. We also record a simple sign-switching observation for transmission-adjacency matrices: if \(G\) is bipartite, then \(\Atrs(G)\) and \(\Atrsp(G)\) are similar via a diagonal \(\{\pm1\}\)-matrix and have the same Smith normal form. Consequently, for trees, the spectral and Smith normal form problems for \(\Atrs\) and \(\Atrsp\) are equivalent.
The maximum number of maximal dissociation sets in trees
Let $G$ be a simple graph. A dissociation set of $G$ proposed by Yannakakis in $1981$ is defined as a set of vertices that induces a subgraph in which every vertex has a degree of at most $1$. A dissociation set is maximal if it is not contained as a proper subset in any other dissociation set. In $2025$, Wang et al.\cite{ZiyuanWang} established that for any tree $T$ of order $n\geq 4$, the number of maximal dissociation sets in $T$ is at most $3^{\frac{n-1}{3}}+\frac{n-1}{3}$ and characterized the extremal trees attaining the upper bound. They also proposed a conjecture about the upper bound of the maximal dissociation set. In this paper, we consider this conjecture and show that the maximum number of maximal dissociation sets in a tree of order $n(n\geq 3)$ is $g(n)$, where \[ g(n) = \begin{cases} n, & n=3,4,5,6,\\ 3^{\frac{n-1}{3}}+\frac{n-1}{3}, & n \equiv 1 \pmod{3},~n\geq7,\\ 4\cdot 3^{\frac{n-5}{3}}+n-5, & n \equiv 2 \pmod{3},~n\geq8, \\ 16\cdot 3^{\frac{n-9}{3}}+3n-25, & n \equiv 0 \pmod{3},~n\geq12~\text{and }~n\neq21, \\ 19, & n=9, \\ 1349, & n=21. \end{cases} \] We also characterize the extremal trees with the maximum number of maximal dissociation sets.
On the Spectral Determination of Complements of \(T\)-shape Trees
A graph \(G\) is said to be \emph{determined by its spectrum} if every graph cospectral with \(G\) is isomorphic to \(G\). A \emph{T-shape tree} is defined as a tree containing exactly one vertex of maximum degree three. For any three positive integers \(\ell_1\),\(\ell_2\) and \(\ell_3\) with \( \ell_1\leq \ell_2\leq \ell_3\), we denote by \(T(\ell_1,\ell_2,\ell_3)\) the unique \(T\)-shape tree such that deleting its degree-three vertex \(v\) yields three disjoint paths \(P_{\ell_1}\), \(P_{\ell_2}\), and \(P_{\ell_3}\), i.e., \(T(\ell_1,\ell_2,\ell_3)-v = P_{\ell_1}\cup P_{\ell_2}\cup P_{\ell_3}\), where \(P_k\) stands for the path graph on \(k\) vertices. In this paper, we establish a complete spectral characterization for the complements of \(T\)-shape trees, settling a long-standing conjecture posed by Wang and Xu (2006). Specifically, we prove that the complement of \(T(\ell_1,\ell_2,\ell_3)\) is spectrally determined if and only if \((\ell_1,\ell_2,\ell_3) \notin \{(\ell,\ell,2\ell-2):\ell\ge2\}\). Moreover, all cospectral mates of the complement of the \(T\)-shape tree \(T(\ell,\ell,2\ell-2)\) are identified for every integer \(\ell\geq 2\).
Product structure of graphs excluding a topological minor
We prove that, for all positive integers $h$ and $t$ and every graph $X$ with $\mathrm{td}(X) \leq h$, there exists a positive integer $c(X,t)$ such that every graph $G$ with $\mathrm{tw}(G) < t$ that excludes $X$ as a topological minor is isomorphic to a subgraph of $H \boxtimes K_{c(X,t)}$ for some graph $H$ with $\mathrm{tw}(H) < 2^{h+1}-1$. This extends a result by Ding and Oporowski (Journal of Graph Theory; 1995), which states that for all positive integers $Δ$ and $t$, here exists a positive integer $f(Δ,t)$ such that every graph $G$ with $\mathrm{tw}(G)<t$ and $Δ(G)\leqΔ$ is isomorphic to a subgraph of $T \boxtimes K_{f(Δ,t)}$ for some tree $T$.
Tree-partitions of graphs with bounded tree-depth
Wood~ recently showed that every graph $G$ of pathwidth $h$ and $Δ(G)\ge1$ admits a $T$-partition of width at most $4(h+1)^2Δ(G)$ for some tree $T$ with $pw(T)\leq2h+1$. In this paper, we establish an analogous result for tree-depth, which is a stronger parameter than pathwidth. We prove that every connected graph with tree-depth $h$ admits a $T$-partition of width at most $\mathrm{max}\{1, (4h-10)Δ(G)+1\}$ for some tree $T$ with $\operatorname{rad}(T)\leq h-1$.
Metropolis-Hastings Sampling of Phylogenetic Networks: Correcting for Symmetries
In phylogenetics, Metropolis-Hastings methods are commonly used to sample phylogenetic trees or networks, for example from Bayesian posteriors. These methods generally use transitions that distinguish all nodes involved, and thus require fully labelled representations of phylogenetic networks. We argue that sampling leaf-labelled phylogenetic networks demands a correction for the number of fully labelled representatives of a leaf-labelled network, or, equivalently, for its internal symmetry. Without correction, there is a danger of undersampling networks with internal symmetries. We show that this correction can be realized by a quotient construction on the Metropolis-Hastings Markov chain, which, in practice, requires the calculation of the size of the network's automorphism group. Using $μ$-vectors, we show that the automorphism group is trivial for orchard networks, and thus also for tree-child networks and trees. This implies that a correction for symmetry is not needed when sampling only from such network classes. More generally, using our Python implementation of the algorithms in this paper, we show that using $μ$-vectors can significantly speed up calculations of automorphism group sizes and thus of Metropolis-Hastings sampling of leaf-labelled networks.
An improved finite bound for oriented trees in tournaments
Sumner's universal tournament conjecture asserts that every tournament on $2n-2$ vertices contains every oriented tree on $n$ vertices. Let $f(n)$ be the least integer $N$ such that every tournament on $N$ vertices contains every oriented tree on $n$ vertices. Havet and Thomassé proved that $f(n)\le \lceil(7n-5)/2\rceil$, El Sahili improved this to $f(n)\le3n-3$, and Dross and Havet subsequently obtained $f(n)\le\lceil21n/8-47/16\rceil$. We refine their median-order method. More precisely, every non-bi-arborescence on $n$ vertices with $k$ leaves is $(4n-2k-4)$-unavoidable, which strictly improves their many-leaf estimate; bi-arborescences satisfy the stronger bound $2n-2$. Combining this refinement with their few-leaf bound gives $f(n)\le\lceil(18n-23)/7\rceil$ for every $n\ge2$. Thus the coefficient in the previously best general bound valid uniformly for all $n$ is reduced from $21/8$ to $18/7$.
Average hitting times and recurrence structures II: Cartesian products of powers of cycles and regular graphs
In our previous work \cite{MiezakiTamura2026}, we clarified the second-order linear recurrence structures appearing in the average hitting times on the $k$-th power graph $C_N^k$ of the cycle graph. In this paper, for a connected $r$-regular graph $G$ on $m$ vertices, we investigate the average hitting times of the simple random walk on the Cartesian product graph $C_N^k \square G$. By using discrete Fourier analysis in the $C_N^k$ direction and the Laplacian spectral decomposition of $G$, we decompose the average hitting time into a component proportional to the average hitting time on $C_N^k$ and correction terms arising from the nonzero Laplacian eigenspaces of $G$. For each nonzero Laplacian eigenvalue, we introduce a Chebyshev-type polynomial, and when all of its roots are simple, we express the correction term as a finite Green-type sum. Furthermore, for two vertices having the same $G$-coordinate, we transform this expression into a second-order linear recurrence representation of the form $V_\ell V_{N-\ell}/V_N$.
When $G$ is a walk-regular graph, the average hitting time between two vertices having the same $G$-coordinate depends only on the Laplacian eigenvalues of $G$ and their multiplicities. We also derive formulas for the number of spanning trees and the number of two-component spanning forests of $C_N^k \square G$, and give several explicit examples.
Bijective proofs of several conjectures on Jacobi permutations
Jacobi permutations, invented by Viennot in the context of the Jacobi elliptic functions, are counted by the Euler numbers. Recently, Henke, Hoffman, Stephens, Yuan, and Zhuang studied refined enumerations of Jacobi permutations and proposed three conjectures concerning the distribution of several statistics on Jacobi permutations. In this paper, we prove these conjectures by establishing explicit bijections involving increasing even trees, increasing binary trees, alternating permutations, and André permutations. One highlight of our results is a bijection between Jacobi permutations and André I permutations that transforms the pair of statistics $(\Ascbot, \last)$ to the pair of statistics $(\Desbot, \first)$. Here the statistic $\Ascbot$ (resp., $\Desbot$) denotes the set of ascent bottoms (resp., descent bottoms) of permutations, and the statistic $\first$ (resp., $\last$) denotes the first (resp., $\last$) letter of permutations. Furthermore, we investigate pairs of statistics on André permutations and simsun permutations that are equidistributed with the pair $(\asc, \last)$ on Jacobi permutations, where $\asc$ denotes the number of ascents of permutations. Finally, we obtain a closed-form formula for the trivariate exponential generating function of Jacobi permutations with respect to the number of ascents and the numbers of letters smaller and larger than the last letter.
On spanning trees whose degrees are congruent to one modulo $\ell$
An $\ell$-congruent spanning tree of a nontrivial connected graph is a spanning tree in which every vertex has degree congruent to one modulo $\ell$. This notion provides a common generalization of classical spanning trees and odd spanning trees. We show, via a constructive greedy algorithm, that every $n$-vertex graph $G$ satisfying $n\equiv2\pmod{\ell}$ and $δ(G)>\frac{(\ell-1)n}{\ell}$ has an $\ell$-congruent spanning tree. For the special case of odd spanning trees ($\ell=2$), our algorithmic approach simplifies the original proof by Zheng and Wu. We also derive formulas for the numbers of $\ell$-congruent spanning trees in complete graphs and complete bipartite graphs. These formulas specialize to the classical spanning-tree formulas when $\ell=1$ and to the corresponding odd-spanning-tree formulas when $\ell=2$.
On ${\rm b}^{\ast}$-Coloring and $z$-Coloring of graphs with high girth
In a proper vertex coloring $c$ of a graph $G$, a vertex $u$ is called a b-vertex if $u$ is adjacent to a vertex in every other color class. A ${\rm b}^{\ast}$-coloring is a proper coloring in which a b-vertex is adjacent to a b-vertex in every other color class. A Grundy coloring is a proper coloring obtained by the First-Fit (greedy) coloring procedure. A $z$-coloring of $G$ is a ${\rm b}^{\ast}$-coloring that is also a Grundy coloring. The ${\rm b}^{\ast}$-chromatic number (resp., $z$-chromatic number), denoted by ${\rm b}^{\ast}(G)$ (resp., $z(G)$), is the maximum number of colors used in a ${\rm b}^{\ast}$-coloring (resp., $z$-coloring) of $G$. Every graph admits a ${\rm b}^{\ast}$-coloring and a $z$-coloring that can be found using a polynomial-time coloring heuristic. Let ${\rm m}^{\ast}(G)$ be the largest integer $k$ such that a vertex of degree at least $k$ in $G$ has $k$ neighbors of degree at least $k$. We employ list-coloring techniques to prove that if $G$ has a girth of at least $7$, then ${\rm b}^{\ast}(G) = {\rm m}^{\ast}(G)+ 1$. A similar result is obtained for graphs of girth at least $6$ when ${\rm m}^{\ast}=3$. Finally, we prove that if the girth is at least $2k+2$ and $G$ contains a specific tree as an ordinary subgraph, then $z(G)\geq k$.
Fixed forests in the minimum spanning tree and cubic volume growth
Let $M_n$ be the minimum spanning tree of the complete graph $K_n$ with i.i.d.\ uniform edge weights. For a fixed forest $F$ with connected components $T_1, \ldots, T_d$, we show that there exists a function $Ψ$ on finite trees such that $$
n^{|E(F)|} \mathbb{P}_n(F \subseteq M_n) \longrightarrow \prod_{i=1}^d Ψ(T_i). $$ We give a recursive description of $Ψ$ and calculate it explicitly for several small trees. For the star $S_k$ and the path $P_k$, we prove that $Ψ(S_k) \sim ζ(2)^k$ and $Ψ(P_k) \sim k^2/12$, respectively. We also show that the expected size of a ball of radius $r$ is asymptotic to $r^3/36$, and give exponential tail bounds.
Row pathwidth of complete binary trees
We show that if a complete binary tree of height $h$ is isomorphic to a subgraph of the strong product of a graph $H$ and a path, then $\mathrm{pw}(H)$ is $Ω(h)$. This solves a problem posed by Bose, Dujmović, Javarsineh, Morin, and Wood (2022). The proof was found by OpenAI's GPT-5.6 Sol Pro.
On the self-intersection time of non-backtracking random walks
We study the self-intersection time of the non-backtracking random walk on connected undirected graphs. For every fixed $Δ\geq 3$ we show that the expected self-intersection time is $O(\sqrt{n} \log n)$ on $n$-vertex graphs with minimum degree at least $3$ and maximum degree at most $Δ$. For regular graphs with a uniform spectral gap, we improve this to $O(\sqrt{n})$. We also show an $Ω(\sqrt{n})$ lower bound on a class of regular expanders. Our upper bound on the expected self-intersection time implies an improved mixing time bound on Glauber dynamics for the Ising model on $Δ$-regular graphs at the tree uniqueness threshold.
Proper $\{a,b\}$-edge-weightings of trees
Let $a$ and $b$ be distinct real weights. An $\{a,b\}$-edge-weighting of a tree assigns one of these weights to each edge and is proper if adjacent vertices have different sums of incident edge weights. For every such pair, we give an explicit structural characterization of the trees that do not admit a proper $\{a,b\}$-edge-weighting. If $ab(a+b)\neq0$, then $K_2$ is the only tree without such a weighting. If $a+b=0$, then a tree has no proper $\{a,b\}$-edge-weighting exactly when every vertex has degree $1$ or $3$ and the subgraph induced by the degree-$3$ vertices has a perfect matching. For the remaining case $ab=0$, form the spanning forest consisting of the edges whose deletion leaves two odd-order components. A tree $T$ has no proper $\{a,b\}$-edge-weighting exactly when both bipartition classes have odd order and every component of this forest satisfies two conditions. First, every component satisfies the preceding degree-and-matching condition. Second, within each component, the degree of a vertex $v$ in the forest plus twice the number of incident edges $e$ outside the forest for which the component of $T-e$ not containing $v$ has an odd number of vertices from each bipartition class is independent of $v$. For every fixed pair of distinct real weights, the proofs yield a linear-time algorithm that decides whether a proper $\{a,b\}$-edge-weighting exists and constructs one when it does.
A proof of a conjecture on subtree roots
The subtree polynomial of a tree is the generating function that enumerates its subtrees according to their orders. Brown and Mol conjectured that every subtree root of a tree of order \(n\ge 2\) lies in the disk \[ \left\{z\in\mathbb C: |z|\le 1+\sqrt[n-1]{n-1} \right\}. \] We confirm this conjecture. We also show that every nonzero subtree root \(z\) satisfies \[ |z|>\sqrt[n-1]{n-1}-1. \] Consequently, all nonzero subtree roots lie in the annular region
\[ \left\{z\in\mathbb C: \sqrt[n-1]{n-1}-1 <
|z| \le 1+\sqrt[n-1]{n-1} \right\}. \] The upper bound is sharp for every even \(n\) and is asymptotically sharp as \(n\to\infty\) through odd integers. The lower bound is also asymptotically sharp as \(n\to\infty\).