arXiv++ Combinatorics

In this paper, we investigate the problem of generating the spanning trees of a graph $G$ up to the automorphisms or "symmetries" of $G$. After introducing and surveying this problem for general input graphs, we present algorithms that fully solve the case of series-parallel graphs, under two standard definitions. We first show how to generate the nonequivalent spanning trees of a oriented series-parallel graph $G$ in output-linear time, where both terminals of $G$ have been individually distinguished (i.e. applying an automorphism that exchanges the terminals produces a different series-parallel graph). Subsequently, we show how to adapt these oriented algorithms to the case of semioriented series-parallel graphs, where we still have a set of two distinguished terminals but neither has been designated as a source or sink. Finally, we discuss the case of unoriented series-parallel graphs, where no terminals have been distinguished and present a few observations and open questions relating to them. The algorithms we present generate the nonequivalent spanning trees of $G$ but never explicitly compute the automorphism group of $G$, revealing how the recursive structure of $G$'s automorphism group mirrors that of its spanning trees.

This paper gives a new algorithm for sampling tree-weighted partitions of a large class of planar graphs. Formally, the tree-weighted distribution on $k$-partitions of a graph weights $k$-partitions proportional to the product of the number of spanning trees of each partition class. Recent work on problems in computational redistricting analysis has driven special interest in the conditional distribution where all partition classes have the same size (balanced partitions). One class of Markov chains in wide use aims to sample from balanced tree-weighted $k$-partitions using a sampler for balanced tree-weighted 2-partitions. Previous implementations of this 2-partition sampler would draw a random spanning tree and check whether it contains an edge whose removal produces a balanced 2-component forest; if it does, this 2-partition is accepted, otherwise the algorithm rejects and repeats. In practice, this is a significant computational bottleneck. We show that in fact it is possible to sample from the balanced tree-weighted 2-partition distribution directly, without first sampling a spanning tree; the acceptance and rejection rates are the same as in previous samplers. We prove that on a wide class of planar graphs encompassing network structures typically arising from the geographic data used in computational redistricting, our algorithm takes expected linear time $O(n)$. Notably, this is asymptotically faster than the best known method to generate random trees, which is $O(n \log^2 n)$ for approximate sampling and $O(n^{1 + \log \log \log n / \log \log n})$ for exact sampling. Additionally, we show that a variant of our algorithm also gives a speedup to $O(n \log n)$ for exact sampling of uniformly random trees on these families of graphs, improving the bounds for both exact and approximate sampling.

We obtain an exact formula for the probability that a uniformly random spanning tree of the $2$-by-$n$ square grid is ``balanced'' in the sense that it has an edge whose removal partitions its vertices into two sets of equal size. We compute the exact limit of this probability as $n\rightarrow\infty$.

For a connected graph $G$ with sink vertex $q$, a $G$-parking function is a vector of nonnegative integers whose entries are determined by cut-sets in $G$. Such objects also arise as the superstable configurations in the context of chip-firing. The set of all $G$-parking functions have various algebraic and combinatorial properties; for instance they relate to evaluations of the Tutte polynomial and in particular are counted by spanning trees of $G$. We extend these constructions to the setting of hypergraphs, where edges can have multiple vertices. For a hypergraph $H$ with sink $q$, we define $H$-parking functions in terms of cuts in $H$ and prove that the maximal such sequences are characterized by certain acyclic orientations of $H$. We introduce a notion of a $q$-rooted spanning tree for $H$, and prove that the set of all such objects are counted by $H$-parking functions. We also show how $H$-parking functions can be recovered as the superstable configurations in a version of chip-firing on $H$, where chips have a choice of where to go when fired. We prove that one can recover such configurations via chip-firing on a family of digraphs associated to $H$.

In 2001, Komlós, Sárközy, and Szemerédi proved that every sufficiently large $n$-vertex graph with minimum degree at least $\left(1/2+γ\right)n$ contains all spanning trees with maximum degree at most $cn/\log n$. We extend this result to hypergraphs by considering loose hypertrees, which are linear hypergraphs obtained by successively adding edges that share exactly one vertex with a previous edge. For all $k > \ell \geq 2$, we determine asymptotically optimal $\ell$-degree conditions that ensure the existence of all rooted spanning loose hypertrees, without any degree condition, in terms of the $(\ell-1)$-degree threshold for the existence of a perfect matching in $(k-1)$-graphs. As a corollary, we also asymptotically determine the $\ell$-degree threshold for the existence of bounded degree spanning loose hypertrees in $k$-graphs for $k/2 < \ell < k$, confirming a conjecture of Pehova and Petrova in this range. In our proof, we avoid the use of Szemerédi's regularity lemma.

