🔢 mathematics

Euler-type Recurrence Relations for Partition Functions with Congruence Conditions

本文利用广义德德金德塔函数（Dedekind eta functions）与兰金-科恩括号（Rankin-Cohen brackets），推导出了具有特定同余条件的划分函数的无穷欧拉型递推关系族，并同时将一个拉德马赫型公式（Radekmacher-type formula）和一个拉马努金型同余式作为其主要推论予以建立。

原作者： Wissam Raji, Hasan Saad

发布于 2026-07-31

📖 1 分钟阅读🧠 深度阅读

CC BY 4.0

原作者： Wissam Raji, Hasan Saad

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

想象你正站在一座宏伟的魔法图书馆中，那里的书并非由纸张制成，而是由数字构成。在这座图书馆中，有一个专门用于“分拆”（partitions）的特殊区域。所谓分拆，简单来说就是将一个整数拆解为若干个相加等于原数的较小部分。例如，数字 4 可以拆分为 4，或者 3+1，或者 2+2，或者 2+1+1，或者 1+1+1+1。数学家们痴迷于计算任何给定数字的这种拆解方式共有多少种。这就像是在问：“如果我有正好 100 块积木，有多少种独特的方法可以搭建出一座塔？”

一个多世纪以来，数学家们发现这些计数遵循着隐藏的、有节奏的模式，几乎像是一种秘密代码。其中最著名的模式是由欧拉（Leonhard Euler）发现的，它像是一个食谱：为了找到一个数字的分拆数，你需要按照一个非常特定的、重复的序列进行加法和减法运算。这篇论文研究的是这个食谱的一个更复杂的版本。不再允许使用任何尺寸的积木，想象一下，现在有一个规则规定，你只能使用特定尺寸的积木，或者与一个大数字的倍数保持特定“距离”的尺寸。他们试图为这些受限的建筑游戏寻找新的、秘密的食谱。他们使用了来自“模形式”（modular forms）世界的强大工具——模形式就像是数学形状，无论你如何以特定方式拉伸或扭曲它们，它们看起来都保持不变——来破解这个代码。

受限塔楼的新食谱

作者们正在解决一个特定的谜题：如果你只能使用符合某种“同余”规则的积木来建造数字塔，会发生什么？用数学术语来说，这意味着积木的大小在除以一个数字 $\delta$ 时必须留下特定的余数。例如，如果 $\delta = 5$ ，你可能只能使用尺寸为 1, 4, 5, 6, 9, 10 等的积木（即除以 5 余 0, 1 或 4 的数字）。

该论文的主要发现是，即使有了这些严格的规则，仍然存在一个美丽的、无限的“欧拉型”食谱家族。正如欧拉最初的食谱告诉你要通过加减之前的答案来找到总分拆数一样，这些新的食谱也同样如此，只是针对的是受限的塔楼。然而，新的食谱要复杂得多。它们不仅进行加减运算，还会混入“约数和”（divisor sums，即计算一个数的所有因数之和）以及来自“尖点形式”（cusp forms）傅里叶系数的特殊数字。

简单来说，作者们发现了一种方法，可以将计算这些受限塔楼的问题转化为一种关于波与形状的语言。他们使用了被称为“广义德德金 eta 函数”（generalized Dedekind eta functions，类似于生成这些分拆数的数学引擎）和“兰金-科恩括号”（Rankin–Cohen brackets，类似于将两个数学函数混合在一起创造出新函数的特殊搅拌器）的工具。通过混合这些函数，他们证明了建造这些受限塔楼的方法数与这些复杂的类波形结构的性质直接相关。

一个具体的例子：关于 5 的情况

为了展示他们的方法有效，作者们聚焦于一个特定的案例： $\delta = 5$ 且 $g = 1$ 。这是指你只能使用模 5 余 0, 1 或 4 的积木。他们推导出了一个非常具体的、显式的公式（定理 1.1）来应对这种情况。该公式指出，要找到一个大小为 $n$ 的塔楼的构建方式，你需要：

