[论文解读] A short Proof of a conjecture by Hirschhorn and Sellers on Overpartitions

Liuquan Wang|arXiv (Cornell University)|Jul 21, 2014

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

一句话总结

本文提供了对 Hirschhorn 与 Sellers 所提出的一个猜想的简短、初等证明，即 $40n+35$ 的过分拆数可被 40 整除。通过建立一个新颖的同余关系，将过分拆数与模 5 下的三个平方数之和联系起来，作者在模 3、5 和 9 下建立了过分拆函数 $\overline{p}(n)$ 的新无限族 Ramanujan 型同余式，包括 $\overline{p}(5^{2\alpha+1}(5n+1)) \equiv 0 \pmod{5}$ 和 $\overline{p}(3n) \equiv (-1)^n r_5(n) \pmod{9}$，从而解决了原始猜想并拓展了其适用范围。

ABSTRACT

Let $\overline{p}(n)$ be the number of overpartitions of $n$, we establish and give a short elementary proof of the following congruence \[\overline{p}({{4}^{α}}(40n+35))\equiv 0 \, (\bmod \, 40),\] where $α,n $ are nonnegative integers. By letting $α=0$ we proved a conjecture of Hirschhorn and Sellers. Some new congruences for $\overline{p}(n)$ modulo 3 and 5 have also been found, including the following two infinite families of Ramanujan-type congruences: for any integers $n\ge 0$ and $α\ge 1$, \[\overline{p}({{5}^{2α+1}}(5n+1))\equiv \overline{p}({{5}^{2α+1}}(5n+4))\equiv 0 \, (\bmod \, 5).\]

研究动机与目标

• 提供 Hirschhorn-Sellers 猜想 $\overline{p}(40n+35) \equiv 0 \pmod{40}$ 的简洁、初等证明。
• 建立过分拆与三个平方数之和之间新的算术关系：$\overline{p}(5n) \equiv (-1)^n r_3(n) \pmod{5}$。
• 推导 $\overline{p}(n)$ 在模 3、5 和 9 下的新无限族 Ramanujan 型同余式。
• 将原始猜想推广为对所有 $\alpha \geq 0$，有 $\overline{p}(4^\alpha(40n+35)) \equiv 0 \pmod{40}$。
• 通过证明 $\overline{p}(3n) \equiv (-1)^n r_5(n) \pmod{9}$，将已知的模 3 同余式改进为模 9。

提出的方法

• 利用生成函数和 theta 函数的模形式性质，建立关键同余式 $\overline{p}(5n) \equiv (-1)^n r_3(n) \pmod{5}$。
• 应用引理 1 对 $q$-级数展开，将 $q$-Pochhammer 符号的幂次模素数幂次进行约化。
• 在模运算中使用已知的 $r_k(n)$ 公式，即 $n$ 表示为 $k$ 个平方数之和的表示数，特别是 $r_4(n)$ 和 $r_8(n)$。
• 利用 $r_k(n)$ 在素数乘法下的乘法性质，通过引理 3：$r_4(pn) \equiv r_4(n) \pmod{p}$ 和 $r_8(pn) \equiv r_8(n) \pmod{p^3}$。
• 将主同余式与 $r_3(n)$ 在 $p$-幂次缩放下的性质结合，推导出新的无限族同余式。
• 利用恒等式 $\varphi(q)^9 \equiv \varphi(q^3)^3 \pmod{9}$ 将同余式推广至模 9，从而证明定理 5 及后续结果。

实验结果

研究问题

• RQ1 Hirschhorn-Sellers 猜想 $\overline{p}(40n+35) \equiv 0 \pmod{40}$ 能否通过简短、初等的方法证明？
• RQ2 是否存在过分拆与模 5 下平方数之和之间的更深层次算术联系？
• RQ3 关系式 $\overline{p}(5n) \equiv (-1)^n r_3(n) \pmod{5}$ 是否可用于生成新的 Ramanujan 型同余式无限族？
• RQ4 能否将 $\overline{p}(3n)$ 的模 3 同余式从模 3 强化为模 9？
• RQ5 对于所有 $\alpha \geq 1$，同余式 $\overline{p}(5^{2\alpha+1}(5n+1)) \equiv 0 \pmod{5}$ 是否成立？

主要发现

• 作者证明了 $\overline{p}(5n) \equiv (-1)^n r_3(n) \pmod{5}$，建立了过分拆与三个平方数之和之间的直接联系。
• 通过将此结果与 $r_3(n)$ 的已知性质结合，论文证明了对所有 $\alpha, n \geq 0$，有 $\overline{p}(4^\alpha(40n+35)) \equiv 0 \pmod{40}$，从而确认了 Hirschhorn-Sellers 猜想。
• 论文建立了两个新的 Ramanujan 型同余式无限族：对所有 $\alpha \geq 1$，有 $\overline{p}(5^{2\alpha+1}(5n+1)) \equiv \overline{p}(5^{2\alpha+1}(5n+4)) \equiv 0 \pmod{5}$。
• 证明了一个更强的同余式：$\overline{p}(3n) \equiv (-1)^n r_5(n) \pmod{9}$，优于先前的模 3 结果。
• 推导出关于 $\overline{p}(5p^{10\alpha+9}N)$ 和 $\overline{p}(5p^{8\alpha+7}N)$ 的新模 5 同余式，其形式取决于 $p \mod 5$，其中 $p \geq 3$ 为素数且 $N$ 与 $p$ 互素。
• 对于模 9，论文证明了当 $p \equiv 1 \pmod{3}$ 时，有 $\overline{p}(3p^{6\alpha+5}N) \equiv 0 \pmod{3}$ 和 $\overline{p}(3p^{18\alpha+17}N) \equiv 0 \pmod{9}$；当 $p \equiv 2 \pmod{3}$ 时，有 $\overline{p}(3p^{4\alpha+3}N) \equiv 0 \pmod{9}$。