[论文解读] Rational parking functions and Catalan numbers

Drew Armstrong, Nicholas A. Loehr+1 more|arXiv (Cornell University)|Mar 7, 2014

Advanced Combinatorial Mathematics参考文献 23被引用 13

一句话总结

本文将经典的停车函数推广至由互质整数对 (a,b) 索引的有理停车函数，证明其数量为 $b^{a-1}$，并具有 $S_a$ 的置换表示，其轨道数为有理卡塔兰数 $\frac{1}{a+b}\binom{a+b}{a}$。作者计算了 $S_a$-模的弗罗贝尼乌斯特征，并提出了有理卡塔兰数的 $q$-类比与 $q,t$-类比的组合公式，将搓动猜想推广至有理情形。

ABSTRACT

The classical parking functions, counted by the Cayley number (n+1)^(n-1), carry a natural permutation representation of the symmetric group S_n in which the number of orbits is the n'th Catalan number. In this paper, we will generalize this setup to rational parking functions indexed by a pair (a,b) of coprime positive integers. We show that these parking functions, which are counted by b^(a-1), carry a permutation representation of S_a in which the number of orbits is a rational Catalan number. We compute the Frobenius characteristic of the S_a-module of (a,b)-parking functions. Next we propose a combinatorial formula for a q-analogue of the rational Catalan numbers and relate this formula to a new combinatorial model for q-binomial coefficients. Finally, we discuss q,t-analogues of rational Catalan numbers and parking functions (generalizing the shuffle conjecture for the classical case) and present several conjectures.

研究动机与目标

• 将经典停车函数（计数为 $(n+1)^{n-1}$）推广至由互质对 $(a,b)$ 索引的有理情形，其计数为 $b^{a-1}$。
• 在有理停车函数上定义 $S_a$ 的置换表示，并证明轨道数为有理卡塔兰数 $\frac{1}{a+b}\binom{a+b}{a}$。
• 通过垂直运行结构的关键计数结果，计算 $(a,b)$-停车函数的 $S_a$-模的弗罗贝尼乌斯特征。
• 提出 $q$-类比 $\frac{1}{[a+b]_q}\binom{a+b}{a}_q$ 的组合公式，并将其与 $q$-二项式系数的新模型联系起来。
• 通过引入有理停车函数的 $q,t$-类比，将搓动猜想推广至有理情形，并提出关于对称性与 $t=1/q$ 特殊化的新的猜想。

提出的方法

• 作者通过保持在斜率为 $a/b$ 的直线之上的有理戴克路径（rational Dyck paths）来定义有理停车函数，推广了经典情形中斜率为 1 的情况。
• 他们利用一个关键的组合结果（命题 2）来枚举具有指定垂直运行结构的有理停车函数，从而实现弗罗贝尼乌斯特征的计算。
• 引入一个类似于经典 $\zeta$-映射的新映射，以定义 $q,t$-类比，该映射展现出优美的组合性质，并推广了搓动猜想。
• 有理卡塔兰数的 $q$-类比被提议为 $\frac{1}{[a+b]_q}\binom{a+b}{a}_q$，其组合模型基于分拆统计量，并为 $q$-二项式系数提供了新解释。
• 作者将他们关于 $q$-二项式系数的猜想模型（猜想 8）与有理 $q$-卡塔兰数的猜想（猜想 6）联系起来，证明二者等价。
• 对于较小的 $a,b$ 值，显式计算了 $\mathsf{PF}_{a,b}(q,t)$ 的弗罗贝尼乌斯级数的矩阵表示，展示了其在舒尔函数上的分解及其系数矩阵。

实验结果

研究问题

• RQ1 如何将经典停车函数理论推广至由互质对 $(a,b)$ 索引的有理情形？
• RQ2 $(a,b)$-停车函数的 $S_a$-模的弗罗贝尼乌斯特征是什么？它与有理卡塔兰数有何关系？
• RQ3 能否为已知为具有非负系数的多项式的 $q$-类比 $\frac{1}{[a+b]_q}\binom{a+b}{a}_q$ 提供组合公式？
• RQ4 如何将搓动猜想推广至有理情形？由此产生的有理停车函数的 $q,t$-类比具有哪些性质？
• RQ5 新引入的类似 $\zeta$ 的映射在定义 $q,t$-类比中起什么作用？这些对象满足哪些对称性或特殊化性质（如 $t=1/q$）？

主要发现

• $(a,b)$-停车函数的数量为 $b^{a-1}$，其在 $S_a$ 作用下具有置换表示，轨道数为 $\frac{1}{a+b}\binom{a+b}{a}$，推广了经典卡塔兰数。
• 通过垂直运行结构的枚举方法，计算了 $(a,b)$-停车函数的 $S_a$-模的弗罗贝尼乌斯特征，得到了舒尔函数分解的显式矩阵系数。
• 对于 $\mathsf{PF}_{7,4}(q,t)$，弗罗贝尼乌斯级数表示为舒尔函数 $s_\lambda$ 的和，其系数矩阵编码了 $q,t$-统计量，其中 $s_{(7)}$ 对应一个 10×10 矩阵，$s_{(2,2,2,1)}$ 对应一个 1×1 矩阵，其元素为 1。
• 对于 $\mathsf{PF}_{5,8}(q,t)$，弗罗贝尼乌斯级数被分解为舒尔函数，直至 $s_{(1,1,1,1,1)}$，其中 $s_{(5)}$ 对应一个 15×15 的系数矩阵，$s_{(1,1,1,1,1)}$ 对应一个 1×1 矩阵，其元素为 1。
• 作者证明了其关于 $q$-二项式系数的猜想模型（猜想 8）与有理 $q$-卡塔兰数的猜想（猜想 6）等价。
• 本文提出了关于有理 $q,t$-停车函数对称性与 $t=1/q$ 特殊化的显式猜想（如猜想 27），暗示其背后存在深刻的代数结构。