查看之前的塔楼计数（使用与欧拉相同的五边形数模式）。
加入一些约数和（计算 $n$ 的因数的立方和）。
减去一个特定的数字 $b(n)$ ，它来自于一个权重为 4、能级为 5 的唯一“尖点形式”。

这不仅仅是一个理论上的奇闻趣事；它引出了一个“拉马努金型同余”（Ramanujan-type congruence）。这意味着作者们证明了对于每个数字 $n$ ，神秘的数字 $b(n)$ 总是等于约数和的一个特定组合（模 13）。这就像是发现，无论你如何建造你的塔楼，剩下的碎屑总会相加成 13 的倍数。

“拉德马赫”藏宝图

除了寻找食谱之外，论文还提供了一个“拉德马赫型公式”（Rademacher-type formula）。如果递推关系像是分步操作说明书，那么这个公式就像是一张藏宝图，让你无需计算每一步之前的所有步骤就能直接算出答案。它涉及“克罗斯特默和”（Kloosterman sums，类似于涉及余数的复杂谜题）和“贝塞尔函数”（Bessel functions，描述波模式的函数）。作者们展示了，通过将他们的生成函数视为“庞加莱级数”（Poincaré series，一种在对称群上进行平均化的无限求和类型），他们可以将分拆数的精确公式写出来。这个公式涉及对所有“尖点”（数学形状的边缘或角落）的贡献进行求和，并由这些克罗斯特默和与贝塞尔函数进行加权。

他们是如何做到的

作者们并非仅仅靠猜测得出这些公式；他们进行了严密的证明。他们首先证明了生成这些分拆数的函数是具有特定权重的“模形式”。然后，他们使用一种称为“展开”（unfolding）的技术来计算“彼得松内积”（Petersson inner product，一种衡量两个数学函数重叠程度的方法）。通过将他们生成的函数的“傅里叶系数”（序列中的数字）与已知函数的基（艾森斯坦级数和尖点形式）进行比较，他们能够分离出精确的递推关系。

简而言之，这篇论文将一个数论中的经典问题——如何拆解数字——针对一套更复杂的规则进行了升级。它证明了即使有了这些新的限制，数字的世界仍然在遵循一种可预测的、有节奏的模式进行律动，并且它提供了阅读这段旋律所需的精确乐谱（递推关系和公式）。这些结果并非仅仅是建议或模拟；它们是数学证明，建立了分拆计数、约数和与模形式这一深邃、波动结构之间的紧密联系。

技术摘要：具有同余条件的划分函数的欧拉型递推关系

问题陈述
本文研究了划分函数 $p_{\delta,g}(n)$ ，该函数计算整数 $n$ 的划分个数，其中各部分同余于 $0 $或$ \pm g \pmod \delta $，且$ \delta \ge 5 $，$ g \in {1, \dots, \delta-1} $且$ g \neq \delta/2 $。虽然欧拉关于标准划分函数$ p(n) $的经典递推公式涉及五边形数和交错符号，但本研究旨在将此类递推关系推广到$ p_{\delta,g}(n) $。具体而言，作者试图推导出$ p_{\delta,g}(n)$ 的无限族欧拉型递推关系，将其表示为除数和与尖点形式（cusp forms）傅里叶系数的组合，从而扩展了先前关于 $t$ -色（ $t$ -color）和 $t$ -正则（ $t$ -regular）划分的研究工作。

方法论
作者利用广义 Dedekind eta 函数和 Rankin–Cohen 括号理论来建立其结果。其核心方法如下：

