[论文解读] Congruences for the Number of Cubic Partitions Derived from Modular Forms

William Y. C. Chen, Bernard L. S. Lin|ArXiv.org|Oct 7, 2009

Advanced Mathematical IdentitiesMathematics参考文献 22被引用 18

一句话总结

本文利用模形式理论，建立了关于立方分拆数 $ a(n) $ 的新同余关系，证明了 $ a(25n+22) \equiv 0 \pmod{5} $ 以及 $ a(49n+15) \equiv a(49n+29) \equiv a(49n+36) \equiv a(49n+43) \equiv 0 \pmod{7} $。此外，本文进一步证明 $ a(n) $ 取得无穷多个偶数值和无穷多个奇数值，通过模形式理论将拉马努金型算术性质推广至立方分拆函数。

ABSTRACT

We obtain congruences for the number a(n) of cubic partitions using modular forms. The notion of cubic partitions is introduced by Chan and named by Kim in connection with Ramanujan's cubic continued fractions. Chan has shown that a(n) has several analogous properties to the number p(n) of partitions, including the generating function, the continued fraction, and congruence relations. To be more specific, we show that $a(25n+22)\equiv 0 ({ m mod} 5)$, $a(49n+15) \equiv a(49n+29) \equiv a(49n+36) \equiv a(49n+43) \equiv 0 ({ m mod} 7)$. Furthermore, we prove that a(n) takes infinitely many even values and infinitely odd values.

研究动机与目标

• 将拉马努金经典的分拆同余关系推广至立方分拆的背景。
• 利用模形式理论推导 $ a(n) $（即立方分拆数）的新算术性质。
• 证明 $ a(n) $ 取得无穷多个偶数值和无穷多个奇数值，与分拆函数 $ p(n) $ 的性质类似。
• 证明 $ a(n) $ 在模 5 和模 7 下的特定同余关系，灵感源自拉马努金对 $ p(n) $ 的研究。

提出的方法

• 构造关于同余子群 $ \Gamma_0(4802) $ 的权为 6 的模形式，以分析 $ a(n) $。
• 以生成函数 $ \sum_{n=0}^\infty a(n)q^n = \frac{1}{(q;q)_\infty (q^2;q^2)_\infty} $ 作为模形式分析的基础。
• 应用 Hirschhorn 和 Hunt 的方法，通过操控模形式及其傅里叶系数，推导模 5 和模 7 的同余关系。
• 通过检查有限项初始系数（利用相关模形式的模性）验证模 7 同余关系。
• 推导模 2 下的递推关系：$ a(n) + \sum_{0 < k+k^2 \leq n} a(n-k-k^2) \equiv \Delta(n) \pmod{2} $，其中 $ \Delta(n) = 1 $ 当 $ n $ 为三角数。
• 使用反证法及三角数的性质，证明 $ a(n) $ 无限次取偶数值和奇数值。

实验结果

研究问题

• RQ1 立方分拆数 $ a(n) $ 是否满足类似于拉马努金分拆同余关系的模 5 和模 7 同余关系？
• RQ2 模形式能否用于证明 $ a(n) $ 的新算术性质，例如模素数幂的同余关系？
• RQ3 $ a(n) $ 是否表现出无穷奇偶性变化，即无限次取偶数和奇数值？
• RQ4 是否存在组合或模形式解释，说明同余关系 $ a(3n+2) \equiv 0 \pmod{3} $，并可否将其推广至更高模数？

主要发现

• 本文证明了 $ a(25n+22) \equiv 0 \pmod{5} $，建立了立方分拆函数在模 5 下的新拉马努金型同余关系。
• 本文确立了模 7 的四个同余关系：$ a(49n+15) \equiv a(49n+29) \equiv a(49n+36) \equiv a(49n+43) \equiv 0 \pmod{7} $。
• 函数 $ a(n) $ 取得无穷多个偶数值和无穷多个奇数值，该结论通过模 2 的递推关系与反证法得到证明。
• 模 7 同余关系的证明依赖于验证有限项初始系数（至 $ n \leq 587 $），这是由于所涉及模形式的模性与水平结构。
• $ a(n) $ 的生成函数 $ \sum a(n)q^n = \frac{1}{(q;q)_\infty (q^2;q^2)_\infty} $ 是推导同余关系与奇偶性结果的核心。
• 递推关系 $ a(n) + \sum_{0 < k+k^2 \leq n} a(n-k-k^2) \equiv \Delta(n) \pmod{2} $ 是分析 $ a(n) $ 奇偶性的关键，其中 $ \Delta(n) = 1 $ 当 $ n $ 为三角数，否则为 0。