tree
6737 papers tagged with this keyword
The spanning tree spectrum: improved bounds and simple proofs
The number of spanning trees of a graph $G$, denoted $τ(G)$, is a well studied graph parameter with numerous connections to other areas of mathematics. In a recent remarkable paper, answering a question of Sedláček from 1969, Chan, Kontorovich and Pak showed that $τ(G)$ takes at least $1.1103^n$ different values across simple (and planar) $n$-vertex graphs $G$, for large enough $n$. We give a very short, purely combinatorial proof that at least $1.55^n$ values are attained. We also prove that exponential growth can be achieved with regular graphs, determining the growth rate in another problem first raised by Sedláček in the late 1960's. We further show that the following modular dual version of the result holds. For any integer $N$ and any $u < N$ there exists a planar graph on $O(\log N)$ vertices whose number of spanning trees is $u$ modulo $N$.
Reconstructing graphs with subgraph compositions
We generalize the problem of reconstructing strings from their substring compositions first introduced by Acharya et al. in 2015 motivated by polymer-based advanced data storage systems utilizing mass spectrometry. Namely, we see strings as labeled path graphs, and as such try to reconstruct labeled graphs. For a given integer t, the subgraph compositions contain either vectors of labels for each connected subgraph of order t (t-multiset-compositions) or the sum of all labels of all connected subgraphs of order t (t-sum-composition). We ask whether, given a graph of which we know the structure and an oracle whom you can query for compositions, we can reconstruct the labeling of the graph. If it is possible, then the graph is reconstructable; otherwise, it is confusable, and two labeled graphs with the same compositions are called equicomposable. We prove that reconstructing through a brute-force algorithm is wildly inefficient, before giving methods for reconstructing several graph classes using as few compositions as possible. We also give negative results, finding the smallest confusable graphs and trees, as well as families with a large number of equicomposable non-isomorphic graphs. An interesting result occurs when twinning one leaf of a path: some paths are confusable, creating a twin out of a leaf sees the graph alternating between reconstructable and confusable depending on the parity of the path, and creating a false twin out of a leaf makes the graph reconstructable using only sum-compositions in all cases.
Full classification of anti-van der Waerden numbers of graph products of forests
The anti-van der Waerden number of a graph $G$ is the fewest number of colors needed to guarantee a rainbow $3$-term arithmetic progression in $G$, denoted $\operatorname{aw}(G,3)$. It is known that the anti-van der Waerden number of graph products is $3 \le \operatorname{aw}(G\square H,3)\le 4$. Previous work has been done on classifying families of graph products into $\operatorname{aw}(G\square H,3) = 3$ and $\operatorname{aw}(G\square H,3) = 4$. Some of these families include the product of two paths, the product of paths and cycles, the product of two cycles, and the product of odd cycles with any graph. Recently, a partial characterization of the product of two trees was established. This paper completes the characterization for $\operatorname{aw}(T\square T',3)$ where $T$ and $T'$ are trees. Moreover, this result extends to a full classification of products of forests.
Fundamental groups of moduli spaces of real weighted stable curves
The ordinary and $S_n$-equivariant fundamental groups of the moduli space $\overline{M_{0,n+1}}(\mathbb{R})$ of real $(n+1)$-marked stable curves of genus $0$ are known as \emph{cactus groups} $J_n$ and have applications both in geometry and the representation theory of Lie algebras. In this paper, we compute the ordinary and $S_n$-equivariant fundamental groups of the Hassett space of weighted real stable curves $\overline{M_{0,\mathcal{A}}}(\mathbb{R})$ with $S_n$-symmetric weight vector $\mathcal{A} = (1/a, \ldots, 1/a, 1)$, which we call \emph{weighted cactus groups} $J_n^a$. We show that $J_n^a$ is obtained from the usual cactus presentation by introducing braid relations, which successively simplify the group from $J_n$ to $S_n \rtimes \mathbb{Z}/2\mathbb{Z}$ as $a$ increases. Our proof is by decomposing $\overline{M_{0,\mathcal{A}}}(\mathbb{R})$ as a polytopal complex, generalizing a similar known decomposition for $\overline{M_{0,n+1}}(\mathbb{R})$. In the unweighted case, these cells are known to be cubes and are `dual' to the usual decomposition into associahedra (by the combinatorial type of the stable curve). For $\overline{M_{0,\mathcal{A}}}(\mathbb{R})$, our decomposition instead consists of products of permutahedra. The cells of the decomposition are indexed by weighted stable trees, but `dually' to the usual indexing.
On the order of the shortest solution sequences for the pebble motion problems
Let $G$ be a connected graph with $N$ vertices. Let $k$ be the number of vertices in a longest path of $G$ such that every vertex on the path is a cut vertex of $G$, and every intermediate vertex of the path is a degree-two vertex of $G$. We conventionally set $k = 1$ when $G$ is $2$-edge-connected. Let $P=\{1,\ldots,n\}$ be a set of pebbles with $k < N-n$. A \textit{configuration} of $P$ on $G$ is defined as a function $f$ from $V(G)$ to $\{0, 1, \ldots, n \}$ with $|f^{-1}(i)| = 1$ for $1 \le i \le n$, where $f^{-1}(i)$ is a vertex occupied with the $i$th pebble for $1 \le i \le n$ and $f^{-1}(0)$ is a set of unoccupied vertices. A \textit{move} is defined as shifting a pebble from a vertex to some unoccupied neighbor. The {\it pebble motion problem on the pair $(G,P)$} is to decide whether a given configuration of pebbles is reachable from another by executing a sequence of moves. Let $\D(G)$ denote the diameter of the graph $G$, and let $\CL(G)$ denote the maximum length of a shortest cycle containing a vertex $v$, taken over all vertices $v$ in all $2$-connected components of $G$. For completeness, we define $\CL(G) := 1$ when $G$ is a tree. In this paper, we show that the length of the shortest solution sequences for the pebble motion problem on a pair $(G, P)$ is in $\Ord\left(n\D(G) + \min\left\{k n \D(G),\ n^{2} \log\big(1+\min\{n, k\}\big)\right\}\right)$ if $G$ is an $N$-vertex tree, and in $\Ord\left(n\D(G)+\frac{n^2\min\{n,\CL(G)\}}{N-n}+n^2\log(1+\min\{n, N-n\})\right)$ if $G$ is a connected general $N$-vertex graph. Furthermore, in the case where $G$ is a connected general $N$-vertex graph and the number of unoccupied spaces $N - n$ is bounded by some constant, this length admits an upper bound of $\Ord(n \CL(G) \D(G))$.
Keywords: pebble motion, motion planning, multi-agent path finding, $15$-puzzle, tree
Spanning trees and their relations in Galois covers
This paper studies the relation among the number of spanning trees of intermediate graphs in a Galois cover, building on results for $(\mathbb{Z}/2\mathbb{Z})^m$-covers previously established by Hammer, Mattman, Sands, and Vallières. We generalize their results to arbitrary finite Galois covers. Using the Ihara zeta function and the Artin--Ihara $L$-function, we prove two formulas which are graph-theoretic analogues of Kuroda's formula and the Brauer--Kuroda relations in algebraic number theory. Furthermore, we prove that a spanning tree formula does not exist if the Galois group is cyclic.
Odd spanning trees of a graph
A graph $G=(V,E)$ is said to be odd (or even, resp.) if $d_G(v)$ is odd (or even, resp.) for any $v\in V$. Trivially, the order of an odd graph must be even. In this paper, we show that every 4-edge connected graph of even order has a connected odd factor. A spanning tree $T$ of $G$ is called a homeomorphically irreducible spanning tree (HIST by simply) if $T$ contains no vertex of degree two. Trivially, an odd spanning tree must be a HIST. In 1990, Albertson, Berman, Hutchinson, and Thomassen showed that every connected graph of order $n$ with $δ(G)\geq \min\{\frac n 2, 4\sqrt{2n}\}$ contains a HIST.
We show that every complete bipartite graph with both parts being even has no odd spanning tree, thereby for any even integer $n$ divisible by 4, there exists a graph of order $n$ with the minimum degree $\frac n 2$ having no odd spanning tree. Furthermore, we show that every graph of order $n$ with $δ(G)\geq \frac n 2 +1$ has an odd spanning tree. We also characterize all split graphs having an odd spanning tree. As an application, for any graph $G$ with diameter at least 4, $\overline{G}$ has a spanning odd double star. Finally, we also give a necessary and sufficient condition for a triangle-free graph $G$ whose complement contains an odd spanning tree. A number of related open problems are proposed.
Cycle Patterns and Mean Payoff Games
We introduce the concept of a \emph{cycle pattern} for directed graphs as functions from the set of cycles to the set $\{-,0,+\}$. The key example for such a pattern is derived from a weight function, giving rise to the sign of the total weight of the edges for each cycle. Hence, cycle patterns describe a fundamental structure of a weighted digraph, and they arise naturally in games on graphs, in particular parity games, mean payoff games, and energy games.
Our contribution is threefold: we analyze the structure and derive hardness results for the realization of cycle patterns by weight functions. Then we use them to show hardness of solving games given the limited information of a cycle pattern. Finally, we identify a novel geometric hardness measure for solving mean payoff games (MPG) using the framework of linear decision trees, and use cycle patterns to derive lower bounds with respect to this measure, for large classes of algorithms for MPGs.
Universality for catalytic equations and fully parked trees
We show that critical parking trees conditioned to be fully parked converge in the scaling limits towards the Brownian growth-fragmentation tree, a self-similar Markov tree different from Aldous' Brownian tree recently introduced and studied by Bertoin, Curien and Riera. As a by-product of our study, we prove that positive non-linear polynomial equations involving a catalytic variable display a universal polynomial exponent $5/2$ at their singularity, confirming a conjecture by Chapuy, Schaeffer and Drmota & Hainzl. Compared to previous analytical works on the subject, our approach is probabilistic and exploits an underlying random walk hidden in the random tree model.
Cayley trees and increasing 1,2-trees: let's twist!
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.
Separating trees and simple congruences of the weak order
A congruence of the weak order is simple if its quotientope is a simple polytope. We provide an alternative elementary proof of the characterization of the simple congruences in terms of forbidden up and down arcs. For this, we provide a combinatorial description of the vertices of the corresponding quotientopes in terms of separating trees. This also yields a combinatorial description of all faces of the corresponding quotientopes. We finally explore algebraic aspects of separating trees, in particular their connections with quiver representation theory.
Exploring the unleaved tree of numerical semigroups up to a given genus
We present a new algorithm to explore or count the numerical semigroups of a given genus which uses the unleaved version of the tree of numerical semigroups. In the unleaved tree there are no leaves rather than the ones at depth equal to the genus in consideration. For exloring the unleaved tree we present a new encoding system of a numerical semigroup given by the gcd of its left elements and its shrinking, that is, the semigroup generated by its left elements divided by their gcd. We show a method to determine the right generators and strong generators of a semigroup by means of the gcd and the shrinking encoding, as well as a method to encode a semigroup from the encoding of its parent or of its predecessor sibling. With the new algorithm we obtained $n_{76}=29028294421710227$ and $n_{77}=47008818196495180$.
Topological Indices With Degree Sequence $\mathscr{D}$ of Tree
In this paper, we refer to a asymptotic degree sequence as $\mathscr{D}=(d_1,d_2,\dots,d_n)$. The examination of topological indices on trees gives us a general overview through bounds to find the maximum and minimum bounds which reflect the maximum and minimum number of edges incident to every vertex in the graph, Albertson index known as $\sum_{uv\in E(G)}\lvert d_u(G)-d_v(G) \rvert$, Sigma index $σ(G)$ among $\mathscr{D}$ of tree $T$ when $d_n\geqslant \dots \geqslant d_1$. According to the first zegrb we show for a degree sequence of order $n=4$, $\operatorname{irr}(T)=M_1(T)^2-2\sqrt{M_1(T)}+\sum_{i=1}^4\left|x_i-x_{i+1}\right|-(b+c)-1$.
Spanning trees in directed square cycles
We classify weakly connected spanning closed (WCSC) subgraphs of $\overrightarrow{C_n^2}$, the square of a directed $n$-vertex cycle. Then we show that every spanning tree of $\overrightarrow{C_n^2}$ is contained in a unique nontrivial WCSC subgraph of $\overrightarrow{C_n^2}$. As a result, we obtain a purely combinatorial derivation of the formula for the number of directed spanning trees of $\overrightarrow{C_n^2}$. Moreover, we obtain the formula for the number of directed spanning trees of $\overrightarrow{C_n^2}$, which is a Jacobsthal number.
Unique paired vs edge-vertex minimum dominating sets in trees
We prove that the class of trees with unique minimum edge-vertex dominating sets is equivalent to the class of trees with unique minimum paired dominating sets.
Regularity of $3$-Path Ideals of Trees and Unicyclic Graphs
Published in Bull. Malays. Math. Sci. Soc., 47, article number 4, pp.10, 2024
• View Publication
• BIB
Let $G$ be a simple graph and $I_3(G)$ be its $3$-path ideal in the corresponding polynomial ring $R$. In this article, we prove that for an arbitrary graph $G$, $reg(R/I_3(G))$ is bounded below by $2ν_3(G)$, where $ν_3(G)$ denotes the $3$-path induced matching number of $G$. We give a class of graphs, namely, trees for which the lower bound is attained. Also, for a unicyclic graph $G$, we show that $reg(R/I_3(G))\leq 2ν_3(G)+2$ and provide an example that shows that the given upper bound is sharp.
Thresholds for the biased Maker-Breaker domination games
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:3, Combinatorics (October 22, 2025) dmtcs:15392
• View Publication
• BIB
In the $(a,b)$-biased Maker-Breaker domination game, two players alternately select unplayed vertices in a graph $G$ such that Dominator selects $a$ and Staller selects $b$ vertices per move. Dominator wins if the vertices he selected during the game form a dominating set of $G$, while Staller wins if she can prevent Dominator from achieving this goal. Given a positive integer $b$, Dominator's threshold, $\textrm{a}_b$, is the minimum $a$ such that Dominator wins the $(a,b)$-biased game on $G$ when he starts the game. Similarly, $\textrm{a}'_b$ denotes the minimum $a$ such that Dominator wins when Staller starts the $(a,b)$-biased game. Staller's thresholds, $\textrm{b}_a$ and $\textrm{b}'_a$, are defined analogously. It is proved that Staller wins the $(k-1,k)$-biased games in a graph $G$ if its order is sufficiently large with respect to a function of $k$ and the maximum degree of $G$. Along the way, the $\ell$-local domination number of a graph is introduced. This new parameter is proved to bound Dominator's thresholds $\textrm{a}_\ell$ and $\textrm{a}_\ell'$ from above. As a consequence, $\textrm{a}_1'(G)\le 2$ holds for every claw-free graph $G$. More specific results are obtained for thresholds in line graphs and Cartesian grids. Based on the concept of $[1,k]$-factor of a graph $G$, we introduce the star partition width $σ(G)$ of $G$, and prove that $\textrm{a}_1'(G)\le σ(G)$ holds for any nontrivial graph $G$, while $\textrm{a}_1'(G)=σ(G)$ if $G$ is a tree.
Criticality for Maker-Breaker domination games with predomination
A predominated graph is a pair $(G,D)$, where $G$ is a graph and the vertices in $D\subseteq V(G)$ are considered already dominated. Maker-Breaker domination game critical (MBD critical) predominated graphs are introduced as the predominated graphs $(G,D)$ on which Staller wins the game, but Dominator wins on $(G, D \cup \{v\})$ for every vertex $v \in V(G) \setminus D$.
Tools are developed for handling the Maker-Breaker domination game on trees which lead to a characterization of Staller-win predominated trees. MBD critical predominated trees are characterized and an algorithm is designed which verifies in linear time whether a given predominated tree is MBD critical. A large class of MBD critical predominated cacti is presented and Maker-Breaker critical hypergraphs constructed.
Vector encoding of phylogenetic trees by ordered leaf attachment
As part of work to connect phylogenetics with machine learning, there has been considerable recent interest in vector encodings of phylogenetic trees. We present a simple new "ordered leaf attachment" (OLA) method for uniquely encoding a binary, rooted phylogenetic tree topology as an integer vector. OLA encoding and decoding take linear time in the number of leaf nodes, and the set of vectors corresponding to trees is a simply-described subset of integer sequences. The OLA encoding is unique compared to other existing encodings in having these properties. The integer vector encoding induces a distance on the set of trees, and we investigate this distance in relation to the NNI and SPR distances.
Bounding the SNPR distance between two tree-child networks using generalised agreement forests
Published in The Electronic Journal of Combinatorics, 32, P3.46, 2025
• View Publication
• BIB
Agreement forests continue to play a central role in the comparison of phylogenetic trees since their introduction more than 25 years ago. More specifically, they are used to characterise several distances that are based on tree rearrangement operations and related quantifiers of dissimilarity between phylogenetic trees. In addition, the concept of agreement forests continues to underlie most advancements in the development of algorithms that exactly compute the aforementioned measures. In this paper, we introduce agreement digraphs, a concept that generalises agreement forests for two phylogenetic trees to two phylogenetic networks. Analogous to the way in which agreement forests compute the subtree prune and regraft distance between two phylogenetic trees but inherently more complex, we then use agreement digraphs to bound the subnet prune and regraft distance between two tree-child networks from above and below and show that our bounds are tight.