arXiv++ Combinatorics

Let $G$ be a nontrivial graph with minimum degree $δ$ and $k$ an integer with $k\ge 2$. In the literature, there are eigenvalue conditions that imply $G$ contains $k$ edge-disjoint spanning trees. We give eigenvalue conditions that imply $G$ contains $k$ edge-disjoint spanning trees and another forest $F$ with $|E(F)|>\frac{δ-1}δ(|V(G)|-1)$, and if $F$ is not a spanning tree, then $F$ has a component with at least $δ$ edges.

Spanning trees $T_1,T_2, \dots,T_k$ of $G$ are $k$ completely independent spanning trees if, for any two vertices $u,v\in V(G)$, the paths from $u$ to $v$ in these $k$ trees are pairwise edge-disjoint and internal vertex-disjoint. Hasunuma proved that determining whether a graph contains $k$ completely independent spanning trees is NP-complete, even for $k = 2$. Araki posed the question of whether certain known sufficient conditions for hamiltonian cycles are also also guarantee two completely independent spanning trees? In this paper, we affirmatively answer this question for the Fan-type condition. Precisely, we proved that if $G$ is a connected graph such that each pair of vertices at distance 2 has degree sum at least $|V(G)|$, then $G$ has two completely independent spanning trees.

We study the fault-tolerance of networks from both the structural and computational point of view using the minimum leaf number of the corresponding graph $G$, i.e. the minimum number of leaves of the spanning trees of $G$, and its vertex-deleted subgraphs. We investigate networks that are leaf-guaranteed, i.e. which satisfy a certain stability condition with respect to minimum leaf numbers and vertex-deletion. Next to this, our main notion is the so-called fault cost, which is based on the number of vertices that have different degrees in minimum leaf spanning trees of the network and its vertex-deleted subgraphs. We characterise networks with vanishing fault cost via leaf-guaranteed graphs and describe, for any given network $N$, leaf-guaranteed networks containing $N$. We determine for all non-negative integers $k \le 8$ except $1$ the smallest network with fault cost $k$. We also give a detailed treatment of the fault cost $1$ case, prove that there are infinitely many $3$-regular networks with fault cost $3$, and show that for any non-negative integer $k$ there exists a network with fault cost exactly $k$.

A family $\mathcal{F}$ of spanning trees of the complete graph on $n$ vertices $K_n$ is \emph{$t$-intersecting} if any two members have a forest on $t$ edges in common. We prove an Erdős--Ko--Rado result for $t$-intersecting families of spanning trees of $K_n$. In particular, we show there exists a constant $C > 0$ such that for all $n \geq C (\log n) t$ the largest $t$-intersecting families are the families consisting of all trees that contain a fixed set of $t$ disjoint edges (as well as the stars on $n$ vertices for $t = 1$). The proof uses the spread approximation technique in conjunction with the Lopsided Lovász Local Lemma.

It is well known that finding extremal values and structures can be hard in weighted graphs. However, if the weights are random, this problem can become way easier. In this paper, we examine the minimal weight of a union of $k$ edge-disjoint trees in a complete graph with independent and identically distributed edge weights. The limit of this value (for a given distribution) is known for $k=1,2$. We extend these results and find the limit value for any $k>2$. We also prove a related result regarding the structure of sparse random graphs.

Let $T$ be a tree. A vertex of degree one is a \emph{leaf} of $T$ and a vertex of degree at least three is a \emph{branch vertex} of $T$. A graph is said to be claw-free if it does not contain $K_{1,3}$ as an induced subgraph. In this paper, we study the spanning trees with a bounded number of leaves and branch vertices of claw-free graphs. Applying the main results, we also give some improvements of previous results on the spanning trees with few branch vertices for the case of claw-free graphs.

The complexity of a graph is the number of its labeled spanning trees. It is demonstrated that the seven known triangle-free strongly regular graphs, such as the Higman-Sims graph, are graphs of maximal complexity among all graphs of the same order and degree; their complements are shown to be of minimal complexity. A generalization to nearly regular graphs with two distinct eigevalues of the Laplacian is presented. Conjectures and applications of these results to biological problems on neuronal activity are described.

