[论文解读] 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- Parking 函数与 r-Tamari 格联系起来，阐明了它们在描述对称群的双变量与三变量对角余不变量空间的分次特征中的作用。通过使用 r-Tamari 序，将 Shuffle 猜想推广至三变量情形，给出了一个组合公式，其中涉及 parking 函数的 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-Parking 函数与 r-Tamari 格的组合结构。
• 通过 r-Tamari 序作为核心结构，将 Shuffle 猜想推广至三变量情形。
• 通过 parking 函数的 q,t-计数，提供对角余不变量空间分次特征的组合解释。
• 在 r-余不变量空间的背景下，建立 Fuss-Catalan 数、准对称函数与 Schur 函数之间的联系。
• 为将这些结果推广至其他有限反射群以及 r-Tamari 偏序集的几何实现奠定基础。

提出的方法

• 使用 Fuss-Catalan 数 C_n^(r) = 1/(rn+1) * binom((r+1)n, n) 作为高度为 n 的 r-Dyck 路径的计数器。
• 将 r-Dyck 路径定义为从 (0,n) 到 (rn,0) 的格路，保持在直线 y = -x/r + n 之下，使用向东 (0,1) 和向南 (-1,0) 步骤。
• 将 r-Parking 函数定义为标签在 {1,...,n} 的带标签 Dyck 路径，其中第 i 步的标签满足特定的下降条件。
• 应用 r-Tamari 序在 r-Dyck 路径上定义偏序结构，推广了 r=1 时的经典 Tamari 格。
• 在 r-Parking 函数上使用 dinv_r 统计量，在 r-Dyck 路径上使用 area 统计量，以在生成函数中定义 q,t-计数。
• 将生成函数 H_n^(r)(w;q,t) 表示为对 r-Dyck 路径 β 和 β 中的 r-Parking 函数 φ 的求和，使用单项对称函数 M_γ 和基本准对称函数 F_θ(φ)。

实验结果

研究问题

• RQ1 在对角余不变量空间的背景下，r-Dyck 路径、r-Parking 函数与 r-Tamari 格之间如何相互关联？
• RQ2 能否通过 r-Tamari 序将 Shuffle 猜想推广至三变量情形？
• RQ3 r-Parking 函数上的 dinv_r 统计量在与 q,t-Kostka 多项式的关系中具有何种组合意义？
• RQ4 生成函数 D_β(w;t) = sum_φ∈P_β t^{dinv_r(φ)} F_θ(φ)(w) 在 Schur 基下的展开形式为何？
• 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 路径 β 和 β 中的 r-Parking 函数 φ 的求和，其项包含 q^{area(β)} t^{dinv_r(φ)} F_θ(φ)(w)。
• 当 t=1 时，求和 D_β(w;1) 等于初等对称函数 e_γ(β)(w)，其中 γ(β) 是与 β 关联的组合。
• 生成函数 H_n^(r)(w;q,1) 等于 H_n^(r)(w;q,0,1)，暗示了一个与猜想无关的深层组合恒等式。
• 函数 D_β(w;t) 在 Schur 基下的展开系数属于 ℕ[t]，支持其与表示理论的猜想性联系。