[论文解读] Higher order spt functions for overpartitions, overpartitions with smallest part even, and partitions without repeated odd parts

Chris Jennings-Shaffer|arXiv (Cornell University)|Feb 20, 2014

Advanced Mathematical Identities参考文献 21被引用 4

一句话总结

本文引入了用于过分拆、最小部分为偶数的过分拆，以及最小部分为偶数且无重复奇数部分的分拆的高阶 spt 函数，方法基于对称化的 Crank 与 Rank 矩。通过使用 Bailey 对与初等代数重排，作者推导出这些矩的表达式，并证明过分拆 Crank 矩大于 Rank 矩，建立了严格不等式 $\overline{M}_{2k}(n) > \overline{N}_{2k}(n)$，并验证了 $\overline{\text{spt}}_2(n)$ 在模 5 下对 $5n+1$ 与 $5n+3$ 的新同余式。该工作将 Andrews 的 spt 函数推广至新的分拆类，并为 Rank 与 Crank 统计结构提供了更深层次的洞察。

ABSTRACT

We consider the symmetrized moments of three ranks and cranks, similar to the work of Garvan for the rank and crank of a partition. By using Bailey pairs and elementary rearrangements, we are able to find useful expressions for these moments. We then deduce inequalities between the corresponding ordinary moments. In particular we prove that the crank moment for overpartitions is always larger than the rank moment for overpartitions; with recent asymptotics this was known to hold for sufficiently large values of n for each fixed k. Lastly we provide higher order spt functions for overpartitions, overpartitions with smallest part even, and partitions with smallest part even and no repeated odds.

研究动机与目标

• 将 Andrews 的 spt 函数推广至具有最小部分特定约束及无重复奇数部分的过分拆与相关分拆类。
• 将高阶 spt 函数定义为 Crank 与 Rank 统计对称化矩之差。
• 为过分拆建立 Crank 与 Rank 矩之间的不等式，证明对所有 $n$ 与固定 $k$，有 $\overline{M}_{2k}(n) > \overline{N}_{2k}(n)$。
• 推导并证明 $\overline{\text{spt}}_2(n)$ 模 5 的新同余式，特别是对 $n \equiv 1,3 \pmod{5}$。

提出的方法

• 使用过分拆 Crank 与 Rank 分布的对称化矩 $\mu_{2k}(n)$ 与 $\eta_{2k}(n)$，将高阶 spt 函数定义为 $\overline{\text{spt}}_k(n) = \mu_{2k}(n) - \eta_{2k}(n)$。
• 应用 Bailey 对与初等代数恒等变形，将高阶矩表示为生成函数与组合恒等式的形式。
• 利用过分拆 Rank 与 Crank 的生成函数，包括 $\overline{R}(z,q)$ 与 $\overline{C}(z,q)$，推导矩之间的关系。
• 通过已知恒等式中涉及的 $g_k(m)$ 与 Stirling 型数 $S^*(k,j)$，对复杂矩表达式进行化简，以简化对称化矩公式。
• 使用模运算与先前工作（如 [10]）中的已知同余式，证明 $\overline{\text{spt}}_2(n)$ 模 5 的新同余式。
• 通过组合枚举验证 $\overline{\text{S}}$ 中分拆对的权函数 $\omega_2(\vec{\pi})$，计算得 $\overline{\text{spt}}_2(4) = 16$，确认新 spt 定义的一致性。

实验结果

研究问题

• RQ1 对所有 $n$ 与固定 $k$，过分拆 Crank 矩 $\overline{M}_{2k}(n)$ 是否严格大于 Rank 矩 $\overline{N}_{2k}(n)$？
• RQ2 是否可为最小部分为偶数的过分拆，以及最小部分为偶数且无重复奇数部分的分拆定义高阶 spt 函数？
• RQ3 这些新 spt 函数是否满足新的算术性质，例如模 5 同余？
• RQ4 对称化矩方法是否可用于推导并证明 $\overline{\text{spt}}_2(n)$ 的同余式？
• RQ5 这些新 spt 函数的生成函数与已知分拆生成函数之间是否存在结构性关系？

主要发现

• 对所有 $n$ 与固定 $k$，过分拆 Crank 矩 $\overline{M}_{2k}(n)$ 严格大于 Rank 矩 $\overline{N}_{2k}(n)$，确认了此前仅以渐近方式已知的严格不等式。
• 高阶 spt 函数 $\overline{\text{spt}}_2(n)$ 满足同余式 $\overline{\text{spt}}_2(5n+1) \equiv 0 \pmod{5}$ 与 $\overline{\text{spt}}_2(5n+3) \equiv 0 \pmod{5}$，这些同余式通过矩恒等式的模化简得到证明。
• 通过枚举过分拆对并应用权函数 $\omega_2(\vec{\pi})$，显式计算出 $\overline{\text{spt}}_2(4) = 16$，验证了新 spt 定义的一致性。
• 生成函数 $\overline{\text{spt}}_2(n)$ 可表示为四阶与二阶矩的有理组合：$\overline{\text{spt}}_2(n) = \frac{1}{24}(\overline{M}_4(n) - \overline{M}_2(n) - \overline{N}_4(n) + \overline{N}_2(n))$。
• 同余式的证明依赖于 [10] 中已知矩恒等式的模化简，表明 $\overline{M2}_2(5n+1) \equiv 0 \pmod{5}$，且当 $n \equiv 3 \pmod{5}$ 时，矩的线性组合模 5 为零。
• 该工作建立了一个将 spt 函数推广至新分拆类的框架，提示未来可借助类似相关工作中 $j$-rank 与 $j$-crank 统计量进一步拓展。