[논문 리뷰] Counting Isomorphism Classes of Spanning Trees of Complete Bipartite Graphs

Peter Johnson, Shayne Nochumson|arXiv (Cornell University)|2026. 02. 06.

Limits and Structures in Graph Theory인용 수 0

한 줄 요약

이 논문은 완전 이분 그래프 K_{a,b}의 신동형(동형) 트리의 동형류 개수에 대한 하한과 상한을 설정하고, 이를 정수 분할과 연결하며 특정 경우에 선명한 한계를 제시한다.

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$. Furthermore, we obtain an upper bound in terms of $a$ and $b$.

연구 동기 및 목표

• K_{a,b}의 포함 트리 구조가 차수 시퀀스 및 분할과 어떤 관련이 있는지 조사한다.
• 하한을 a+b-1의 분할을 사용해 도출한다.
• a와 b에 의해서만 의존하는 상한을 도출한다.
• 균형 이분 그래프 크기에 특화하여 더 촘촘한 한계를 얻는다.
• 라벨링된 포함 트리의 알려진 결과들(예: Scoins’ 공식)과의 연계점을 제시한다.

제안 방법

• K_{a,b}의 포함 트리를 a+b-1의 분할로부터 생겨난 이분 차수 시퀀스로 표현한다.
• 임의의 분할 쌍이 b>a일 때 연결된 이분 그래프이면서 K_{a,b}의 포괄 트리임을 보여 계산적 하한을 확립한다.
• 다른 분할 쌍이 서로 비동형의 트리를 만들 수 있음을 보여 서로 다른-동형성 하한을 확립한다.
• I_{a,b}를 I_{a,a}와 연결하고 Scoins’ 공식으로 표기된 라벨링 트리의 수를 이용해 상한을 도출한다.
• a=b인 경우에 한정을 두고 r = P_a(2a-1)로 표현되는 경계를 얻는다.
• 맥락을 위해 라벨링된 트리의 알려진 수와의 비교를 제공한다.

실험 결과

연구 질문

• RQ1 K_{a,b}가 가지는 신동형 트리의 동형류 수(I_{a,b})는 얼마나 되는가?
• RQ2 I_{a,b}를 P_a(a+b-1)와 P_b(a+b-1)의 곱으로 하한할 수 있는가?
• RQ3 상한은 오직 a와 b 만으로도 주어질 수 있는가, 그리고 이것이 Scoins’ 공식으로 주어지는 라벨링 트리의 총 수와 어떻게 비교되는가?
• RQ4 균형 이분 케이스에서 I_{a,b}에 대해 어떤 특별한 한계가 생기는가?

주요 결과

• I_{a,b} ≥ P_a(a+b-1) · P_b(a+b-1) for b>a≥2.
• I_{a,b} ≤ I_{a,a} · a^{b-a} and hence I_{a,b} ≤ a^{a+b-2} for 2≤a<b.
• When a=b, I_{a,a} ≥ r(r+1)/2 where r = P_a(2a-1).
• By Scoins’ formula, a^{b-1} · b^{a-1} is an upper bound on the total number of labeled spanning trees, but the new bound a^{a+b-2} is tighter for 2≤a<b.
• Corollary: a^{b-1} · b^{a-1} ≥ P_a(a+b-1) · P_b(a+b-1), connecting the partition-based bound to the classical labeled-tree count.
• The results build a framework linking degree-sequence partitions to the isomorphism class count of spanning trees in K_{a,b}.