[論文レビュー] Spanning trees in complete uniform hypergraphs and a connection to extended r-Shi hyperplane arrangements

Sivaramakrishnan Sivasubramanian|ArXiv.org|May 3, 2006

Advanced Combinatorial Mathematics参考文献 3被引用数 6

ひとこと要約

本稿は、$r \geq 3$ に対して、完全 $r$-一様超グラフにおけるスパニングツリーの数を数えるカイリー型の公式を確立する。具体的には、$rk$ 個の頂点に固定された $r$-完全マッチングから生じる $rk+1$ 個の頂点における $(r+1)$-スパニングツリーの数が、長さ $k$ の $r$-パーキング関数の数に等しいことを証明する。このスパニングツリーと $r$-パーキング関数の間には、幅優先探索順序を用いた双対写像が構成され、スターリングの定理により、この数が $k$ 次元における $r$-拡張シーア超平面配置の領域数とも関連している。

ABSTRACT

We give a Cayley type formula to count the number of spanning trees in the complete r-uniform hypergraph for all r >= 3. Similar to the bijection between spanning trees in complete graphs and Parking functions, we derive a bijection from spanning trees of the complete (r+1)-uniform hypergraph which arise from a fixed r-perfect matching and r-Parking functions. We observe a simple consequence of this bijection in terms of the number of regions of the extended Shi arrangement.

研究の動機と目的

• $r \geq 3$ に対して、完全 $r$-一様超グラフにおける $r$-スパニングツリーの数の閉形式の公式を導出すること。
• 長さ $k$ の $r$-パーキング関数と、固定された $r$-完全マッチングから生じる $rk+1$ 個の頂点における $(r+1)$-スパニングツリーとの間の双対的対応を確立すること。
• このようなスパニングツリーの数が、$k$ 次元における $r$-拡張シーア超平面配置の領域数とどのように関連するかを明らかにすること。
• 古典的なパーキング関数および完全グラフにおけるスパニングツリーに関する結果を、より高い一様性を持つ超グラフへ一般化すること。

提案手法

• $r=3$ に対しては Pfaffian 行列木定理を用い、$r \geq 4$ に対しては超グラフの二部グラフ表現の構造的解析によりその手法を拡張する。
• $r$-スパニングツリーを、頂点とハイパーエッジの間の二部グラフ表現が木構造をなすものとして定義する。このとき、頂点数とハイパーエッジ数に制約を課す。
• 根付き木構造へのハイパーエッジの挿入順序を、幅優先探索順序によって決定することで、$r$-パーキング関数と $(r+1)$-スパニングツリーとの間の双対写像を構成する。
• スターリングの定理を適用し、長さ $k$ の $r$-パーキング関数の数が、$r$-拡張シーア配置 $S_k^r$ の領域数に等しいことを用いる。
• $rk$ 個の頂点に固定された $r$-完全マッチングを固定することで、スパニングツリーの集合を制限し、$r$-パーキング関数との一対一対応を可能にする。
• 根付き $r$-スパニングツリーの指数型母関数を用いるが、主な証明は組合せ論的であり、母関数を避けることで構造的洞察を保つ。

実験結果

リサーチクエスチョン

• RQ1 完全 $r$-一様超グラフ（$n = (r-1)k + 1$ 個の頂点）における $r$-スパニングツリーの数は何か？
• RQ2 長さ $k$ の $r$-パーキング関数と、固定された $r$-完全マッチングから生じる $(r+1)$-スパニングツリーとの間には、自然な組合せ的双対写像が存在するか？
• RQ3 このようなスパニングツリーの数は、$r$-拡張シーア超平面配置の領域数とどのように関連するか？
• RQ4 なぜ $r$-スパニングツリーの公式に $rPM \cdot n^{k-1}$ の因子が含まれるのか？ここで $rPM$ は $n-1$ 個の頂点における $(r-1)$-完全マッチングの数である。

主な発見

• 頂点数 $n = (r-1)k + 1$ の $r$-スパニングツリーの数は、$rPM \cdot n^{k-1}$ に等しく、ここで $rPM$ は $n-1$ 個の頂点における完全 $(r-1)$-一様超グラフにおける $(r-1)$-完全マッチングの数である。
• $r=3$ の場合、$n=2k+1$ 個の頂点における 3-スパニングツリーの数は、$1 \cdot 3 \cdot \cdots \cdot (2k-1) \cdot (2k+1)^{k-1}$ に等しい。
• 固定された $r$-完全マッチングから生じる $rk$ 個の頂点における $rk+1$ 個の頂点における $(r+1)$-スパニングツリーと、長さ $k$ の $r$-パーキング関数との間には、構成可能な双対写像が存在する。
• このような $(r+1)$-スパニングツリーの数は、スターリングの定理により、$r$-拡張シーア超平面配置 $S_k^r$ の領域数に等しい。
• 双対写像は、木構造における頂点の幅優先探索順序に基づき、対応するマッチドペアに対応するハイパーエッジの挿入順序を決定する。
• 構成により、$r$-パーキング関数のシーケンスにおける $i$ 番目の小さい値が、$r(i-1)$ 以下になることが保証され、木構造の高さに基づく挿入ルールと一致する。