🔢 mathematics

Recurrence and congruences for the smallest parts function

本文通过利用特殊扭曲二次狄利克雷级数的赫克迹，给出了最小部分函数 $\spt(n)$ 的广义欧拉型递归公式，导出了该函数在模 $\ell$ 下的闭式表达式，并建立了一个关于该函数的非同余结果。

原作者： Wei Wang

发布于 2026-04-16

📖 1 分钟阅读🧠 深度阅读

原作者： Wei Wang

原始论文根据 CC0 1.0（http://creativecommons.org/publicdomain/zero/1.0/）发布到公有领域。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

这篇论文就像是一位数学家在探索**“数字分拆”（Partitions）**这个神秘世界时，发现了一条新的“寻宝地图”。为了让你轻松理解，我们把这篇充满数学符号的论文，翻译成几个生动的故事场景。

1. 主角是谁？——“最小部分”函数 spt(n)

想象一下，你有一堆积木，总数是 $n$ 。

分拆（Partition）： 就是把这堆积木拆成几堆，每堆至少有一块。比如 $n=5$ ，你可以拆成 5，或者 3+2，或者 1+1+1+1+1 等等。
最小部分（Smallest Parts）： 在每一种拆法里，都有个“最小的那一堆”。
- 比如 3+2，最小的是 2。
- 比如 1+1+1+1+1，最小的是 1（出现了 5 次）。
spt(n)： 这个函数就是统计：把 $n$ 拆成所有可能的方式后，所有“最小部分”加起来的总次数是多少。

举个例子：
如果 $n=5$ ，拆法有 7 种。

5 -> 最小是 5 (1 次)
4+1 -> 最小是 1 (1 次)
3+2 -> 最小是 2 (1 次)
3+1+1 -> 最小是 1 (2 次)
...以此类推。
最后算出来，$spt(5) = 14$。

这个函数很有趣，它背后藏着很多像“魔术”一样的规律（比如某些数字拆法总是能被 5 或 7 整除），就像著名的数学家拉马努金（Ramanujan）发现的分拆规律一样。

2. 以前的难题：为什么很难算？

以前，数学家们（像欧拉 Euler）发现了一个很棒的公式，可以像“多米诺骨牌”一样，算出 $n$ 的拆分数 $p(n)$ 。只要知道前面的数，就能算出后面的数。

后来，有人把这个方法推广了，用来算 $p(n)$ 的更复杂版本。但是，作者 Wei Wang 发现，**$spt(n) $这个“最小部分”函数太调皮了**，它不像$ p(n)$ 那么“听话”。

比喻： 如果把 $p(n)$ 比作一个穿着整齐西装、走路有节奏的绅士（模形式），那么 $spt(n)$ 就像一个穿着雨衣、在雨中跳舞的舞者（调和马夫形式，Harmonic Maass form）。它身上沾满了“雨水”（非全纯部分），导致传统的“多米诺骨牌”公式直接套用会失效，因为那个公式要求舞者必须穿西装。

3. 作者的魔法：如何驯服这个“舞者”？

为了解决这个问题，作者发明了一套新的“魔法工具”，主要分三步走：

第一步：给舞者“烘干”（全纯投影）

作者使用了一种叫**“全纯投影”（Holomorphic Projection）**的技术。

比喻： 想象那个在雨中跳舞的舞者（$spt(n)$ 的生成函数），作者拿了一个巨大的吹风机（投影算子），把舞者身上的雨水（非全纯部分）吹干，只留下最核心的舞步（全纯部分）。
这样，原本复杂的、带雨的函数，就变成了一个干净的、可以在数学舞台上优雅行走的“模形式”。

第二步：建立新的“多米诺骨牌”（递归公式）

一旦把舞者“烘干”了，作者就能用类似欧拉的方法，建立一个新的公式。

核心发现： 作者发现，$spt(n)$ 的数值，可以通过一种叫做**“赫克迹”（Hecke Trace）**的东西来计算。
比喻： “赫克迹”就像是这个数学宇宙中的“回声”。当你敲击一个特定的数学琴弦（特殊的狄利克雷级数），它会发出回声。作者发现，$spt(n)$ 的值，其实就是这些回声的某种加权和。
这就好比，你想知道一个房间里有多少人（$spt(n)$），以前只能一个个数，现在作者发现，只要对着墙壁喊一声（计算赫克迹），听回声的强弱和节奏，就能直接算出人数。

第三步：发现新的“密码”（同余性质）

有了这个新公式，作者就能像侦探一样，发现 $spt(n) $在特定数字（比如质数$ \ell$）下的规律。

