Counting Isomorphism Classes of Spanning Trees of Complete Bipartite Graphs
Peter Johnson, Shayne Nochumson
TL;DR
The paper addresses counting the number $I_{a,b}$ of isomorphism classes of spanning trees in the complete bipartite graph $K_{a,b}$ for $2 \le a \le b$. It introduces a partition-based degree-sequence encoding via pairs $(s_i),(t_j)$ of partitions of $a+b-1$ and constructs connected bipartite trees $Q((s_i),(t_j))$ that realize these degrees, proving every spanning tree of $K_{a,b}$ arises this way. This yields a universal lower bound $I_{a,b} \ge P_a(a+b-1) \cdot P_b(a+b-1)$, with stronger refinement in the square case $a=b$ giving $I_{a,a} \ge \frac{r(r+1)}{2}$ where $r = P_a(2a-1)$. The results situate the isomorphism-class count between partition-theoretic quantities and classical labeled-spanning-tree counts (via Cayley/Scoins), highlighting a combinatorial bridge between graph structure and partition theory. Overall, the work provides explicit, unlabeled lower bounds on spanning-tree isomorphism classes and clarifies their relationship to known enumeration bounds in bipartite graphs.
Abstract
Spanning trees of complete bipartite graphs exhibit a rich interaction between degree sequences and graph structure. In this paper, we obtain lower bounds on the number of isomorphism classes of spanning trees in $K_{a,b}, 2 \leq a \leq b$ in terms of $P_a(a+b-1)$ and $P_b(a+b-1)$ where $P_k(m)$ is the number of integer partitions of $m$ of length $k$.
