[论文解读] Congruences modulo powers of 5 for three-colored Frobenius partitions

Xinhua Xiong|arXiv (Cornell University)|Feb 27, 2010

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

一句话总结

本文建立了三色Frobenius分拆函数 $ c\tilde{\theta}_3(n) $ 及其相关算术函数 $ \tilde{c}\tilde{\theta}_3(n) $ 在模 625 和 25 下的新同余式，证明了 $ c\tilde{\theta}_3(45n+23) \equiv 0 \pmod{625} $ 与 $ c\tilde{\theta}_3(45n+41) \equiv 0 \pmod{625} $，以及 $ c\tilde{\theta}_3(75n+22) \equiv 0 \pmod{25} $ 和 $ \tilde{c}\tilde{\theta}_3(75n+72) \equiv 0 \pmod{25} $。这些结果通过模形式、eta-乘积以及模形式中同余式的Sturm准则推导得出，将早期关于Ramanujan型分拆同余式在更高次幂 5 的推广拓展至更高阶。

ABSTRACT

Motivated by a question of Lovejoy \cite{lovejoy}, we show that three-colored Frobenius partition function $\c3$ and related arithmetic fuction $\cc3$ vanish modulo some powers of 5 in certain arithmetic progressions.

研究动机与目标

• 回答Lovejoy提出的问题：将Ramanujan型分拆同余式推广至 5 的更高次幂。
• 建立三色Frobenius分拆函数在模 625 和 25 下的新算术级数，使其取值为零。
• 利用模形式技术，将已知的 $ c\tilde{\theta}_3(n) $ 模 5 同余式推广至 5 的更高次幂。
• 探究在 7、11 和 19 的更高次幂下是否存在类似同余式，并探索类似于Ramanujan分拆恒等式的结构恒等式。

提出的方法

• 通过特定指数的Dedekind eta函数乘积，构造一个权为 506、水平为 $ \tilde{\theta}_0(135) $ 的模形式 $ g(z) $。
• 应用Sturm准则，验证 $ g(z) $ 的傅里叶系数在特定算术级数下模 625 为零。
• 使用 $ U(9) $ 和 $ U(45)V(5) $ 算子分离出对应于 $ 45n+23 $ 和 $ 45n+41 $ 的系数，并通过机器计算验证同余式。
• 在 $ S_{20}(\tilde{\theta}_0(225), \text{Id}) $ 中定义一个Eta-乘积 $ f(z) $，以分析 $ c\tilde{\theta}_3(75n+22) $ 和 $ \tilde{c}\tilde{\theta}_3(75n+72) $ 模 25 的性质。
• 对组合模形式 $ F(z) = f(z) + f_2(z) $ 应用Hecke算子 $ U(25) $，以分离出 $ 75n $ 处的系数，并通过Sturm准则验证其模 25 为零。
• 利用Kronecker符号及eta-乘积的变换性质，确保模形式的权与水平正确，并保证其模性质。

实验结果

研究问题

• RQ1 已知的三色Frobenius分拆函数模 5 同余式能否推广至 5 的更高次幂？
• RQ2 对于相同的算术级数 $ 45n+23 $ 和 $ 45n+41 $，是否存在模 $ 5^4 = 625 $ 的类似同余式？
• RQ3 对于算术级数 $ 75n+22 $ 和 $ 75n+72 $，特别是调整后的函数 $ \tilde{c}\tilde{\theta}_3(n) $，是否存在模 $ 5^2 = 25 $ 的类似同余式？
• RQ4 为何在先前研究的级数中，7、11 和 19 的更高次幂下不存在此类同余式？
• RQ5 能否为 $ c\tilde{\theta}_3(n) $ 找到类似Ramanujan对普通分拆函数所建立的结构恒等式，以解释这些新的同余式？

主要发现

• 对所有非负整数 $ n $，有 $ c\tilde{\theta}_3(45n+23) \equiv 0 \pmod{625} $，这扩展了已知的模 5 结果。
• 对所有 $ n \geq 0 $，有 $ c\tilde{\theta}_3(45n+41) \equiv 0 \pmod{625} $，确认了Lovejoy早期同余式在更高次幂下的推广。
• 对所有 $ n \geq 0 $，已证明 $ c\tilde{\theta}_3(75n+22) \equiv 0 \pmod{25} $，为另一算术级数提供了新结果。
• 相关函数 $ \tilde{c}\tilde{\theta}_3(75n+72) \equiv 0 \pmod{25} $ 对所有 $ n \geq 0 $ 成立，完成了第二组同余式的完整证明。
• 证明依赖于构造一个尖点形式 $ g(z) \in S_{506}(\tilde{\theta}_0(135), \text{Id}) $，其在指定索引处的系数模 625 为零，该结论通过Sturm准则与计算验证确认。
• 对于模 25 的结果，使用了一个模形式 $ F(z) \in S_{20}(\tilde{\theta}_0(2025), \text{Id}) $，并验证了 $ F(z)|U(25) \equiv 0 \pmod{25} $ 在有限项内成立，从而确认了同余式。