[論文レビュー] The sandpile model on K_{m,n} and the rank of its configurations

Michele D’Adderio, Yvan Le Borgne|arXiv (Cornell University)|Aug 4, 2016

Geological formations and processes参考文献 7被引用数 4

ひとこと要約

本稿では、完全二部グラフ $K_{m,n}$ 上の配置のランクを計算する線形時間アルゴリズムを提示する。このアルゴリズムは、安定でソート済み配置に対する組合せ的作用素に依存している。主な貢献は、$r$-ベクトルを用いたパーキング・ソート済み配置のランクに対する閉形式の公式であり、ランク、次数、グラフパラメータを変数とする生成関数を導出し、それらを平行四辺形ポリオミノの列挙と結びつけることである。

ABSTRACT

We present an algorithm to compute the rank of a configuration of the sandpile model for the complete bipartite graph K_{m,n} of complexity O(m+n). Furthermore, we provide a formula for the generating function of parking sorted configurations on complete bipartite graphs K_{m,n} according to rank, degree, and the sizes m and n. The results in the present paper are similar to those found by Robert Cori and the second named author for the complete graph K_{n+1}, and they rely on the analysis of certain operators on the stable sorted configurations of K_{m,n} developed in a previous work by the authors together with Jean-Christophe Aval and Mark Dukes.

研究の動機と目的

• サンドプイルモデルにおける $K_{m,n}$ 上の配置のランクを効率的に計算するアルゴリズムの開発。この問題は一般に NP 困難であるが、本稿ではその例外を提示する。
• 既存の完全グラフ $K_{n+1}$（[CL] による結果）の結果を完全二部グラフ $K_{m,n}$ に拡張し、類似の組合せ的および列挙的結果を提供する。
• パーキング・ソート済み配置のランクを $r$-ベクトルを用いて特徴づけ、閉形式の公式を導出する。
• ランク、次数、グラフサイズをパラメータとする、$K_{m,n}$ 上のパーキング・ソート済み配置の生成関数を確立し、それらを平行四辺形ポリオミノの統計と結びつける。

提案手法

• アルゴリズムは、$K_{m,n}$ の安定でソート済み配置に作用する作用素 $\varphi$ と $\psi$ の解析に基づく貪欲法を用いる。これらはチップ・ファイアリング移動のダイナミクスを符号化している。
• $r$-ベクトル $r(u) = (r_1, \dots, r_n)$ が導入され、これはコンactなソート済み配置の構造を符号化する主要な不変量として機能し、ランク計算を容易にする。
• 配置の図式的解釈（シリンダリック図）と、これらの図に作用するシフト作用素 $\mathsf{T}_a$ および $\mathsf{T}_b$ の作用に依存する。
• $r$-ベクトルと算術演算の観点からアルゴリズムを再定式化することで、頂点数 $m+n$ に対して線形時間 $O(m+n)$ の計算量を達成する。
• 生成関数 $\mathcal{F}(x,y,w,h)$ は、配置を境界ペアに分解し、それらの統計を平行四辺形ポリオミノの面積と形状に変換することで導出される。この変換には、生成関数 $P(q;w,h)$ を用いる。
• 最終的な $\mathcal{F}(x,y,w,h)$ の公式は、正と負の境界ペアからの符号付き寄与を組み合わせ、多項式の分解から導かれる変数変換と関数方程式を用いて得られる。

実験結果

リサーチクエスチョン

• RQ1 サンドプイルモデルにおける $K_{m,n}$ 上の配置のランクを決定する計算量の複雑さは何か？ そして、効率的に計算可能か？
• RQ2 パーキング・ソート済み配置のランクは、組合せ的不変量を用いて閉形式で表現可能か？
• RQ3 $K_{m,n}$ 上のパーキング・ソート済み配置の数の生成関数は、ランク、次数、グラフパラメータ $m,n$ を重みとしてどのように表されるか？
• RQ4 $K_{m,n}$ 上のパーキング配置の統計は、平行四辺形ポリオミノの組合せ論とどのように関係しているか？
• RQ5 安定でソート済み配置の構造は、作用素 $\varphi$, $\psi$ およびそれらに関連する $r$-ベクトルによって完全に記述可能か？

主な発見

• パーキング・ソート済み配置 $u$ のランクは、$\mathsf{rank}(u)+1 = \sum_{i=1}^{n} \max\left\{0, Q + \chi(i \leq R) + r_i - 1\right\}$ で与えられる。ここで $u_{a_m} + 1 = nQ + R$（$0 \leq R < n$）であり、$r(u) = (r_1, \dots, r_n)$ は $u$ の $r$-ベクトルである。
• 生成関数 $\mathcal{F}(x,y,w,h) = \sum_{m,n \geq 1} K_{m,n}(x,y) w^m h^n$ は、$\frac{(1-xy)(hw - P(x;w,h)P(y;w,h))}{(1-x)(1-y)(1-h-w-P(x;w,h)-P(y;w,h))}$ として明示的に計算され、ここで $P(q;w,h)$ は平行四辺形ポリオミノの生成関数である。
• $K_{m,n}$ 上の配置のランクを計算するアルゴリズムは $O(m+n)$ 時間で実行され、線形算術計算量を達成する。
• $r$-ベクトルは、コンパクトなソート済み配置に対する完全な組合せ的不変量を提供し、貪欲手順により効率的なランク計算を可能にする。
• 生成関数 $\mathcal{F}(x,y,w,h)$ は、変換 $x \leftrightarrow y$ に対して $x$ と $y$ の対称性を示しており、配置空間における双対性を反映している。
• $K_{m,n}$ の配置と平行四辺形ポリオミノとの関係は、配置を境界ペアに分解することで確立され、面積寄与が変数変換を介してポリオミノの統計にマッピングされる。