arXiv++ Combinatorics

Mixed radial Moore graphs are approximations of mixed Moore graphs that preserve the distance-preserving spanning tree for some vertices. One way to measure their resemblance to a mixed Moore graph is using the status measure. The status of a graph is defined as the sum of the distances between all pairs of ordered vertices. Mixed radial Moore graphs with minimum status are closer to mixed Moore graphs according to this measure. The existence of mixed radial Moore graphs is still unknown for most values of the degree and the diameter. In this work, we develop an integer programming model (IP) to find mixed radial Moore graphs of diameter 3 with minimum status. As a result, we show the existence of these graphs for several new values of the degree and the diameter.

For a graph $G$, let $τ(G)$ denote the number of spanning trees. We show that for every fixed $0 < c < 1/4$, the number of distinct values of $τ(G)$, as $G$ ranges over simple graphs on $n$ vertices, is at least $\exp(c n \log n)$ for all sufficiently large $n$. This is optimal up to the choice of the constant $c$ and resolves a conjecture of Chan-Kontorovich-Pak regarding a problem of Sedláček from the late 1960s.

For a commutative ring $R$ with identity, the \emph{weakly zero-divisor graph} $\WG(R)$ has vertex set $\Z(R)^{\ast}$, with distinct vertices $x$ and $y$ adjacent whenever there exist nonzero $r\in\Ann(x)$ and $s\in\Ann(y)$ with $rs=0$. The Laplacian spectrum of $\WG(\Z_n)$ has been determined by Shariq, Mathil, and Kumar, who also established that $\WG(\Z_n)$ is Laplacian integral. Building on the structural description of $\WG(R)$ due to Nikmehr, Azadi, and Nikandish, we extend the Laplacian spectrum and integrality results from $\Z_n$ to \emph{every} finite commutative ring $R$: we restate $\WG(R)$ in unified form as a complete multipartite graph whose parts are made explicit by the local-ring decomposition of $R$, compute the full Laplacian spectrum in closed form, prove Laplacian integrality of $\WG(R)$, and give a sharp bound on the number of distinct Laplacian eigenvalues. As consequences we obtain explicit formulas for the algebraic connectivity and number of spanning trees of $\WG(R)$, and recover the Laplacian spectrum of $\WG(\Z_n)$ in compact form.

For a graph $G$, the spectral radius of $G$ is the largest eigenvalue of its adjacency matrix. A connected factor of $G$ is a connected spanning subgraph of $G$. For example, a spanning tree of $G$ is a 1-connected factor of $G$. Let $G$ be a graph of order $n$ with minimum degree $δ\geq6$, where $n\geq3δ$. In this paper, we give a sharp spectral radius condition for $G$ to contain $k$ edge-disjoint 2-connected factors and $\left\lfloor\frac{δ-4k}{2}\right\rfloor$ edge-disjoint spanning trees, where $1\leq k\leq\left\lfloor\fracδ{4}\right\rfloor$ is an integer.

We prove that, among rectangular grid graphs with a fixed number of vertices, the number of spanning trees increases when the side lengths are made more balanced. In particular, among all rectangular grid graphs with $n^2$ vertices, the square $n\times n$ grid has the largest number of spanning trees. The proof starts with the Laplacian product formula, passes to hyperbolic coordinates, and compares logarithms by separating a discrete-concavity term from a positive decreasing residual term.

A celebrated result of Otter says the number of distinct unlabelled spanning trees in $K_n$ is $α^n$ up to subexponential factors for an absolute constant $α>0$. In this note, we prove that for every $0<\varepsilon<α$, there are constants $C$ and $d_0$ such that every $(n,d,λ)$-graph with $d\geq d_0$ and $d/λ\geq C$ has at least $(α-\varepsilon)^n$ distinct unlabelled spanning trees.

The regular set tolerance is an important term in sensitivity analysis. For combinatorial sum problems, e.g., the Traveling Salesman Problem, Shortest Path Problem and Minimum Spanning Tree Problem, it determines how much the sum of the costs of the elements of a set can be increased while ensuring that all current optimal solutions remain optimal. The regular set lower tolerance determines how much the sum of the costs of the elements of a set can be decreased while ensuring that the objective value of the optimal solution is not changed. We investigate a general method for computing regular (upper and lower) set tolerances in combinatorial sum problems. For the upper tolerance, we present a linear programming approach, and for the lower tolerances, three linear programming approaches, where the last two are novel and lead to recursive procedures for computation of the lower tolerances of all subsets of the given ground set. Furthermore, we give new upper bounds for set lower tolerances. For both upper and lower tolerances, we give an exact formula for sets of cardinality 2 and 3. Finally, we consider the computation of tolerances for the Minimum Spanning Tree Problem, give a formula for single tolerances, a lower bound for regular set upper tolerances and an exact formula for regular set lower tolerances.

