tree
6737 papers tagged with this keyword
Ordered Leaf Attachment (OLA) Vectors can Identify Reticulation Events even in Multifurcated Trees
Recently, a new vector encoding, Ordered Leaf Attachment (OLA), was introduced that represents $n$-leaf phylogenetic trees as $n-1$ length integer vectors by recording the placement location of each leaf. Both encoding and decoding of trees run in linear time and depend on a fixed ordering of the leaves. Here, we investigate the connection between OLA vectors and the maximum acyclic agreement forest (MAAF) problem. A MAAF represents an optimal breakdown of $k$ trees into reticulation-free subtrees, with the roots of these subtrees representing reticulation events. We introduce a corrected OLA distance index over OLA vectors of $k$ trees, which is easily computable in linear time. We prove that the corrected OLA distance corresponds to the size of a MAAF, given an optimal leaf ordering that minimizes that distance. Additionally, a MAAF can be easily reconstructed from optimal OLA vectors. We expand these results to multifurcated trees: we introduce an $O(kn \cdot m\log m)$ algorithm that optimally resolves a set of multifurcated trees given a leaf-ordering, where $m$ is the size of a largest multifurcation, and show that trees resolved via this algorithm also minimize the size of a MAAF. These results suggest a new approach to fast computation of phylogenetic networks and identification of reticulation events via random permutations of leaves. Additionally, in the case of microbial evolution, a natural ordering of leaves is often given by the sample collection date, which means that under mild assumptions, reticulation events can be identified in polynomial time on such datasets.
Measurable one-ended spanning trees
We show that a one-ended, locally finite, measurable graph on a standard probability space admits a measurable one-ended spanning subtree if and only if it is measure-hyperfinite. This answers a question posed by Bowen, Poulin, and Zomback and extends recent results of Timár and Conley, Gaboriau, Marks, and Tucker-Drob.
Tree-independence number VI. Thetas and pyramids
Given a family $\mathcal{H}$ of graphs, we say that a graph $G$ is $\mathcal{H}$-free if no induced subgraph of $G$ is isomorphic to a member of $\mathcal{H}$. Let $W_{t\times t}$ be the $t$-by-$t$ hexagonal grid and let $\mathcal{L}_t$ be the family of all graphs $G$ such that $G$ is the line graph of some subdivision of $W_{t \times t}$. We denote by $ω(G)$ the size of the largest clique in $G$. We prove that for every integer $t$ there exist integers $c_1(t)$, $c_2(t)$ and $d(t)$ such that every (pyramid, theta, $\mathcal{L}_t$)-free graph $G$ satisfies: i) $G$ has a tree decomposition where every bag has size at most $ω(G)^{c_1(t)} \log (|V(G)|)$. ii) If $G$ has at least two vertices, then $G$ has a tree decomposition where every bag has independence number at most $\log^{c_2(t)} (|V(G)|)$. iii) For any weight function, $G$ has a balanced separator that is contained in the union of the neighborhoods of at most $d(t)$ vertices. These results qualitatively generalize the main theorems of Abrishami et al. (2022) and Chudnovsky et al. (2024). Additionally, we show that there exist integers $c_3(t), c_4(t)$ such that for every (theta, pyramid)-free graph $G$ and for every non-adjacent pair of vertices $a,b \in V(G)$, i) $a$ can be separated from $b$ by removing at most $w(G)^{c_3(t)}\log(|V(G)|)$ vertices. ii) $a$ can be separated from $b$ by removing a set of vertices with independence number at most $\log^{c_4(t)}(|V(G)|)$.
On Laplacian and Signless Laplacian Permanental Polynomials of Some Well-known Graphs
The permanent of an $n \times n$ matrix $M = (m_{ij})$ is defined as $\mathrm{per}(M) = \sum_{σ\in S_n} \prod_{i=1}^n m_{i,σ(i)}$, where $S_n$ denotes the symmetric group on $\{1,2,\ldots,n\}$. The permanental polynomial of $M$, is defined by $ψ(M;x) = \mathrm{per}(xI_n - M)$. We study two fundamental variants: the Laplacian permanental polynomial $ψ(L(G);x)$ and signless Laplacian permanental polynomial $ψ(Q(G);x)$ of a graph $G$. A graph is said to be {determined} by its (signless) Laplacian permanental polynomial if no other non-isomorphic graph shares the same polynomial. A graph is combinedly determined when isomorphism is guaranteed by the equality of both polynomials. Characterizing which graphs are determined by their(signless) Laplacian permanental polynomials is an interesting problem. This paper investigates the permanental characterization problem for several families of starlike graphs, including: spider graphs (tree), coconut tree, perfect binary tree, corona product of $C_m$ and $K_n$, and $\bar K_n$ for various values of $m$ and $n$. We establish which of these graphs are determined by their Laplacian or signless Laplacian permanental polynomials, and which require both polynomials for complete characterization. We emphasize that in this manuscript, we have considered a few techniques to compute the permanental polynomial of matrices and their propagation.
Remarks on proper conflict-free degree-choosability of graphs with prescribed degeneracy
A proper coloring $φ$ of $G$ is called a proper conflict-free coloring of $G$ if for every non-isolated vertex $v$ of $G$, there is a color $c$ such that $|φ^{-1}(c)\cap N_G(v)|=1$. As an analogy of degree-choosability of graphs, we introduced the notion of proper conflict-free $({\rm degree}+k)$-choosability of graphs. For a non-negative integer $k$, a graph $G$ is proper conflict-free $({\rm degree}+k)$-choosable if for any list assignment $L$ of $G$ with $|L(v)|\geq d_G(v)+k$ for every vertex $v\in V(G)$, $G$ admits a proper conflict-free coloring $φ$ such that $φ(v)\in L(v)$ for every vertex $v\in V(G)$. In this note, we first remark if a graph $G$ is $d$-degenerate, then $G$ is proper conflict-free $({\rm degree}+d+1)$-choosable. Furthermore, when $d=1$, we can reduce the number of colors by showing that every tree is proper conflict-free $({\rm degree}+1)$-choosable. This motivates us to state a question.
Sharp lower bounds and extremal graphs for the generalized $k$-independence number
A vertex set $S$ is a generalized $k$-independent set if the induced subgraph $G[S]$ contains no tree on $k$ vertices. The generalized $k$-independence number $α_k(G)$ is the maximum size of such a set. For a tree $T$ with $n$ vertices, Bock et al. [J. Graph Theory 103 (2023) 661-673] and Li et al. [Taiwanese J. Math. 27 (2023) 647-683] independently showed that $α_3(G)\geq \frac{2}{3}n$ and identified the extremal trees that attain this lower bound. Subsequently, Li and Zhou [Appl. Math. Comput. 484 (2025) 129018] established that $α_4(T) \geq \frac{3}{4}n$ and they further characterized all trees achieving this bound. This result was recently extended by Huang, who proved that $α_4(G)\geq \frac{3}{4}(n-ω(G))$ holds for every $n$-vertex graph, where $ω(G)$ denotes the dimension of the cycle space of $G.$ The extremal graphs attaining this lower bound were also fully characterized. Based on these findings, Huang proposed a conjecture concerning a lower bound for $α_k(G)\ (k\geq2)$ together with the corresponding extremal graphs, which naturally generalizes all the aforementioned results. In this paper, we confirm this conjecture here. We further quantify strict improvements over this bound when the equality conditions fail, and we provide a linear-time algorithm that constructs a generalized $k$-independent set of size at least $\left\lceil\frac{k-1}{k}\left(n-ω(G)\right)\right\rceil$.
Elementary differentials from multi-indices to rooted trees
Rooted trees are essential for describing numerical schemes via the so-called B-series. They have also been used extensively in rough analysis for expanding solutions of singular Stochastic Partial Differential Equations (SPDEs). When one considers scalar-valued equations, the most efficient combinatorial set is multi-indices. In this paper, we investigate the existence of intermediate combinatorial sets that will lie between multi-indices and rooted trees. We provide a negative result stating that there is no combinatorial set encoding elementary differentials in dimension $d\neq 1$, and compatible with the rooted trees and the multi-indices aside from the rooted trees. This does not close the debate of the existence of such combinatorial sets, but it shows that it cannot be obtained via a naive and natural approach.
Restricted Jacobi permutations
Jacobi permutations, introduced by Viennot in the context of Jacobi elliptic functions, are counted by the Euler numbers $E_{n}$ appearing in the series expansion $\sec x+\tan x=\sum_{n=0}^{\infty}E_{n}x^{n}/n!$. We conduct a systematic study of pattern avoidance in Jacobi permutations, achieving a complete enumeration of Jacobi permutations avoiding a prescribed set of length 3 patterns. In the case of a single pattern restriction, we obtain refined enumerations with respect to several permutation statistics: the number of ascents (or descents), the number of left-to-right minima, and the last letter. Bijections involving certain subfamilies of binary trees and Dyck paths, as well as generating function techniques, play important roles in our proofs.
All-$k$-Isolation in Trees
We define an all-$k$-isolating set of a graph to be a set $S$ of vertices such that, if one removes $S$ and all its neighbors, then no component in what remains has order $k$ or more. The case $k=1$ corresponds to a dominating set and the case $k=2$ corresponds to what Caro and Hansberg called an isolating set. We show that every tree of order $n \neq k$ contains an all-$k$-isolating set $S$ of size at most $n/(k+1)$, and moreover, the set $S$ can be chosen to be an independent set. This extends previous bounds on variations of isolation, while improving a result of Luttrell et al., who called the associated parameter the $k$-neighbor component order connectivity. We also characterize the trees where this bound is achieved. Further, we show that for~$k\le 5$, apart from one exception every tree with $n\neq k$ contains $k+1$ disjoint independent all-$k$-isolating sets.
Applying Hurlbert's Linear Optimization Technique to Establish Bounds on Pebbling Numbers
This paper explores the application of Hurlbert's Linear Optimization Technique to determine bounds on pebbling numbers. By applying Hurlbert's weight functions and optimization methods, we derive upper bounds for specific graph families. The study provides a comprehensive analysis of these bounds and contributes to a broader understanding of pebbling numbers in graph theory. In particular, the weight function lemma is applied to calculate upper bounds for graphs such as the Petersen graph, the Bruhat graph, and various trees.
The Horton-Strahler number of butterfly trees
The Horton-Strahler number (HS) is a measure of branching complexity of rooted trees, introduced in hydrology and later studied in parallel computing under the name register function. While its order of growth is well understood for classical random trees, fluctuation behavior has largely resisted analysis. In this work we investigate the HS in the setting of butterfly trees -- binary trees constructed from butterfly permutations, a rich class of separable permutations with origins in numerical linear algebra and parallel architectures. For the subclass of simple butterfly trees, we exploit their recursive gluing structure to model the HS as an additive functional of a finite-state Markov process. This framework yields sharp distributional results, including a law of large numbers and a Central Limit Theorem with explicit variance growth, providing what appears to be the first genuine Gaussian limit law for the HS in a nontrivial random tree model. Extending to biased constructions, we further establish functional limit theorems via analytic and probabilistic tools. For general butterfly trees, while exact analysis remains open, empirical sampling shows that the HS distribution is confined to a narrower support than in classical models, and appears to concentrate tightly near the upper bound $\lfloor \log_4 N\rfloor$.
Triangle-Covered Graphs: Algorithms, Complexity, and Structure
The widely studied edge modification problems ask how to minimally alter a graph to satisfy certain structural properties. In this paper, we introduce and study a new edge modification problem centered around transforming a given graph into a triangle-covered graph (one in which every vertex belongs to at least one triangle). We first present tight lower bounds on the number of edges in any connected triangle-covered graph of order $n$, and then we characterize all connected graphs that attain this minimum edge count. For a graph $G$, we define the notion of a $Δ$-completion set as a set of non-edges of $G$ whose addition to $G$ results in a triangle-covered graph. We prove that the decision problem of finding a $Δ$-completion set of size at most $t\geq0$ is $\mathbb{NP}$-complete and does not admit a constant-factor approximation algorithm under standard complexity assumptions. Moreover, we show that this problem remains $\mathbb{NP}$-complete even when the input is restricted to connected bipartite graphs. We then study the problem from an algorithmic perspective, providing tight bounds on the minimum $Δ$-completion set size for several graph classes, including trees, chordal graphs, and cactus graphs. Furthermore, we show that the triangle-covered problem admits an $(\ln n +1)$-approximation algorithm for general graphs. For trees and chordal graphs, we design algorithms that compute minimum $Δ$-completion sets. Finally, we show that the threshold for a random graph $\mathbb{G}(n, p)$ to be triangle-covered occurs at $n^{-2/3}$.
A sharp lower bound on the generalized 4-independence number
For a graph $G$, a vertex subset $S$ is called a maximum generalized $k$-independent set if the induced subgraph $G[S]$ does not contain a $k$-tree as its subgraph, and the subset has maximum cardinality. The generalized $k$-independence number of $G$, denoted as $α_k(G)$, is the number of vertices in a maximum generalized $k$-independent set of $G$. For a graph $G$ with $n$ vertices, $m$ edges, $c$ connected components, and $c_1$ induced cycles of length 1 modulo 3, Bock et al. [J. Graph Theory 103 (2023) 661-673] showed that $α_3(G)\geq n-\frac{1}{3}(m+c+c_1)$ and identified the extremal graphs in which every two cycles are vertex-disjoint. Li and Zhou [Appl. Math. Comput. 484 (2025) 129018] proved that if $G$ is a tree with $n$ vertices, then $α_4(G) \geq \frac{3}{4}n$. They also presented all the corresponding extremal trees. In this paper, for a general graph $G$ with $n$ vertices, it is proved that $α_4(G)\geq \frac{3}{4}(n-ω(G))$ by using a different approach, where $ω(G)$ denotes the dimension of the cycle space of $G$. The graphs whose generalized $4$-independence number attains the lower bound are characterized completely. This represents a logical continuation of the work by Bock et al. and serves as a natural extension of the result by Li and Zhou.
Resolving subcategories for gentle algebras II: Resolving subcategories for gentle trees
This paper is the second part of a series that intends to study the resolving subcategories for gentle algebras over an algebraically closed field $\mathbb{K}$.
As in the first part, we continue to focus on gentle quivers $(Q,R)$, where $Q$ is a directed tree, known as gentle trees. In our previous work, via a modified surface model for gentle algebras with finite global dimension, we studied the join-irreducible elements of the lattice of resolving subcategories of $\mathbb{K}Q/\langle R \rangle - \text{mod}$, which happen to be those generated by a non-projective indecomposable object.
In this paper, we notice that this lattice is not semidistributive in general and, accordingly, introduce a so-called upper join-decomposition, replacing the canonical one. Together with the techniques we develop in our geometric model, it allows us to describe the resolving subcategories of any gentle tree. These same techniques let us explicitly construct the resolving subcategory generated by any collection of indecomposable $\mathbb{K}Q/\langle R\rangle$-modules.
Asymptotic structure. V. The coarse Menger conjecture in bounded path-width
Menger's theorem tells us that if $S,T$ are sets of vertices in a graph $G$, then (for $k\ge0$) either there are $k+1$ vertex-disjoint paths between $S$ and $T$, or there is a set of $k$ vertices separating $S$ and $T$. But what if we want the paths to be far apart, say at distance at least $c$? One might hope that we can find either $k+1$ paths pairwise far apart, or $k$ sets of bounded radius that separate $S$ and $T$, where the bound on the radius is some $\ell$ that depends only on $k,c$ (the ``coarse Menger conjecture''). We showed in an earlier paper that this is false for all $k\ge 2$ and $c\ge3$. To do so we gave a sequence of finite graphs, counterexamples for larger and larger values of $\ell$ with $k=2$, $c=3$. Our counterexamples contained subdivisions of uniform binary trees with arbitrarily large depth as subgraphs.
Here we show that for any binary tree $T$, the coarse Menger conjecture is true for all graphs that contain no subdivision of $T$ as a subgraph, that is, it is true for graphs with bounded path-width (and, further, for graphs with bounded coarse path-width). This is perhaps surprising, since it is false for bounded tree-width.
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$.
Sign-coherence and tropical sign pattern for rank $3$ real cluster-cyclic exchange matrices
The sign-coherence about $c$-vectors was conjectured by Fomin-Zelevinsky and solved completely by Gross-Hacking-Keel-Kontsevich for integer skew-symmetrizable case. We prove this conjecture associated with $c$-vectors for rank 3 real cluster-cyclic skew-symmetrizable case. Simultaneously, we establish their self-contained recursion and monotonicity. Then, these $c$-vectors are proved to be roots of certain quadratic equations. Based on these results, we prove that the corresponding exchange graphs of $C$-pattern and $G$-pattern are $3$-regular trees. We also study the structure of tropical signs and equip the dihedral group $\mathrm{D}_6$ with a cluster realization via certain mutations.
Fault Tolerant Zero Forcing
Zero forcing is an iterative graph coloring process studied for its wide array of applications. In this process, the vertices of the graph are initially designated as blue or white, and a zero forcing set is a set of initially blue vertices that results in all vertices becoming blue after repeated application of a color change rule. The zero forcing number of a graph is the minimum cardinality of a zero forcing set. The zero forcing number has motivated the introduction of a host of variants motivated by linear-algebraic or graph-theoretic contexts. We define a variant we term the $k$-fault tolerant zero forcing number, which is the minimum cardinality of a set $B$ such that every subset of $B$ of cardinality $|B|-k$ is a zero forcing set. We study the values of this parameter on various graph families, the behavior under several graph operations, and characterize the 1-fault tolerant zero forcing number of trees.
Ramsey numbers of trees
We show that there exists a constant $c>0$ such that every $n$-vertex tree $T$ with $Δ(T)\le cn$ has Ramsey number $R(T)=\max\{t_1+2t_2,2t_1\}-1$, where $t_1\ge t_2$ are the sizes of the bipartition classes of $T$. This improves an asymptotic result of Haxell, Łuczak, and Tingley from 2002, and shows that, though Burr's 1974 conjecture on the Ramsey numbers of trees has long been known to be false for certain `double stars', it is true for trees with up to small linear maximum degree.
Proof of a conjecture of Voss on bridges of longest cycles
Bridges are a classical concept in structural graph theory and play a fundamental role in the study of cycles. A conjecture of Voss from 1991 asserts that if disjoint bridges $B_1, B_2, \ldots, B_k$ of a longest cycle $L$ in a $2$-connected graph overlap in a tree-like manner (i.e., induce a tree in the {\it overlap graph} of $L$), then the total {\it length} of these bridges is at most half the length of $L$. Voss established this for $k \leq 3$ and used it as a key tool in his 1991 monograph on cycles and bridges. In this paper, we confirm the conjecture in full via a reduction to a cycle covering problem.