[论文解读] Congruences for Generalized Frobenius Partitions with an Arbitrarily Large Number of Colors

Frank Garvan, James A. Sellers|arXiv (Cornell University)|May 26, 2013

Advanced Mathematical Identities被引用 11

一句话总结

本文利用安德鲁斯1984年回忆录中被忽视的生成函数恒等式，建立了广义弗罗贝尼乌斯分拆函数 $c\phi_k(n)$ 在任意大颜色数 $k$ 下的无限组拉马努金型同余式。通过利用该生成函数在素数模下的模形式性质，作者证明：若同余式对较小的 $k$ 成立，则可推广至 $c\phi_{pN+k}(pn+r) \equiv 0 \pmod{p}$ 对任意 $N \geq 0$ 成立，从而实现对极大 $k$ 的同余式构造。其核心贡献在于首次提出系统化方法，用于生成大 $k$ 下的此类同余式，填补了文献中长期存在的空白。

ABSTRACT

In his 1984 AMS Memoir, George Andrews defined the family of $k$--colored generalized Frobenius partition functions. These are denoted by $c\\phi_k(n)$ where $k\\geq 1$ is the number of colors in question. In that Memoir, Andrews proved (among many other things) that, for all $n\\geq 0,$ $c\\phi_2(5n+3) \\equiv 0\\pmod{5}.$ Soon after, many authors proved congruence properties for various $k$--colored generalized Frobenius partition functions, typically with a small number of colors. Work on Ramanujan--like congruence properties satisfied by the functions $c\\phi_k(n)$ continues, with recent works completed by Baruah and Sarmah as well as the author. Unfortunately, in all cases, the authors restrict their attention to small values of $k.$ This is often due to the difficulty in finding a "nice" representation of the generating function for $c\\phi_k(n)$ for large $k.$ Because of this, no Ramanujan--like congruences are known where $k$ is large. In this note, we rectify this situation by proving several infinite families of congruences for $c\\phi_k(n)$ where $k$ is allowed to grow arbitrarily large. The proof is truly elementary, relying on a generating function representation which appears in Andrews' Memoir but has gone relatively unnoticed.

研究动机与目标

• 解决当颜色数 $k$ 较大时，广义弗罗贝尼乌斯分拆函数缺乏已知拉马努金型同余式的难题。
• 克服在 $k$ 较大时难以获得 $c\phi_k(n)$ 的‘优美’生成函数表示的困难。
• 建立一种通用方法，用于生成 $c\phi_k(n)$ 在任意大 $k$ 和固定素数模下的无限组同余式。
• 证明对小 $k$ 已知的同余式可通过生成函数的简单模变换推广至任意大的 $k$。

提出的方法

• 作者使用安德鲁斯回忆录中的定理2.1，该定理将 $c\phi_k(n)$ 的生成函数表示为 $\prod_{n=0}^{\infty}(1+zq^{n+1})^k(1+z^{-1}q^n)^k$ 的常数项。
• 他们应用模素数 $p$ 下的二项式定理，将 $c\phi_{pN+k}(n)$ 的生成函数简化为包含 $q^p$ 和原始 $c\phi_k(n)$ 生成函数的乘积。
• 该简化使他们能够分析模 $p$ 下 $q^{pn+r}$ 的系数，从而将 $c\phi_{pN+k}(pn+r)$ 的行为与 $c\phi_k(pn+r)$ 关联起来。
• 该方法依赖于第一个乘积中 $q^p$ 的依赖性，确保 $c\phi_{pN+k}(pn+r)$ 的常数项提取仅取决于 $c\phi_k(pn+r)$ 模 $p$ 的行为。
• 核心思想是：若对所有 $n$ 有 $c\phi_k(pn+r) \equiv 0 \pmod{p}$，则对所有 $N$ 和 $n$ 有 $c\phi_{pN+k}(pn+r) \equiv 0 \pmod{p}$。
• 通过中国剩余定理，该构造被推广至合数模，从而实现对如1155等合数模的同余式。

实验结果

研究问题

• RQ1 广义弗罗贝尼乌斯分拆函数的拉马努金型同余式能否推广至颜色数 $k$ 任意大的情形？
• RQ2 是否存在一种系统化方法，用于生成大 $k$ 下的此类同余式，以克服复杂生成函数表示的困难？
• RQ3 能否通过在生成函数上使用模算术，将小 $k$ 下的已知同余式提升为大 $k$ 的无限组同余式？
• RQ4 安德鲁斯回忆录中的生成函数恒等式在实现这些推广中起到了何种作用？

主要发现

• 本文证明：若对所有 $n \geq 0$ 有 $c\phi_k(pn+r) \equiv 0 \pmod{p}$，则对所有 $N \geq 0$ 和 $n \geq 0$ 有 $c\phi_{pN+k}(pn+r) \equiv 0 \pmod{p}$，从而构成任意大 $k$ 下的无限组同余式。
• 推论2.3表明：对所有 $N, n \geq 0$ 有 $c\phi_{5N+1}(5n+4) \equiv 0 \pmod{5}$，该结果源自模5的拉马努金分拆同余式。
• 推论2.4表明：对所有 $N, n \geq 0$ 有 $c\phi_{5N+2}(5n+3) \equiv 0 \pmod{5}$，该结果基于安德鲁斯对 $k=2$ 的结果。
• 推论2.5证明：对所有 $N \geq 1$ 和 $n \geq 0$ 有 $c\phi_{3N}(3n+2) \equiv 0 \pmod{3}$，该结果基于科利奇对 $k=3$ 的同余式。
• 推论2.6构造了一个模1155的同余式：$c\phi_{1155N+1002}(1155n+908) \equiv 0 \pmod{1155}$，该结果通过中国剩余定理将模3、5、7和11的结果组合而成。