[论文解读] Biranks for Partitions into 2 Colors

Frank Garvan|ArXiv.org|Sep 26, 2009

Advanced Mathematical Identities参考文献 20被引用 9

一句话总结

本文为双色分拆（双分拆）引入了两种新的组合统计量——Dyson-birank 和 5-core-birank——它们在模 5 下提供了等数量的类划分，从而解释了形如 $ p_{-2}(5n+k) \equiv 0 \pmod{5} $ 的分拆同余式，其中 $ k=2,3,4 $。该研究进一步将这些概念推广至多分拆的多秩（multiranks）与多克拉夫特（multicranks），为所有大于 3 的素数 $ t $ 提供了同余式的组合解释。其主要贡献在于通过秩（rank）与核心克拉夫特（core-crank）的类比，提出了一种新颖且具有组合意义的分拆同余式细化方法。

ABSTRACT

In 2003, Hammond and Lewis defined a statistic on partitions into 2 colors which combinatorially explains certain well known partition congruences mod 5. We give two analogs of Hammond and Lewis's birank statistic. One analog is in terms of Dyson's rank and the second uses the 5-core crank due to Garvan, Kim and Stanton. We discuss Andrews's bicrank statistic and how it may be extended. We also generalize the Hammond-Lewis birank to a multirank for multipartitions and the Andrews bicrank to a multicrank for extended multipartitions. These both give combinatorial interpretations for multipartition congruences modulo all primes t>3.

研究动机与目标

• 通过新的类似秩的统计量，为双色分拆模 5 的分拆同余式提供组合解释。
• 将 Hammond-Lewis 双秩推广至两种新类比：一种基于 Dyson 的秩，另一种基于 5-核心克拉夫特。
• 将双秩与 Andrews 双克拉夫特推广至多分拆与扩展多分拆的多秩与多克拉夫特。
• 通过二次剩余条件，为所有大于 3 的素数 $ t $ 的多分拆同余式提供组合解释。

提出的方法

• 将 Dyson-birank 定义为 $ \text{rank}(\pi_1) + 2\cdot\text{rank}(\pi_2) $，并证明其模 5 的剩余类将满足 $ n \equiv 2,4 \pmod{5} $ 的双分拆划分为 5 个等量类。
• 将 5-core-birank 定义为两个分拆的 5-core-克拉夫特之和，证明其在 $ n \equiv 2,3,4 \pmod{5} $ 时，将双分拆划分为模 5 的 5 个等量类。
• 利用生成函数 $ \frac{1}{(zq;q)_\infty (z^{-1}q;q)_\infty} $ 表示 HL-birank，并在 5 次单位根处求值，以推导出等数量性。
• 将双秩推广至 $ t-1 $ 部多分拆的多秩，使用 $ (t-1)/2 $ 份克拉夫特生成函数与单位根，实现模 $ t $ 的等分布。
• 为扩展多分拆引入两种多克拉夫特：一种使用 $ (t-3)/2 $ 个扩展分拆与 $ (t-3)/2 $ 个标准分拆，另一种使用 2 个扩展分拆与 $ t-5 $ 个标准分拆。
• 利用模 5 下已知的秩与克拉夫特生成函数结果，结合 $ q $-乘积恒等式与 $ t $-拆分公式，证明在指定二次剩余条件下满足等数量性。

实验结果

研究问题

• RQ1 Dyson 的秩能否用于定义一种双秩统计量，以解释双色分拆模 5 的同余式？
• RQ2 单个分拆的 5-核心克拉夫特是否可推广为一种双秩，使其将双分拆划分为模 5 的 5 个等量剩余类？
• RQ3 Hammond-Lewis 双秩能否推广至多分拆，以解释模大于 3 的素数 $ t $ 的同余式？
• RQ4 为扩展多分拆构造的多克拉夫特是否能提供多分拆同余式模 $ t>3 $ 的组合解释？
• RQ5 是否存在 5-核心克拉夫特生成函数的 5-拆分的组合证明，还是其本质上依赖于模形式？

主要发现

• Dyson-birank $ \text{rank}(\pi_1) + 2\cdot\text{rank}(\pi_2) $ 将满足 $ n \equiv 2,4 \pmod{5} $ 的双分拆划分为模 5 的 5 个等量类。
• 5-core-birank $ \text{5-core-crank}(\pi_1) + 2\cdot\text{5-core-crank}(\pi_2) $ 将满足 $ n \equiv 2,3,4 \pmod{5} $ 的双分拆划分为模 5 的 5 个等量类。
• 广义的 Hammond-Lewis 多秩将 $ t-1 $ 部多分拆划分为模 $ t $ 的 $ t $ 个等量类，前提是 $ 24n+1 $ 在模 $ t $ 下为二次非剩余。
• 多克拉夫特-I 将来自 $ \mathcal{E}^{(t-1)/2} \times \mathcal{P}^{(t-1)/2} $ 的扩展多分拆划分为模 $ t $ 的 $ t $ 个等量类，前提是 $ 8n+1 $ 在模 $ t $ 下不是二次剩余。
• 多克拉夫特-II 将来自 $ \mathcal{E}^{2} \times \mathcal{P}^{t-5} $ 的扩展多分拆划分为模 $ t $ 的 $ t $ 个等量类，前提是 $ 8n+1 $ 在模 $ t $ 下为二次非剩余。
• 多秩与多克拉夫特的生成函数与已知的无限乘积恒等式一致，通过单位根代入与 $ q $-级数恒等式确认了等数量性。