In this paper, we consider circulant graphs obtained from the complete graph $K_N$ by deleting all edges belonging to a prescribed distance class. We study, in a unified manner, the effective resistance, the expected hitting time, the number of spanning trees, and the number of two-component spanning forests of these graphs. For general distance-class deletions, these quantities admit natural spectral representations in terms of the Laplacian eigenvalues. However, such representations typically remain at the level of finite Fourier sums, and concise closed forms are not expected in general. We focus on the case of a single deleted distance class. When the number of vertices $N$ is odd and $\gcd(r,N)=1$, the graph $G_{N,r}$ is isomorphic to $G_{N,1}$. In this setting, we derive explicit exponential-type formulas for the effective resistance and the number of spanning trees, and obtain corresponding closed expressions for two-component spanning forests and expected hitting times. Our results show that the case $r=2$ is not essentially new, but follows from a general isomorphism structure underlying distance-class deletions. We also clarify the relation of our formulas to earlier results on the complete graph with a Hamiltonian cycle removed, and provide a unified derivation within a spectral framework. Moreover, by asymptotic analysis, we show that the ratio $τ(G_{N,1})/τ(K_N)$ converges to $e^{-2}$ as $N \to \infty$.

We investigate the average hitting times of simple random walks on the $k$-th power graph $C_N^k$ of the cycle graph $C_N$. First, we show that the average hitting times are characterized by a difference equation corresponding to the graph Laplacian. Next, by using the cyclic symmetry of $C_N^k$, we derive a spectral representation via Fourier analysis. Furthermore, by applying factorization and partial fraction decomposition of the corresponding difference operator, we obtain an explicit formula for the average hitting times consisting of a quadratic term and finitely many correction terms. These correction terms are described by second-order linear recurrence sequences associated with the characteristic polynomials, and can be regarded as natural generalizations of Fibonacci-type sequences. As a consequence, our formulas recover the known results for cycle graphs and squares of cycle graphs in a unified way. Moreover, from the formulas obtained for average hitting times, we derive explicit formulas for the effective resistances, the numbers of spanning trees, the numbers of two-component spanning forests, and the numbers of spanning trees of vertex-identified graphs. In particular, for the third power graph $C_N^3$ of the cycle graph, all of these quantities are written explicitly in terms of complex conjugate Fibonacci-type sequences. Our results clarify structural relations between random walk quantities and combinatorial quantities on cycle power graphs.

