🔢 mathematics

Proofs of the Conjectures on $SOME(n)$ and $DSOME(n)$ Functions Related to Integer Partitions

本文证明了关于 $SOME(n)$ 和 $DSOME(n)$ 分拆函数整除性质的两个猜想——具体而言，确立了 $SOME(\lambda)$ 对 5 的幂次的同余关系，以及 $DSOME(50n+21)$ 对 8 的同余关系——同时也推导出了 $DSOME(n)$ 对 2、4 和 8 的新的无穷同余族。

原作者： Gaurab Bardhan, Nipen Saikia

发布于 2026-08-11

📖 1 分钟阅读🧠 深度阅读

CC BY 4.0

原作者： Gaurab Bardhan, Nipen Saikia

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

想象一下，你是一位在厨房里工作的名厨，而你唯一的食材都是整数。你的工作不是烹饪佳肴，而是计算将一个数字拆解为若干个较小数字之和的方法。这就是“整数拆分”的世界。如果你有数字 4，你可以将其拆解为 4，或者 3+1，或者 2+2，或者 2+1+1，或者 1+1+1+1。每一种这些都是不同的“拆分”。数学家们数百年来一直痴迷于计数这些排列方式，因为它们揭示了数字本身结构中隐藏的模式，就像指纹揭示独特的身份一样。

在这个厨房里，有两位特别的厨师，我们称他们为“SOME”和“DSOME”。他们不仅仅是在计数配方；他们还在玩一场关于食材的游戏。SOME 会观察一个数字所有可能的拆解方式，并将所有的奇数（如 1, 3, 5）相加，同时减去所有的偶数（如 2, 4, 6）。DSOME 也玩同样的游戏，但他有一个严格的规则：配方中的每种食材都必须是唯一的（不允许 2+2，只能是 2+1+1）。大问题在于这些厨师：“如果我们挑选一个非常特定、棘手的数字，最终的分数是否总是零？”事实证明，对于某些数字，答案确实是肯定的，但证明“为什么”需要一种如同破解宇宙谜题般的数学侦探工作。

这篇论文讲述了两位数学家 Gaurab Bardhan 和 Nipen Saikia 如何最终破解了关于这两位厨师的两个长期悬而未决的谜团。多年来，其他研究人员曾猜测，如果我们根据一个涉及数字 5 的特定且复杂的公式来挑选一个数字，厨师 SOME 的最终得分总会是零。同样地，他们也猜测，如果挑选符合 50 相关模式的数字，厨师 DSOME 的得分总能被 8 整除。这些不仅仅是凭空想象的猜测；它们是经过精心设计的猜想，曾让专家们束手无策。

在这项研究中，作者不仅仅是在猜测；他们建立了一座严密的数学桥梁来证明这些想法是正确的。他们证明了对于任何满足特定条件（即 $24\lambda$ 除以 5 的某个幂次后余数为 1）的整数 $\lambda$ ，SOME( $\lambda$ ) 的值确实能被该 5 的幂次整除。他们还证明了对于任何形式为 $50n + 21$ 的数字，DSOME 的值总是能被 8 整除。在此过程中，他们发现了全新的规则族（同余关系），描述了这些分数在被 2、4 和 8 除时的行为规律。本质上，他们将两个关于这些数字游戏如何运作的大型、未经证实的直觉，转化为了坚实、不可动摇的事实，为数字如何翩翩起舞的故事增添了新的章节。

《关于与整数分拆相关的 $SOME(n) $和$ DSOME(n)$ 函数猜想之证明》技术摘要

问题陈述
本文探讨了关于两个与分拆相关的算术性质函数 $SOME(n) $和$ DSOME(n)$ 的两个特定猜想，这两个函数分别由 Andrews 与 Dastidar (2026) 以及 Baruah 与 Gogoi (2026) 提出。

$SOME(n) $定义为所有正整数$ n$ 的分拆中，所有奇数部分之和减去所有偶数部分之和。
$DSOME(n)$ 是针对由互异部分组成的分拆所做的类似差值（奇数部分之和减去偶数部分之和）。

主要目标是证明：

Andrews-Dastidar 猜想：对于满足 $24\lambda \equiv 1 \pmod{5^\alpha}$ 的整数 $\alpha \ge 1$ 且 $\lambda \ge 0$ ，有 $SOME(\lambda) \equiv 0 \pmod{5^\alpha}$ 。
Baruah-Gogoi 猜想：对于所有整数 $n \ge 0$ ，有 $DSOME(50n + 21) \equiv 0 \pmod 8$ 。

此外，作者旨在建立 $DSOME(n)$ 关于模 2、4 和 8 的新的无穷系列同余式。