A classical result of Komlós, Sárközy and Szemerédi shows that every large $n$-vertex graph with minimum degree at least $(1/2+γ)n$ contains all spanning trees of bounded degree. We generalised this result to loose spanning hypertrees in $k$-uniform hypergraphs, that is, linear hypergraphs obtained by subsequently adding edges sharing a single vertex with a previous edge. We give a general sufficient condition for embedding loose trees with bounded degree. In particular, we show that for all $k\ge 4$, every $n$-vertex $k$-uniform hypergraph with $n\ge n_0(k,γ, Δ)$ and minimum $(k-2)$-degree at least $(1/2+γ)\binom{n}{k-2}$ contains every spanning loose tree with maximum vertex degree at most $Δ$. This bound is asymptotically tight. This generalises a result of Pehova and Petrova, who proved the case when $k=3$ and of Pavez-Signé, Sanhueza-Matamala and Stein, who considered the codegree threshold for bounded degree tight trees.

The tree spanner problem for a graph $G$ is as follows: For a given integer $k$, is there a spanning tree $T$ of $G$ (called a tree $k$-spanner) such that the distance in $T$ between every pair of vertices is at most $k$ times their distance in $G$? The minimum $k$ that $G$ admits a tree $k$-spanner is denoted by $σ(G)$. It is well known in the literature that determining $σ(G)\leq 2$ is polynomially solvable, while determining $σ(G)\leq k$ for $k\geq 4$ is NP-complete. A long-standing open problem is to characterize graphs with $σ(G)=3$. This paper settles this open problem by proving that it is polynomially solvable.

In this paper, we provide an exact formula for the average hitting times in a wheel graph $W_{N+1}$ using a combinatorial approach. For this wheel graph, the average hitting times can be expressed using Fibonacci numbers when the number of surrounding vertices is odd and Lucas numbers when it is even. Furthermore, combining the exact formula for the average hitting times with the general formula for the effective resistance of the graph allows determination of the number of spanning trees of the graph with two identified vertices.

We consider the number of common edges in two independent random spanning trees of a graph $G$. For complete graphs $K_n$, we give a new proof of the fact, originally obtained by Moon, that the distribution converges to a Poisson distribution with expected value $2$. This is applied to show a Poisson limit law for the number of common edges in two independent random spanning trees of an Erdős--Rényi random graph $G(n,p)$ for constant~$p$. We also use the same method to prove an analogous result for complete multipartite graphs.

The complexity of a graph is the number of its labeled spanning trees. In this work complexity is studied in settings that admit regular graphs. An exact formula is established linking complexity of the complement of a regular graph to numbers of closed walks in the graph by way of an infinite alternating series. Some consequences of this result yield infinite classes of lower and upper bounds on the complexity of such graphs. Applications of these mathematical results to biological problems on neuronal activity are described.

Motivated by very large-scale communication networks, we newly introduce exponentiation of graphs. Using the exponential operation on graphs, we can construct various graphs of multi-exponential order with logarithmic diameter. We show that every connected exponential graph is maximally connected. For exponential graphs, we also present a necessary and sufficient condition to be super edge-connected and sufficient conditions to be Hamiltonian and to have edge-disjoint Hamiltonian cycles and completely independent spanning trees. Applying our results to previously known networks, we have maximally connected and super edge-connected Hamiltonian graphs of doubly exponential order with logarithmic diameter. We furthermore define iterated exponential graphs which may be of not only practical but also theoretical interest.

This article applies the technical framework developed in previous work by the author to discrete admissible covers and their moduli spaces. More precisely, we construct a poic-space that parameterizes the discrete admissible covers after fixing the genus of the target, the number of marked legs, and prescribing the ramification profiles above these marked legs. We then construct a linear poic-fibration over this poic-space and show that the usual weight assignment of covers produces an equivariant cycle of this poic-fibration. This poic-fibration comes naturally with source and target maps, and after taking the weak pushforward in top dimension through the source map and subsequently forgetting the marking, this gives rise to an equivariant tropical cycle of the corresponding spanning tree fibration. Through this framework we obtain a generalization of previously known results on these cycles pertaining to the gonality of tropical curves. Special cases of these tropical cycles yield the following result: \emph{A generic genus-$g$ $r$-marked tropical curve $Γ$ (with $g+r$ even) has $C_{\frac{g+r}{2}}$ many $r$-marked discrete admissible covers of degree $\frac{g+r}{2}+1$ of a tree (counted with multiplicity) that have a tropical modification of $Γ$ as a source, where $C_{\frac{g+r}{2}}$ is the $(\frac{g+r}{2})$th Catalan number}.