Let $G$ be a connected graph with vertex set $V(G)$, and denote by $d_G(u,v)$ the distance from $u$ to $v$ in $G$, for any $u,v \in V(G)$. The average distance of an $n$-vertex connected graph $G$, denoted by $μ(G)$, is defined to be the average of all distances between all pairs of vertices in $G$, i.e., $μ(G) = \binom{n}{2}^{-1} \sum_{\{u,v\} \subset V(G)}d_G(u,v)$. The problem of finding a spanning tree of minimum average distance is known to be NP-hard, so establishing an upper bound for the minimum average distance among all spanning trees is of particular interest. Mukwembi (J. Graph Theory, 2014) showed that if $G$ is a connected graph of order $n$ with independence number $α$, where $n > 2 α- 1$, then $G$ has a spanning tree $T$ such that $μ(T) \le α+ 2$. In this paper, we first improve the upper bound to $μ(T) < α+ 1$ for $α\ge 1$, and then we find the bound could be further improved when $α$ becomes larger, so a better upper bound \[ μ(T) < \left\{ \begin{array}{ll} α+1 & \hbox{if } 1\leα\le 6,\\ α+\frac12+\frac{4(α-1)}{α^2} & \hbox{if } α\ge 7, \end{array} \right. \] is established later. In the end, we give a remark to indicate our new upper bound is best possible in the sense of asymptotics (when $n$ and $α$ are large enough).

The toughness of a graph $G$, denoted by $τ(G)$, is defined by $τ(G)=$min $\{\frac{|S|}{c(G-S)}:S\subseteq V(G)$ and $c(G-S)\geq2\}$. A graph $G$ is said to be $τ$-tough if $τ(G)\geq τ$. Let $k\geq2$ be an integer. A tree $T$ is called a $k$-tree if $d_{T}(v)\leq k$ for each $v\in V(T)$, that is, the maximum degree of a $k$-tree is at most $k$. A $k$-tree $T$ is a spanning $k$-tree if $T$ is a spanning subgraph of a connected graph $G$. In 1989, Win [Graphs Combin. 5 (1989) 201--205] proved that if $τ(G)\geq\frac{1}{k-2}$, where $k\geq3$, then $G$ contains a spanning $k$-tree. Liu, Fan and Shu [Discrete Math. 348 (2025) 114593] provided a tight sufficient condition based on the spectral condition for connected $\frac{1}{k}$-tough and $\frac{1}{k-1}$-tough graphs to contain a spanning $k$-tree, where $k\geq3$ is an integer. A natural and interesting problem arises: Can the value of $τ$ be refined? When $\frac{1}{k-2}>τ\geq\frac{1}{k-1}$, we initially establish a lower bound on the size to ensure that a connected $\frac{t}{t(k-2)+1}$-tough graph $G$ contains a spanning $k$-tree, where $k\geq3$ and $t\geq1$ are integers. Meanwhile, we provide two sufficient conditions in terms of spectral radius and signless Laplacian spectral radius for a connected $\frac{t}{t(k-2)+1}$-tough graph $G$ to contain a spanning $k$-tree, where $k\geq3$ and $t\geq1$ are integers. When $t=1$, we obtain the result $η=1$ from Liu, Fan and Shu.

Let $κ'(G)$ and $τ(G)$ denote the edge connectivity and the spanning tree packing number of a graph $G$, respectively. Recently, Zhang and Fan [J. Graph Theory 112 (2) (2026) 128--144] posed the problem of finding a tight spectral radius condition for an $m$-edge-connected graph $G$ to guarantee $τ(G)\ge k$ for $k+1\le m\le 2k-1$, and solved the case $k=2$ and $m=3$. In this paper, we study the general case $m=k+1$ for $k\ge 3$. We obtain a tight spectral radius condition for a $(k+1)$-edge-connected graph to contain $k$ edge-disjoint spanning trees, and characterize the corresponding extremal graph. More precisely, we prove that if $k\ge 3$ and $G$ is a $(k+1)$-edge-connected graph of order $n\ge 3k+2$, and $ρ(G)\ge ρ(F_{n,k})$, then $τ(G)\ge k$ unless $G\cong F_{n,k}$, where $F_{n,k}$ is the graph with vertex set $U\cup T$, in which $U=\{u_1,u_2,\ldots,u_{n-4}\}$ and $T=\{v_1,v_2,v_3,v_4\}$, such that $F_{n,k}[U]\cong K_{n-4}$, $F_{n,k}[T]\cong K_4-e$ with missing edge $v_1v_2$, and $E_G(T,U)=\{v_i u_j : i \in \{1,2\},\ 1 \le j \le k-1\} \cup \{v_i u_j : i \in \{3,4\},\ 1 \le j \le k-2\}$. We also give a heuristic discussion of the more general case $m=k+c$ with $0\le c\le k-1$ and propose a conjecture on the structure of the corresponding extremal graphs.

Spanning trees are fundamental for efficient communication in networks. For fault-tolerant communication, it is desirable to have multiple spanning trees to ensure resilience against failures of nodes and edges. To this end, various notions of disjoint or independent spanning trees have been studied, including edge-disjoint, node/edge-independent, and completely independent spanning trees. Alongside these, several Steiner variants have also been investigated, where the trees are required to span a designated subset of vertices called terminals. For instance, the study of edge-disjoint spanning trees has been extended to edge-disjoint Steiner trees; a stronger variant is the problem of internally disjoint Steiner trees, where any two Steiner trees intersect exactly in the terminals. In this paper, we investigate the Steiner analogue of completely independent spanning trees, which we call \emph{completely independent Steiner trees}. A set of Steiner trees is completely independent if, for every pair of terminals $u,v$, the $(u,v)$-paths in all the Steiner trees are internally vertex-disjoint and edge-disjoint. This notion generalizes both completely independent spanning trees and internally disjoint Steiner trees. We provide a systematic study of completely independent Steiner trees from structural, algorithmic, and complexity-theoretic perspectives. In particular, we present several characterisations, connectivity bounds, algorithms, hardness results, and applications to special graph classes such as planar graphs and graphs of bounded treewidth. Along the way, we also introduce a directed variant of completely independent spanning trees via an equivalence with completely independent Steiner trees.

Reduced parameters [BKW, JCTB '26; BKRT, SODA '22] are defined via contraction sequences. Based on this framework, we introduce the reduced component max-leaf, denoted by $\operatorname{cml}^\downarrow$, where component max-leaf is the maximum number of leaves in any spanning tree of any connected component. Reduced component max-leaf is strictly sandwiched between clique-width and reduced bandwidth, it is bounded in unit interval graphs, and unbounded in planar graphs. We design polynomial-time algorithms for problems such as \textsc{Maximum Induced $d$-Regular Subgraph} and \textsc{Induced Disjoint Paths} in graphs given with a contraction sequence witnessing low $\operatorname{cml}^\downarrow$, unifying and extending tractability results for classes of bounded clique-width and unit interval graphs. We get the following collapses in sparse classes of bounded $\operatorname{cml}^\downarrow$: bounded maximum degree implies bounded treewidth, whereas $K_{t,t}$-subgraph-freeness implies strongly sublinear treewidth; we show the latter, more generally, for classes of bounded reduced cutwidth. We establish the former result by showing that graphs with bounded $\operatorname{cml}^\downarrow$ admit balanced separators dominated by a bounded number of vertices. We then showcase an application of the reduced parameters to establishing non-transducibility results. We prove that for most reduced parameters $p^\downarrow$ (including reduced bandwidth), the family of classes of bounded $p^\downarrow$ is closed under first-order transductions. We then answer a question of [BKW '26] by showing that the 3-dimensional grids have unbounded reduced bandwidth. As the class of planar graphs (or any class of bounded genus) has bounded reduced bandwidth [BKW '26], this reproves a recent result [GPP, LICS '25] that planar graphs do not first-order transduce the 3-dimensional grids.

Let $k\geq2$ be an integer. A $k$-tree is a tree with maximum degree at most $k$. In this paper, we give a closure result on spanning $k$-trees of graphs with given minimum degree. Let $δ\geq1$ be an integer, and $G$ be a connected graph of order $n$ with minimum degree $δ$. Let $u$ and $v$ be two nonadjacent vertices of $G$ satisfying $d_{G}(u)+d_{G}(v)\geq n-1-(k-2)δ$. Then $G$ has a spanning $k$-tree if and only if $G+uv$ has a spanning $k$-tree.

We show that the average length of a fundamental cycle with respect to any fixed spanning tree of the $n\times n$ square grid is at least $Ω(\log n)$; the bound is asymptotically tight. This result answers in the affirmative a question posed by McCarty in relation to sparse representations of binary matroids.

The study of spanning trees and related structures is central in graph theory, closely connected to understanding functions between finite sets. This paper generalizes the established relationship between rooted trees and eventually constant endomorphisms to a wider context including $k$-tuples of functions among $k$ disjoint vertex sets. We derive a weighted count of eventually constant $k$-tuples, which are characterized by their stabilization to constancy upon iterated composition. This construction is the set-theoretic analogue of the nilpotent cone and offers new insight into the combinatorial structure of cyclic digraphs. By identifying these $k$-tuples with their induced digraphs, we construct explicit formulas for their generating polynomials and analyze the cardinality of the set of eventually constant $k$-tuples. These polynomials are multisymmetric in $k$ sets of variables and can be re-expressed as the character of a representation of the product of general linear groups. We extend the ideas to the more general structures of eventually $N$-cyclic and $λ$-cyclic $k$-tuples, which we define and provide similar theorems for their generating functions and cardinality.

In [27], we provided results on the $p$-modulus of the family of all bases of matroids and showed that it recovers various concepts in matroid theory, including strength, fractional arboricity, and principal partitions. In particular, the unique optimal density $η^*$ that arises for $p$-modulus, which we will refer to as universal density from now on, was shown to recover the concept of lexicographical base in polymatroids. Since truncation is a fundamental operation in matroid theory, it is natural to ask how the universal density behaves under matroid truncation. In this paper, we first provide the universal density of every truncation of a given matroid; equivalently, we determine the principal partition for every matroid truncation. Next, we give a new characterization of the universal density using the Kullback--Leibler divergence. Furthermore, we study the notion of strictly homogeneous matroids, generalizing the corresponding notion in graphs from [6]. We also offer several insights related to strength, fractional arboricity, and give the set of probability mass functions (pmfs) for bases that induce the universal density in a simple case. Finally, this paper also addresses two optimization problems for graph structures, particularly those involving edge-disjoint spanning trees and forest edge-coverings.

In the Properly Colored Spanning Tree problem, we are given an edge-colored undirected graph and the goal is to find a spanning tree in which any two adjacent edges have distinct colors. Since finding such a tree is NP-hard in general, previous work often relied on minimum color degree conditions to guarantee the existence of properly colored spanning trees. While it is known that every connected edge-colored graph $G$ contains a properly colored tree of order at least $\min\{|V(G)|, 2δ^c(G)\}$, where $δ^c(G)$ denotes the minimum number of colors incident to a vertex, we study the algorithmic above-guarantee problem for properly colored trees. We provide a polynomial-time algorithm that constructs a properly colored tree of order at least $\min\{|V(G)|, 2δ^c(G)+1\}$ in a connected edge-colored graph $G$, whenever such a tree exists.

We study two related problems on simple, un-directed graphs: Edge Deletion to Cactus and Spanning Tree to Cactus. Edge Deletion to Cactus has been known to be NP-hard on general graphs at least since 1988. We show improved exact algorithms for the former and a polynomial time algorithm for the latter.