以前的发现： 拉马努金发现 $p(5n+4)$ 总是能被 5 整除。
作者的发现： 作者证明了 $spt(n) $也有类似的规律，但更复杂。比如，当$ n $满足某些特定条件时，$ spt(n)$ 也能被 5、7、13 等整除。
更酷的是： 作者还证明了，并不是所有的质数都有这种规律。对于很大的质数，这种“整除魔术”通常会失效。这就像是一个数学界的“排他俱乐部”，只有特定的质数才能进入。

4. 总结：这篇论文到底说了什么？

用一句话概括：
作者 Wei Wang 发明了一种新的数学“翻译器”，把原本难以捉摸的“最小部分函数”（spt），翻译成了可以通过“回声”（赫克迹）来计算的清晰公式。

这篇论文的意义：

提供了新工具： 以前算 $spt(n)$ 很难，现在有了像欧拉公式那样高效的递归公式。
揭示了新规律： 解释了为什么 $spt(n)$ 会有那些神奇的整除规律（同余式），并给出了精确的数学证明。
连接了不同领域： 它把“分拆数”、“模形式”和“赫克迹”这些看似不相关的数学概念，用一根神奇的线（调和马夫形式）串联了起来。

给普通人的启示：
这就好比在研究一种复杂的自然现象（比如天气或股市），以前我们只能凭经验猜测，现在作者找到了一种深层的物理定律（赫克迹），让我们不仅能预测它，还能理解它为什么会有那些看似随机的“巧合”。

这篇论文就是数学家在数字的迷宫里，找到了一把新的钥匙，打开了通往更深层次规律的大门。

这是一份关于 Wei Wang 论文《Smallest Parts Function 的递推关系与同余性》（Recurrence and Congruences for the Smallest Parts Function）的详细技术总结。

1. 研究背景与问题 (Problem)

核心对象：
论文研究的是最小部分函数 $spt(n)$，由 Andrews 引入。$spt(n) $定义为整数$ n $的所有分拆中，所有“最小部分”的总个数。例如，$ n=5$ 的分拆中，最小部分的总和为 14。

研究动机：

算术性质： $spt(n)$ 具有类似 Ramanujan 分拆函数 $p(n)$ 的深刻算术性质（如模同余性）。Andrews 曾证明了 $spt(5n+4) \equiv 0 \pmod 5$ 等类似 Ramanujan 同余式的结果。
现有方法的局限： 传统的分拆函数 $p(n)$ 可以通过模形式（Modular Forms）理论得到高效的递推公式（如 Euler 递推公式的推广）。然而，$spt(n)$ 的生成函数并非弱全纯模形式，而是调和 Maass 形式（Harmonic Maass Forms）。这导致直接应用传统的模形式技术（如将生成函数表示为 Maass-Poincaré 级数）时遇到收敛性问题。
目标： 作者旨在建立 $spt(n)$ 的广义 Euler 型递推公式，并推导其模 $\ell$ 的闭形式表达式及非同余性结果。

2. 方法论 (Methodology)

作者采用了一套结合调和 Maass 形式理论、全纯投影（Holomorphic Projection）以及Maass-Poincaré 级数解析延拓的复杂技术路线：

调和 Maass 形式与生成函数：
- 利用 Bringmann 等人的工作，确认 $spt(n) $的生成函数（补充非全纯部分后）属于权重为$ 3/2$ 的调和 Maass 形式空间 $H^!_{3/2}(\varepsilon)$ 。
- 定义了一个 Mock Eisenstein 级数 $F_k$ 和相关的 Rankin-Cohen 括号 $[F, \eta]_v$ 。
全纯投影 (Holomorphic Projection)：
- 由于 $spt(n) $的生成函数是非全纯的，作者应用**全纯投影算子**$ \pi_{hol}$，将其映射到全纯模形式空间。
- 通过计算 $\pi_{hol}([F, \eta]_v)$ ，将非全纯问题转化为全纯模形式（权重 $2v+2$ ）的问题。
Maass-Poincaré 级数与解析延拓：
- 传统的 Maass-Poincaré 级数在权重 $3/2$ 和特定参数下不收敛。作者构造了带有 Dedekind $\eta$ 乘子的 Maass-Poincaré 级数 $P_{m, k, s}$ 。
- 利用解析延拓技术，证明该级数在 $s=3/4$ 处是良定义的，并证明其非全纯部分与 $spt(n)$ 的生成函数完全匹配（Proposition 9）。
Hecke 迹与 Dirichlet 级数：
- 引入扭曲二次 Dirichlet 级数 $D_f$ 和 Hecke 迹 $Tr_{2k}(n)$ 。
- 通过计算全纯投影与 Hecke 特征形式 $f$ 的内积 $\langle [F, \eta]_v, f \rangle$ ，建立了 $spt(n)$ 与这些算术量之间的精确联系。