Previous work of Chan--Church--Grochow and Baker--Wang shows that the set of spanning trees in a plane graph $G$ is naturally a torsor for the Jacobian group of $G$. Informally, this means that the set of spanning trees of $G$ naturally forms a group, except that there is no distinguished identity element. We generalize this fact to graphs embedded on orientable surfaces of arbitrary genus, which can be identified with ribbon graphs. In this generalization, the set of spanning trees of $G$ is replaced by the set of spanning quasi-trees of the ribbon graph, and the Jacobian group of $G$ is replaced by the Jacobian group of the associated regular orthogonal matroid $M$ (along with an associated regular representation of $M$). Our proof shows, more generally, that the family of "BBY torsors" constructed by Backman--Baker--Yuen and later generalized by Ding admit natural generalizations to (regular representations of) regular orthogonal matroids. In addition to shedding light on the role of planarity in the earlier work mentioned above, our results represent one of the first substantial applications of orthogonal matroids (also called "even delta-matroids" or "Lagrangian orthogonal matroids") to a natural combinatorial problem about graphs.

The reciprocal of the Ihara zeta function of a graph is a polynomial invariant introduced by Ihara in 1966. Scott and Storm gave a method to determine the coefficients of the polynomial. Here we simplify their calculation and determine the zeta function for all graphs of rank two. We verify that it is a complete invariant for such graphs: If $G_1$ and $G_2$ are of rank two, then $G_1$ and $G_2$ are isomorphic if and only if they have the same Ihara zeta function. We observe that the reciprocal of the zeta function is an even polynomial if the graph is bipartite. We also determine the zeta function for several graph families: complete graphs, complete bipartite graphs, Möbius ladders, cocktail party graphs, and all graphs of order five or less. We use the special value $u=1$ to count the spanning trees for these families.

Permutons, which are probability measures on the unit square $[0, 1]^2$ with uniform marginals, are the natural scaling limits for sequences of (random) permutations. We introduce a $d$-dimensional generalization of these measures for all $d \ge 2$, which we call $d$-dimensional permutons, and extend -- from the two-dimensional setting -- the theory to prove convergence of sequences of (random) $d$-dimensional permutations to (random) $d$-dimensional permutons. Building on this new theory, we determine the random high-dimensional permuton limits for two natural families of high-dimensional permutations. First, we determine the $3$-dimensional permuton limit for Schnyder wood permutations, which bijectively encode planar triangulations decorated by triples of spanning trees known as Schnyder woods. Second, we identify the $d$-dimensional permuton limit for $d$-separable permutations, a pattern-avoiding class of $d$-dimensional permutations generalizing ordinary separable permutations. Both high-dimensional permuton limits are random and connected to previously studied universal 2-dimensional permutons, such as the Brownian separable permutons and the skew Brownian permutons, and share interesting connections with objects arising from random geometry, including the continuum random tree, Schramm--Loewner evolutions, and Liouville quantum gravity surfaces.

Constructing the maximum spanning tree $T$ of an edge-weighted connected graph $G$ is one of the important research topics in computer science and optimization, and the related research results have played an active role in practical applications. In this paper, we are concerned with the ratio of the weighted sum of a spanning tree $T$ of $G$ to the weighted sum of $G$, which we try to minimize. We propose an interesting theorem to simplify this problem and show that this optimal problem can be solved in polynomial time. Furthermore, we apply the optimal problem in chordal graphs.

Let $G$ be a connected graph of order $n$. A spanning $k$-tree of $G$ is a spanning tree with the maximum degree at most $k$, and a spanning $k$-ended-tree of $G$ is a spanning tree at most $k$ leaves, where $k\geq2$ is an integer. This paper establishes some spectral conditions for the existence of spanning $k$-trees or spanning $k$-ended-trees in $t$-connected graphs, which generalize the results of Fan et al. (2022) and Zhou (2010), and improve the results of Fiedler et al. (2010), Ao et al. (2023) and Ao et al. (2025).

A rooted arborescence of a directed graph is a spanning tree directed towards a particular vertex. A recent work of Chepuri et al. showed that the arborescences of a covering graph of a directed graph G are closely related to the arborescences of G. In this paper, we study the weighted sum of arborescences of a random covering graph and give a formula for the expected value, resolving a conjecture of Chepuri et al.