🔢 mathematics

Extending recent work of Nath, Saikia, and Sarma on $k$ -tuple $\ell$ -regular partitions

本文证实了 Nath、Saikia 和 Sarma 关于 $T_{2,3}(n)$ 模 6 的无穷同余猜想，并利用初等 $q$ -级数技术建立了 $k$ -元 $\ell$ -正则分拆的新型同余族。

原作者： Bishnu Paudel, James A. Sellers, Haiyang Wang

发布于 2026-06-29

📖 1 分钟阅读🧠 深度阅读

原作者： Bishnu Paudel, James A. Sellers, Haiyang Wang

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

想象一下，你有一个装满带编号积木的大袋子。你的任务是用这些积木搭建高塔。在数学世界中，这被称为一个拆分（partition）。你可以以任何方式堆叠积木，只要高塔上的数字随着高度增加而减小（或保持不变），且所有数字的总和等于一个特定的目标数 $n$ 。

长期以来，数学家们一直痴迷于一个特定的规则：如果你被禁止使用任何特定数字的倍数，会发生什么？

例如，如果规则是“禁止使用 2 的倍数”，那么你就不能使用标有 2、4、6、8 等数字的积木。你只能使用 1、3、5、7 等。这种被称为 $\ell$ -正则拆分（ $\ell$ -regular partition）（其中 $\ell$ 是那个被禁止的数字）。

新的转折点：“元组”高塔

在这篇论文中，作者们（Paudel, Sellers, 和 Wang）不仅仅是在观察单一的高塔。他们正在观察必须共同构建的高塔组。

想象一下，你被要求构建一组包含 3 座高塔的集合（即一个“3-元组”），且这些高塔必须共享相同的总积木数。

高塔 A 使用一些积木。
高塔 B 使用一些积木。
高塔 C 使用一些积木。
这三座高塔中所有积木的总和必须等于 $n$ 。

规则非常严格：每一座高塔中的每一块积木都必须遵循“禁止使用 $\ell$ 的倍数”这一规则。作者们正在计算构建这些特定高塔集合的方法总数。他们将这个计数称为 $T_{\ell,k}(n)$ 。

模式之谜

数学家们热衷于寻找数字中隐藏的模式。著名的数学家拉马努金（Ramanujan）很久以前就发现，如果你观察构建任何高塔（不考虑“禁止倍数”规则）的总方法数，这些数字会遵循一种非常特定的节奏：在某个特定序列中，每第 5 个数都能被 5 整除，每第 7 个数都能被 7 整除，依此类推。

最近，一个研究小组（Nath, Saikia, 和 Sarma）研究了上述“元组高塔”。他们发现了针对特定情况的一些酷炫模式（同余关系），但他们遇到了瓶颈。他们注意到一个似乎在特定情况下（使用 2 作为禁止数字且有 3 座高塔）无限延续的模式，但他们无法证明这对每一个数字都成立。他们提出了一个猜想（conjecture）（基于强有力证据的猜测）：“我们打赌这个模式在无限多个案例中都是成立的。”

这篇论文做了什么

这篇论文的作者 Paudel, Sellers, 和 Wang 介入并解决了这个谜团。

他们证明了该猜想： 他们采用了 Nath, Saikia, 和 Sarma 提出的猜想，并证明了它是 100% 正确的。他们证明了对于特定类型的“元组高塔”，其构建方法数在无限个数字序列中总是能被 6（实际上是 24！）整除。
他们发现了更多模式： 他们并没有止步于证明这个猜想。他们利用一些巧妙的、基础的数学技巧（他们称之为“初等技术”，意味着不需要极其复杂的复杂机制），发现了新的模式族。
- 他们发现，对于许多不同的“禁止数字”和“高塔数量”，结果总是能被 8 整除，有时甚至能被 24 整除。
- 他们展示了这些模式适用于广泛的质数（如 3, 5, 7 等）。

他们是如何做到的（“魔法”技巧）

你不需要了解数学也能理解这种方法。可以这样想：

生成函数（Generating Function）： 作者们使用了一个特殊的“配方”（一个数学公式），当你展开它时，它会列出所有可能构建高塔的方法。这就像一台机器，可以一次性吐出每个数字 $n$ 的答案。
过滤器（Filter）： 他们对这个机器应用了一些简单的规则。他们观察公式并说：“如果我们稍微改变这些数字，配方中的某些部分就会相互抵消。”
结果： 当这些部分抵消后，剩余的数字总是 8 或 24 的倍数。这就像是发现，无论你如何排列积木，只要你遵循特定的路径，你最终得到的积木堆总能被完美地分成若干组 8。

核心结论

这篇论文是模式猎人的胜利。

之前： 数学家们强烈怀疑存在一种针对“禁止使用 2 的倍数的 3 座高塔集合”的特定模式，但他们无法证明这对每一个案例都成立。
现在： 他们得到了一个坚实的证明。不仅直觉是正确的，而且对于其他高塔和规则的组合，还有许多类似的模式等待着被发现。

作者们不仅证实了一个猜想，还开启了一扇通往全新数学模式大门的门扉，表明这些“元组高塔”拥有非常深层的、不断重复的节奏结构。