In this paper, we introduce a generalized version of an ear decomposition, called a $j$-spider decomposition, for $j$-connected star-free graphs with $j \geq 2$. Its application enables us to improve a previousely known sufficient condition for the existence of a $k$-tree in highly connected star-free graphs, where a $k$-tree is a spanning tree in which every vertex is of degree at most $k$. More precisely, we show that every $j$-connected $K_{1,j(k-2)+2}$-free graph has a $k$-tree for $k\ge j$, thereby improving a classical result of Jackson and Wormald for $k\ge j$. Our approach differs from previous studies based on toughness-type arguments and instead relies on both a~$j$-spider decomposition and a factor theorem related to Hall's marriage theorem.

We introduce the wild number of an edge-colored graph as a measure of how close an edge-colored graph is to having a spanning tree in every color. This combinatorial concept originates in the algebraic theory of generalized graph splines. After showing that determining the wild number of a graph is an NP-complete problem, we provide bounds on the wild number and find the exact wild number for trees, cycles, and families of graphs with restrictions on the edge-colorings. This article serves as an invitation to the topic of wild numbers and includes several open problems, many of which are suitable for undergraduate research projects.

The Temporal Graph Exploration problem (TEXP) takes as input a temporal graph, i.e., a sequence of graphs $(G_i)_{i\in \mathbb{N}}$ on the same vertex set, and asks for a walk of shortest length visiting all vertices, where the $i$-th step uses an edge from $G_i$. If each such $G_i$ is connected, then an exploration of length $n^2$ exists, and this is known to be the best possible up to a constant. More fine-grained lower and upper bounds have been obtained for restricted temporal graph classes, however, for several fundamental classes, a large gap persists between known bounds, and it remains unclear which properties of a temporal graph make it inherently difficult to explore. Motivated by this limited understanding and the central role of the Temporal Graph Exploration problem in temporal graph theory, we study the problem in a randomised setting. We introduce the Random Spanning Tree (RST) model, which consists of a set of $n$-vertex trees together with an arbitrary probability distribution $μ$ over this set. A random temporal graph generated by the RST model is a sequence of independent samples drawn from $μ$. We initiate a systematic study of the Temporal Graph Exploration problem in such random temporal graphs and establish tight general bounds on exploration time. Our first main result proves that any RST model can, with high probability (w.h.p.), be explored in $O(n^{3/2})$ time, and we show that this bound is tight up to a constant factor. This demonstrates a fundamental difference between the adversarial and random settings. Our second main result shows that if all trees of an RST are subgraphs of a fixed graph with $m$ edges then, w.h.p.\ , it can be explored in $O(m)$ time.

A set of vertices $X\subseteq V(G)$ is a $d$-distance dominating set if for every $u\in V(G)\setminus X$ there exists $x\in X$ such that $d(u,x) \le d$, and $X$ is a $p$-packing if $d(u,v) \ge p+1$ for every different $u,v\in X$. The $d$-distance $p$-packing domination number $γ_d^p(G)$ of $G$ is the minimum size of a set of vertices of $G$ which is both a $d$-distance dominating set and a $p$-packing. It is proved that for every two fixed integers $d$ and $p$ with $2 \le d$ and $0 \le p \leq 2d-1$, the decision problem whether $γ_d^p(G) \leq k$ holds is NP-complete for bipartite planar graphs. A necessary and sufficient condition for the existence of a $d$-distance $p$-packing dominating set in $C_n$ is obtained and $γ_d^p(C_n)$ determined for every $d$, $p$, and $n$. For a tree $T$ on $n$ vertices with $\ell$ leaves and $s$ support vertices it is proved that (i) $γ_2^0(T) \geq \frac{n-\ell-s+4}{5}$, (ii) $\left \lceil \frac{n-\ell-s+4}{5} \right \rceil \leq γ_2^2(T) \leq \left \lfloor \frac{n+3s-1}{5} \right \rfloor$, and if $d \geq 2$, then (iii) $γ_d^2(T) \leq \frac{n-2\sqrt{n}+d+1}{d}$. Inequality (i) improves an earlier bound due to Meierling and Volkmann, and independently Raczek, Lemańska, and Cyman, while (iii) extends an earlier result for $γ_2^2(T)$ due to Henning. Sharpness of the bounds are discussed and established in most cases. It is also proved that every connected graph $G$ contains a spanning tree $T$ such that $γ_2^2(T) \leq γ_2^2(G)$.