方法论
作者采用了 $q$ -级数、模形式和分拆恒等式理论的技术。该方法论高度依赖于生成函数以及 $q$ -Pochhammer 符号（记作 $(a; q)_\infty$ ）的操纵。

生成函数： 本文利用了以无穷乘积和涉及 $q$ -级数的和的形式表示的 $SOME(n) $和$ DSOME(n)$ 的已知生成函数。
模算术与同余： 证明过程涉及从生成函数中提取系数，并针对特定整数（2, 4, 5, 8 以及 5 的幂）进行模运算分析。
拉曼努金 $\theta$ 函数： 作者利用拉曼努金的一般 $\theta$ 函数 $f(\alpha, \beta)$ 及其特例 $\phi(q)$ 、 $\psi(q)$ 和 $f(-q)$ ，将复杂的级数转化为更易处理的形式。
算子理论： 定义了一个算子 $U_2$ 用于提取幂级数中的偶数项，从而便于推导特定算术级数（例如 $DSOME(2n)$）的同余式。
艾森斯坦级数与约数和： 对 $SOME(n) $猜想的证明将该函数与经典拟模艾森斯坦级数$ E_2(q) $和约数和函数$ \sigma(n) $联系起来。它利用了关于分拆函数$ p(n)$ 以及由 Wang 和 Yang 建立的相关的系数序列 $c(n)$ 的已知同余性质。
组合分析： 对于 $DSOME(n)$ 的证明，作者通过分析涉及平方和与广义五边数之和的级数展开中的系数奇偶性，通常将其简化为在特定素数下求解丢番图方程的计数问题。

核心贡献与结果

证明 Andrews-Dastidar 猜想：
作者确立了当 $24\lambda \equiv 1 \pmod{5^\alpha}$ 时， $SOME(\lambda) \equiv 0 \pmod{5^\alpha}$ 。
- 机制： 他们推导出了一个将 $SOME(n) $与系数$ c(2n) $及分拆函数$ p(n) $联系起来的关系式：$ 12SOME(n) = c(2n) - (12n+1)p(n)$。
- 逻辑： 通过利用 $c(n)$ 的已知同余性质（源自 Wang 和 Yang 对拟模形式的研究）以及 $p(n)$ 的经典拉曼努金同余性质，他们证明了在给定条件下，右侧两项在模 $5^\alpha$ 下均消失。由于 $\gcd(12, 5^\alpha)=1$ ，结论成立。
证明 Baruah-Gogoi 猜想：
本文证明了 $DSOME(50n + 21) \equiv 0 \pmod 8$ 。
- 机制： 这是更一般定理（定理 4.11）的一个特例（ $t=2$ ），该定理指出对于 $1 \le t \le 4$ ，有 $DSOME(50n + 10t + 1) \equiv 0 \pmod 8$ 。
- 逻辑： 证明过程涉及将 $DSOME(n) $的生成函数模 8 展开为包含$ f_1 $、$ X(q) $及其导数的组件。作者通过将$ N = 24N + 1 $的 5-进赋值与$ q^N $的系数联系起来，分析了$ N = 50n + 10t + 1$ 的系数。他们表明，由于模 5 的二次型不存在某些整数解，相关的系数趋于零。
新的无穷系列同余式：
论文建立了若干关于 $DSOME(n)$ 的新同余式：
- 模 2： 提供了一个关于何时 $DSOME(n) \equiv 1 \pmod 2$ 的完整特征描述，表明当且仅当 $n$ 为形式 $24j^2 + 10j + 1$ 或 $24j^2 + 22j + 5$ 时发生。其推论基于勒让德符号提供了 $DSOME(Mn+r) \equiv 0 \pmod 2$ 的条件。
- 模 4： 推导了关于 $DSOME(2n) \pmod 4$ 的类似特征描述，识别出使该函数非零的特定二次形式（ $48k^2 + 14k + 1$ 和 $48k^2 + 46k + 11$ ）。
- 模 8： 导出了一个卷积公式，将 $DSOME(n) \pmod 8$ 表示为互异部分分拆函数 $pd(n) $以及约数和$ \sigma_3(n) $和$ \sigma(n)$ 的形式。

意义
本文的意义主要在于解决了关于 $SOME(n) $和$ DSOME(n) $算术行为的开放猜想。通过证明这些猜想，作者证实了这些分拆函数中存在着深刻的结构性模式，这些模式反映了标准分拆函数$ p(n)$ 中发现的拉曼努金型同余性质。这项工作扩展了对权重分拆部分（特别是针对互异分拆）的奇偶性和模约束如何适用的理解。建立关于模 2、4 和 8 的新的无穷系列同余式，为未来研究分拆相关函数的算术性质提供了更广泛的框架。

类似论文