[论文解读] Partition Recurrences

Yuriy Choliy, Louis W. Kolitsch+1 more|arXiv (Cornell University)|Nov 22, 2018

Advanced Mathematical Identities参考文献 3被引用 7

一句话总结

本文提出了类似于欧拉经典递推公式的新型分拆递推关系，以平方数、三角数以及广义多边形数（七边形数与八边形数）为基础，建立分拆函数恒等式。通过生成函数与五重乘积恒等式，推导出p(n)关于过部分拆、双色分拆及相异奇部分拆的精确公式，揭示了分拆函数与模形式之间的深刻联系。

ABSTRACT

We present some Euler-type recurrences for the partition function $p(n)$.

研究动机与目标

• 通过引入基于平方数、三角数与广义多边形数的新递推关系，拓展欧拉关于分拆函数p(n)的经典递推公式。
• 探索欧拉五边形数递推与涉及相异奇部部分拆及过部分拆的新恒等式之间的类比关系。
• 通过生成函数与五重乘积恒等式，建立分拆函数与模形式之间的联系。
• 通过统一各类分拆恒等式于同一理论框架下，为欧拉递推提供更广泛的理论背景。

提出的方法

• 通过平方数及其两倍构造递推关系，其中系数由(-1)^j的符号模式决定，导出包含p(n - j²)与p(n - 2j²)之和的生成函数。
• 利用生成函数ψ(x) = ∑ x^{n(n+1)/2}与φ(x) = 1 + 2∑ x^{j²}，将分拆恒等式表示为模形式。
• 应用五重乘积恒等式，将过部分拆与双色分拆的生成函数与模形式关联，从而推导出新的递推恒等式。
• 通过生成函数的运算，包括提取偶次幂与奇次幂级数部分，分离出偶数n与奇数n的分拆计数。
• 利用恒等式F(x) = ∑ (-1)^k x^{k(3k-1)/2}及其偶部与奇部，推导出涉及p(n)与过部分拆的恒等式。
• 通过三角数生成函数与(1 - x^k)^{-1}及(1 - x^{4k})乘积的模2同余关系，建立新递推公式。

实验结果

研究问题

• RQ1 欧拉的五边形数递推能否通过以平方数与三角数为基础，推广为新的分拆递推关系？
• RQ2 广义七边形数与八边形数在构造分拆函数p(n)新恒等式中起何种作用？
• RQ3 过部分拆与双色分拆如何通过生成函数与模形式与分拆函数关联？
• RQ4 这些新递推关系中的系数具有何种精确的组合解释，特别是与相异奇部部分拆的关系？
• RQ5 如五重乘积恒等式等模恒等式能否用于推导p(n)的新精确递推关系？

主要发现

• 定理1建立了一个递推关系：当n为奇数时，∑ (-1)^j [p(n - j²) + p(n - 2j²)] = 0；当n为偶数时，其值为qq(n)，其中qq(n)表示相异奇部部分拆的个数。
• 定理2给出了一个带符号的递推关系，涉及2p(n - j²)且符号交替，结果为(-1)^n qq(n)，直接将分拆函数与相异奇部部分拆联系起来。
• 定理3使用广义七边形数j(5j±3)/2，将p(n)表示为(n - r_i^e)/2与(n - s_i^e)/2处p值之差的和（当n为偶数时），并对奇数n给出类似表达式。
• 定理4将广义八边形数j(3j±2)/2与三角数关联，表明当n为偶数时，递推关系等于(n - 3t_i^e)/2处p值之和；当n为奇数时，等于(n - 3t_i^o)/2处p值之和。
• 定理5将p(n)表示为双色分拆函数p₂((n - t_i^e)/2)（当n为偶数时）与p₂((n - t_i^o)/2)（当n为奇数时）的和，其中t_i^e与t_i^o分别为偶数与奇数的三角数。
• 定理7证明了三角数生成函数模2同余于分拆生成函数与theta级数的乘积，从而导出新递推关系：p(n) ≡ ∑_j p(n - 4π_j) mod 2，其中π_j为广义五边形数。