tree
6861 papers tagged with this keyword
Long Cycles in 2-Connected Tough Graphs
Let $G$ be a graph. The circumference of $G$, denoted by $cir(G)$, is the length of a longest cycle in $G$, or zero if $G$ is acyclic. In 1993, Broersma, van den Heuvel, Jung, and Veldman conjectured that, for every $t>0$, there is a constant $A=A(t)>0$ such that every 2-connected $t$-tough graph of order $n$ has circumference at least $A\log n$; the conjecture is recorded as Conjecture~2 in the 2006 survey on toughness by Bauer, Broersma, and Schmeichel. In this note, we confirm the conjecture. More precisely, every 2-connected $t$-tough graph $G$ of order $n$ satisfies $cir(G)\ge \lceil \log_k((k-1)n+1)\rceil$, where $k=\lceil 1/t\rceil+2$. The proof combines Win's bounded-degree spanning tree theorem with the theorem of Briański, Joret, Majewski, Micek, Seweryn, and Sharma that the treedepth of a 2-connected graph is at most its circumference.
A Proof of the Tratnik-Ye Medianity Conjecture of Resonance Graphs on Surfaces
We prove the Tratnik--Ye conjecture that every connected component of a resonance graph of perfect matchings on a closed surface is median whenever the allowed even faces form a proper subset of all faces. The embedding need not be cellular or strong, and the graph need not be bipartite. We also show that the quotient associated with each face is a tree and that these quotients give an isometric embedding of each component into a Cartesian product of trees. This yields a criterion for the facial parity embedding into a hypercube to be isometric.
Erdős-Sós for digraphs
It is shown that every Eulerian digraph on $n$ vertices with more than $(t-1)n$ arcs contains every oriented tree with $t$ edges. The digraphs have no loops or repeated arcs, but opposite arcs are permitted. The bound is sharp for each fixed oriented tree, as witnessed by disjoint unions of complete bidirected graphs. Previously, such tight bounds were not known, even just for directed paths. This can be considered as a directed analog of the recently proved Erdős-Sós conjecture. The result was proved by GPT-6 Astra.
Polynomial positivity cones for Coxeter roots and walks in trees
For a finite simple graph $G$ and an integer $k\ge0$, let $w_k(G)$ denote the number of walks of length $k$. We prove the conjecture of Täubig, Weihmann, Kosub, Hemmecke, and Mayr for every finite tree and determine all equality cases. If $T$ has $n\ge1$ vertices, then $n w_{k+1}(T)-2(n-1)w_k(T)\ge0$ for every $k\ge1$; for $n\ge3$, equality holds if and only if $T$ is a star and $k$ is even, whereas for $n=1$ or $n=2$, equality holds for every $k\ge1$. For non-Dynkin trees and even indices, the proof is based on a polynomial positivity cone associated with the adjacency operator of a finite graph and a positive real root of its simply-laced Coxeter system. For finite connected bipartite non-Dynkin graphs, we establish sufficient positivity conditions in terms of Coxeter orbits and inversion sets, and verify these conditions for indicator roots supported on connected induced subtrees. For non-Dynkin trees, this yields the rooted even-index inequality and, after summation, the corresponding global inequality. We also prove that if $G$ is a finite connected bipartite non-Dynkin simple graph, $\varnothing\ne U\subseteq V(G)$, and the subgraph of $G$ induced by $U$ is a tree, then $|U|w_{k+1}(G,U)-2(|U|-1)w_k(G,U)\ge0$ for every $k\ge0$, where $w_k(G,U)$ counts the length-$k$ walks in $G$ whose initial and terminal vertices lie in $U$; the intermediate vertices are unrestricted. The remaining even-index cases for finite Dynkin trees are handled by generating-function recurrences, while the odd-index cases follow from a spectral covariance identity.
Kriesell's conjecture for infinite graphs
Let $G$ be a graph and $S\subseteq V(G)$ be a subset of vertices. An $S$-Steiner tree $T$ of $G$ is a tree of $G$ which contains $S$ in its vertex set $V(T)$. Kriesell conjectured that for every $2k$-edge-connected subset $S\subseteq V(G)$ in a finite connected graph $G$, there exist $k$ pairwise edge-disjoint $S$-Steiner trees. This conjecture is false for infinite graphs. We present a version of Kriesell's conjecture with topological $S$-Steiner trees for countable finitely edge-separable graphs and a version with $F$-limits of trees for rayless graphs.
We show that if Kriesell's conjecture holds for finite graphs, then it holds for every connected, rayless and finitely edge-separable graph. We also show that every $2k$-edge-connected rayless and finitely edge-separable graph contains $k$ pairwise edge-disjoint spanning trees.
Fort Abundance in Zero Forcing
This paper paper concerns the study of forts, the sets that obstruct zero forcing. We show that every block graph on $n$ vertices has at least $n/3$ minimal forts, extending a recent bound for trees by Cameron and and Li (arXiv:2512.12874). The number of forts, and with it the number of compatible collections, grows exponentially for every tree, every connected non-star graph of bounded degree, and every connected graph of linear minimum degree, answering a question in the negative by Hicks et al. (INFORMS Journal on Computing 2022) for these graph classes. We finish by counting the minimal forts of a tree exactly, in linear time and space.
Multiparameter counting of numerical semigroups: recurrences and leaf-discriminating trees
A numerical semigroup is a subset of the nonnegative integers, closed under addition and with finite complement. The size of the complement is its genus. The problem of counting semigroups by the largest gap got very important through the so-called Frobenius problem, first documented in 1884. Accordingly, the largest gap is called the Frobenius number. In the last two decades, counting by the genus has become a subject of even more intense study, mostly because of the non-solved conjectures on its monotonic and super-Fibonacci growth. We propose a new approach to counting semigroups by the Frobenius number and by the genus, by introducing two ad-hoc trees. Those are leaf-discriminating trees in the sense that their leaves correspond exactly to the objects we want to count and, so, exploring these trees is optimal.
On the theoretical side, it is known that the number of semigroups of each genus grows asymptotically with the genus as the Fibonacci numbers and that the number of semigroups of each Frobenius number grows asymptotically as a two-step doubling sequence. We prove a formula for the number of numerical semigroups of each Frobenius number $F$, genus $g$, and multiplicity $m$ (first nonzero nongap), for $m\geq(F+1)/3$. It is known that asymptotically almost all semigroups satisfy this inequality. This formula gives a multiparameter exact version of the increasing behaviours just mentioned.
On the computational side, we implemented a recursive descending algorithm based on the so-called seeds structure, trimming the general semigroup tree exactly at those nodes with no descendants with a given genus, in the first case, or with no descendants with a given Frobenius number, in the second case. We refined the parallelizing strategies and we overcame the previous limitation of the length of integers in the bitwise representation of the gap sequence and the seed sequence.
Recognizability equals CMSO-definability for graphs of rank-width at most two
We prove that, on finite graphs of rank-width at most two, VR-recognizability and counting monadic second-order definability coincide. This advances the recognizability-versus-definability problem from bounded linear clique-width to the first nontrivial bounded rank-width level beyond the rank-width-one split-decomposition case. The proof first treats split-prime graphs. The maximal partial-tree theory of Clark and Whittle organizes the non-sequential cut-rank-two separations, while a single strong separation orients all strong equivalence classes and yields a CMSO-definable laminar family of canonical cores. Although the auxiliary partial tree is not itself transduced, it proves that every canonical local piece has a port-contiguous layout of uniformly bounded linear rank-width. The width argument uses partition atoms and the branch-width-three display theorem of Hall, Oxley, Semple, and Whittle and does not assume that graph torsos remain prime. Coherent ordered rank-two frames then permit a finite-state bottom-up evaluation whose local transitions are definable by the bounded-linear-clique-width theorem of Bojańczyk, Grohe, and Pilipczuk. Finally, the CMSO-transducible canonical split decomposition lifts the result from prime graphs to arbitrary graphs of rank-width at most two.
Arc-distinguishing of orientations of graphs
The distinguishing index $D'(G)$ of a graph $G$ is the minimum number of colours in an edge colouring preserved only by the identity automorphism. We study how orienting the edges affects this parameter, relating the minimum and maximum distinguishing indices over all orientations of $G$ to $D'(G)$. We establish bounds and exact relations for bipartite graphs and trees, and study rigid orientations of traceable and claw-free graphs. Our results answer a question of Meslem and Sopena on unbalanced complete bipartite graphs.
Tree-indexed sums of Catalan numbers
We consider a family of infinite sums of products of Catalan numbers, indexed by trees. We show that these sums are polynomials in $1/π$ with rational coefficients; the proof is effective and provides an algorithm to explicitly compute these sums. Along the way we introduce parametric liftings of our sums, and show that they are polynomials in the complete elliptic integrals of the first and second kind. Moreover, the degrees of these polynomials are at most half of the number of vertices of the tree. The computation of these tree-indexed sums is motivated by the study of large meandric systems, which are non-crossing configurations of loops in the plane.
PageRank on Lubotzky--Phillips--Sarnak graphs
We compare return probabilities for random walks stopped at an independent geometric time on Lubotzky--Phillips--Sarnak graphs and on the infinite regular tree, with the McKay measure giving the tree value and the Ihara zeta function describing the additional returns caused by cycles. We estimate this correction when the mean walk length is comparable to the length of the shortest cycle, a regime in which walks long enough to traverse a cycle receive non-negligible weight.
Unconditionally, we prove an upper bound with a double logarithmic factor and bounded fixed moments over prime levels after multiplication by the number of vertices. Under the Generalized Riemann Hypothesis for quadratic Dirichlet $L$-functions, the correction is of the same order as the reciprocal of the number of vertices.
Counting Weight-$k$ Italian Dominating Sets on Trees and Cycles
We study the problem of counting \emph{Italian dominating functions} (IDFs) of each possible weight on paths, trees, and cycles. An Italian dominating function on a graph $G=(V,E)$ is a function $f\colon V\to\{0,1,2\}$ such that every vertex $v$ with $f(v)=0$ satisfies $\sum_{u\in N(v)}f(u)\ge 2$; the \emph{Italian domination polynomial} $D_I(G,x)=\sum_k d_I(G,k)\,x^k$ records the number $d_I(G,k)$ of such functions of weight~$k$. This polynomial is the Italian analogue of the well-studied domination and Roman domination polynomials, and computing its coefficients on a fixed graph class is, in essence, a \emph{constrained integer composition} problem: passing to the deficit variables $y(v)=2-f(v)$, each coefficient $d_I(G,2n-j)$ counts the number of compositions of $j$ into $n$ parts, each at most~$2$, that additionally satisfy a local adjacency capacity constraint. We make this connection explicit and use it to derive closed-form expressions for $d_I(C_n,2n-j)$, $j=0,\ldots,5$, as trinomial coefficients minus explicitly enumerated forbidden configurations. On the algorithmic side, we give dynamic programming algorithms that compute \emph{all} coefficients of $D_I$ on path graphs ($O(n^2)$ time, $O(n)$ space), on general trees ($O(n^2)$ time, $O(n)$ space, via a post-order merge with a deficit parameter), and on cycle graphs ($O(n^2)$ time, $O(n)$ space, via boundary conditioning), together with formal correctness proofs and complexity analyses. The known values $γ_I(P_n)=\lfloor n/2\rfloor+1$ and $γ_I(C_n)=\lceil n/2\rceil$ are recalled with references rather than reproved. All numerical results are verified against brute-force enumeration, and complete tables are provided.
Derived equivalences between diagram categories of finite posets
We study universal derived equivalences between diagram categories indexed by finite posets. Starting from a construction of Ladkani, we give an intrinsic criterion for determining when a finite poset admits a decomposition to which this construction can be applied. This leads to the notion of an admissible cut, formulated entirely in terms of the order structure of the poset. Our main result therefore provides a method for producing, from a given finite poset admitting such a cut, a new poset that is universally derived equivalent to it. The construction is reversible once the partition is retained, so that the original mixed order relations can be recovered from the transformed poset. As applications, we show that every finite poset of height at most one is universally derived equivalent to its opposite, give a criterion characterizing source-to-sink transformations at minimal elements, and recover the universal derived equivalence of all orientations of a finite tree through sequences of such local transformations. These results are also applied to persistence modules indexed by finite posets and to extensions obtained by adjoining further finite parameters.
Hyperbolic distance matrix completion
A completion theory for hyperbolic distance data is developed at the interface of matrix analysis, graph theory, and hyperbolic geometry. Krein's characterization of the metric space embeddability in Lobachevsky space leads to a natural anchoring procedure that transforms the indefinite data into a positive semidefinite kernel. In analogy with positive semidefinite and Euclidean distance matrix completion, chordality of the specification graph is shown to be the necessary and sufficient condition for local Lorentz-Gram data to admit global completion. Existence is complemented by explicit constructions. For trees, we obtain geodesic-rectification and product-distance completions; for chordal graphs, the latter extends to matrix-valued transfers along clique-trees. The resulting canonical completion is characterized by sparsity of its inverse and by a maximum-absolute-determinant principle. Its metric distortion exhibits a sharp dichotomy governed by clique separator size. Applications to exact recovery from sparse hyperbolic measurements and to hierarchical and phylogenetic data are developed.
Induced Forest Minor Theorem for Graphs Without an Induced Star
Motivated by recent work on tree independence number, we study the path independence number of a graph $G$: the minimum integer $k$ such that there is a path decomposition of $G$ where each bag induces a graph with independence number at most $k$. We show that every graph excluding both an induced forest minor and an induced star has bounded path independence number. This characterises when a graph class that excludes an induced star has bounded path independence number while also partially resolving a conjecture of Dallard, Krnc, Kwon, Milani{č}, Munaro, Štorgel and Wiederrecht (2024). Furthermore, we show that graphs excluding both an apex-forest induced minor and an induced star have bounded tree independence number. As a consequence, for every fixed apex-forest $H$ and integer $t$, there is a polynomial-time algorithm to test whether a $K_{1,t}$-induced-subgraph-free graph contains $H$ as an induced minor. Moreover, it follows that the Maximum Weight Independent Set problem, as well as several other NP-hard problems, can be solved in polynomial-time on $K_{1,t}$-induced-subgraph-free graphs that exclude $H$ as an induced minor.
Noetherian forms of free non-symmetric operads
In this paper, we study certain categories of labeled finite rooted ordered trees over a fixed set of labels where each label is equipped with an arity: a fixed number of children that the vertex with the given label must have. Equivalently, these are expression trees for operations in a free non-symmetric operad. A morphism between these trees matches a pruning of one tree (a prefix) with an entire subtree of another (a suffix). We characterize such categories, up to isomorphism, in terms of suitable exactness properties. It turns out that these categories exhibit strong algebraic behavior, in the sense that every such category, when appended with a strict initial object, has a particularly nice noetherian form.
Are trees really just butterflies in disguise?
As a generalisation of the Erdős-Sós conjecture about graphs, Addario-Berry, Havet, Linhares Sales, Reed and Thomassé conjectured that every digraph on $n$ vertices with more than $(k-1)n$ arcs contains every antidirected tree with $k$ arcs. We prove a dense, approximate version of this for trees with bounded maximum degree, as well as for trees whose layers are evenly distributed. We use a regularity based approach, centred around finding a copy of a given tree in the blow up of a caterpillar.
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)$ admits a Hasse-diagram characterization in terms 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.
The Full P-vertex Problem and Perfect Matchings for Bipartite Graphs
In a recent work, Sharma and Panda~\cite{sharma} showed that every bipartite graph with a perfect matching has property (P), and proved the converse for trees and unicyclic bipartite graphs (i.e., bipartite graphs with cycle rank $m(G) \le 1$). In this paper, we extend this result to broader classes of bipartite graphs. We first show that every bipartite graph with property (P) is balanced. We prove that the converse holds for all bipartite graphs with cycle rank $m(G)$ at most three, and further establish it for several additional families of bipartite graphs. Finally, we derive algebraic constraints for balanced bipartite graphs without perfect matchings and use them to identify a family of bipartite graphs that does not have property (P).
Resolving subcategories for gentle algebras I: Monogeneous resolving subcategories for gentle trees
This paper is the first part of a series that intends to study resolving subcategories for gentle algebras over an algebraically closed field $\mathbb{K}$.
In a general setting, we improve the precision of Takahashi's algorithm for resolving closure calculations in well-behaved abelian categories. Then, we modify the geometric model of Baur--Coelho-Simões and Opper--Plamondon--Schroll to compute such subcategories for gentle quivers that have a finite global dimension.
Finally, we focus on gentle quivers $(Q,R)$ such that $Q$ is a directed tree, and we study monogeneous resolving subcategories, which are the ones generated by a single non-projective indecomposable $\mathbb{K}Q/\langle R \rangle$-module. Moreover, we prove that these subcategories are the join-irreducible elements of the poset of all resolving subcategories ordered by inclusion.