[論文レビュー] $G$-Parking Functions, Acyclic Orientations and Spanning Trees

Brian Benson, Deeparnab Chakrabarty+1 more|arXiv (Cornell University)|Jan 7, 2008

Advanced Graph Theory Research参考文献 17被引用数 6

ひとこと要約

本稿は、最大の $G$-パーキング関数と、指定された頂点 $q$ に一意のソースをもつ無閉路向き付けの間の新しい双対写像を提示し、パーキング関数とブレイクサーキュイトのないスパニングツリーの間の直接的な組合せ的関係を確立する。主な貢献は、一般化可能で構成的な双対写像であり、カルテシアン積へと拡張可能で、$n$-立方体 $Q_n$ に対して明示的な列挙式を導出する。これは、$Q_n$ のスパニングツリーの数に対する双対的証明への非自明な一歩である。

ABSTRACT

Given an undirected graph $G=(V,E)$, and a designated vertex $q\in V$, the notion of a $G$-parking function (with respect to $q$) was independently developed and studied by various authors, and has recently gained renewed attention. This notion generalizes the classical notion of a parking function associated with the complete graph. In this work, we study properties of {\em maximum} $G$-parking functions and provide a new bijection between them and the set of spanning trees of $G$ with no broken circuit. As a case study, we specialize some of our results to the graph corresponding to the discrete $n$-cube $Q_n$. We present the article in an expository self-contained form, since we found the combinatorial aspects of $G$-parking functions somewhat scattered in the literature, typically treated in conjunction with sandpile models and closely related chip-firing games.

研究の動機と目的

• 最大の $G$-パーキング関数と $q$ に一意のソースをもつ無閉路向き付けの間の直接的かつ素朴な組合せ的双対写像を確立し、チップ・ファイアリングの用語に依存しないこと。
• 安全なスパニングツリー（ブレイクサーキュイトのないもの）と一意のシンクをもつ無閉路向き付けの間のより単純で明確な双対写像を提供し、既存の構成を改善すること。
• 双対写像をすべてのスパニングツリーおよびすべての $G$-パーキング関数へと一般化し、安全なツリーと最大のパーキング関数との間の対応を保つこと。
• $n$-立方体 $Q_n$ 上の $G$-パーキング関数の構造を研究し、明示的な構成と列挙の上限を提示すること。
• $Q_n$ のスパニングツリーの数に対する双対的証明への貢献を図ること。これは代数的組合せ論における未解決問題である。

提案手法

• $G$-パーキング関数に部分順序 $\prec$ を導入し、他のいかなるものよりも支配されない要素を最大要素と定義する。
• 最大の $G$-パーキング関数に対応する一意の無閉路向き付けを、グリーディーな頂点削除プロセスを用いて、拡張されたダールアルゴリズムを考案する。
• 出次数列を用いて、一意のソースをもつ無閉路向き付けと最大の $G$-パーキング関数との間の双対写像を構成する。
• 逆順の削除プロセスを用いて、一意のシンクをもつ無閉路向き付けと安全なスパニングツリー（ブレイクサーキュイトのないもの）との間の新しい、より単純な双対写像を確立する。
• 非最大の場合への構成の拡張により、すべての $G$-パーキング関数およびすべてのスパニングツリーへと双対写像を一般化する。
• $n$-立方体 $Q_n$ にこの枠組みを適用し、カルテシアン積構造を用いて最大のパーキング関数を構成し、最大のものに支配される関数の数の上限を導出する。

実験結果

リサーチクエスチョン

• RQ1 最大の $G$-パーキング関数と $q$ に一意のソースをもつ無閉路向き付けとの間で、チップ・ファイアリングモデルに依存しない直接的かつ素朴な双対写像を構成可能か？
• RQ2 安全なスパニングツリー（ブレイクサーキュイトのないもの）と一意のシンクをもつ無閉路向き付けとの間で、既存のものよりも単純な双対写像は存在するか？
• RQ3 特に $Q_n = Q_{n-1} \square K_2$ であるカルテシアン積のグラフ上での最大の $G$-パーキング関数の構造と列挙はいかなるものか？
• RQ4 $Q_n$ 上での最大のパーキング関数の明示的構成は、$Q_n$ のスパニングツリーの数に対する双対的説明を可能にするか？
• RQ5 固定された最大の関数に支配される $G$-パーキング関数の集合のサイズは何か、特に $Q_n$ においては？

主な発見

• 最大の $G$-パーキング関数の集合と、$q$ に一意のソースをもつ無閉路向き付けの集合との間で、新しい双対写像が確立され、直接的な組合せ的対応が得られた。
• 本稿は、安全なスパニングツリーと一意のシンクをもつ無閉路向き付けとの間で、ゲーブハートとサガンによる既存の構成を改善したより単純な双対写像を提示した。
• $n$-立方体 $Q_n$ に対して、固定された最大の関数に支配される $G$-パーキング関数の数は $|\mathrm{dom}(f)| = \prod_{k=2}^{n} k^{\binom{n}{k}}$ である。
• $Q_n$ 上の $G$-パーキング関数の総数は $|\mathcal{P}(Q_n,q)| = \prod_{k=2}^{n} (2k)^{\binom{n}{k}} = 2^{2^n - n - 1} \cdot \prod_{k=2}^{n} k^{\binom{n}{k}}$ であり、行列木定理によりスパニングツリーの数と一致する。
• $G_1 \square G_2$ 上での最大のパーキング関数の構成が、因子グラフ $G_1$ および $G_2$ 上の最大関数を用いて可能であることが示された。
• 本研究の結果は、$Q_n$ のスパニングツリーの数に対する双対的証明への非自明な一歩を提供する。これは組合せ論における未解決問題である。