tree
6737 papers tagged with this keyword
Laplacian eigenvalue conditions for edge-disjoint spanning trees and a forest with constraints
Let $k$ be a positive integer and let $G$ be a simple graph of order $n$ with minimum degree $δ$. A graph $G$ is said to have property $P(k, d)$ if it contains $k$ edge-disjoint spanning trees and an additional forest $F$ with edge number $|E(F)| > \frac{d-1}{d}(|V(G)| - 1)$, such that if $F$ is not a spanning tree, then $F$ has a component with at least $d$ edges. Let $D(G)$ be the degree diagonal matrix of $G$. We denote $λ_i$ and $μ_i$ as the $i$th largest eigenvalue of the adjacency matrix $A(G)$ of $G$ and the Laplacian matrix $L(G) = D(G) - A(G)$ of $G$ for $i = 1, 2, \ldots, n$, respectively. In this paper, we investigate the relationship between Laplacian eigenvalues and property $P(k, δ)$. Let $t$ be a positive integer, and define $\mathcal{G}_t$ as the set of simple graphs such that each $G \in \mathcal{G}_t$ contains at least $t+1$ non-empty disjoint proper subsets $V_1, V_2, \ldots, V_{t+1}$ satisfying $V(G) \setminus \bigcup_{i=1}^{t+1} V_i \neq \emptyset$ and edge connectivity $κ'(G) = e(V_i, V(G) \setminus V_i)$ for any $i = 1, 2, \ldots, t+1$. For the class of graphs $\mathcal{G}_1$ with minimum degree $δ$, we provide a sufficient condition involving the third smallest Laplacian eigenvalue $μ_{n-2}(G)$ for a graph $G\in \mathcal{G}_1$ to have property $P(k, δ)$. Similarly, for the class of graphs $\mathcal{G}_2$ with minimum degree $δ$, we establish a corresponding sufficient condition involving the fourth smallest Laplacian eigenvalue $μ_{n-3}(G)$ for a graph $G\in \mathcal{G}_2$ to have property $P(k, δ)$. Furthermore, we extend the spectral conditions for all the results about $μ_{n-2}(G)$, $μ_{n-3}(G)$ and $λ_2(G)$ to the general graph matrices $aD(G) + A(G)$ and $aD(G) + bA(G)$.
Distance spectral radius conditions for edge-disjoint spanning trees and a forest with constraints
Let $k\ge 2$ be a positive integer and let $G$ be a simple graph of order $n$ with minimum degree $δ$. A graph $G$ is said to have property $P(k, d)$ if it contains $k$ edge-disjoint spanning trees and an additional forest $F$ with edge number $|E(F)| > \frac{d-1}{d}(n-1)$, such that if $F$ is not a spanning tree, then $F$ has a component with at least $d$ edges. Let $D(G)$ be the distance matrix of $G$. We denote $ρ_D(G)$ as the largest eigenvalue of $D(G)$, which is called the distance spectral radius of $G$. In this paper, we investigate the relationship between the distance spectral radius and the property $P(k, δ)$. We prove that for a connected graph $G$ of order $n \ge 2k+8$ with minimum degree $δ\ge k+2$, if $ρ_D(G) \le ρ_D(K_{k-1} \vee (K_{n-k} \cup K_1))$, then $G$ possesses property $P(k, δ)$. Furthermore, for a connected balanced bipartite graph $G$ of order $n \ge 4k+8$ with minimum degree $δ\ge k+2$, we show that if $ρ_D(G) \le ρ_D(K_{\frac{n}{2}, \frac{n}{2}} \setminus E(K_{1, \frac{n}{2}-k+1}))$, then $G$ also possesses property $P(k, δ)$. Our results generalize the work of Fan et al. [Discrete Appl. Math. 376 (2025), 31--40] from the existence of $k$ edge-disjoint spanning trees to the more refined structural property $P(k, δ)$.
Enumeration of weighted plane trees by a permutation model
This work addresses an enumeration problem on weighted bi-colored plane trees with prescribed vertex data, with all vertices labeled distinctly. We give a bijection proof of the enumeration formula originally due to Kochetkov, hence affirmatively answer a question of Adrianov-Pakovich-Zvonkin. The argument is purely combinatorial and totally constructive, remaining valid for real-valued edge weights. A central process is a geometric construction that directly encodes each tree as a permutation. We also exhibit algebraic relationships between the enumeration problem, the partial order on partitions of vertices and the Stirling numbers of the second kind. Some computation examples are presented as appendices.
On the complexity of the Maker-Breaker happy vertex game
Given a c-colored graph G, a vertex of G is happy if it has the same color as all its neighbors. The notion of happy vertices was introduced by Zhang and Li to compute the homophily of a graph. Eto, et al. introduced the Maker-Maker version of the Happy vertex game, where two players compete to claim more happy vertices than their opponent. We introduce here the Maker-Breaker happy vertex game: two players, Maker and Breaker, alternately color the vertices of a graph with their respective colors. Maker aims to maximize the number of happy vertices at the end, while Breaker aims to prevent her. This game is also a scoring version of the Maker-Breaker Domination game introduced by Duchene, et al. as a happy vertex corresponds exactly to a vertex that is not dominated in the domination game. Therefore, this game is a very natural game on graphs and can be studied within the scope of scoring positional games. We initiate here the complexity study of this game, by proving that computing its score is PSPACE-complete on trees, NP-hard on caterpillars, and polynomial on subdivided stars. Finally, we provide the exact value of the score on graphs of maximum degree 2, and we provide an FPT-algorithm to compute the score on graphs of bounded neighborhood diversity. An important contribution of the paper is that, to achieve our hardness results, we introduce a new type of incidence graph called the literal-clause incidence graph for 2-SAT formulas. We prove that QMAX 2-SAT remains PSPACE-complete even if this graph is acyclic, and that MAX 2-SAT remains NP-complete, even if this graph is acyclic and has maximum degree 2, i.e. is a union of paths. We demonstrate the importance of this contribution by proving that Incidence, the scoring positional game played on a graph is also PSPACE-complete when restricted to forests.
Anticoncentration of random spanning trees in almost regular graphs
The celebrated formula of Otter \emph{[Ann. of Math. (2) 49 (1948), 583--599]} asserts that the complete graph contains exponentially many non-isomorphic spanning trees. In this paper, we show that every connected almost regular graph with sufficiently large degree already contains exponentially many non-isomorphic spanning trees. Indeed, we prove a stronger statement: for every fixed $n$-vertex tree $T$, $$
\Pr\bigl[\mathcal{T} \simeq_{\mathrm{iso}} T\bigr] = e^{-Ω(n)}, $$ where $\mathcal{T}$ is a uniformly random spanning tree of a connected $n$-vertex almost regular graph with sufficiently large degree. To prove this, we introduce a graph-theoretic variant of the classical balls--into--bins model, which may be of independent interest.
Critical level-set percolation on finite graphs and spectral gap
We study the bond percolation on finite graphs induced by the level-sets of zero-average Gaussian free field on the associated metric graph above a given height (level) parameter $h \in \mathbb{R}$. We characterize the near- and off-critical phases of this model for any expanders family $\mathcal{G}_n = (V_n, E_n)$ with uniformly bounded degrees. In particular, we show that the volume of the largest open cluster at level $h_n$ is of the order $|V_n|^{\frac23}$ when $h_n$ lies in the corresponding critical window which we identify as $|h_n| = O(|V_n|^{-\frac13})$. Outside this window, the volume starts to deviate from $Θ(|V_n|^{\frac23})$ culminating into a linear order in the supercritical phase $h_n = h < 0$ (the giant component) and a logarithmic order in the subcritical phase $h_n = h > 0$. We deduce these from effective estimates on tail probabilities for the maximum volume of an open cluster at any level $h$ for a generic base graph $\mathcal{G}$. The estimates depend on $\mathcal{G}$ only through its size and upper and lower bounds on its degrees and spectral gap respectively. To the best of our knowledge, this is the first instance where a mean-field critical behavior is derived under such general setup for finite graphs. The generality of these estimates preclude any local approximation of $\mathcal{G}$ by regular infinite trees -- a standard approach in the area. Instead, our methods rely on exploiting the connection between spectral gap of the graph $\mathcal{G}$ and its connection to the level-sets of zero-average Gaussian free field mediated via a set function we call the zero-average capacity.
The genesis sequence, tree records and endofunctions
In this work, we present a series of bijections that reveal the deep connections between the concepts of tree records, the girth of a connected endofunction, and the genesis sequence, the first sequence in the OEIS. We use these results to derive the generating functions for the tree and forest record numbers, expressing them in terms of the Cayley's tree function. Finally, we provide a new proof for Cayley's forest formula.
Combinatorial comparison of general galled trees, time-consistent galled trees, and simplex time-consistent galled trees
Rooted binary phylogenetic networks are extensions of rooted binary trees, adding reticulation nodes that are designed to represent evolutionary processes that involve hybridization events. Enumerative combinatorics studies have counted leaf-labeled phylogenetic networks in a variety of classes, finding that when the number of reticulations is fixed, the time-consistent galled trees are asymptotically less numerous than each of several network classes that had been previously examined. Here we provide enumerative results on two additional network classes: general galled trees and simplex time-consistent galled trees. We show that for a fixed number of galls, as the number of leaves goes to infinity, the asymptotic count of general galled trees is identical to that of time-consistent galled trees, whereas the count of simplex time-consistent galled trees is smaller. If the number of galls is not restricted, then the asymptotic approximations all differ: simplex time-consistent galled trees are less numerous than time-consistent galled trees, which are in turn less numerous than general galled trees. We also report a variety of additional results: recursions to count the studied networks with small numbers of leaves a fixed number of galls, as well as enumerative results for unlabeled networks in the classes that we investigate.
Exact Computation of the Catalan Number $C(2,050,572,903)$
This paper presents a two-phase algorithm for computing exact Catalan numbers at an unprecedented scale. The method is demonstrated by computing $C(n)$ for $n = 2,050,572,903$ yielding a result with a targeted $1,234,567,890$ decimal digits. To circumvent the memory limitations associated with evaluating large factorials, the algorithm operates exclusively in the prime-exponent domain. Phase 1 employs a parallel segmented sieve to enumerate primes up to $2n$ and applies Legendre's formula to determine the precise prime factorization of $C(n)$. The primes are grouped by exponent and serialized to disk. Phase 2 reconstructs the final integer using a memory-efficient balanced product tree with chunking. The algorithm runs on a time complexity of $Θ(n(\log n)^2)$ bit-operations and a space complexity of $Θ(n \log n)$ bits. This result represents the largest exact Catalan number computed to date. Performance statistics for a single-machine execution are reported, and verification strategies -- including modular checks and SHA-256 hash validation -- are discussed. The source code and factorization data are provided to ensure reproducibility.
Tree versus tree of preorder induced by rainbow forbidden subgraphs
A subgraph $H$ of an edge-colored graph $G$ is rainbow if all the edges of $H$ receive different colors. If $G$ does not contain a rainbow subgraph isomorphic to $H$, we say that $G$ is rainbow $H$-free. For connected graphs $H_1$ and $H_2$, if there exists an integer $t=t(H_1,H_2)$ such that every rainbow $H_1$-free edge-colored complete graph colored with $t$ or more colors is rainbow $H_2$-free, then we write $H_1\le H_2$. The binary relation $\le$ is reflexive and transitive, and hence it is a preorder. For graphs $H_1$ and $H_2$, we write $H_1 \equiv H_2$ if both $H_1 \le H_2$ and $H_2 \le H_1$ hold. Then $\equiv$ is an equivalence relation. If $H_1$ is a subgraph of $H_2$, then trivially $H_1\le H_2$ holds. On the other hand, there exists a pair $(H_1, H_2)$ such that $H_1$ is a proper supergraph of $H_2$ and $H_1\le H_2$ holds. Q.~Cui, Q.~Liu, C.~Magnant and A.~Saito [Discrete Math. {\bf 344} (2021) Article Number 112267] characterized these pairs. %On the other hand, there are few known results regarding the study of $\leq$ for the incomparable with respect to $\subseteq$. Cui et al. found pairs of graphs $H_1$ and $H_2$ such that $H_1 \leq H_2$ and $H_2 \leq H_1$, that is, non-singleton equivalence class with respect to $\le$. However, we have not found any other non-singleton equivalence class with respect to $\le$ except for those discovered by Cui et al.
In this paper. we investigate the existence of non-singleton equivalence class with respect to $\le$ by focusing on trees.
Structural and extremal properties of $l_1$-Fiedler value
The algebraic connectivity $a(G)$, defined as the second smallest eigenvalue of the Laplacian matrix $L(G)$, admits a well-known variational characterization involving the minimization of a quadratic form subject to an $\ell_{2}$-norm constraint. In a recent work, Andrade and Dahl (2024) proposed an analogous formulation based on the $\ell_{1}$-norm, leading to the introduction of a new graph parameter $b(G)$, referred to as the $l_1$-Fiedler value. In this article, we undertake a detailed investigation of the structural and extremal properties of $b(G)$. We first derive a Nordhaus--Gaddum type inequality for $b(G)$. For trees, we determine both global maximizer and minimizers of $b(G)$, and present extremal constructions for trees with prescribed diameter, maximum degree, and number of pendant vertices. We further establish a connection between $b(G)$ and Laplacian matrices, and obtain a bound for $b(G)$ in terms of the edge connectivity, along with a complete characterization of the graphs attaining equality. We derive an explicit formula that describes the behaviour of $b(G)$ under the addition of pendant vertices. We also investigate the connection between $b(G)$ and the isoperimetric number.
Arboreal Ultrametrics
Ultametrics are an important class of distances used in applications such as phylogenetics, clustering and classification theory. Ultrametrics are essentially distances that can be represented by an edge-weighted rooted tree so that all of the distances in the tree from the root to any leaf of the tree are equal. In this paper, we introduce a generalization of ultrametrics called arboreal ultrametrics which have applications in phylogenetics and also arise in the theory of distance-hereditary graphs. These are partial distances, that is distances that are not necessarily defined for every pair of elements in the groundset, that can be represented by an ultrametric arboreal network, that is, an edge-weighted rooted network whose underlying graph is a tree. As with ultrametrics all of the distances in the ultrametric arboreal network from any root to any leaf below it are are equal but, in contrast, the network may have more than one root. In our two main results we characterize when a partial distance is an arboreal ultrametric as well as proving that, somewhat surprisingly, given any unrooted edge-weighted phylogenetic tree there is a necessarily unique way to insert roots into this tree so as to obtain an arboreal ultrametric.
Structural properties of nested set complexes
We study structural and topological properties of nested set complexes of matroids with arbitrary building sets, proving that these complexes are vertex decomposable and admit convex ear decompositions. These results unify and generalize several recent and classical theorems on Bergman complexes and augmented Bergman complexes of matroids. As a first application, we show that the $h$-vector of a nested set complex is strongly flawless and, in particular, top-heavy. We then specialize to the boundary complex of the Deligne--Mumford--Knudsen moduli space $\overline{\mathcal{M}}_{0, n}$ of rational stable marked curves, which coincides with the complex of trees, establishing new structural decomposition theorems and deriving combinatorial formulas for its face enumeration polynomials.
Four Dominion Growth Regimes in Trees: Forcing, Fibonacci Enumeration, Periodicity, and Stability
We study the dominion zeta(G), defined as the number of minimum dominating sets of a graph G, and analyze how local forcing and boundary effects control the flexibility of optimal domination in trees. For path-based pendant constructions, we identify a sharp forcing threshold: attaching a single pendant vertex to each path vertex yields complete independence with zeta = 2^gamma, whereas attaching two or more pendant vertices forces a unique minimum dominating set. Between these extremes, sparse pendant patterns produce intermediate behavior: removing endpoint pendants gives zeta = 2^(gamma - 2), while alternating pendant attachments induce Fibonacci growth zeta asymptotic to phi^gamma, where phi is the golden ratio. For complete binary trees T_h, we establish a rigid period-3 law zeta(T_h) in {1, 3} despite exponential growth in |V(T_h)|. We further prove a sharp stability bound under leaf deletions, zeta(T_h - X) <= 2^{m_1(X)} zeta(T_h), where m_1(X) counts parents that lose exactly one child; in particular, deleting a single leaf preserves the domination number and exactly doubles the dominion.
Trade-off between spread and width for tree decompositions
We study the trade-off between (average) spread and width in tree decompositions, answering several questions from Wood [arXiv:2509.01140]. The spread of a vertex $v$ in a tree decomposition is the number of bags that contain $v$. Wood asked for which $c>0$, there exists $c'$ such that each graph $G$ has a tree decomposition of width $c\cdot tw(G)$ in which each vertex $v$ has spread at most $c'(d(v)+1)$. We show that $c\geq 2$ is necessary and that $c>3$ is sufficient. Moreover, we answer a second question fully by showing that near-optimal average spread can be achieved simultaneously with width $O(tw(G))$.
Proof of Convergence of a Laplace Expansion Algorithm For Calculating Recursions Satisfied by a Family of Determinants
In Evan and Hendel's recent proof of an outstanding conjecture on the resistance distances of a family of linear 3-trees, a key technique in the proof was calculating the recursion satisfied by a family of determinants. The underlying algorithm employed to prove the conjecture converged (i.e. terminated) in the particular case studied, and the paper presented an open question on when such a procedure converges in general. This paper proves convergence of the procedure for an arbitrary family of determinants of banded, square, Toeplitz matrices. Moreover, the algorithm in this paper improves several aspects of the algorithm of Evans and Hendel.
Semi-Inducibility of some small graphs
Let $H$ be a fixed graph whose edges are colored red and blue and let $β\in [0,1]$. Let $I(H, β)$ be the (asymptotically normalized) maximum number of copies of $H$ in a large red/blue edge-colored complete graph $G$, where the density of red edges in $G$ is $β$. This refines the problem of determining the semi-inducibility of $H$, which is itself a generalization of the classical question of determining the inducibility of $H$. The function $I(H, β)$ for $β\in [0,1]$ was not known for any graph $H$ on more than three vertices, except when $H$ is a monochromatic clique (Kruskal-Katona) or a monochromatic star (Reiher-Wagner). We obtain sharp results for some four and five vertex graphs, addressing several recent questions posed by various authors. We also obtain some general results for trees and stars. Many open problems remain.
A Faber--Krahn inequality for trees
The well-known Faber-Krahn theorem states that the ball has the lowest first Dirichlet eigenvalue among all domains of the same volume in $\mathbb{R}^n$. Leydold (Geom. Funct. Anal, 1997) gave the discrete version of Faber-Krahn inequality for regular trees with boundary. Bıyıko{ğ}lu and Leydold (J. Combin. Theory Ser. B, 2007) demonstrated that the Faber--Krahn inequality holds for the class of trees with boundary with the same degree sequence. They further posed the following question: Give a characterization of all graphs in a given class \(\mathcal{C}\) with the Faber-Krahn property. In this paper, we show the Faber-Krahn property for trees with given matching number. Our result can imply the Klobürštel theorem, i.e., the Faber-Krahn inequality for trees with given number of interior vertices and boundary vertices.
Tree metrics and log-concavity for matroids
We show that a set function $ν$ satisfies the gross substitutes property if and only if its homogeneous generating polynomial $Z_{q,ν}$ is a Lorentzian polynomial for all positive $q \le 1$, answering a question of Eur-Huh. We achieve this by giving a rank 1 upper bound for the distance matrix of an ultrametric tree, refining a classical result of Graham-Pollak. This characterization enables us to resolve two open problems that strengthen Mason's log-concavity conjectures for the number of independent sets of a matroid: one posed by Giansiracusa-Rincón-Schleis-Ulirsch for valuated matroids, and two posed by Dowling in 1980 and Zhao in 1985 for ordinary matroids.
On Circular Threshold Words and Other Stronger Versions of Dejean's conjecture
Let the root of the word $w$ be the smallest prefix $v$ of $w$ such that $w$ is a prefix of $vvv...$. $per(w)$ is the length of the root of $w$. For any $n\ge5$, an $n$-ary threshold word is a word $w$ such that for any factor (subword) $v$ of $w$ the condition $\frac{|v|}{per(v)}\le\frac{n}{n-1}$ holds. Dejean conjecture (completely proven in 2009) states for $n\ge5$ that exists infinitely many of $n$-ary TWs.
This manuscript is based on the author's student works (diplomas of 2011 (bachelor's thesis) and 2013 (master's thesis) years) and presents an edited version (in Russian) of these works with some improvements.
In a 2011 work proposed new methods of proving of the Dejean conjecture for some odd cases $n\ge5$, using computer verification in polynomial time (depending on $n$). Moreover, the constructed threshold words (TWs) are ciclic/ring TWs (any cyclic shift is a TW).
In the 2013 work, the proof method (of 2011) was improved by reducing the verification conditions. A solution for some even cases $n\ge6$ is also proposed. A 2013 work also proposed a method to construct stronger TWs, using a TW tree with regular exponential growth. Namely, the TWs, where all long factors have an exponent close to 1.