[论文解读] Elementary proof of congruences modulo 25 for broken $k$-diamond partitions

Shane Chern, Dazhao Tang|arXiv (Cornell University)|Jul 5, 2018

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

一句话总结

本文通过 $q$-级数恒等式、受模形式启发的关系式以及 $P(\alpha, \beta)$ 函数中的递推结构，提供了一个关于破 $k$-钻石分拆在模 25 下的无限同余族的初等证明，具体为当 $k \equiv 62 \pmod{125}$ 时，$\Delta_k(125n + 99) \equiv 0 \pmod{25}$，避免了高级模形式理论的使用。主要贡献在于以自包含的初等方法推导出此前通过模形式证明的结果。

ABSTRACT

Let $Δ_{k}(n)$ denote the number of $k$-broken diamond partitions of $n$. Quite recently, the second author proved an infinite family of congruences modulo 25 for $Δ_{k}(n)$ with the help of modular forms. In this paper, we aim to provide an elementary proof of this result.

研究动机与目标

• 为此前通过模形式证明的破 $k$-钻石分拆在模 25 下的无限同余族提供一个初等证明。
• 用代数 $q$-级数恒等式和递推关系替代分析性的模形式方法。
• 证明 $\Delta_k(n)$ 的深层算术性质仅通过初等 $q$-级数运算和函数方程即可推导。
• 将初等方法在分拆同余中的工具箱从模 5 扩展到更高次幂如 25。

提出的方法

• 定义 $P(\alpha, \beta) = x^{\alpha+2\beta}y^{2\alpha-\beta} + (-1)^{\alpha+\beta}q^{2\alpha}/(x^{\alpha+2\beta}y^{2\alpha-\beta})$，其中 $x = 1/R(q)$，$y = 1/R(q^2)$，$K = E_2E_5^5/(E_1E_{10}^5)$。
• 建立 $P(\alpha, \beta)$ 的递推关系：$P(\alpha, \beta+1) = \frac{4q}{K}P(\alpha, \beta) + P(\alpha, \beta-1)$，以及 $P(\alpha+2, 0)$ 和 $P(\alpha+2, -1)$ 的类似形式。
• 利用 $1/E_1$ 的 5-分拆恒等式，用 $R(q^5)$、$E_5$ 和 $E_{25}$ 表示生成函数，从而将生成函数表示为 $K$ 和 $q$ 的形式。
• 应用递推关系和初值条件，将 $\sum_{n=0}^\infty b(5n+4)q^n$ 展开并化简为 $K$ 和 $q$ 的多项式，然后模 25 化简。
• 通过涉及 $E_1$、$E_2$、$E_5$、$E_{10}$ 的变换将结果与 $\Delta_k(n)$ 的生成函数联系起来，表明模 25 下仅 $q^{5n+4}$ 项保留。
• 推导出关键同余式 $\sum_{n=0}^\infty \tilde{c}(5n+4)q^n \equiv 10 \frac{E_5^2 E_{10}^2}{E_1^5 E_2} \pmod{25}$，该式蕴含 $c(125n+99) \equiv 0 \pmod{25}$。

实验结果

研究问题

• RQ1 能否在不使用模形式的情况下证明破 $k$-钻石分拆的同余族 $\Delta_k(125n + 99) \equiv 0 \pmod{25}$ 对于 $k \equiv 62 \pmod{125}$？
• RQ2 哪些初等 $q$-级数恒等式和递推结构可以复现此前通过模形式理论获得的结果？
• RQ3 如何系统地利用函数 $P(\alpha, \beta)$ 将生成函数模 25 化简？
• RQ4 是否存在一种方法，能够从生成函数中分离出 $q^{5n+4}$ 索引的系数，并通过代数运算证明其模 25 为零？

主要发现

• 本文确立了当 $k \equiv 62 \pmod{125}$ 时，对所有 $n \geq 0$，有 $\Delta_k(125n + 99) \equiv 0 \pmod{25}$，为此前通过模形式证明的结果提供了初等证明。
• 证明了生成函数 $\sum_{n=0}^\infty \tilde{c}(5n+4)q^n$ 满足同余式 $\equiv 10 \frac{E_5^2 E_{10}^2}{E_1^5 E_2} \pmod{25}$，该式不含 $q^{5n+3}$ 项，从而蕴含 $c(125n+99) \equiv 0 \pmod{25}$。
• $P(\alpha, \beta)$ 的递推关系，以 $K = E_2E_5^5/(E_1E_{10}^5)$ 为初值，可将高阶 $q$-级数表达式完全约化为 $K$ 和 $q$ 的多项式。
• 推导出恒等式 $\sum_{n=0}^\infty b(5n+4)q^n = 35K^4 + 280K^3q + 1905K^2q^2 + 1760Kq^3 + 13825q^4 - \frac{7040q^5}{K} + \cdots$，并模 25 化简以确认同余关系。
• 该证明完全避免使用模形式，仅依赖于 $q$-级数恒等式、递推关系和代数化简，为模 5 的高次幂（如 25）的分拆同余提供了新的初等路径。