tree
6860 papers tagged with this keyword
Extremal subtrees of critical beta-splitting trees
We determine the most and least likely shapes for an instance of the critical beta-splitting tree via a connection to data compression and Huffman's minimum redundancy codes. This allows us to answer combinatorial questions about the distribution of clades posed by Aldous and Janson, stated as problem 7 in arXiv:2303.02529.
Clique-dependent strongly sublinear treewidth and strongly sublinear tree-independence number
We establish a strongly sublinear counterpart of a recent result of Chudnovsky, E S, and Lokshtanov (arXiv 2025) on treewidth and tree-independence number. Namely, we prove that a hereditary graph class has strongly sublinear tree-independence number if and only if, for every fixed clique bound, its graphs of bounded clique number have strongly sublinear treewidth. In fact, this is part of a broader equivalence theorem. For hereditary classes, these conditions are also equivalent to having clique-dependent polynomial expansion, to admitting balanced separators whose size is bounded by $Kω(G)^s |V(G)|^{1-β}$ for fixed $K,s,β>0$, and to admitting balanced clique-based separators of strongly sublinear size (equivalently, weight). Thus, we show that all these properties, which arose independently in the study of subexponential-time exact algorithms and polynomial-time approximation schemes, in fact describe the same hereditary graph classes. As a consequence of our equivalence theorem, we also show that every hereditary class $\mathcal C$ with strongly sublinear tree-independence number admits a subexponential-time algorithm that, given $G\in\mathcal C$, computes a tree decomposition of $G$ with strongly sublinear independence number.
Sharp connectivity thresholds for mixed rigidity packings and improved bounds for highly connected orientations of graphs
Garamvölgyi, Jordán, Király and Villányi [{{\bf Forum Math. Pi} \textbf{13} (2025), Paper No.~e11}] posed two sharp connectivity conjectures for packing rigid spanning subgraphs: one for the equal-dimensional case and the other for the packing of a $d$-rigid spanning subgraph with a spanning tree. We prove a unified theorem: for arbitrary positive integers $d_1,\ldots,d_s$, every $\sum_{i=1}^{s}d_i(d_i+1)$-connected graph contains pairwise edge-disjoint spanning subgraphs $H_1,\ldots,H_s$ such that $H_i$ is $d_i$-rigid for every $i$. The connectivity bound is sharp whenever $\sum_{i=1}^{s}d_i(d_i+1)\ge4$.
As special cases, the theorem settles both conjectures, confirms the conjecture of Garamvölgyi, Jordán and Király [{\bf J. Combin. Theory Ser. B} \textbf{166} (2024), 1--29] that every $tk(k+1)$-connected graph contains $t$ pairwise edge-disjoint $k$-connected spanning subgraphs, and gives the sharp threshold $d(d+1)+2r$ for packing one $d$-rigid spanning subgraph together with $r$ pairwise edge-disjoint spanning trees.
We also obtain two upper bounds related to Thomassen's conjecture on highly connected orientations of graphs. If $f(q)$ is the least integer such that every $f(q)$-connected graph has a $q$-connected orientation, then $f(q)\le(25q^2+41q-16)/2$ for every $q\ge3$ and $f(q)\le8q^2+212q+1404=(8+o(1))q^2$ for all sufficiently large $q$; these two results reduce the leading coefficient in the previous quadratic bound from $320$ to $25/2$ for every $q\ge3$ and $8$ for all sufficiently large $q$. Compared to the bound for $f(q)$ obtained by Garamvölgyi et al. we obtain the better bounds, not only through our tight rigidity result but also by exploiting the leftover edges when we remove two edge-disjoint spanning (sufficiently) rigid graphs.
Extremal spectral result of outerplanar graphs without $P_{3\cdot l}$
A graph $G$ is $F$-free if it does not contain $F$ as a subgraph. Let $\mathrm{spex}(n,F)$ be the maximum spectral radius over all $n$-vertex $F$-free outerplanar graphs. For integers $t\geq1$ and $l\geq2$, let $P_{t\cdot l}$ be the starlike tree with $t$ branches of length $l-1$. For sufficiently large $n$, Yin, Li, and Meng [arXiv:2504.04364v1] characterized the unique extremal graph for $\mathrm{spex}(n,P_{t\cdot l})$ when $t=1$, $t=2$, or $t\geq4$. They left the case $t=3$ open and proposed a natural candidate for the extremal graph. We show that this candidate is not extremal and determine the unique extremal graph for $\mathrm{spex}(n,P_{3\cdot l})$. For every $l\geq3$ and all sufficiently large $n$, this unique extremal graph is $K_1\vee\bigl(2P_{2l-3}\cup qP_{l-2}\cup P_r\bigr),$ where $q$ and $r$ are integers satisfying $n=2(2l-3)+q(l-2)+r+1,$ $q\geq0,$ $0\leq r<l-2.$
Constructing two completely independent spanning trees in dual-cubes
In this paper, we prove the existence of two completely independent spanning trees in the $n$-dimensional dual-cube $F_n$, a variant of the hypercube, for every $n \geq 5$. To this end, we use the hypercube structure of the clusters of $F_n$ to extend the construction of CIST from the $(n-1)$-dimensional hypercube to the dual-cube. In addition, we provide a recursive algorithm that builds the two trees while improving their diameters. Finally, we propose a conjecture regarding the existence of $k$ completely independent spanning trees in the dual-cube.
Independent Set Reconfiguration via Dilworth Decompositions
The Token Jumping and Sliding Token problems are fundamental reconfiguration problems defined on the independent sets of an undirected graph. Given two independent sets $I$ and $J$, each of size $k$, these problems ask whether there exists a sequence of elementary operations transforming $I$ into $J$ such that every intermediate configuration is also an independent set of size $k$. Suppose a token is placed on each vertex of $I$: in Sliding Token, an operation moves a token from a vertex $u \in I$ to an adjacent vertex $v \notin I$; in Token Jumping, the token may instead move to any vertex $v \notin I$. While both problems are $\mathsf{PSPACE}$-complete on general graphs, polynomial-time algorithms for one or both variants have been developed for several graph classes, including trees, block graphs, bipartite permutation graphs, cographs, $P_4$-tidy graphs, and interval graphs.
In this paper, we prove that both problems are solvable in polynomial time on threshold signed graphs, also known as Dilworth-2 graphs. A graph $G=(V,E)$ is a threshold signed graph if there exist a mapping $a:V\to\mathbb{R}$ and positive real constants $S,T>0$ such that $|a(v)|< \min\{S,T\}$ for all $v \in V$, and for any distinct vertices $u,v\in V$, $\{u,v\}\in E$ if and only if $|a(u)+a(v)|\ge S$ or $|a(u)-a(v)|\ge T$. More generally, we also show that Token Jumping can be solved in time $n^{O(\mathcal{D}(G))}$, where $\mathcal{D}(G)$ denotes the Dilworth number of $G$. Thus, Token Jumping belongs to $\mathsf{XP}$ when parameterised by the Dilworth number.
This graph class is a subclass of permutation graphs, for which the complexity of these problems remains open, and is incomparable with the class of bipartite permutation graphs studied by Fox-Epstein et al. (ISAAC, 2015).
Asymptotics for the harmonic descent chain and applications to critical beta-splitting trees
Motivated by the connection to a probabilistic model of phylogenetic trees introduced by Aldous, we study the recursive sequence governed by the rule $x_n = \sum_{i=1}^{n-1} \frac{1}{h_{n-1}(n-i)} x_i$ where $h_{n-1} = \sum_{j=1}^{n-1} 1/j$, known as the harmonic descent chain. While it is known that this sequence converges to an explicit limit $x$, not much is known about the rate of convergence. We first show that a class of recursive sequences including the above are decreasing and use this to bound the rate of convergence. Moreover, for the harmonic descent chain we prove the asymptotic $x_n - x = n^{-γ_* + o(1)}$ for an implicit exponent $γ_*$. As a consequence, we deduce central limit theorems for various statistics of the critical beta-splitting random tree. This answers a number of questions of Aldous, Janson, and Pittel.
Brauer-Kuroda relations for ramified graph covers
We establish graph-theoretic analogues of the Brauer-Kuroda relations for ramified Galois covers of finite graphs with arbitrary finite Galois groups. These formulas relate the numbers of spanning trees of intermediate quotient graphs and recover the corresponding formulas for unramified covers. Our proofs use $h$-functions defined on multiplicity spaces of complex representations of the Galois group.
Hoffman-type Results for the Sum of k Largest Eigenvalues of a Graph
Let $S_k(G)$ denote the sum of the $k$ largest eigenvalues of a graph $G$. Motivated by the classical Hoffman program for the spectral radius of a graph, we investigate an additive Hoffman-type problem for $S_k(G)$. For each fixed $k\geq 2$ and sufficiently large order $n$, we characterize all connected graphs satisfying $S_k(G)<2k$. As a consequence, we prove that the path $P_n$ is the unique minimizer of $S_k(G)$ among all connected graphs of order $n$.
\vspace*{2mm}
We further investigate the first Hoffman-type range \[ 2k\leq S_k(G)<2k+\sqrt{2+\sqrt5}-2. \] We completely characterize the non-tree graphs in this range and reduce the tree case to several explicit families. The proofs combine Ky Fan's variational principle, spectral estimates from vertex-disjoint subgraphs, structural results for graphs with small spectral radius, and long-path arguments for bounded-degree graphs.
Connectivity keeping pendant extensions of paths in $k$-connected graphs and triangle-free graphs
Motivated by Mader's conjecture on connectivity keeping trees, we study trees obtained from paths by adding one pendant vertex, as well as related problems in triangle-free graphs.
For an integer $m$ and $1\leq i\leq m-1$, let $P_m^+(i)$ denote the tree obtained from a path of order $m-1$ by adding one pendant vertex adjacent to its $i$th vertex. We prove that, for positive integers $k,m,1\leq i\leq m-1$, every $k$-connected graph $G$ with $δ(G)\geq \lfloor \frac{3k}{2}\rfloor+m-1$ contains a subgraph $T\cong P_m^+(i)$ such that $κ(G-V(T))\geq k$. This confirms Mader's conjecture for all pendant extensions of paths.
For highly connected triangle-free graphs, a connectivity keeping result for paths was obtained in [J. Combin. Theory Ser. B, 174 (2025), 190-206]. Let $(X,Y)$ be the bipartition of $P_m^+(i)$. We further prove that every $k$-connected triangle-free graph $G$ with $δ(G)\geq k+\max\{|X|,|Y|\}+[P_m^+(i)\text{ is bad}]$ contains a subgraph $T\cong P_m^+(i)$ such that $κ(G-V(T))\geq k$, where we use Iverson's convention for $[P_m^+(i)\text{ is bad}]$. This extends the corresponding result for paths to pendant extensions of paths.
Embedding rooted blow-ups of tree posets
A tree poset $T$ is a poset whose Hasse diagram is a tree. Bukh proved that if a family $\mathcal F\subseteq 2^{[n]}$ contains $(h(T)-1+\varepsilon)\binom{n}{\lfloor \frac{n}{2}\rfloor}$ sets, then $\mathcal F$ contains a weak copy of $T$, where $h(T)$ is the height of $T$, the number of elements in a longest chain of $T$. Several strengthenings and generalizations of this result have been obtained. We prove the following robust variant. For a tree poset $T$ and $x\in T$, the $b$-blow-up $T(x,b)$ rooted at $x$ is the tree poset that we obtain from $T$ by replacing every element $u$ by $b^d$ new elements, where $d$ is the distance $d(x,u)$ in the Hasse diagram of $T$ and an edge $uv$ with $v$ being closer to $x$ is replaced by edges such that every new copy of $v$ is joined to $b$ new copies of $u$ such that these new copies form pairwise disjoint sets for the copies of $v$. We prove that for any tree poset $T$, $x\in T$, and $\varepsilon>0$ there exists $δ$ such that if $\mathcal F\subseteq 2^{[n]}$ contains $(h(T)-1+\varepsilon)\binom{n}{\lfloor \frac{n}{2}\rfloor}$ sets, then $\mathcal F$ contains a weak copy of $T(x,\lfloor δn\rfloor)$. This settles a conjecture of Treglown and the author. As applications, we derive the known asymptotic counting and random versions of Bukh's theorem from this stronger embedding result, and obtain new maximal anti-Ramsey results for tree posets.
Hyperfiniteness of boundary actions via tree decompositions
We study conditions for a countable group acting on a connected locally finite hyperbolic graph to induce a hyperfinite orbit equivalence relation on the Gromov boundary of the graph in terms of tree-decompositions of the graph.
We prove that for a connected locally finite hyperbolic graph $X$ equipped with an action of a countable group $G$, if $(T, β)$ is a $G$-invariant tree-decomposition of $X$ such that each bag induces a connected subgraph $X_t$ of $X$ for each $t \in V(T)$, each adhesion set is finite and such that there are only finitely many $G$-orbits of edges of $T$, then the orbit equivalence relation of $G$ acting on the Gromov boundary $\partial X$ is hyperfinite provided the orbit equivalence relation of $G$ acting on $\partial T$ is hyperfinite and the orbit equivalence relations of the bag stabilizers acting on $\partial X_t$ are all hyperfinite. We show that the converse also holds if $(T, β)$ satisfies the additional property that each adhesion set distinguishes at least two ends of $X$.
Relaxed coparking functions and Stanley's conjecture for matroid $h$-vectors
Stanley's conjecture asserts that the $h$-vector of a matroid is a pure $O$-sequence. Corry, Dochtermann, McClain, Perkinson and Yi introduced cycle systems, which give a bijective proof for the matroids that admit one, through coparking functions, and proposed generalized cycle systems. Every matroid admitting a cycle system is regular, and the Wagner and Petersen graphs admit no generalized cycle system consisting of circuits. We propose a relaxation. Where the coparking recursion breaks down, at the strata whose unique union is independent, the coparking functions are replaced by a fibre: a pure multicomplex with the $h$-vector of the dead node, the minor of the matroid attached to the stratum. We prove, for any matroid with a fixed basis, that whenever the required fibres exist the relaxed coparking functions form a pure multicomplex whose degree sequence is the $h$-vector of the matroid, so Stanley's conjecture follows. The proof rests on a version of Dhar's burning algorithm for a matroid with a fixed basis, which gives the purity, and on a deletion-contraction identity that computes the gap between the $h$-vector and the coparking functions as a sum of local $h$-vectors, one per dead node. Coned, biconed and triconed graphs carry a fibre system with their canonical spanning trees, as do the Wagner and Petersen graphs. Beyond graphs, every basis of a matroid of corank two, of a matroid of rank at most four or of a uniform matroid carries a fibre system, so Stanley's conjecture follows for those classes. We also give a graph of radius two on twelve vertices which, with its breadth-first spanning tree, carries no fibre system.
Diagonal parity and loop toggling for symmetric matrices over $\mathbb F_2$
Let $M$ be a symmetric matrix over $\mathbb{F}_2$, and let $\operatorname{diag}(M)$ be its diagonal vector. It is known that $\operatorname{diag}(M)\in\operatorname{Im}(M)$. Thus the affine system $Mx=\operatorname{diag}(M)$ is always solvable. We strengthen this existence statement to a parity rigidity theorem: every solution satisfies $\operatorname{diag}(M)^T x\equiv\operatorname{rank}(M)\pmod{2}$. For graph matrices, this gives a common extension of Sutner's odd-domination theorem and Batal's parity theorem from closed-neighborhood matrices $A(G)+I$ to arbitrary partially looped graph matrices $A(G)+D$. We also study how rank and nullity change when loops are toggled. Algebraically, simultaneous loop toggling on the support of a vector $u$ is the diagonal rank-one update $M\mapsto M+uu^T$. We prove an exact three-case rank and nullity formula for this update. Finally, for rooted trees with arbitrary binary diagonal labels, we give a finite-state boundary recursion using affine subspaces of $\mathbb F_2^2$. This recursion counts all generalized odd-domination patterns and implies eventual quasigeometric nullity formulas for complete rooted trees with eventually periodic depth labels.
Directed distances in spanning-tree-decorated planar maps: exact exponent, scaling limit and universality
We define a natural orientation on a spanning-tree-decorated planar map whereby, roughly speaking, each directed edge in the map is oriented to match the direction of the contour exploration of the spanning tree. We study directed distances (lengths of shortest directed paths) with respect to this orientation.
We construct the Busemann function which measures directed distances to $\infty$ along a natural interface in the uniform infinite spanning-tree-decorated map. We show that this Busemann function, re-scaled appropriately, converges in law to a $3/2$-stable Lévy process.
We also show that in a uniform spanning-tree-decorated map with $n$ edges, directed distances are typically of order $n^{1/3}$. Using a strong coupling argument, we deduce analogous statements for directed distances in other random planar maps in the $\sqrt 2$-Liouville quantum gravity (LQG) universality class, including uniform meandric systems and mated-CRT maps for $γ=\sqrt 2$. These results give the scaling dimension for a hypothetical directed version of the $\sqrt 2$-LQG metric.
Our proof strategy is inspired by work of Borga and Gwynne (2025) on directed distances in bipolar-oriented triangulations.
Tree Bricks and Finite Tree Automata
Let $Λ=KQ/I$ be a finite-dimensional zero-relation algebra. We encode Crawley--Boevey tree modules over $Λ$ by finite rooted trees labelled by arrows of $Q$ and their formal inverses, and construct a deterministic finite bottom-up tree automaton recognizing exactly these encodings. We define an accepted tree to be an automata-induced tree brick when it has no non-trivial factor--image self-overlap, and use Crawley--Boevey's graph-map basis to prove that this is equivalent to brickness of the associated tree module. We also introduce local colourings of $Q_1$ and show that the arrow alphabet can be compressed without changing the tree data, graph maps, or brick property. The optimal number of colours for such a compression is the maximum of the in-degree and out-degree of $Q$. We conclude by asking whether the tree language consisting only of bricks is regular.
Induced packing treewidth II. Excluding a clique or a biclique
The notion of induced packing treewidth aims to unify classes defined by forbidden induced subgraphs or induced minors with classes defined by the existence of certain structured tree decompositions. For a graph $H$, \emph{induced $H$-packing treewidth}, denoted by $\treepi_{H}$, is a tree-decomposition-based graph parameter that, for each bag, measures the maximum number of pairwise anticomplete induced copies of $H$ intersecting that bag. This notion generalizes some previously studied parameters: when $H=P_1$, it is equivalent to tree-independence number, and when $H=P_2$, it is equivalent to induced matching treewidth.
We prove the following:
\begin{itemize}[itemsep=2mm,leftmargin=6mm]
\item For all $a,t\in \mathbb{N}$, $K_{a,a}$-free graphs of bounded induced $P_t$-packing treewidth have bounded tree-independence number.
This extends the previous result of Abrishami et al. [SIAM J. Discrete Math., 2025] for $t=2$, and a result of Hajebi and Spirkl who showed that $(P_t,K_{a,a})$-free graphs have bounded tree-independence number.
\item If $H$ is any fixed path or a star, then the class of graphs of bounded induced $H$-packing treewidth is $χ$-bounded.
Again, this extends the previous result of Abrishami et al. [SIAM J. Discrete Math., 2025] for $H=P_2$.
\item Finally, we study the relationship between induced packing treewidth and \emph{sim-width}, a width parameter based on branch decompositions.
We show that, although \emph{sim-width} and induced $P_3$-packing treewidth are incomparable, graphs of bounded sim-width that exclude all \emph{$H$-obstructions}---certain graphs that force large induced $H$-packing treewidth---have bounded induced $H$-packing treewidth.
This simultaneously generalizes and resolves questions posed by Abrishami et al. [SIAM J. Discrete Math., 2025] and Brettell et al. [European J. Comb., 2025]. \end{itemize}
Erdős-Sós via random cyclic orderings
We present a simplified proof of the Erdős-Sós Conjecture on trees in graphs, which is based on its recent resolution by GPT-6 Astra. At the same time, we also give another proof of the corresponding conjecture for antidirected trees in digraphs, posed by Addario-Berry, Havet, Linhares Sales, Reed, and Thomassé. Our proof uses the language of random cyclic orderings in order to take advantage of symmetries that were obscured in the original argument, and we hope that the reader will find it intuitive.
Discrete Einstein metrics on unicyclic graphs
In earlier work with Cheng and Hua we showed that on a finite tree the Lin--Lu--Yau discrete Einstein equation is a single linear eigenvalue problem: the metric is the Perron eigenvector of an edge-indexed Ricci matrix. We extend this theory to unicyclic graphs. For geodesic cycle weightings of girth at least four, we characterize exactly when the same local matrix computes the true curvature; this is the balanced regime. Schur complementation of the pendant trees then reduces the eigenvalue problem to a periodic transfer equation on the cycle. We obtain closed formulas for bare cycles and regular suns, prove a sharp maximum-degree bound, and show that the spectral top of a fixed localized defect on a growing cycle converges to the top bound state of the corresponding infinite-line operator. This yields an explicit golden-ratio threshold for balance. Outside the balanced regime the active shortest paths and optimal transport constraints must also be tracked, and phenomena impossible on trees occur: the bare four-cycle has a one-parameter family of Einstein metrics, whereas a triangle with one pendant leaf has none. For every regular sun we construct the symmetric Einstein metric and prove that it is the unique Einstein metric, up to scale, among all positive weightings. As long as a normalized Ricci-flow trajectory remains in the balanced cone, its projective dynamics is generated by the fixed Ricci matrix.
Covering graphs by isometric trees
A connected subgraph of a graph is isometric if it preserves distances. Recently, graphs admitting a vertex or edge covering by a small number of isometric paths have been studied. In this paper, we consider the analogous problem for isometric trees, focusing on the treewidth of graphs admitting a vertex or edge covering by a small number of such trees. Baste, De Meyer, Giocanti, Objois, and Picavet showed that for coverings by two isometric trees, the treewidth is bounded. We show that already for three isometric trees, the treewidth can be linear in the number of vertices. On the positive side, we show that for graphs of bounded degree coverable by a small number of isometric trees, the treewidth is sublinear in the number of vertices.