生成函数与模性： $p_{\delta,g}(n)$ 的生成函数被确定为一个广义 Dedekind eta 乘积 $\eta^*_{\delta,g}(\tau)$ ，它在同余子群 $\pm \Gamma_1(\delta)$ 上表现为具有特定乘子系统的权重为 $1/2$ 的模形式。
Rankin–Cohen 括号： 作者通过对 $\eta^*_{\delta,g}$ 及其逆函数 $[\eta^*_{\delta,g}, (\eta^*_{\delta,g})^{-1}]_\nu$ 取 $\nu$ 阶 ( $\nu \ge 1$ ) Rankin–Cohen 括号，构造了一个权重为 $2\nu$ 的模形式。该括号的傅里叶系数被证明对应于所需递推关系的左侧。
基元素分解： 所构造的模形式被分解为 $\Gamma_1(\delta)$ $Γ_{1} (δ)$ 上 Eisenstein 级数与尖点形式的线性组合。
- Eisenstein 分量通过涉及 Dirichlet 特征和广义 Bernoulli 数的除数和来表达。
- 尖点形式分量通过 Petersson 内积进行分析。
展开（Unfolding）与 Poincaré 级数： 为了计算 Rankin–Cohen 括号与尖点形式之间的 Petersson 内积，作者将 eta 函数的逆函数表示为一种 Poincaré 级数（具体为调和 Maass 形式 Poincaré 级数）。通过“展开”定义内积的积分，作者将系数与扭曲 Dirichlet $L$ -级数和 Kloosterman 和联系起来。
Rademacher 型公式： 通过对生成函数作为 Poincaré 级数的显式描述，作者推导出了一个涉及 Bessel 函数和 Kloosterman 和的 Rademacher 型精确公式。

主要贡献与结果

广义欧拉递推关系（定理 1.2）： 主要结果是 $p_{\delta,g}(n)$ $p_{δ, g} (n)$ 的一个无限族递推关系。对于 $\nu \ge 2$ $ν \geq 2$ ，该关系将划分值的加权和（涉及多项式 $g_\nu$ $g_{ν}$ 和类五边形数 $\omega(\delta, g; k)$ $ω (δ, g; k)$ ）等价于以下各项的组合：
- 由涉及广义 Bernoulli 数的矩阵求逆过程中导出的系数所加权的除数和 $\sigma_{2\nu-1}(\chi, n)$ 。
- 涉及扭曲 Dirichlet $L$ -级数值的无限和的迹项（trace term）。
$\delta=5$ 的显式情形（定理 1.1）： 文中提供了 $p_{5,1}(n)$ $p_{5, 1} (n)$ （部分同余于 $0, \pm 1 \pmod 5$ $0, \pm 1 (mod 5)$ 的划分）的一个具体递推公式，其中 $\nu=2$ $ν = 2$ 。该公式使用除数和以及权重为 4、能级为 5 的唯一尖点形式的傅里叶系数 $b(n)$ $b (n)$ 来表达 $p_{5,1}(n)$ $p_{5, 1} (n)$ 。
- 推论： 该特定情形产生了一个关于 $b(n)$ 与除数和之关系的 Ramanujan 型模 13 同余式。
Rademacher 型公式（定理 1.3）： 作者推导出了 $p_{\delta,g}(n)$ 的一个精确公式，该公式是一个涉及 Kloosterman 和 $K_c(\rho, \delta, m, n)$ 和修正 Bessel 函数 $I_{3/2}$ 的无穷级数。该公式是通过显式分析生成函数在 $\Gamma_1(\delta)$ 尖点处的本原部分（principal parts）得到的。
非零条件： 文中包含了一个证明，证明递推关系的领先系数 $g_\nu(\delta, g; n, 0)$ 对于所有 $n \ge 1$ 均非零，从而确保该关系确实是一个有效的递推关系。

意义
本文确立了具有同余条件的划分函数的递推关系并非孤立现象，而是涉及各种权重的模形式的一个更广泛框架下的特例。通过利用 Rankin–Cohen 括号和调和 Maass 形式理论，作者成功地将组合划分恒等式与深层的算术对象（包括 Hecke 迹、扭曲 Dirichlet 级数和 Kloosterman 和）联系起来。这项工作将欧拉型递推关系的应用范围从经典的划分函数扩展到了广泛的一类受限划分函数，既提供了计算的递归算法，也提供了精确的渐近或显式公式。

类似论文