tree
6860 papers tagged with this keyword
Vertices that belong to every minimum dominating set of a graph and their connection with transportation sharing systems with study cases in Campo de Gibraltar area
This study addresses a theoretical model regarding equity and accessibility challenges in designing shared transportation systems (such as micro-mobility networks) by applying graph-vertex domination setting. The work focuses on identifying dominating forced vertices, that represent nodes belonging to every dominating set of a graph of the smallest possible cardinality, and which correspond to critical, non-negotiable station locations essential for maintaining system efficiency and coverage.
From a theoretical perspective, in the paper it is first demonstrated that determining whether a given vertex is a dominating forced vertex is co-NP-hard, establishing the computational infeasibility of exact identification in large networks. To analyze graph structures, sharp theoretical bounds on the maximum number of dominating forced vertices are established, proving that their count is bounded above by one-third of the order of the graph, and provide complete structural characterizations for graphs achieving this bound, as well as, trees with no dominating forced vertices.
To overcome computational limits in practical urban settings, the study uses an iterated greedy metaheuristic framework to generate minimal dominating sets and approximate critical forced nodes based on their appearance frequency across iterations. The methodology is validated on strong grid graphs and applied to real-world road network models of Algeciras and La Línea de la Concepción, two cities in the area of Campo de Gibraltar, Spain, which successfully pinpoints candidate location points for scooter-sharing stations across both cities.
The stacking number of a tree
The stacking number of a graph is the least integer t >= 2 such that every configuration of t pebbles can be transformed by pebbling moves into a configuration supported on one vertex. We prove that, for every finite tree T with at least two vertices, this number equals the rooted distance-and-degree estimator conjectured by Csernák and Soukup. The proof uses an exact recursive characterization of stackability at a prescribed vertex, an explicit zero-score obstruction, and a weighted cancellation argument for arbitrary nonstackable configurations. The complete theorem is formalized in Lean 4; the formal result has also passed Palomar mechanical verification and is publicly registered as PALOMAR-2026-09-25-000010.
Complexity, approximation, and extension of proper $\{a,b\}$-edge-weightings
For distinct integers $a$ and $b$, an $\{a,b\}$-edge-weighting assigns $a$ or $b$ to each edge and labels each vertex by the sum of its incident weights. Such a weighting is proper if adjacent vertices receive distinct labels. We prove that, for every fixed pair of distinct integers, deciding whether a proper weighting exists is NP-complete even for simple cubic planar graphs. On planar multigraphs with $m$ edges, we give an exact $2^{O(\sqrt m)}$-time algorithm and, assuming the Exponential Time Hypothesis (ETH), exclude $2^{o(\sqrt m)}$-time algorithms even for simple cubic planar graphs. As a consequence, locally irregular $2$-edge-coloring is NP-complete on simple cubic planar graphs, admits a deterministic $2^{O(\sqrt n)}$-time algorithm on $n$-vertex graphs in this class, and admits no $2^{o(\sqrt n)}$-time algorithm under ETH. For maximizing the number of edges joining vertices with distinct labels, we give a deterministic efficient polynomial-time approximation scheme (EPTAS) on planar multigraphs, a polynomial-time $1/2$-approximation on multigraphs, and APX-completeness even on simple cubic graphs. Extending a partial $\{a,b\}$-edge-weighting to a proper one is NP-complete for every fixed pair even on simple cubic planar bipartite graphs, while it is polynomial-time solvable on trees. The hardness persists even when the prescribed edges form disjoint paths of length $6$ and all edges of each path have the same prescribed weight.
Positivity Rigidity for Grossman-Larson Characters and the Kingman Face of the Hoffman Rooted-Tree Graph
We classify the real characters of the Grossman-Larson Hopf algebra that are nonnegative on the rooted-tree basis. They vanish on trees with branching away from the root, and the normalized characters are parametrized by Kingman paintboxes. Two-sided Pieri states are mixtures of the normalized characters, with unique mixing measures. The corresponding laws form a proper exposed Bauer face of the simplex of central measures on the Hoffman rooted-tree graph. For the path-forest subgraph, the full and minimal Martin boundaries coincide and are homeomorphic to the Kingman simplex. The limiting ranked root-branch frequencies generate the completed central tail.
Asymptotic structure. III. Excluding a fat tree
Robertson and Seymour proved that for every finite tree $H$, there exists $k$ such that every finite graph $G$ with no $H$ minor has path-width at most $k$; and conversely, for every integer $k$, there is a finite tree $H$ such that every finite graph $G$ with an $H$ minor has path-width more than $k$. If we (twice) replace ``path-width'' by ``line-width'', the same is true for infinite graphs $G$.
We prove a ``coarse graph theory'' analogue, as follows. For every finite tree $H$ and every $c$, there exist $k,L,C$ such that every graph that does not contain $H$ as a $c$-fat minor admits an $(L,C)$-quasi-isonetry to a graph with line-width at most $k$; and conversely, for all $k,L,C$ there exist $c$ and a finite tree $H$ such that every graph that contains $H$ as a $c$-fat minor admits no $(L,C)$-quasi-isometry to a graph with line-width at most $k$.
Spanning Trees with Many Leaves in Graphs of Minimum Degree at Least 7
We give a polynomial-time algorithm that constructs, in every connected $n$-vertex graph of minimum degree at least $7$, a spanning tree with at least $\frac{25200}{46189}n>0.5455\,n$ leaves. No bound specific to minimum degree $7$ was known: the best bound available for this class was $\frac{11}{21}n\approx0.5238\,n$, inherited from Simarova's theorem for minimum degree~$6$. The algorithm and its analysis are carried out for an arbitrary minimum degree $δ$, and yield a recursion that gives an explicit lower bound on the number of leaves for every $δ$. The resulting bounds improve all previously known ones for every $δ\ge7$; for $δ=8,9,10$ they are $0.5850\,n$, $0.6151\,n$ and $0.6413\,n$, and they are tabulated for $δ\le25$ at the end of the paper.
An extremal theorem for non-isomorphic spanning trees
For a graph $G$, let $τ_{\mathrm{iso}}(G)$ denote the number of isomorphism classes of its spanning trees. For every fixed $d\ge3$ and all sufficiently large $n$, we prove that every connected $n$-vertex graph $G$ with $δ(G)\ge d$ satisfies \[τ_{\mathrm{iso}}(G)\ge τ_{\mathrm{iso}}(K_{d,n-d})=A_dn^{d-1}+O_d(n^{d-2}),\] for an explicit constant $A_d>0$, and $K_{d,n-d}$ is the unique minimizer. This confirms a conjecture of Bitonti, Michel and Scott and extends it to every $d\ge3$. We also show that any such graph with $O(n^{d-1})$ spanning-tree types has all but a bounded number of vertices with the same $d$ neighbours.
Paired Domination in Cubic Bipartite Graphs
A paired dominating set of a graph $G$ is a dominating set $D$ such that $G[D]$ has a perfect matching. The minimum size of such a set is the paired domination number $\gpr(G)$. Desormeaux and Henning conjectured that every cubic bipartite graph $G$ of order $n$ satisfies $\gpr(G)\le n/2$. We prove the conjecture in the sharp integer form $\gpr(G)\le 2\lfloor |V(G)|/4\rfloor$ for every finite simple cubic bipartite graph $G$. The proof combines a directed contraction along a perfect matching, switching arguments based on dominator trees, a four-symbol boundary calculus for two-edge cuts, and the Gallai--Edmonds decomposition. Equality is attained by $K_{3,3}$ when $|V(G)|\equiv2\pmod4$ and by the cube $Q_3$ when $|V(G)|\equiv0\pmod4$.
Recursive Paintboxes and the Martin Boundary of the Hoffman Rooted-Tree Graph
We determine the Doob-Martin boundary of Hoffman's leaf-grafting graph on finite unlabelled non-plane rooted trees. Its full and minimal boundaries coincide and are parametrized by deterministic recursive paintboxes, identified when their finite sampling laws agree. Every central measure is a unique mixture of the corresponding extremal laws, and its limiting boundary point generates the completed tail field. We also show that the boundary is homeomorphic to the space of unordered root masses marked by child boundary classes. For the recursive Ewens family, we obtain the unique extremal decomposition from independent Poisson-Dirichlet splits, including the uniform recursive-tree and rooted-tree Plancherel cases.
On the largest common subtree of uniform attachment trees
We study the largest common subtree of two independent unlabeled uniform attachment trees (also known as random recursive trees). Our main result shows that, when the two trees have $n$ vertices each, their largest common subtree has at least $n^{0.83}$ vertices with high probability. This is obtained by starting with the common subtree induced by the Ulam--Harris labels in the two trees and improving using local optimization steps. We also give some upper bounds and bounds for general random tree growth models. We leave as an intriguing open question to understand the magnitude of the size of the largest common subtree.
Theta operators at $t=1$, Macdonald cumulants, and LLT positivity
We study the Theta operators of D'Adderio-Iraci-Vanden Wyngaerd at $t=1$ and show that the power-sum-indexed operators $Θ_{\mathsf p_k}|_{t=1}$ agree with a commuting family of derivations when restricted to symmetric functions of positive degree. Writing $\widetilde{h}_a$ for the modified Macdonald function indexed by the single row $(a)$ we establish that $Θ_{\mathsf p_μ}\widetilde{h}_a|_{t=1}$ is, up to a normalization, the single-row Macdonald cumulant of Dolęga. We use these results to show that $Θ_{\mathsf p_μ}\widetilde{h}_a|_{t=1}$ and $Θ_{\mathsf e_λ}\widetilde{h}_a|_{t=1}$ are both sums of vertical-strip LLT polynomials indexed by certain plane trees. The former further shows that single-row Macdonald cumulants are LLT-positive, thereby yielding a stronger form of the higher-order Macdonald positivity conjecture of Dolęga when all shapes are single rows.
The strong (non-induced) Turán numbers
In this paper we introduce and explore the following new graph invariant: For a graph $G$ on $k$ vertices, $G \neq K_k$, let $st(n,G)$ denote the maximum number of edges in a graph of order $n$ which does not contain any subgraph on $k$ vertices strictly containing $G$.
A basic relation to classical Turán numbers is developed via the following: For $G$ on $k$ vertices, let $D(G) = \{ H : |H| = |G|, H = G + e \}$. Using this notion we prove that $ex(n,G) \leq st(n,G) = ex(n, D(G) ) \leq \min \{ ex(n,H) : H \in D(G) \}$ holds for all $n \geq |G|$.
The family $D(G)$ happened to be smoothly amenable to the use of classical extremal results, and in many cases allows us to get asymptotically sharp estimates as well as exact values of $st(n,G)$.
From the many results proved here we state the following as an illustration.
(1) If $χ(G) \geq 3$ and $χ(D(G)) = χ(G)$, then $st(n,G) = (1+o(1))ex(n,K_{χ(G)})$.
(2) If $χ(D(G)) = χ(G) +1$, then $G$ is a complete $χ(G)$-partite graph and $st(n,G) = ex(n,K_{χ(G) +1})$ for $n$ sufficiently large.
(3) For $k$ odd, $k\geq 5$, $st(n,C_k) = ex(n,C_k) = ex(n,K_3)$ for $n$ sufficiently large.
(4) If $T$ is a tree of order $q$ with diameter $k \geq 2$ and $q \geq k+1 \geq 3$, then $ex(n, \{C_3,...,C_{k+1}\}) \leq st(n,T) \leq ex(n, \{C_3,...,C_{k+1}\}) + (q-1)n$.
Many results concerning even cycles, theta graphs, dense bipartite graphs and graphs of the form $G = G^* \cup tK_1$ are obtained, moreover the value of $st(n,G)$ is computed for all graphs on at most 4 vertices.
Ramsey Theory for Product Trees
We develop a Ramsey theory for leaf-generated subsets of finite products of trees. Our starting point is a Theorem of Furstenberg and Weiss which states that for every $k\geq 1$ and $α>0$, if $A$ is a subset of the leaves of $T_n$, where $T_n$ is the complete binary tree of height $n$, with size $|A|\geq 2^{αn}$, then for $n$ sufficiently large the ancestor closed sub-tree $T_A\subset T_n$ generated by $A$ must contain a copy of $T_k$ such that (1) all vertices in the same level of $T_k$ are mapped into vertices at the same level of $T_A$, (2) if a non-leaf vertex $x\in T_k$ is mapped into a vertex $y \in T_A$, then the two children of $x$ are mapped into descendants of the two children of $y$, and (3) the levels of $T_A$ occupied by the copy of $T_k$ form an arithmetic progression.
For the product $T_n \times T_n$ of two binary trees, we show that for every $k\geq 1$ and $α> 1$, for $n$ sufficiently large, every subset $A$ of the leaves of $T_n\times T_n$ of size at least $2^{αn}$ has that its ancestor closure $Γ_A\subset T_n \times T_n$ contains similarly structured arithmetic copies of the height $k$ four-ary tree, where the four children of every non-leaf vertex in the source tree are required to map below the four distinct \textit{diagonal children} of the image vertex, where a diagonal child of a vertex $(x,y) \in T_n \times T_n$ is obtained by moving one level down each in each component.
Our results generalise to product of $d$-many finite $b$-ary trees with a sharp critical exponent of \[ α_{\text{crit}}(d,b) =d-1 + \log_b(b-1).\] Geometrically, our results imply that any set $E\subset [0,1)^d$ of upper Minkowski dimension greater than $α_{\text{crit}}(d,b)$ contains arithmetic $b$-adic branching patterns of arbitrary finite order.
Fractional expectation thresholds and the "second" Kahn-Kalai conjecture
We show that the uniform probability measure on copies of a nonempty graph $H$ in $K_n$ is $Cq_H\log(2e(H))$-spread, where $q_H$ is its graphic expectation threshold. Consequently, the fractional expectation threshold of $H$ is at most $Cq_H\log(2e(H))$. We remove the logarithmic factor for trees and for graphs whose average degree is at least the logarithm of their maximum degree. This proves the ``second'' Kahn-Kalai conjecture for these two classes, which encompass most of the standard families studied in random graph containment problems.
Path Enumeration by Position-Visit Counts in Recombining Trinomial Trees
Recombining trinomial trees are a workhorse for modeling discrete-event systems in option pricing, logistics, and feedback control. Because each node stores a state-dependent quantity, a depth-$D$ tree contains $3^D$ raw trajectories, making exhaustive enumeration rapidly infeasible. However, when each node's value depends only on its position, a raw trajectory's aggregate is determined by its position-visit counts. We call these count vectors cardinality tuples and decompose the admissible tuples into weak-composition mass layers. Leveraging these structures, we introduce a mass-shifting enumeration algorithm that slides integer ``masses'' through cardinality tuples to generate exactly one representative of each path-equivalence class, while the accompanying weak-composition bijections yield exact counting formulas for the generated families. This suppresses redundant raw-path orderings a priori rather than enumerating and deduplicating them afterward. For the full-tuple implementation, we prove an output-sensitive running-time bound at each fixed endpoint, together with a uniform worst-case upper bound $\mathscr{O}(D2^D)$ and an exact worst-case exponential growth base of $2$, compared with base $3$ for exhaustive raw-path enumeration. Thus the construction achieves a provable exponential reduction in the enumeration space, up to polynomial factors. The same framework also recovers the information compressed by the equivalence classes: we derive an exact degeneracy formula for the number of raw paths represented by every cardinality tuple. We further prove that the nonnegative return specialization is exactly the classical Motzkin family, recover its recursive and generating-function structure and the Dyck specialization, and derive a multivariate occupation-profile $J$-fraction whose coefficients recover the corresponding cardinality-tuple degeneracies.
Matching Complexes of Outerplanar Graphs
An outerplanar graph is a planar graph that has a planar drawing with all vertices on the unbounded face. The matching complex of a graph is the simplicial complex whose faces are subsets of disjoint edges of the graph. In this paper we prove that the matching complexes of outerplanar graphs are contractible or homotopy equivalent to a wedge of spheres. This extends known results about trees and polygonal line tilings.
On the limiting distribution of the number of improper edges for random trees
Improper edges were introduced by Shor to refine Cayley's formula for rooted labeled trees. Zeng established a connection between Shor's refinement and the Ramanujan polynomials. Let $\mathscr{T}_n$ denote the set of rooted labeled trees on $[n]=\{1,\ldots,n\}$. We prove that the number of improper edges in a uniformly random tree in $\mathscr{T}_n$ is asymptotically normal as $n\to\infty$, with mean and variance asymptotic to $μn$ and $σ^2 n$, respectively, where $μ=e-2$ and $σ^2=e^2-3e+1$. This phenomenon was observed by Chen, and the proof presented here was developed through human--AI collaboration.
Some results on the distance spectral radius and edge-disjoint spanning trees of graphs
Let $τ(G)$ denote the maximum number of edge-disjoint spanning trees in a connected graph $G$ of order $n$, and let $ρ_D(G)$ denote its distance spectral radius. For an integer $k\ge2$, Fan, He and Zhao [Discrete Appl. Math. 376 (2025) 31--40] obtained a sharp distance spectral radius condition for $τ(G)\ge k$ when $n\ge2k+6$. In this paper, we fill the gap $2k\le n\le2k+5$ and thus complete the result for all $n\ge2k$. The extremal graph given by Fan, He and Zhao remains valid for $n\ge2k+2$, while we determine the unique extremal graph for each of the orders $n=2k$ and $n=2k+1$. We further obtain sharp distance spectral radius conditions and characterize all extremal graphs under the minimum degree condition $δ(G)\ge k$ for all $n\ge2k$. Finally, for graphs with the stronger minimum degree condition $δ(G)\ge6k-4$ and order $n\ge2δ(G)+2$, we obtain a sharp distance spectral radius condition ensuring $τ(G)\ge k$ and determine the unique extremal graph.
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.
Induced subgraphs and tree decompositions XVIII. Obstructions to bounded pathwidth
Published in Advances in Combinatorics 2026:8, 22pp
• View Publication
• BIB
The pathwidth of a graph $G$ is the smallest $w\in \mathbb{N}$ such that $G$ can be constructed from a sequence of graphs, each on at most $w+1$ vertices, by gluing them together in a linear fashion. We provide a full classification of the unavoidable induced subgraphs of graphs with large pathwidth.