技术摘要：对 Nath, Saikia 和 Sarma 关于 $k$ -元 $\ell$ -正则划分研究的扩展

问题陈述
本文研究了 $T_{\ell,k}(n)$ 的算术性质，其中 $T_{\ell,k}(n)$ 表示非负整数 $n$ 的 $\ell$ -正则 $k$ -元划分的数量。一个 $\ell$ -正则划分被定义为其中没有任何部分能被 $\ell$ 整除的划分。一个 $k$ -元划分由一个有序序列 $(\lambda_1, \dots, \lambda_k)$ 组成，其总和为 $n$ ，其中每个 $\lambda_i$ 都是其各自总和的 $\ell$ -正则划分。作者特别关注 $\ell=2$ 且 $k=3$ 的情况，记作 $T_2(n) := T_{2,3}(n)$ 。

这项工作受到 Nath, Saikia 和 Sarma [12] 最近研究的启发，后者建立了 $T_2(n)$ 关于 24 和 6 的若干族同余式。在他们的结论部分，Nath, Saikia 和 Sarma 猜想，在涉及素数 $p$ 和整数 $t$ 的特定条件下， $T_2(n)$ 满足关于 6 的无穷个同余式。

方法论
作者采用了完全基于 $q$ -级数操纵和生成函数的初等技术。他们没有利用高级模形式或复杂的解析方法。其核心方法包括：

生成函数： 利用 $T_{\ell,k}(n)$ 的生成函数 $\sum T_{\ell,k}(n)q^n = f_\ell^k / f_1^k$ ，其中 $f_k = (q^k; q^k)_\infty$ 。
经典恒等式： 利用标准的 $q$ -级数恒等式，包括欧拉五边形数定理（引理 2.1）、雅可比三重积恒等式的变体（引理 2.2, 2.3），以及 $f_1$ 和 $f_2$ 的幂次的特定展开式（引理 2.4–2.6）。
同余性质： 应用二项式定理来推导 $q$ -Pochhammer 符号关于素数幂的同余式（引理 2.7, 2.8）。具体而言，他们使用性质 $f_{p^k} \equiv f_p^{k-1} \pmod{p^k}$ 来分离生成函数中的系数。
二次型分析： 为了证明关于 8 的同余式，作者分析了特定整数作为二次型（例如 $x^2 + 2y^2$ 或 $x^2 + y^2$ ）之和的表示情况。他们利用勒让德符号来证明某些整数不能被这些形式表示，从而证明生成函数中对应的系数在模 8 下为零。

主要贡献与结果

确认猜想 1.1：
作者证明了 Nath, Saia 和 Sarma 提出的猜想的一个更强版本。
- 定理 1.2： 对于任何满足 $\gcd(t, 6)=1$ 的正整数 $t$ 以及 $N \in \{33, 57\}$ ，同余式 $T_2\left(\frac{9n + Nt^2 - 1}{8}\right) \equiv 0 \pmod{24}$ 对所有 $n \ge 0$ 均成立。
- 推论 1.3： 该结果直接证实了猜想 1.1，为指定的参数建立了关于 6（实际上是关于 24）的无穷族同余式。
新的无穷族同余式：
本文建立了一个关于 8 和 24 的无穷族同规式的极其初等的证明。
- 定理 1.4： 令 $p$ 为满足 $p \equiv 3, 5,$ 或 $7 \pmod 8$ 的素数。对于 $n, \alpha \ge 0$ 且 $p \nmid n$ ，以下结论成立：
  $T_2\left(\frac{p^{2\alpha+1}n + p^{2\alpha+2} - 1}{8}\right) \equiv 0 \pmod 8.$
- 此外，若 $3 \nmid n$ ，则同余式加强为：
  $T_2\left(\frac{p^{2\alpha+1}n + p^{2\alpha+2} - 1}{8}\right) \equiv 0 \pmod{24}.$
- 推论 1.5： 推导出了一个特定情形，即当 $p \neq 3$ 时，模 24 的同余式成立。
先前结果的推广：
作者表明，Nath, Saikia 和 Sarma 此前建立的同余式（文中方程 3）在模 24（而非仅模 6）下成立，并将其扩展到了 $p \equiv 3 \pmod 8$ 的素数。

意义与主张
本文声称其重要性主要在于证实了 Nath, Saikia 和 Sarma 的猜想，并将这些结果扩展到了更广泛的素数类和模数。作者强调，他们的证明是“极其初等的”，仅依赖于生成函数的操纵和经典的 $q$ -级数结果，而非沉重的数学工具。

在“结束语”部分，作者指出他们的计算表明存在进一步的整除性质，具体而言， $T_2(n)$ 在某些算术级数下（例如 $T_2(25n+8), T_2(49n+13)$ 等）似乎能被 32 整除，并且 $T_2(7n+6)$ 可能被 29 整除。然而，他们明确表示这些观察结果被留作开放问题，供感兴趣的读者研究，并未声称在本文中证明了这些更高模数的同余式。论文最后将这些内容界定为未来调查的潜在方向，而非已建立的定理。