We prove that there exists a constant $c>0$ such that for all integers $2\leq t\leq cn$, if $\calA$ is a collection of spanning trees in $K_n$ such that any two intersect at at least $t$ edges, then $|\calA|\leq 2^tn^{n-t-2}$. This bound is tight; the equality is achieved when $\calA$ is a collection of spanning trees containing a fixed $t$ disjoint edges. This is an improvement of a result by Frankl, Hurlbert, Ihringer, Kupavskii, Lindzey, Meagher, and Pantagi, who proved such a result for $t=O\left(\frac n{\log n}\right)$.

Let $\mathcal T_n$ denote the set of all labelled spanning trees of $K_n$. A family $\mathcal F \subset \mathcal T_n$ is $t$-intersecting if for all $A, B \in \mathcal F$ the trees $A$ and $B$ share at least $t$ edges. In this paper, we determine for $n>n_0$ the size of the largest $t$-intersecting family $\mathcal F\subset \mathcal T_n$ for all meaningful values of $t$ ($t\le n-1$). This result is a rare instance when a complete $t$-intersection theorem for a given type of structures is known.

Let $G$ be a connected graph and $T$ a spanning tree of $G$. Let $ρ(G)$ denote the adjacency spectral radius of $G$. The $k$-excess of a vertex $v$ in $T$ is defined as $\max\{0,d_T(v)-k\}$. The total $k$-excess $\mbox{te}(T,k)$ is defined by $\mbox{te}(T,k)=\sum\limits_{v\in V(T)}{\max\{0,d_T(v)-k\}}$. A tree $T$ is said to be a $k$-tree if $d_T(v)\leq k$ for any $v\in V(T)$, that is to say, the maximum degree of a $k$-tree is at most $k$. In fact, $T$ is a spanning $k$-tree if and only if $\mbox{te}(T,k)=0$. This paper studies a generalization of spanning $k$-trees using a concept called total $k$-excess and proposes a lower bound for $ρ(G)$ in a connected graph $G$ to ensure that $G$ contains a spanning tree $T$ with $\mbox{te}(T,k)\leq b$, where $k$ and $b$ are two nonnegative integers with $k\geq\max\{5,b+3\}$ and $(b,k)\neq(2,5)$.

A spanning tree $T$ of a connected graph $G$ is a subgraph of $G$ that is a tree covers all vertices of $G$. The leaf distance of $T$ is defined as the minimum of distances between any two leaves of $T$. A fractional matching of a graph $G$ is a function $h$ assigning every edge a real number in $[0,1]$ so that $\sum\limits_{e\in E_G(v)}{h(e)}\leq1$ for any $v\in V(G)$, where $E_G(v)$ denotes the set of edges incident with $v$ in $G$. A fractional matching of $G$ is called a fractional perfect matching if $\sum\limits_{e\in E_G(v)}{h(e)}=1$ for any $v\in V(G)$. A graph $G$ with at least $2k+2$ vertices is said to be fractional $k$-extendable if every $k$-matching $M$ in $G$ is included in a fractional perfect matching $h$ of $G$ such that $h(e)=1$ for any $e\in M$. This paper considers a lower bound on the spectral radius of $G$ to guarantee that $G$ has a spanning tree with leaf distance at least $d$. At the same time, we obtain a lower bound on the spectral radius of $G$ to ensure that $G$ is fractional $k$-extendable.

Let $μ$ be a measure that samples a subset of a finite ground set, and let $\mathcal{A}_e$ be the event that element $e$ is sampled. The measure $μ$ is negatively correlated if for any pair of elements $e, f$ one has $μ(\mathcal{A}_e \cap \mathcal{A}_f) - μ(\mathcal{A}_e) μ(\mathcal{A}_f) \leq 0$. A measure is positively correlated if the direction of the inequality is reversed. For the random cluster model on graphs positive correlation between edges is known for $q \geq 1$ due to the FKG inequality, while the negative correlation is only conjectured for $0 \leq q \leq 1$. The main result of this paper is to give a combinatorial formula for the difference in question at $q=1$. Previously, such a formula was known in the uniform spanning tree case, which is a limit of the random cluster model at $q=0$.

In this thesis, we study a new disordered system called random spanning tree in random environment (RSTRE) across different families of graphs with varying disorder distributions. We examine several observables as functions of the disorder strength (inverse temperature) $β\geq 0$, and compare their values to the extreme cases $β= 0$ and $β\rightarrow \infty$, which correspond to the uniform spanning tree (UST) and the minimum spanning tree (MST), respectively. The results concerning the diameter are in line with those of arXiv:2311.01808 and arXiv:2410.16830, while the findings on local observables are based on arXiv:2410.16836. This thesis also includes new material on the RSTRE in the Euclidean infinite lattice, as well as a novel result on the diameter of the unweighted UST on a slightly supercritical random graph.

