[論文レビュー] Counting Isomorphism Classes of Spanning Trees of Complete Bipartite Graphs

Peter Johnson, Shayne Nochumson|arXiv (Cornell University)|Feb 6, 2026

Limits and Structures in Graph Theory被引用数 0

ひとこと要約

要約: 本論文は完全二部グラフ K_{a,b} の spanning tree の同型類の数について下界と上界を確立し、それを整数分割と結びつけ、特定の場合には鋭い境界を示す。

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} における spanning tree の構造が次数列と分割にどのように関連するかを調査する。
• 次数 a+b-1 の分割を用いて spanning tree の同型類の個数の下界を導出する。
• a と b のみからなる同値の上界を導出する。
• 等しい二部分割サイズに特化してより厳しい境界を得る。
• Scoins のラベル付き木の公式など既知の結果と結びつける。

提案手法

• K_{a,b} の spanning tree を a+b-1 の分割に起因する二部グラフの次数列として表す。
• 任意の二つの分割の組が連結な二部グラフとなり K_{a,b} の spanning tree であることを証明し、下界となる計数を確立する。
• 異なる分割の組は b>a のとき非同型木を生むことを示し、非同型同型下界を確立する。
• I_{a,b} を I_{a,a} に関連付け、Scoins のラベル付き木の公式を用いて上界を導く。
• 分析を a=b の場合に特化して r = P_a(2a-1) を用いた境界を得る。
• 文脈としてラベル付き spanning tree の既知数との比較を示す。

実験結果

リサーチクエスチョン

• RQ1 K_{a,b} の spanning tree の同型類の数はいくつか（I_{a,b}）？
• RQ2 I_{a,b} を P_a(a+b-1) と P_b(a+b-1) の積で下げられるか？
• RQ3 上界は a と b のみで表せるか、Scoins の公式によるラベル付き spanning tree の総数とどのように比べるか？
• RQ4 a=b（釣り合いのある二部の場合）での 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} したがって 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).
• Scoins の公式より、a^{b-1} · b^{a-1} はラベル付き spanning tree の総数の上界だが、新しい境界 a^{a+b-2} は 2≤a<b の場合により厳密である。
• Corollary: a^{b-1} · b^{a-1} ≥ P_a(a+b-1) · P_b(a+b-1) という分割ベースの境界と古典的ラベル付き木の数とを結びつける。
• 結果は次数列の分割と K_{a,b} の spanning tree の同型類数を結ぶ枠組みを構築する。