3. 主要贡献与结果 (Key Contributions & Results)

A. 广义 Euler 型递推公式 (Generalized Euler-like Recurrence)

论文建立了 $spt(n)$ 的广义递推公式，这是论文的核心定理（Theorem 1 和 Corollary 2）。

定理 1： 对于 $v \ge 1$ ，定义了多项式 $q_v(n, k)$ 和组合 $S_v(z)$ ，证明了 $S_v(z)$ 可以表示为 Eisenstein 级数、Mock Eisenstein 级数 $F_{2v+2}$ 以及 Hecke 特征形式的线性组合。
推论 2： 导出了具体的递推关系：
$q_v(n, 0)s(n) = \sum_{k \neq 0} (-1)^{k+1} q_v(n, k)s(n-\omega(k)) + \text{算术项} - Tr_{2v+2}(n)$
其中 $s(n) = 12spt(n) + (24n-1)p(n)$。
具体实例： 作者给出了 $v=1, 2, 5$ 时的具体公式。特别是当 $v=5$ （权重 12）时，利用 Ramanujan $\Delta$ 函数，给出了涉及 $\tau(n)$ 的显式关系。

B. 模 $\ell$ 的闭形式表达式 (Closed Form Expression Modulo $\ell$ )

推论 3： 对于素数 $\ell \ge 5$ ，作者给出了 $spt(\ell n - \delta_\ell)$ 的生成函数在模 $\ell$ 下的闭形式：
$\sum_{n \ge 1} spt(\ell n - \delta_\ell)q^n \equiv 12^{-1} \left(\frac{3}{\ell}\right) \frac{\sum_{n \ge 1} Tr_{\ell+1}(\ell n)q^n}{(q^\ell; q^\ell)_\infty} \pmod \ell$
其中 $\delta_\ell = (\ell^2-1)/24$ 。
意义： 这一结果不仅重新证明了 Andrews 关于 $spt(n) $的经典同余式（如模 5, 7, 13），还解释了为何对于某些素数（如$ \ell=11$）会出现特定的同余结构，而对于大素数则可能不存在简单的同余式。

C. 非同余性结果 (Incongruence Result)

推论 4： 证明了 $spt(n) $的“非零”性质。如果存在某个$ t_0 $使得$ spt(t_0) \not\equiv 0 \pmod \ell $且满足特定的二次剩余条件，那么对于所有满足特定二次同余条件的$ t $，级数$ \sum spt(\ell n + t)q^n $在模$ \ell$ 下不恒为零。
这反驳了 $spt(n)$ 对所有素数都存在类似 Ramanujan 的简单同余式的猜想，支持了 Ahlgren 和 Boylan 关于此类同余式集合密度为零的猜想。

4. 技术细节与数学工具

Rankin-Cohen 括号： 用于构造权重更高的模形式，连接不同权重的生成函数。
Whittaker 函数与 Bessel 函数： 在计算 Maass-Poincaré 级数的傅里叶系数及内积时大量使用。
Petersson 内积： 用于连接模形式空间与算术量（Hecke 迹）。
Blomer 的估计： 在证明级数收敛性时，引用了 Blomer 关于 Hecke 特征形式系数的估计结果，以确保解析延拓的有效性。

5. 意义与影响 (Significance)

理论突破： 成功克服了 $spt(n) $生成函数非全纯带来的技术障碍，通过全纯投影和解析延拓，将$ spt(n)$ 的算术性质完全纳入了模形式和 Hecke 算子的框架下。
统一视角： 将 $spt(n) $的递推公式与分拆函数$ p(n)$ 的递推公式（Gomez-Ono-Saad-Singh 的工作）统一起来，揭示了两者在结构上的相似性与本质差异（后者依赖弱全纯模形式，前者依赖调和 Maass 形式）。
解决开放问题： 为 $spt(n)$ 的同余性质提供了新的证明路径，并严格证明了简单同余式在素数集合中密度为零的猜想，深化了对分拆函数算术性质的理解。
应用价值： 提供的递推公式（如 $v=1, 2$ 的情况）为计算 $spt(n) $提供了新的算法途径，且揭示了其与除数函数$ \sigma_k(n)$ 及 Ramanujan $\tau(n)$ 的深层联系。

总结：
Wei Wang 的这篇论文通过高超的模形式技巧，特别是全纯投影和 Maass-Poincaré 级数的解析延拓，成功构建了 $spt(n) $的广义递推公式，并给出了其模$ \ell$ 性质的精确描述。这项工作不仅推广了经典的 Euler 递推思想，还解决了关于 $spt(n)$ 同余性质的几个关键猜想，是解析数论和组合数学领域的重要进展。