[论文解读] Arithmetic Identities and Congruences for Partition Triples with 3-cores

Liuquan Wang|arXiv (Cornell University)|Feb 23, 2015

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

一句话总结

本文利用 $ q $-级数恒等式和模形式，建立了关于 $ B_3(n) $（即 $ n $ 的三核心分拆三元组的个数）的新算术恒等式与同余式。证明了 $ B_3(n) $ 与 $ \omega(n) $（即 $ n $ 表示为六个平方和与三个平方和之和的表示数）之间的三个关键算术关系，包括 $ \omega(6n+5) = 4B_3(6n+4) $，并推导出 $ B_3(n) $ 的无穷多个拉马努金型同余式。

ABSTRACT

Let ${{B}_{3}}(n)$ denote the number of partition triples of $n$ where each partition is 3-core. With the help of generating function manipulations, we find several infinite families of arithmetic identities and congruences for ${{B}_{3}}(n)$. Moreover, let $ω(n)$ denote the number of representations of a nonnegative integer $n$ in the form $x_{1}^{2}+x_{2}^{2}+x_{3}^{2}+3y_{1}^{2}+3y_{2}^{2}+3y_{3}^{2}$ with ${{x}_{1}},{{x}_{2}},{{x}_{3}},{{y}_{1}},{{y}_{2}},{{y}_{3}}\in \mathbb{Z}.$ We find three arithmetic relations between ${{B}_{3}}(n)$ and $ω(n)$, such as $ω(6n+5)=4{{B}_{3}}(6n+4).$

研究动机与目标

• 建立关于 $ B_3(n) $ 的新算术恒等式与同余式，其中 $ B_3(n) $ 表示每个分拆均为三核心的 $ n $ 的分拆三元组的个数。
• 揭示 $ B_3(n) $ 与 $ n $ 表示为六个平方和与三个平方和之和的表示数 $ \omega(n) $ 之间的深层算术联系。
• 利用 $ q $-级数与 theta 函数恒等式，将关于 $ a_3(n) $ 和 $ A_3(n) $ 的已知结果推广至分拆三元组（即 $ B_3(n) $）的情形。
• 提出关于将这些结果推广至任意 $ k $ 重三核心分拆的开放问题。
• 为 $ A_3^{(k)}(n) $ 和 $ \omega^{(k)}(n) $ 提供统一框架，提示未来研究方向。

提出的方法

• 以生成函数 $ \sum_{n=0}^\infty B_3(n) q^n = \frac{f_3^9}{f_1^3} $ 为基础，其中 $ f_k = (q^k; q^k)_\infty $。
• 运用 $ f_3^3/f_1 $ 及相关 theta 函数的 2-分拆与 3-分拆恒等式，将生成函数分解为满足特定同余条件的级数。
• 利用拉马努金的 theta 函数恒等式与模形式，推导 $ B_3(n) $ 的递推关系与同余式。
• 从模形式与 $ q $-级数展开中提取系数，建立 $ B_3(n) $ 与 $ \omega(n) $ 之间的精确算术恒等式。
• 应用生成函数的运算与系数提取技术，证明如 $ \sum_{n=0}^\infty B_3(6n+4) q^n = 24 \frac{f_2^8 f_3^3}{f_1^5} $ 等恒等式。
• 比较 $ B_3(n) $ 与 $ \omega(n) $ 的生成函数，推导出精确的算术关系，包括 $ \omega(6n+5) = 4B_3(6n+4) $。

实验结果

研究问题

• RQ1 能否为三核心分拆三元组的个数 $ B_3(n) $ 推导出无穷多个算术恒等式与同余式？
• RQ2 是否存在 $ B_3(n) $ 与 $ \omega(n) $ 之间的精确算术关系，其中 $ \omega(n) $ 表示 $ n $ 作为 $ x_1^2 + x_2^2 + x_3^2 + 3y_1^2 + 3y_2^2 + 3y_3^2 $ 的表示数？
• RQ3 能否利用 $ q $-级数与模形式，将关于 $ a_3(n) $ 和 $ A_3(n) $ 的已知恒等式推广至分拆三元组 $ B_3(n) $ 的情形？
• RQ4 能否将结果推广至任意 $ k $ 重三核心分拆的情形？若能，会涌现出哪些恒等式或关系？
• RQ5 能否证明 $ B_3(n) $ 的新拉马努金型同余式，例如 $ B_3(3^k n + 3^k - 1) \equiv 0 \pmod{3^{2k}} $？

主要发现

• 本文证明了 $ \omega(6n+5) = 4B_3(6n+4) $，建立了三核心分拆三元组个数与平方和表示数之间的精确算术关系。
• 推导出恒等式 $ \omega(12n+2) = 12B_3(6n) $，将 $ B_3(6n) $ 与 $ 12n+2 $ 的平方和表示数（带系数）联系起来。
• 证明了另一恒等式 $ \omega(12n+10) = 6B_3(6n+4) $，通过生成函数比较进一步将 $ B_3(n) $ 与 $ \omega(n) $ 联系起来。
• 建立了无穷多个同余式族：对所有 $ k \geq 1 $ 与 $ n \geq 0 $，有 $ B_3(2^{k+1}n + 2^k - 1) \equiv 0 \pmod{\frac{4^{k+1} + (-1)^k}{5}} $。
• 证明了两个拉马努金型同余式：$ B_3(30n+10) \equiv B_3(30n+28) \equiv 0 \pmod{120} $，其推导基于生成函数 $ \sum_{n=0}^\infty B_3(6n+4) q^n = 24 \frac{f_2^8 f_3^3}{f_1^5} $。
• 发现无穷多个同余式族：对 $ k \geq 1 $，有 $ B_3(3^k n + 3^k - 1) \equiv 0 \pmod{3^{2k}} $ 与 $ B_3(3^k n + 2\cdot 3^{k-1} - 1) \equiv 0 \pmod{3^{2k-1}} $。