tree
6733 papers tagged with this keyword
On a conjecture of DeLaViña and Waller
The Wiener index of a connected graph is defined as the sum of distances between all its unordered pairs of vertices. Characterising graphs on $n$ vertices with a fixed diameter that maximise the Wiener index is a long-standing open problem. This problem has been resolved fully for trees on $n$ vertices with diameter $d \in \{1,2,3,4,n-3,n-2,n-1\}$ while partial results are available for $d=5$ and $6$. In this context, a conjecture proposed by DeLaViña and Waller has remained open for the last 18 years.
In this paper, we establish a necessary condition for a tree to attain the maximum Wiener index among all trees on $n$ vertices with a given diameter. Using this condition, we characterise the maximal trees for diameter $n-4$ and $n-5$. Furthermore, we prove the DeLaViña Waller conjecture for the classes of graphs having $0,1,2,3$ or $n-4$ cut vertices.
The size of the spanning-tree spectrum of simple graphs
For a graph $G$, let $τ(G)$ denote the number of spanning trees. We show that for every fixed $0 < c < 1/4$, the number of distinct values of $τ(G)$, as $G$ ranges over simple graphs on $n$ vertices, is at least $\exp(c n \log n)$ for all sufficiently large $n$. This is optimal up to the choice of the constant $c$ and resolves a conjecture of Chan-Kontorovich-Pak regarding a problem of Sedláček from the late 1960s.
On the Vertex Decomposability of $r$-Independence Complexes of Trees
Let $G$ be a graph and $r \ge 1$. A vertex subset is $r$-independent if every connected component of its induced subgraph has size at most $r$. The family of all such subsets forms a simplicial complex, the $r$-independence complex $\Ind_r(G)$, generalizing the classical independence complex.
Recent work has focused on shellability and vertex decomposability of these complexes. For chordal graphs, $\Ind_r(G)$ has the homotopy type of a wedge of spheres for all $r$, and some chordal subfamilies are known where these complexes are not even sequentially Cohen-Macaulay. Thus, determining chordal graph classes and values of $r$ for which $\Ind_r(G)$ is sequentially Cohen-Macaulay, shellable, or vertex decomposable remains an active area. Existing methods, based on chordal hypergraphs or special graph properties, do not extend to arbitrary chordal graphs.
In this paper, we show that for every tree $T$ and every integer $r \ge 1$, the complex $\Ind_r(T)$ is vertex decomposable, resolving a conjecture \cite[Conjecture 3.15]{PD23chordal} of Abdelmalek et al. Our approach gives a structural description of shedding vertices via rooted subtrees and uses it to prove vertex decomposability recursively.
The Syntax Of Polytopal Projections: From Permutohedra To Associahedra
Tonks' projection from the permutohedron to the associahedron and the Loday--Ronco map both send permutations to planar binary trees. We give a syntactic account of these maps in the equational calculus of the free non-symmetric, non-unital operad on one binary generator. The vertex restriction of Tonks' projection is obtained by evaluating the head-insertion encoding on the reversed permutation, while the Loday--Ronco map is obtained by evaluating the decreasing encoding. We also give a local operadic proof that Tonks' vertex map is order-preserving from the weak Bruhat order to the Tamari order.
Universality theorems for generalized splines
We study generalized splines from the perspective of the representation theory of the category of graphs with contractions. Our main theorem proves a kind of finite generation, which in turn implies the existence of a ``universal generating set'' for the module of splines over any graph with fixed combinatorial genus. This theorem holds over any Noetherian commutative ring with a chosen finite list of ideals for edge-labels. We then give several applications of this theorem, including showing that a particular generating function associated to splines on trees is algebraic when the base ring satisfies certain finiteness conditions. We illustrate our technical theorems explicitly by giving a classification of splines on graphs with combinatorial genus one and two.
$t$-tone edge coloring of graphs
In this paper, we introduce the notion of $t$-tone edge coloring. A $t$-tone edge $k$-coloring of a graph $G$ assigns to each edge of $G$ a set of $t$ distinct colors from $\{1,\dots,k\}$ such that any two edges at distance $d$ share fewer than $d$ common colors. The $t$-tone chromatic index of $G$, denoted by $τ'_t(G)$, is the minimum integer $k$ for which $G$ admits a $t$-tone edge $k$-coloring. We focus on the case $t=2$ and establish several upper bounds on $τ'_2$. In particular, for every graph $G$ with maximum degree $Δ(G)\ge2$, we prove that $τ'_2(G)\le 6Δ(G)-4$, improving the corresponding bound derived from the vertex analogue. We also show that every tree $T$ with $Δ(T)\ge3$ satisfies $τ'_2(T)=2Δ(T)$. Furthermore, every planar graph $G$ satisfies $τ'_2(G)\le \max\{41,3Δ(G)+5\}$, while every outerplanar graph $G$ satisfies $τ'_2(G)\le \max\{14,3Δ(G)\}$. For subcubic graphs $G$, the vertex analogue yields $τ'_2(G)\le12$. We improve this bound to $11$ for claw-free subcubic graphs and to $10$ for $2$-degenerate subcubic graphs. Finally, we propose two conjectures concerning optimal bounds for cubic and $K_4$-free cubic graphs, and establish them for series-parallel subcubic multigraphs and subcubic outerplanar graphs, respectively.
Laplacian Spectrum of the Weakly Zero-Divisor Graph of a Finite Commutative Ring
For a commutative ring $R$ with identity, the \emph{weakly zero-divisor graph} $\WG(R)$ has vertex set $\Z(R)^{\ast}$, with distinct vertices $x$ and $y$ adjacent whenever there exist nonzero $r\in\Ann(x)$ and $s\in\Ann(y)$ with $rs=0$. The Laplacian spectrum of $\WG(\Z_n)$ has been determined by Shariq, Mathil, and Kumar, who also established that $\WG(\Z_n)$ is Laplacian integral. Building on the structural description of $\WG(R)$ due to Nikmehr, Azadi, and Nikandish, we extend the Laplacian spectrum and integrality results from $\Z_n$ to \emph{every} finite commutative ring $R$: we restate $\WG(R)$ in unified form as a complete multipartite graph whose parts are made explicit by the local-ring decomposition of $R$, compute the full Laplacian spectrum in closed form, prove Laplacian integrality of $\WG(R)$, and give a sharp bound on the number of distinct Laplacian eigenvalues. As consequences we obtain explicit formulas for the algebraic connectivity and number of spanning trees of $\WG(R)$, and recover the Laplacian spectrum of $\WG(\Z_n)$ in compact form.
Spectral radius and edge-disjoint connected factors of graphs
For a graph $G$, the spectral radius of $G$ is the largest eigenvalue of its adjacency matrix. A connected factor of $G$ is a connected spanning subgraph of $G$. For example, a spanning tree of $G$ is a 1-connected factor of $G$. Let $G$ be a graph of order $n$ with minimum degree $δ\geq6$, where $n\geq3δ$. In this paper, we give a sharp spectral radius condition for $G$ to contain $k$ edge-disjoint 2-connected factors and $\left\lfloor\frac{δ-4k}{2}\right\rfloor$ edge-disjoint spanning trees, where $1\leq k\leq\left\lfloor\fracδ{4}\right\rfloor$ is an integer.
A Balancing Theorem for Spanning Trees of Rectangular Grid Graphs
We prove that, among rectangular grid graphs with a fixed number of vertices, the number of spanning trees increases when the side lengths are made more balanced. In particular, among all rectangular grid graphs with $n^2$ vertices, the square $n\times n$ grid has the largest number of spanning trees. The proof starts with the Laplacian product formula, passes to hyperbolic coordinates, and compares logarithms by separating a discrete-concavity term from a positive decreasing residual term.
Excess Obstructions and Star-Isolated Certificates for the Hypergraph Nash--Williams--Tutte Conjecture
Guo, Li, Shangguan, Tamo, and Wootters formulated in SIAM Journal on Computing a hypergraph Nash--Williams--Tutte conjecture: every $k$-weakly-partition-connected hypergraph on $t$ vertices should admit a $k$-distinguishable tree assignment. We show that the conjecture, in its literal published form, is false for a sharp and structural reason. A tree assignment replaces every hyperedge $e$ by a tree with $|e|-1$ labelled edges, so its edge number is the excess $ρ(H)=\sum_e(|e|-1)$. A $k$-tree decomposition, however, has exactly $k(t-1)$ edges. Thus $ρ(H)=k(t-1)$ is a necessary condition, whereas weak partition connectivity only implies $ρ(H)\ge k(t-1)$. Consequently, for every $t\ge2$, $k\ge1$, and $q\ge1$, the hypergraph consisting of $k+q$ copies of the full hyperedge $V$ is $k$-weakly-partition-connected but has no $k$-distinguishable tree assignment. We then isolate the critical corrected form, prove that its equality is exactly the equality required for the full intersection-matrix row set, and give a large non-graphic class of critical positive instances. The positive construction uses layer-contained star realizations and extremal signature weights, producing weak partition connectivity by a quotient-rank argument and unique signatures under one-vertex sums and explicit two-sided star blocks.
Induced/Incomparable versus Ramsey
We consider the following problem: Let $H$ and $F$ be two graphs on $k$ vertices and assume $F \neq H$. We say that $H$ and $F$ are incomparable if neither $F$ nor $H$ contains the other.
Let $H$ be a graph on $k$ vertices and let $G$ be a graph on at least $k$ vertices. Then $G$ is said to be $H$-exact if any induced subgraph of $G$ on $k$ vertices is either isomorphic to $H$ or incomparable with $H$. Exact($H$) is the family of all graphs $G$ which are $H$-exact.
We pose the following problem: For a graph $H$ on $k$ vertices, determine or estimate $f(H) = \max \{n: \exists G \in \text{Exact}(H), |V (G)| = n\}$.
Among the many results obtained in this paper the following are representatives concerning trees and matchings:
1. For a tree on $k \geq 3$ vertices, $ (k - 1)(\left \lceil \frac{k}{2} \right \rceil -1 ) \leq f(T) \leq ( k-1)^2$.
2. For $k \geq 4$, $f(K_{1,k-1}) = (k-1)(k-2)$.
3. For $k \geq 5$, $f(P_k) = \frac{(k-1)}{2}$ if $k$ is odd and $f(P_k) = \frac{(k-1)(k-2)}{2}+1$ if $k$ is even.
4. $f(nK_2) = 3n$ for $n = 2, 3$ and $f(nK_2) = 4n - 4$ for $n \geq 4$.
Path-Minimality of $p$-Energy for Connected Graphs
Let $G$ be a simple connected graph on $n$ vertices, and let $λ_1(G),λ_2(G),\ldots,λ_n(G)$ be the eigenvalues of its adjacency matrix $A(G)$. For $p>0$, define the $p$-energy of $G$ by $\mathcal E_p(G)=\sum_{i=1}^n |λ_i(G)|^p$. We prove that, for every real number $p\ge 2$ and every simple connected graph $G$ on $n$ vertices, $$ \mathcal E_p(G)\ge \mathcal E_p(P_n), $$ where $P_n$ denotes the path on $n$ vertices. Moreover, for each fixed $p>2$, equality holds if and only if $G\cong P_n$. Together with the previously known star-minimality results, this completes the solution of two questions of Nikiforov.
The proof combines two different comparison principles. For $2<p<4$, we use a bipartite reduction, a Mellin representation of fractional powers, and a determinant comparison involving matching generating polynomials and tree shifts. For $p\ge4$, we prove a second-order stop-loss comparison for the squared singular values of bipartite graphs. This comparison is established by rank-one spectral-shift estimates, deletion-minimal counterexamples, and a finite certified analysis of the terminal sparse-sun configurations. As applications, we obtain sharp path-minimality results for positive $p$-energies in several cases, and for Laplacian and signless Laplacian power sums and related indices.
Regularizing and Normalizing DAGs and Phylogenetic Networks
Phylogenetic networks and, more generally, directed acyclic graphs (DAGs) represent hierarchical structure beyond trees, for instance in the presence of reticulate evolutionary events such as hybridization or horizontal gene transfer. A central question is which parts of such graphs are essential with respect to leaf-observable information, and which parts can be removed without changing this information. Resolving this question can lead to principled simplification methods for phylogenetic networks, such as the recent normalization approach of Francis et al.
In this paper, we study this question from three related perspectives: clusters displayed by a DAG $G$, least common ancestors (LCAs) of subsets of its leaf set, and visibility, a path-based property of vertices. We first introduce an LCA-based simplification procedure called $i$-regularization. For a DAG $G$ and $i\geq 1$, the DAG $\reg_i(G)$ retains precisely those vertices that occur as unique LCAs of leaf subsets of size at most $i$, removes the remaining non-leaf vertices by a graph-editing operation $\ominus$, and then deletes shortcuts. We show that $\reg_i(G)$ preserves all such LCAs, is $i$-lca-relevant, and admits a cluster-level description: it is regular, i.e., isomorphic to the Hasse diagram of the corresponding lca-clusters.
We then compare LCA-based regularization with normalization. Using the same $\ominus$-operator, we describe the cover construction underlying normalization, identify visible vertices that are nevertheless removed, and characterize when regularization and normalization coincide. Together, these results provide a unified framework for cluster-based, LCA-based, and visibility-based simplifications of DAGs and phylogenetic networks.
A Classification of Positive-Curvature Discrete Einstein Metrics on Trees
For a weighted tree, the Lin--Lu--Yau Ricci curvature admits an explicit formula in terms of the edge weights. Consequently, the constant-curvature equation is equivalent to an eigenvalue problem for an edge-indexed Ricci matrix $R_T$. Building on the spectral characterization of discrete Einstein metrics on trees, we classify all finite trees whose discrete Einstein metric has positive curvature, equivalently all trees satisfying $λ_{\max}(R_T)<0$. For caterpillars with spine order $m\ge 12$, this occurs precisely for the endpoint families $T_m(a,0,\ldots,0,b)$ with $1\le a,b\le 3$ and $(a,b)\ne(3,3)$. The remaining cases $3\le m\le 11$ are settled by an exact finite verification using rational characteristic polynomials and Sturm root counts. We also determine the zero level set $λ_{\max}(R_T)=0$: among caterpillars, it consists of the stable family $(3,0,\ldots,0,3)$ together with nine exceptional short-spine caterpillars, while $S_3^2$ is the unique non-caterpillar zero example.
Max-tree for d-permutations and pattern avoidance
Higher dimensional permutations are tuples of d-1 permutations that can be identified with a point set in a d-dimensional grid. In N. Bonichon and P.-J. Morel, {\it J. Integer Sequences} 25 (2022), several conjectures regarding the enumeration of pattern avoiding d-permutations were stated.
In this paper, we consider a mapping from d-permutations to $2^{d-1}-$ary trees that naturally generalizes the classical max-tree construction for permutations. We then show that, when restricted to d-permutations avoiding (21,12) and 231, this mapping yields a bijection with d-ary trees. This result resolves one of the conjectures of Bonichon and Morel.
The (n-2,2)-Spectrum of a Graph
We study a representation-theoretic refinement of the ordinary Laplacian spectrum of a graph. Given a graph $G$ on $n$ vertices, one may associate to it the element \[ X_G=\sum_{ij\in E(G)} (ij)\in \C[S_n]. \] The action of $X_G$ in irreducible representations of $S_n$ produces spectral invariants of graphs. The standard representation $(n-1,1)$ recovers the ordinary graph Laplacian spectrum, up to the elementary affine change $X_G=mI-L_G$, where $m=|E(G)|$. The next component, $(n-2,2)$, gives the first representation-theoretic correction. We give an explicit edge-space model for this component, derive a concrete coordinate formula for the induced operator, give a conceptual formula for all trace moments, specialize it to trees as universal linear combinations of support-forest counts, and then compute the first three moments explicitly. The third moment is expressed in terms of three-edge subgraph counts. We also introduce a weighted trace polynomial and prove that this weighted refinement already reconstructs every tree from the second moment, except for a single exceptional value of $n$ where the fourth moment suffices. Finally we discuss the relation with the invariant-theoretic approach of Thiéry \cite{Thiery} and formulate a more explicit support-forest-profile conjecture for the unweighted graph isomorphism problem for trees.
Graceful Labeling of Two Families of Spiders
A \emph{graceful labeling} of a graph $G$ is an injective function $f : V(G) \to \{0, \ldots, |E(G)|\}$ such that $\{\,|f(u)-f(v)| : uv \in E(G)\,\} = \{1, \ldots, |E(G)|\}$. If such a labeling exists, then we call $G$ \emph{graceful}. Introduced by Rosa in 1967, graceful labeling has been widely studied, and the Graceful Tree Conjecture asserts that every tree is graceful. The conjecture is known to hold for several classes of trees, including caterpillars, trees with at most four leaves, trees of diameter at most five, and certain spiders. An important subclass is that of \emph{$α$-labelings}, where a graceful labeling $f$ admits an integer $α$ such that each edge joins a vertex with label at most $α$ to one with label greater than $α$. A result from 1982 by Huang, Kotzig, and Rosa shows that if $H$ has an $α$-labeling with a vertex $u$ labeled $0$ or $α$, and $G$ has a graceful labeling with a vertex $v$ labeled $0$, then identifying $u$ and $v$ yields a graceful graph, though this requires a $0$-labeled vertex in $G$. We prove a related result that relaxes this condition: if $G$ has a graceful labeling $f$ such that $f(u)+\lfloor n/2 \rfloor + 1 \le n$ and $n \not\equiv 1 \pmod{4}$, where $u\in V(G)$ and $n\ge 2$ is an integer, then joining $u$ to an end vertex of the vertex-disjoint $n$-vertex path $P_n$ yields a graceful graph. As an application, we show that any spider with legs $L_1,\ldots,L_s$ ($s \ge 1$) satisfying $|E(L_{2})| \ge 2|E(L_1)|+ 4$ and $|E(L_{i+1})| \ge 2|E(L_i)|+ 2$ for $i \in \{2,\ldots, s-1\}$ is graceful. Furthermore, we give an explicit graceful labeling for spiders with one leg of arbitrary length and all others of length at most two such that the center is labeled by $0$. This labeling enables the construction of larger graceful spiders by attaching paths at the center.
On Tournament Anti-Sidorenko Orientations of Trees
An oriented graph $\vec{H}$ is said to be tournament anti-Sidorenko if the homomorphism density of $\vec{H}$ in any tournament $\vec{T}$ is bounded above by the homomorphism density of $\vec{H}$ in a large uniformly random tournament. We prove the following:
(1) Every oriented path with at least three arcs and exactly one non-leaf source or sink vertex is tournament anti-Sidorenko.
(2) An oriented path is tournament anti-Sidorenko if the distance between any leaf vertex and any source or sink vertex is at least two and the distance between any pair of non-leaf source or sink vertices is a multiple of four.
(3) Every spider with exactly three legs admits a tournament anti-Sidorenko orientation.
The first result proves a conjecture posed by He, Mani, Nie, Tung and Wei. The third resolves a problem from the same paper, in fact establishing a substantially more general statement, and provides evidence in support of a conjecture of Fox, Himwich, Mani and Zhou. The second yields the first family of tournament anti-Sidorenko oriented paths which is exponentially large with respect to the number of arcs.
Counterexamples to a Conjecture on Laplacian Ratios of Trees
For a graph \(G\) with no isolated vertices, its Laplacian ratio is defined as \[ π(G)=\frac{\operatorname{per}(L(G))}{\prod_{v\in V(G)} d(v)}, \] where \(L(G)\) is the Laplacian matrix of \(G\), \(d(v)\) is the degree of \(v\), and \(\operatorname{per}\) denotes the permanent. Brualdi and Goldwasser asked for the maximum value of \(π(T)\) among trees \(T\) with a fixed number of vertices. Wu, Dong and Lai recently proposed a conjectural answer to this problem. We give infinite families of counterexamples to their conjecture.
On the number of distinct spanning trees in pseudorandom graphs
A celebrated result of Otter says the number of distinct unlabelled spanning trees in $K_n$ is $α^n$ up to subexponential factors for an absolute constant $α>0$. In this note, we prove that for every $0<\varepsilon<α$, there are constants $C$ and $d_0$ such that every $(n,d,λ)$-graph with $d\geq d_0$ and $d/λ\geq C$ has at least $(α-\varepsilon)^n$ distinct unlabelled spanning trees.