tree
6860 papers tagged with this keyword
Nonexistence of a Leech Tree of Order 18: A Computer-Assisted Proof
A Leech tree of order $n$ is a tree with positive integral edge weights whose $n(n-1)/2$ pairwise weighted distances are precisely $1,2,\ldots,n(n-1)/2$. This paper gives a computer-assisted proof that no Leech tree of order $18$ exists. The argument has three layers. First, a development in Lean 4 verifies the structural facts used in the paper. These facts reduce every putative example to one of eight local configurations and justify several necessary conditions. Second, conventional mathematical arguments prove a component-pair whole-block exact-cover condition and the completeness of a recursive search. Third, exhaustive computations close all eight configurations. The computation records exact coverage, source and input hashes, terminal receipts, and checked exact-zero results. The structural layer is kernel-checked, but the search program, its execution, and the certificate checker have not been formalized in Lean. The result is therefore a computer-assisted proof, not an end-to-end Lean proof.
Maximum and Minimum Spectral Radii in an Exceptional Family for Edge-Disjoint Spanning Trees
For a connected graph $G$, let $τ(G)$ denote the maximum number of pairwise edge-disjoint spanning trees, and let $ρ(G)$ be its adjacency spectral radius. For integers $n\ge1$, $k\ge2$, and $k\leδ\le2k-1$, let $\mathcal{G}_{n,δ}$ be the class of connected $n$-vertex graphs with minimum degree $δ$, and let $\mathcal{L}_{\mathcal{H}}^{2}(n,k,δ)\subseteq\mathcal{G}_{n,δ}$ be the exceptional family introduced by Chang, Li, and Zhang. For sufficiently large $n$, the sharp adjacency-spectral threshold for $τ(G)\ge k$ is determined by maximizing $ρ(G)$ over this family.
Set $h=δ-k$. For each fixed admissible pair $(k,δ)$ and all sufficiently large $n$, we determine the maximum and minimum adjacency spectral radii in $\mathcal{L}_{\mathcal{H}}^{2}(n,k,δ)$. In the core--placement representation, let $M$ be the missing-edge graph of the bounded core. For $h\ge2$, the unique maximizer, up to isomorphism, satisfies $M\cong K_{1,h}\cup(h+1)K_1$, with the exceptional edges nested on the large-clique side. Hence the matching configuration proposed in Conjecture~2 of Chang--Li--Zhang is not extremal. For every $h\ge1$, the unique minimizer satisfies $M\cong hK_2\cup2K_1$, with the $2h$ exceptional edges having distinct endpoints on the large-clique side. We also settle the cases $h=0,1$ and all equality cases.
The proof combines an exact core--placement parametrization with a uniform Schur-complement resolvent expansion. The first candidate-dependent coefficient is affine in $\sum_{x\in V(M)}d_M(x)^2$, while the first placement-sensitive coefficient is a squared-load functional. Equitable quotient matrices yield the two extremal radii, and the maximizing graph gives the sharp global adjacency-spectral threshold.
Ramsey numbers of sparse graphs versus disjoint books
Let $B_k$ denote a book on $k+2$ vertices and $tB_k$ be $t$ vertex-disjoint $B_k$'s. For any integers $k\ge2$ and $t\ge1$, there exists a positive constant $ε=ε(k,t)$ such that every connected graph $G$ with $n\ge111t^3k^3$ vertices and at most $n(1+ε)$ edges satisfies $$r(G,tB_k)=2n+t-2.$$ Our result extends the work of Erdős, Faudree, Rousseau, and Schelp (1988), who established the corresponding result for $G$ being a tree and $t=1$.
Cayley trees and increasing 1,2-trees: let's twist!
Published
• View Publication
• BIB
An increasing 1,2-tree is a labeled graph formed by starting with a vertex and then repeatedly attaching a leaf to a vertex or a triangle to an edge, the labeling of the vertices corresponding to the order in which the vertices are added. Equivalently, increasing 1,2-trees are connected chordal graphs of treewidth at most 2 labeled with a reversed perfect elimination ordering. We prove that this family is equinumerous with Cayley trees, which are unconstrained labeled trees. In particular, the number of triangles in an increasing 1,2-tree corresponds to the number of twists. A twist (also called improper edge) is an edge whose endpoint closer to vertex 1 has a greater label than some vertex in the subtree rooted at the other endpoint of the edge. We provide three proofs of this result, the rst being based on similar recursive decompositions, the second on the resolution of generating functions, and the third describing a bijection. Finally, we propose ecient random generators for these two combinatorial families.
The phylogenetic rank of a graph
The Pachter-Sturmfels phylogenetic rank of a graph G is the minimal number of metric trees needed to embed G isometrically. Here, all edges of G are of length one and the product of metric trees is endowed with the supremum norm. We develop both a greedy and an exact algorithm for computing phylogenetic ranks. Using our algorithms, we construct a database of phylogenetic ranks which includes all graphs on 6 and 7 vertices. In particular, we exhibit examples disproving that the phylogenetic rank is hereditary, bounded by $\lceil \frac{n}{2} \rceil$, and a generalised 4-point conjecture by Pachter and Sturmfels. In addition, we show that the phylogenetic rank is subadditive under 1-sums and certain 2-vertex-sums, and that it is trivially upper bounded by n-1, where n denotes the number of vertices. We also provide a complete classification of graphs with phylogenetic rank 1 and construct several infinite families with phylogenetic rank $\lceil \frac{n}{2} \rceil$.
Sim-Width, Induced Matching Treewidth, and Tree-Independence Number in Induced $K_{t,t}$-Free Graphs
The tree-independence number $tree\text{-}α(G)$, the induced matching treewidth $tree\text{-}μ(G)$, and the sim-width $simw(G)$ are graph parameters defined in terms of tree or branch decompositions. We establish two polynomial bounds for the tree-independence number of induced $K_{t,t}$-free graphs, one in terms of sim-width and the other in terms of induced matching treewidth. Abrishami et al. (SIDMA, 2025) and Brettell et al. (EJC, 2025) asked whether bounded sim-width, together with the exclusion of an induced $K_{t,t}$, implies bounded tree-independence number. We answer this question by proving that, for integers $t\geq 2$ and $s\geq 1$, every induced $K_{t,t}$-free graph $G$ with $simw(G)\leq s$ satisfies $tree\text{-}α(G)=O_t\left((s+1)^{2t^2-2t}\right)$. This also proves a polynomial strengthening of a conjecture of Bešter Štorgel et al. (arXiv, 2026) concerning induced $K_{1,t}$-free graphs and improves a theorem of Alon et al. (arXiv, 2025) by reducing the exponent from $3t^2+1$ to $2t^2-2t$. Alon et al. (arXiv, 2025) asked whether, for fixed induced matching treewidth, the tree-independence number is polynomially bounded in $t$. Using a VC-dimension argument, we answer this question affirmatively by showing that, for integers $μ\geq 1$ and $t\geq 2$, every induced $K_{t,t}$-free graph $G$ with $tree\text{-}μ(G)\leqμ$ satisfies $tree\text{-}α(G)=t^{O_μ(1)}$.
An inequality for the number of independent sets of matroids with an application to the forest-tree ratio of graphs
Let $M=(E,\mathcal{I})$ be a matroid of rank $r$. Let $\mathcal{I}_k$ be the independent sets of size $k$, and let $I_k=|\mathcal{I}_k|$ and $I=|\mathcal{I}|$. We show that if every set $F\in \mathcal{I}_{r-1}$ is contained in at least $δ$ bases, then $$\ln \left(\frac{I}{I_r}\right)\geqslant \frac{I_{r-1}}{I_r}\cdot δ\ln \left(1+\frac{1}δ\right).$$ In particular, we have $$\frac{I}{I_r}\geqslant 2^{I_{r-1}/I_r}.$$ By combining this result with several other ideas, we prove that if $G$ is a simple connected graph on $n$ vertices, and $F(G)$ and $T(G)$ denote its numbers of spanning forests and spanning trees, respectively, then $$\frac{F(G)}{T(G)}\geqslant \frac{F(K_n)}{T(K_n)},$$ where $K_n$ is the complete graph on $n$ vertices. Equality holds if and only if $G=K_n$.
A near-linear upper bound for Burr's conjecture
Let $f(k)$ denote the smallest integer such that every oriented graph $D$ with chromatic number at least $f(k)$ contains every oriented tree on $k$ vertices. Burr (1980) showed that $f(k)\le (k-1)^2$ and conjectured that $f(k)=2k-2$. Bessy, Gonçalves and Reinald (2025) proved that $f(k)=O(k^{3/2})$. In this paper, by using an absorbing set method, we show that $f(k)\le \lfloor 31\log (k!)\rfloor=O(k\log k)$.
Quorum colorings of maximum cardinality in linear time for a subclass of perfect trees
Published
• View Publication
• BIB
A partition $π=\{V_{1},V_{2},...,V_{k}\}$ of the vertex set $V$ of a graph $G$ into $k$ color classes $V_{i}$, with $1\leq i\leq k$ is called a quorum coloring of $G$ if for every vertex $v\in V$, at least half of the vertices in the closed neighborhood $N[v]$ of $v$ have the same color as $v$. The maximum cardinality of a quorum coloring of $G$ is called the quorum coloring number of $G$ and is denoted by $ψ_{q}(G)$. A quorum coloring of order $ψ_{q}(G)$ is a $ψ_{q}$-coloring. The determination of the quorum coloring number or design a linear-time algorithm computing it in a perfect $N$-ary tree has been posed recently as an open problem by Sahbi. In this paper, we answer this problem by designing a linear-time algorithm for finding both a $ψ_{q}$-coloring and the quorum coloring number for every perfect tree whose the vertices at the same depth have the same degree.
Cyclic Subgroup Graph of a Group
A cyclic subgroup graph of a group is a graph whose vertices are cyclic subgroups of the group, and two distinct vertices are adjacent if one is a maximal subgroup of the other. In this paper, we examine several graph-theoretic properties of cyclic subgroup graphs, including bipartiteness, regularity, girth, diameter, and vertex degrees. We also classify all groups whose cyclic subgroup graphs are connected, complete, star graphs, trees, or paths. Further, we examine the cyclic subgroup graph for specific families of groups such as cyclic, dihedral, dicyclic, generalized quaternion, minimal non-cyclic and nilpotent groups. We also discuss the relationship of cyclic subgroup graph with the power graph and the enhanced power graph. Additionally, we give a relationship between a cyclic subgroup graph and a poset.
Paired Disjunctive Domination Number of Middle Graphs
Published in Fundamenta Informaticae, Volume 196, Issue 2 (September 21, 2026) fi:15937
• View Publication
• BIB
The concept of domination in graphs plays a central role in understanding structural properties and applications in network theory. In this study, we focus on the paired disjunctive domination number in the context of middle graphs, a transformation that captures both adjacency and incidence relations of the original graph. We begin by investigating this parameter for middle graphs of several special graph classes, including path graphs, cycle graphs, wheel graphs, complete graphs, complete bipartite graphs, star graphs, friendship graphs, and double star graphs. We then present general results by establishing lower and upper bounds for the paired disjunctive domination number in middle graphs of arbitrary graphs, with particular emphasis on trees. Additionally, we determine the exact value of the parameter for middle graphs obtained through the join operation. These findings contribute to the broader understanding of domination-type parameters in transformed graph structures and offer new insights into their combinatorial behavior.
Minimum degree and sparse connected spanning subgraphs
Let $G$ be a connected graph on $n$ vertices and at most $n(1+ε)$ edges with bounded maximum degree, and $F$ a graph on $n$ vertices with minimum degree at least $n-k$, where $ε$ is a constant depending on $k$. In this paper, we prove that $F$ contains $G$ as a spanning subgraph provided $n\ge 6k^3$, by establishing tight bounds for the Ramsey number $r(G,K_{1,k})$, where $K_{1,k}$ is a star on $k+1$ vertices. Our result generalizes and refines the work of Erdős, Faudree, Rousseau, and Schelp (JCT-B, 1982), who established the corresponding result for $G$ being a tree. Moreover, the tight bound for $r(G,tK_{1,k})$ is also obtained.
On the extrema of the mean subtree order of graphs
It has been conjectured that the minimum and maximum of the mean subtree order among connected graphs of order $n$ are attained by the path $P_n$ and clique $K_n$, respectively. Extending ideas due to Haslegrave and Vince, we confirm that the minimum is indeed attained by $P_n$. We also show that the maximum is attained by $K_n$ by proving that the ratio between spanning and almost spanning trees is maximised by the clique and applying a double-counting argument.
The Erdős--Sós Theorem
We present an exposition of a proof, discovered by GPT-6 Astra, of the Erdős--Sós Conjecture, which states that every graph with average degree greater than $t-2$ contains every tree on $t\geq 2$ vertices.
An Alon-Boppana Bound for the Non-Backtracking Operator
For any fixed $k$, we prove a lower bound on the $k$th largest modulus of an eigenvalue of the non-backtracking matrix $B$. Specifically, consider any deterministic or random family of graphs that converges locally to the unimodular Galton-Watson tree with root degree distribution $D$, and set $κ:=\mathbb E[D(D-1)]/\mathbb E[D]$. Given $κ>1$ and an exponential-moment bound on the empirical degree distributions, we show that $|λ_k(B)|\geq\sqrtκ-o_N(1)$, where $N$ is the number of vertices. When restricted to locally tree-like regular graphs, this recovers a well-known consequence of the Ihara-Bass formula. In the specific case where the graph is generated through the Erdős-Rényi model with expected degree $d>1$, this proves a conjecture of Bordenave, Lelarge, and Massoulié.
To do this, we show that the normalized log-determinant of the Bethe-Hessian of the graph is bounded by that of the Bethe-Hessian of its local limit. This bound is violated if the eigenvalues of the non-backtracking matrix are too small. We establish this using an effective-conductance interpretation of the tree Green's function recursion.
CAT(0) square complexes that do not embed into finite products of trees
Answering a question of Chepoi and Hagen, we give two constructions of bounded degree CAT(0) square complexes that cannot be isometrically embedded into any finite product of trees.
The first is based on Burling graphs and has degree at most five, which is optimal. These square complexes topologically embed into $\R^3$ since we further prove that every CAT(0) square complex whose vertices have degree at most five can be topologically embedded into the product of a line and a star. It turns out that in this setting, Burling graphs are the only obstruction: we prove that CAT(0) square complexes that topologically embed into $\R^3$ and whose crossing graph forbids some induced Burling graph can be isometrically embedded into a finite product of trees.
Our second CAT(0) square complex has degree at most six and its crossing graph forbids an induced Burling graph. Of independent graph-theoretic interest, along the way we construct intersections of chordal and interval graphs with arbitrarily large girth and chromatic number. We also discuss connections to nice labellings of event structures.
Weighted lattice point enumeration in lecture hall order polytopes
We consider weighted lattice point enumeration in lecture hall order polytopes. We observe that these half-open polytopes are closed under weight-lifting for a large class of polynomial weights, including monomials and weights given by binomial coefficients. For rooted trees, we prove that the corresponding (weighted) $h^\ast$-polynomial is real-rooted thereby complementing previous results of Savage-Visontai and Brändén-Leander.
The Aldous chain on cladograms mixes in order $n^2$ steps
Cladograms of size $n$ are unrooted binary trees whose leaves are labelled from 1 to $n$. Aldous introduced in 2000 a Markov chain on cladograms, a step of which consists of removing a leaf uniformly at random and reinserting it on a uniformly chosen edge. We introduce a coupling for this walk, which follows multiple colored subtrees in parallel. We go around the lack of independence of the colored components by finding a relevant statistic, namely the sum of the squares of the sizes of all colored components, which we prove has a drift. We deduce that the mixing time of the walk is of order $n^2$, solving a conjecture of Aldous.
The Distance Between the Adjacency Spectral Center and the Characteristic Set of a Tree
Let $\mathcal S(T)$ be the adjacency spectral center of a tree $T$, and let $\mathcal C(T)$ be its characteristic set. We determine the largest possible separation $d(T) := \operatorname{dist}_T(\mathcal{S}(T), \mathcal{C}(T))$ among trees of every order $n\ge3$. Writing $Δ_n:=\max_{|V(T)|=n}d(T)$, we prove $Δ_n=0\quad(3\le n\le11),\quad Δ_{12}=1$, and $Δ_n=\left\lfloor\frac{n-11}{2}\right\rfloor \quad(n\ge13)$. The argument rests on a simple opposition between two rooted-tree weights. An endpoint-rooted path minimizes adjacency spectral radius, but maximizes bottleneck Perron value. A one-sided replacement by a path therefore cannot decrease the distance between the two centers. Quantitatively, this gives the sharp estimate $|V(T)|\ge 2d(T)+11
\quad(d(T)\ge2)$. A preliminary six-vertex barrier shows that disjoint center sets require at least twelve vertices, and the four-leaf broom is extremal for every $n\ge12$.
Hall algebras of graphs and rooted trees
Hall algebras can be associated with a broad class of combinatorial structures through the theory of 2-Segal sets. In this paper, we study the Hall algebras arising from the 2-Segal sets of rooted trees, undirected graphs, and directed graphs. In each case, we establish an analogue of Green's theorem giving a twisted bialgebra structure to the Hall algebra, describe the primitive elements, and derive a presentation by generators and relations. As an application, we realize the Hall algebra of an undirected graph as the cohomology ring of a topological space. In the case of directed graphs, we introduce the Hall polynomial, defined as the Poincar{é} polynomial of the space of primitive elements. The Hall polynomial is an invariant of the underlying undirected graph which we show to be closely related to the Tutte polynomial. We furthermore give examples of graphs with equal Tutte polynomials but distinct Hall polynomials showing thus that the Hall polynomial encodes different information from that of the Tutte polynomial.