[论文解读] Higher Trivariate Diagonal Harmonics via generalized Tamari Posets

François Bergeron, Louis-François Préville-Ratelle|arXiv (Cornell University)|May 18, 2011

Algebraic structures and combinatorial models参考文献 13被引用 31

一句话总结

本文引入广义的 $r$-Tamari 偏序集，并利用它们为三变量对角哈密顿空间 $\mathscr{H}_n^{(r)}$ 提供一个组合框架，扩展了打乱猜想。它利用 $r$-parking 函数和 $r$-Dyck 路径，建立了希尔伯特级数和弗罗贝尼乌斯特征的全新公式，从而得到维度和加权特征的显式组合表达式，包括一个关于第三个参数 $q_3$ 的缺失统计量 $\nu(f,\alpha)$ 的猜想公式。主要贡献是通过广义偏序结构和对称函数恒等式，为三变量高阶对角哈密顿量提供了精细的组合模型。

ABSTRACT

We consider the graded $§_n$-modules of higher diagonally harmonic polynomials in three sets of variables (the trivariate case), and show that they have interesting ties with generalizations of the Tamari poset and parking functions. In particular we get several nice formulas for the associated Hilbert series and graded Frobenius characteristic. This also leads to entirely new combinatorial formulas.

研究动机与目标

• 为高阶三变量对角哈密顿空间 $\mathscr{H}_n^{(r)}$ 的加权弗罗贝尼乌斯特征提供组合描述。
• 通过引入广义的 $r$-Tamari 偏序集和 $r$-parking 函数，将打乱猜想扩展到三变量情形。
• 推导 $\mathscr{H}_n^{(r)}$ 及其交错分量 $\mathscr{A}_n^{(r)}$ 的希尔伯特级数和维度的显式公式。
• 揭示对角哈密顿量、对称函数与 Dyck 路径及 parking 函数组合结构之间的结构性联系。

提出的方法

• 将空间 $\mathscr{H}_n^{(r)}$ 定义为三组变量中极化幂和微分算子（次数满足 $1 \leq |\alpha| \leq n$）的联合核。
• 定义 $r$-Dyck 路径和 $r$-parking 函数，其中 $\mathcal{D}_n^{(r)}$ 和 $\mathcal{PF}^{(r)}(n)$ 分别表示此类路径和函数的集合。
• 利用弗罗贝尼乌斯特征，将 $\mathscr{H}_n^{(r)}$ 上对称群的作用与 $r$-Dyck 路径的组合所关联的对称函数 $h_{\mathbf{co}(\beta)}(\mathbf{w})$ 和 $e_{\mathbf{co}(\beta)}(\mathbf{w})$ 联系起来。
• 通过路径组合的多项式系数，建立恒等式 $(rn+1)^{n-1} = \sum_{\beta \in \mathcal{D}_n^{(r)}} \binom{n}{\mathbf{co}(\beta)}$。
• 提出一个关于完整生成函数 $\mathscr{H}_n^{(r)}(\mathbf{w}; q_1, q_2, q_3)$ 的猜想公式，涉及 $\mathrm{dinv}$ 统计量和第三个参数 $q_3$ 的缺失统计量 $\nu(f, \alpha)$。
• 利用对称群在单项式 $X^A$ 上的作用及度向量 $\deg(X^A)$，定义与 $r$-Tamari 偏序集相容的加权模结构。

实验结果

研究问题

• RQ1 如何通过广义偏序集和 parking 函数，组合地描述三变量对角哈密顿空间 $\mathscr{H}_n^{(r)}$？
• RQ2 希尔伯特级数和弗罗贝尼乌斯特征在 $r$-Dyck 路径和组合形式下的精确表达式是什么？
• RQ3 能否通过为第三个参数 $q_3$ 引入新统计量 $\nu(f, \alpha)$，将打乱猜想扩展到三变量情形？
• RQ4 维度公式 $\dim \mathscr{H}_n^{(r)} = (r+1)^n (rn+1)^{n-2}$ 的组合解释是什么？
• RQ5 广义的 $r$-Tamari 偏序集如何与对角哈密顿量的结构及对称函数恒等式相关联？

主要发现

• 空间 $\mathscr{H}_n^{(r)}$ 的维度为 $\dim \mathscr{H}_n^{(r)} = (r+1)^n (rn+1)^{n-2}$，推广了两变量情形。
• 交错分量 $\mathscr{A}_n^{(r)}$ 的维度为 $\dim \mathscr{A}_n^{(r)} = \frac{r+1}{n(rn+1)} \binom{(r+1)^2 n + r}{n-1}$，扩展了卡塔兰数公式。
• $\mathscr{H}_n^{(r)}$ 的无 $\mathbf{z}$ 分量的未加权弗罗贝尼乌斯特征为 $\sum_{\beta \in \mathcal{D}_n^{(r)}} e_{\mathbf{co}(\beta)}(\mathbf{w})$，将其与 $r$-parking 函数上的符号扭转作用联系起来。
• 恒等式 $(rn+1)^{n-1} = \sum_{\beta \in \mathcal{D}_n^{(r)}} \binom{n}{\mathbf{co}(\beta)}$ 成立，反映了 $r$-parking 函数在 $r$-Dyck 路径上的分布。
• 提出了完整生成函数 $\mathscr{H}_n^{(r)}(\mathbf{w}; q_1, q_2, q_3)$ 的猜想公式，涉及 $\mathrm{dinv}$ 统计量和缺失的 $q_3$-统计量 $\nu(f, \alpha)$，当 $q_3=0$ 时，可恢复打乱猜想。
• 空间 $\mathscr{H}_n^{(r)}$ 是有限维的，且按总度数 $|\mathbf{d}| \leq \binom{n}{2}$ 加权，仅在此范围内有非零分量。