[論文レビュー] Parallelogram polyominoes, the sandpile model on a complete bipartite graph, and a q,t-Narayana polynomial

Mark Dukes, Yvan Le Borgne|arXiv (Cornell University)|Jul 31, 2012

Advanced Combinatorial Mathematics参考文献 17被引用数 7

ひとこと要約

本稿は、指定されたsink頂点をもつ完全二部グラフ $K_{m,n}$ におけるアーベル砂だんごモデルの再帰的配置と、$m \times n$ のバウンディングボックス内に配置された装飾付き平行四辺形ポリオミノの間の全単射を確立する。また、これらのポリオミノにおける双統計量 $(\mathsf{area}, \mathsf{parabounce})$ の生成関数として $q,t$-Narayana多項式を導入し、Haglundのバウンス統計量を新しい組合せ的クラスへ拡張し、多数の特殊ケースにおける対称性を証明する。

ABSTRACT

We classify recurrent configurations of the sandpile model on the complete bipartite graph K_{m,n} in which one designated vertex is a sink. We present a bijection from these recurrent configurations to decorated parallelogram polyominoes whose bounding box is a m*n rectangle. Several special types of recurrent configurations and their properties via this bijection are examined. For example, recurrent configurations whose sum of heights is minimal are shown to correspond to polyominoes of least area. Two other classes of recurrent configurations are shown to be related to bicomposition matrices, a matrix analogue of set partitions, and (2+2)-free partially ordered sets. A canonical toppling process for recurrent configurations gives rise to a path within the associated parallelogram polyominoes. This path bounces off the external edges of the polyomino, and is reminiscent of Haglund's well-known bounce statistic for Dyck paths. We define a collection of polynomials that we call q,t-Narayana polynomials, defined to be the generating function of the bistatistic (area,parabounce) on the set of parallelogram polyominoes, akin to the (area,hagbounce) bistatistic defined on Dyck paths in Haglund (2003). In doing so, we have extended a bistatistic of Egge, Haglund, Kremer and Killpatrick (2003) to the set of parallelogram polyominoes. This is one answer to their question concerning extensions to other combinatorial objects. We conjecture the q,t-Narayana polynomials to be symmetric and prove this conjecture for numerous special cases. We also show a relationship between Haglund's (area,hagbounce) statistic on Dyck paths, and our bistatistic (area,parabounce) on a sub-collection of those parallelogram polyominoes living in a (n+1)*n rectangle.

研究の動機と目的

• 完全二部グラフ $K_{m,n}$ に一つの指定されたsink頂点をもつアーベル砂だんごモデルの再帰的配置を分類すること。
• これらの再帰的配置と、$m \times n$ の長方形に内接する装飾付き平行四辺形ポリオミノとの間の組合せ的全単射を確立すること。
• 平行四辺形ポリオミノ上に、Haglundのダックパスにおけるバウンスと類似した双統計量 $(\mathsf{area}, \mathsf{parabounce})$ を定義し、研究すること。
• $q,t$-Narayana多項式を、この双統計量の生成関数として導入し、既知の組合せ的対象との関係を調査すること。
• Eggeたちは2003年に提起した、$q,t$-Catalan統計量を新しい組合せ的族へ拡張するという問いに応えるために、平行四辺形ポリオミノへ自然な拡張を提案すること。

提案手法

• 再帰的配置に対して、標準的なトッピングプロセスを構築し、これにより関連する平行四辺形ポリオミノ内にパスが誘導されることを示す。
• $\mathsf{parabounce}$ 統計量を、このパスがポリオミノの外部辺にぶつかる回数として定義する。これはHaglundのダックパスにおけるバウンスと類似している。
• $q,t$-Narayana多項式 $F_{m,n}(q,t)$ を、$m \times n$ のバウンディングボックス内に存在するすべての平行四辺形ポリオミノにおける双統計量 $(\mathsf{area}, \mathsf{parabounce})$ の生成関数として定義する。
• 再帰的配置とポリオミノの間の全単射を用いて、配置の性質（例：高さの和が最小のもの、ほとんど非ゼロの配置）をポリオミノ構造へと移す。
• $q$ と $t$ における $q,t$-Narayana多項式の対称性を、多数の特殊ケース（$m,n$ が小さい場合の $F_{m,n}(q,t)$ を含む）で証明する。
• $(n+1) \times n$ の長方形内にあるポリオミノの部分族における $\mathsf{parabounce}$ 統計量と、Haglundの $\mathsf{hagbounce}$ 統計量（ダックパス上）との関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 単一のsink頂点をもつ $K_{m,n}$ 上の砂だんごモデルの再帰的配置は、どのように分類され、組合せ的対象と全単射で結びつけられるか？
• RQ2 $q,t$-Narayana数の $q,t$-類似を、平行四辺形ポリオミノ上の双統計量を用いて構成できるか？ これは $q,t$-Catalan枠組みを拡張するものか？
• RQ3 $q,t$-Narayana多項式は $q$ と $t$ に関して対称であるか？ もしそうならば、どのような条件下で、あるいはどの部分族に対して成立するか？
• RQ4 平行四辺形ポリオミノ上の $\mathsf{parabounce}$ 統計量と、ダックパス上におけるHaglundの $\mathsf{hagbounce}$ 統計量との関係は何か？
• RQ5 最小またはほとんど非ゼロの再帰的配置といった特殊クラスの配置は、既知の組合せ的構造（例：バイコンポジション行列、(2+2)-自由な半順序集合）とどのように対応するか？

主な発見

• sinkをもつ $K_{m,n}$ 上の砂だんごモデルの再帰的配置は、$m \times n$ のバウンディングボックス内に存在する平行四辺形ポリオミノと全単射である。
• 高さの和が最小の再帰的配置（最小和）は、面積が最小のリボン平行四辺形ポリオミノにちょうど一致する。
• $K_{n,n}$ 上のほとんど非ゼロの再帰的配置は、バイコンポジション行列と一対一対応し、上三角バイコンポジション行列は特別な部分族に対応する。
• $q,t$-Narayana多項式 $F_{m,n}(q,t)$ は、$m \times n$ のバウンディングボックス内に存在するすべての平行四辺形ポリオミノにおける双統計量 $(\mathsf{area}, \mathsf{parabounce})$ の生成関数として定義され、$m,n$ が小さい場合の明示的な有理生成関数が与えられている。
• $F_{m,n}(q,t)$ は、テストされたすべてのケース（$F_{2,2}, F_{3,3}, F_{2,3}, F_{3,4}, F_{4,4}, F_{3,5}, F_{2,6}$）で $q$ と $t$ に関して対称であり、著者らは多数の特殊ケースにおける対称性を証明している。
• $(n+1) \times n$ の長方形内にあるポリオミノの部分族は、$\mathsf{parabounce}$ 統計量がHaglundの $\mathsf{hagbounce}$ 統計量と一致する $q,t$-Narayana多項式を生成し、両者の設定の間の直接的な関係を確立している。