[論文レビュー] Combinatorics of r-Dyck paths, r-Parking functions, and the r-Tamari lattices

François Bergeron|arXiv (Cornell University)|Feb 28, 2012

Advanced Combinatorial Mathematics参考文献 15被引用数 15

ひとこと要約

本稿では、r-Dyckパス、r-パーキング関数、およびr-Tamariラティスを統一的な組合せ的枠組みで結びつけるものであり、対称群の二変数および三変数の対角的コインvariant空間の階数付き特性を記述する役割を明らかにする。r-Tamari順序を用いてシャッフル予想を三変数の場合に拡張し、パーキング関数のq,t-数え上げと単項対称関数を含む組合せ的公式を提示する。

ABSTRACT

This paper's aim is to present recent combinatorial considerations on r-Dyck paths, r-Parking functions, and the r-Tamari lattices. Giving a better understanding of the combinatorics of these objects has become important in view of their (conjectural) role in the description of the graded character of the Sn-modules of bivariate and trivariate diagonal coinvariant spaces for the symmetric group.

研究の動機と目的

• 対称群表現論の文脈において、r-Dyckパス、r-パーキング関数、およびr-Tamariラティスの組合せ的構造を統一すること。
• r-Tamari順序を中核的構造として用いて、シャッフル予想を三変数の場合に拡張すること。
• パーキング関数のq,t-数え上げを用いて、対角的コインvariant空間の階数付き特性の組合せ的解釈を提供すること。
• Fuss-Catalan数、準対称関数、およびシュール関数の間の関係を、r-コインvariant空間の文脈で確立すること。
• これらの結果を他の有限反映群およびr-Tamari順序の幾何的実現に一般化する基盤を築くこと。

提案手法

• r-Dyckパスの高さnにおける数え上げに、Fuss-Catalan数 C_n^(r) = 1/(rn+1) * binom((r+1)n, n) を用いる。
• r-Dyckパスを、(0,n)から(rn,0)への格子パスとして定義し、y = -x/r + n より下に位置するように、東方向(0,1)および南方向(-1,0)のステップを用いる。
• r-パーキング関数を、{1,...,n}にラベルが付いたDyckパスとして定義し、ステップiにおけるラベルが特定の降下条件を満たすようにする。
• r-Tamari順序を用いて、r-Dyckパスにposet構造を定義し、r=1の場合の古典的Tamariラティスを一般化する。
• r-パーキング関数におけるdinv_r統計量と、r-Dyckパスにおけるarea統計量を用いて、生成関数におけるq,t-数え上げを定義する。
• 生成関数 H_n^(r)(w;q,t) を、r-DyckパスβおよびP_βに属するr-パーキング関数φの和として表現し、単項対称関数M_γおよび基本的準対称関数F_θ(φ)を用いる。

実験結果

リサーチクエスチョン

• RQ1 対角的コインvariant空間の文脈において、r-Dyckパス、r-パーキング関数、およびr-Tamariラティスはどのように関係しているか？
• RQ2 r-Tamari順序を用いて、シャッフル予想を三変数の場合に拡張できるか？
• RQ3 r-パーキング関数におけるdinv_r統計量の組合せ的意味は、q,t-Kostka多項式とどのように関係しているか？
• RQ4 生成関数 D_β(w;t) = sum_φ∈P_β t^{dinv_r(φ)} F_θ(φ)(w) はシュール基底にどのように展開されるか？
• RQ5 一般のrに対して、r-Tamari順序の背後にある幾何的またはポリトープ的実現は何か？

主な発見

• 高さnのr-Dyckパスの数は、Fuss-Catalan数 C_n^(r) = 1/(rn+1) * binom((r+1)n, n) で与えられる。
• Fuss-Catalan数の母関数は代数的方程式 Y(x) = 1 + x Y(x)^{r+1} を満たす。
• 生成関数 H_n^(r)(w;q,t) は、r-DyckパスβおよびP_βに属するr-パーキング関数φの和として表現され、項には q^{area(β)} t^{dinv_r(φ)} F_θ(φ)(w) が含まれる。
• t=1のとき、和 D_β(w;1) は、βに付随するコンposition γ(β)に対応する基本対称関数 e_γ(β)(w) に等しい。
• 生成関数 H_n^(r)(w;q,1) は H_n^(r)(w;q,0,1) に等しく、これは予想とは独立に深い組合せ的恒等式を示唆している。
• 関数 D_β(w;t) はシュール基底に展開され、その係数はℕ[t]に属するため、表現論との推測される関係を支持する。