[论文解读] Interlaced rectangular parking functions

Jean-Christophe Aval, François Bergeron|arXiv (Cornell University)|Mar 13, 2015

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

一句话总结

本文将 Grossman-Bizley 范式扩展至 $\mathbb{S}_n \times \mathbb{S}_m$-模，推导出在 $m\times n$-矩形中交错矩形停车函数的双 Frobenius 特征标显式公式，其中垂直步与水平步分别独立地标记为 $1$ 到 $n$ 和 $1$ 到 $m$。该公式刻画了此类函数的 $\mathbb{S}_n \times \mathbb{S}_m$-模在不可约表示下的分解，推广了此前对互素 $m,n$ 的结果，并将 Armstrong-Loehr-Warrington 公式作为特例包含在内。

ABSTRACT

The aim of this work is to extend to a general $S_m imes S_n$-module context the Grossman-Bizley paradigm that allows the enumeration of Dyck paths in a $m imes n$-rectangle. We obtain an explicit formula for the the "bi-Frobenius" characteristic of what we call {\em interlaced} rectangular parking functions in an $m imes n$-rectangle. These are obtained by labelling the $n$ vertical steps of an $m imes n$-Dyck path by the numbers from $1$ to $n$, together with an independent labelling of its horizontal steps by integers from $1$ to $m$. Our formula specializes to give the Frobenius characteristic of the $S_n$-module of $m imes n$-parking functions in the general situation. Hence, it subsumes the result of Armstrong-Loehr-Warrington which furnishes such a formula for the special case when $m$ and $n$ are coprime integers.

研究动机与目标

• 将 Grossman-Bizley 计数范式扩展至 $\mathbb{S}_n \times \mathbb{S}_m$-模作用于交错矩形停车函数的背景。
• 为垂直与水平步独立标记的 $m\times n$-停车函数的 $\mathbb{S}_n \times \mathbb{S}_m$-模提供双 Frobenius 特征标的显式公式。
• 将 Armstrong-Loehr-Warrington 对 $m\times n$-停车函数 Frobenius 特征标的公式推广至非互素情形。
• 通过环同态 $\Theta_{a,b}$ 建立 $m\times n$-Dyck 路径计数与对称函数之间的联系。
• 探讨对称函数在 $\Theta_{a,b}$ 下的像的 Schur 正性，特别是对钩状 Schur 函数与一般分拆。

提出的方法

• 将 $m\times n$-Dyck 路径表示为递减整数序列 $\alpha = a_1a_2\cdots a_n$，其中 $a_k$ 表示高度 $k$ 处南向步的 x 坐标，受 $(m,n)$-楼梯形 $\delta_{m,n}$ 约束。
• 将交错矩形停车函数定义为垂直步标记为 $1$ 到 $n$、水平步标记为 $1$ 到 $m$ 的 $m\times n$-Dyck 路径，且标记相互独立。
• 在对称函数环 $\Lambda$ 上引入一个环同态 $\theta_{a,b}$，定义为 $\theta_{a,b}(p_k(\mathbf{x})) = \frac{1}{a+b}\binom{ak+bk}{ak}$，该同态推广了 Grossman-Bizley 公式。
• 构建一个从 $\Lambda$ 到对称函数上算子的同态 $\Theta_{a,b}$，其与椭圆 Hall 代数同构，用于编码双 Frobenius 特征标。
• 使用内积 $\langle -, h_n(\mathbf{y}) \rangle$ 从双 Frobenius 公式中提取 $\mathbb{S}_n$-模的 Frobenius 特征标。
• 通过 Dyck 路径、组合与分拆之间的双射，将特征标的 Schur 函数展开与多项式系数及部分重数联系起来。

实验结果

研究问题

• RQ1 如何将 Grossman-Bizley 对 $m\times n$-Dyck 路径的计数公式扩展至垂直与水平步均独立标记的情形？
• RQ2 交错矩形停车函数的 $\mathbb{S}_n \times \mathbb{S}_m$-模的双 Frobenius 特征标的显式公式是什么？
• RQ3 该公式在 $m$ 与 $n$ 互素时如何退化为 Armstrong-Loehr-Warrington 的结果？
• RQ4 在同态 $\Theta_{a,b}$ 下，对称函数的像是否为 Schur 正，特别是对钩状 Schur 函数？
• RQ5 椭圆 Hall 代数框架能否扩展至描述包含面积与 dinv 统计量的三参数生成函数？

主要发现

• 本文给出了交错矩形停车函数的 $\mathbb{S}_n \times \mathbb{S}_m$-模双 Frobenius 特征标的显式公式（定理 4），以部分重数的组合之和形式表达。
• 当 $m$ 与 $n$ 互素时，该公式退化为 Armstrong-Loehr-Warrington 公式，恢复了 $\mathbb{S}_n$-模的 Frobenius 特征标。
• $\Theta_{a,b}$ 将对称函数映射到 $\Lambda$ 上的算子，其作用于 $(-1)^j s_{(k|j)}(\mathbf{x})$ 时产生 $h$-正表达式，表明 Schur 正性。
• 大量实验表明，对所有分拆 $\mu$，有 $\Theta_{a,b}((-1)^{\iota(\mu)} s_\mu(\mathbf{x}))$ 为 Schur 正，其中 $\iota(\mu)$ 计数对角线以下的格子数。
• 双 Frobenius 特征标公式通过在生成函数中收集具有相同部分结构的组合，并利用多项式系数 $\binom{j}{\lambda}$ 推导得出。
• 生成函数 $\sum_{\alpha \in \mathscr{D}_{m,n}} q^{\mathrm{area}(\alpha)} \alpha(\mathbf{x};t) \alpha'(\mathbf{y};r)$，包含面积与 dinv 统计量，在适当地设置参数后，退化为公式 (4.1) 的右侧。