The binding number of a graph $G$, written as $\mbox{bind}(G)$, is defined by $$ \mbox{bind}(G)=\min\left\{\frac{|N_G(X)|}{|X|}:\emptyset\neq X\subseteq V(G),N_G(X)\neq V(G)\right\}. $$ A graph $G$ is called $r$-binding if $\mbox{bind}(G)\geq r$. An odd $[1,b]$-factor of a graph $G$ is a spanning subgraph $F$ with $d_F(v)\in\{1,3,\ldots,b\}$ for all $v\in V(G)$, where $b\geq1$ is an odd integer. A spanning $k$-tree of a connected graph $G$ is a spanning tree $T$ with $d_T(v)\leq k$ for every $v\in V(G)$. In this paper, we first show a tight sufficient condition with respect to the adjacency spectral radius for connected $\frac{1}{b}$-binding graphs to have odd $[1,b]$-factors, which generalizes Fan and Lin's previous result [D. Fan, H. Lin, Binding number, $k$-factor and spectral radius of graphs, Electron. J. Combin. 31(1) (2024) \#P1.30] and partly improves Fan, Liu and Ao's previous result [A. Fan, R. Liu, G. Ao, Spectral radius, odd $[1,b]$-factor and spanning $k$-tree of 1-binding graphs, Linear Algebra Appl. 705 (2025) 1--16]. Then we put forward a tight sufficient condition via the adjacency spectral radius for connected $\frac{1}{k-2}$-binding graphs to have spanning $k$-trees, which partly improves Fan, Liu and Ao's previous result [A. Fan, R. Liu, G. Ao, Spectral radius, odd $[1,b]$-factor and spanning $k$-tree of 1-binding graphs, Linear Algebra Appl. 705 (2025) 1--16].

Using the theoretical basis developed by Yao and Zeilberger, we consider certain graph families whose structure results in a rational generating function for sequences related to spanning tree enumeration. Said families are Powers of Cycles and Powers of Path; later, we briefly discuss Torus graphs and Grid graphs. In each case we know, a priori, that the set of spanning trees of the family of graphs can be described in terms of a finite-state-machine, and hence there is a finite transfer-matrix that guarantees the generating function is rational. Finding this ``grammar'', and hence the transfer-matrix is very tedious, so a much more efficient approach is to use experimental mathematics. Since computing numerical determinants is so fast, one can use the matrix tree theorem to generate sufficiently many terms, then fit the data to a rational function. The whole procedure can be done rigorously a posteriori.

A famous conjecture by Itai and Zehavi states that, for every $d$-vertex-connected graph $G$ and every vertex $r$ in $G$, there are $d$ spanning trees of $G$ such that, for every vertex $v$ in $G\setminus \{r\}$, the paths between $r$ and $v$ in different trees are internally vertex-disjoint. We show that with high probability the Itai-Zehavi conjecture holds asymptotically for the Erdős-Rényi random graph $G(n,p)$ when $np= ω(\log n)$ and for random regular graphs $G(n,d)$ when $d= ω(\log n)$. Moreover, we essentially confirm the conjecture up to a constant factor for sparser random regular graphs. This answers positively a question of Draganić and Krivelevich. Our proof makes use of recent developments on sprinkling techniques in random regular graphs.

The paper contributes to building algebraic foundations of self-organized criticality answering a previously unsolved question about the limiting structure of the extended sandpile group as well as relating it to another limit at the level of classical sandpile groups with respect to certain monomorphisms, and puts forward a concept of canonical sandpile epimorphisms, drawing an unexpected consequence about the divisibility properties of the numbers of spanning trees on rectangles.

In classical Maker-Breaker games on graphs, Maker and Breaker take turns claiming edges; Maker's goal is to claim all of some structure (e.g., a spanning tree, Hamilton cycle, etc.), while Breaker aims to stop her. The standard question considered is how powerful a Breaker Maker can defeat; i.e., for the $(1:b)$-biased game where Breaker takes $b$ edges per turn, how large can $b$ be for Maker to still have a winning strategy, for various possible goal sets? We introduce a variant of this question in which Breaker is required to choose their multiple edges as the edges of (a subgraph of) a given structure (e.g., a matching, clique, etc.) on each turn. We establish the order of magnitude of the threshold biases for triangle games, connectivity games, and Hamiltonicity games under clique, matching, and star biases respectively. We conclude that in many cases structure imposes major obstruction to Breaker, opening up a set of games whose strategies deviate from the classical biased Maker-Breaker game strategies, and shedding light on the types of Breaker strategies that may or may not work to prove tighter bounds in the classical setting.