🔢 mathematics

Congruences via Partitions with Exactly Two Part Sizes

本文通过利用 Keith 关于恰好具有两种部分大小的分拆之奇偶性的结果，建立了一个涉及除数函数 $\sigma_0$ 的和模 4 的同余式，从而将组合分拆理论与模算术联系起来。

原作者： Sittinon Jirattikansakul, Teeradej Kittipassorn, Kraiwich Kongsiri, Nitipon Moonwichit, Kirati Sriamorn

发布于 2026-04-29

📖 1 分钟阅读🧠 深度阅读

原作者： Sittinon Jirattikansakul, Teeradej Kittipassorn, Kraiwich Kongsiri, Nitipon Moonwichit, Kirati Sriamorn

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

想象你有一大堆乐高积木。你的目标是用这些积木搭建塔楼，但有一条非常具体的规则：在任何一座塔楼中，你只能使用两种不同尺寸的乐高积木。也许你使用一些大的 4 块积木和一些小的 1 块积木，但你不能混入中等的 2 块积木。

数学家将这些塔楼称为“分拆”。你正在阅读的这篇论文是关于计算对于一个特定的积木数量（我们称之为N），有多少种不同的方法可以搭建这些“双尺寸”塔楼。

以下是作者发现的故事，分解为简单的步骤：

1. “双尺寸”塔楼的谜团

作者们对一个特殊的数字感兴趣，我们称之为 $\nu_2(N)$ 。这个数字精确地计算了仅使用两种不同尺寸搭建由 $N$ 块积木组成的塔楼的方法数。

很长一段时间里，数学家们知道一个复杂的公式来计算这个数值。但最近，一位名叫 Keith 的数学家发现了一些奇怪的现象：对于某些特殊的数字 $N$ （具体指符合 $16n+14$ 或 $36n+30$ 等模式的数字），这些塔楼的数量总是 4 的倍数。这就像在说：“无论你如何搭建这些塔楼，你总是可以将它们完美地分成四组。”

2. “拼接”技巧

这篇论文的作者想要理解为什么会发生这种情况。他们想出了一个巧妙的视觉技巧，使用杨图（Young diagrams）。

把杨图想象成由方块组成的形状（就像俄罗斯方块）。

如果你有一座只使用一种尺寸积木的塔楼，其形状是一个完美的矩形。
如果你有一座使用两种尺寸积木的塔楼，其形状看起来像一个L。

作者们意识到，每一个"L 形”塔楼（双尺寸）都可以被看作是两个矩形垂直拼接在一起的。一个矩形叠在另一个矩形上面。

他们创建了一个巨大的“多重集”（一个袋子），包含了所有能拼成数字 $N$ 的两个矩形拼接方式。然后，他们将这些拼接形状分到了四个不同的桶中：

桶 B：肯定是"L 形”的形状（即我们关心的双尺寸塔楼）。
桶 C：其中一个矩形是完美正方形的形状。
桶 D：实际上只是一个大矩形的形状（单尺寸塔楼）。
桶 E：两个矩形互为镜像的形状。

3. 伟大的平衡术

这篇论文的魔力在于：当你查看这个大袋子中物品的总数时，数学计算表明总数总是能被 4 整除。

因为总数能被 4 整除，而且作者们能够证明桶 C、D 和 E 中的物品也遵循特定的规则（通常能被 4 整除，或者与约数数量有已知关系），他们可以推导出关于桶 B的结论。

他们发现，对于他们那些特殊的数字 $N$ ，“李形”（桶 B）的数量加上一个涉及 $N$ 的约数的特定总和，必须等于 4 的倍数。

4. 主要发现

这篇论文证明了一个新的、更简单的规则。他们表明，对于那些特殊的数字 $N$ （如 $16n+14$ ），如果你取一个特定的总和：

将从 $N$ 中减去一个平方数后得到的每一个数字的约数个数相加。

...结果总是能被 4 整除。

用通俗的话说：
如果你从他们的特殊列表中挑选一个数字 $N$ ，然后从中减去 $1^2$ 、 $2^2$ 、 $3^2$ 等等，并计算剩余数字有多少个因数（约数），那么所有这些因数的总计数将永远是 4 的倍数。

5. 这为什么重要？（根据论文）

这篇论文并没有声称这将治愈疾病或建造更好的桥梁。相反，它是数论中更大拼图的一块。

它将分拆（搭建塔楼）的世界与约数（计算因数）的世界联系起来。
它证实了 Keith 之前发现的一个模式，但使用了一种新的“拼接”方法来解释它。
它导出了两个较小的“推论”（侧面结论），告诉我们确切有多少个奇数符合这些模式。

6. “如果……会怎样？”（猜想）

在结尾处，作者们说：“我们认为这可能适用于比我们证明的更多的数字。”
他们运行了计算机测试并观察到一个模式：如果你挑选像 $8n + 6$ 这样的数字，该规则似乎成立，但他们尚未能完全证明它。他们还猜测，为了使该规则生效，数字模式的“步长”（$An+B $中的$ A $）必须能被 4 整除，而起始数字（$ B$）必须是偶数但不能被 4 整除。

总结类比：
想象你有一台机器可以分拣乐高塔楼。作者们证明，对于一组特定的输入，这台机器总是输出数量为 4 的倍数的"L 形”塔楼。他们通过表明"L 形”只是一个更大的、平衡的形状系统的一部分，而该系统自然以四为一组相互抵消，从而得出了这一结论。这为我们提供了一种新的、更简单的方法来计算涉及约数的复杂总和。

以下是论文《通过恰好具有两个部分大小的分拆研究同余式》（Jirattikanaskul 等人著）的详细技术总结。

1. 问题陈述

本文研究了一个涉及除数函数 $\sigma_0(m)$ （ $m$ 的正除数个数）与整数分拆的特定同余关系。具体而言，作者旨在证明：对于某些算术级数中的整数 $N$ ，以下求和式模 4 同余于 0：
$\sum_{1 \le k < \sqrt{N}} \sigma_0(N - k^2) \equiv 0 \pmod 4$
该求和式计算了将 $N$ 表示为一个平方数与一个乘积之和的表示法数量（与 Hooley 的工作相关），但作者通过恰好具有两个部分大小的整数分拆这一视角来处理该问题。

研究聚焦于 $N = An + B $，其中$ (A, B)$ 属于集合：
$\{(16, 14), (36, 30), (72, 42), (196, 70), (252, 114)\}$

2. 方法论

作者采用了一种结合组合分拆理论与模算术的混合方法论。

A. 组合框架（杨图与矩形）

分拆定义：令 $\nu_2(N)$ 为 $N$ 的恰好具有两个不同部分大小的分拆数量。
几何解释：作者将恰好具有两个部分大小的分拆解释为L 形杨图。这些图可以被唯一地分解为一对垂直粘合的矩形（较宽的底座在上方）。
规范对：他们为给定的 $N$ 定义了一对“规范”矩形 $\{X, Y\}$ ，使得单元格的总数为 $N$ 。
多重集构造：他们构造了一个多重集 $A$ $A$ ，包含所有可能的矩形及其转置的粘合方式（ $X \star Y$ $X ⋆ Y$ ）。该多重集根据几何性质被划分为四个子集（ $B, C, D, E$ $B, C, D, E$ ）：
- $B$ ：对应恰好具有两个部分大小的分拆的图（ $\nu_2(N)$ ）。
- $C$ ：至少有一个矩形是正方形的图（与 $\sum \sigma_0(N-k^2)$ 相关）。
- $D$ ：对应恰好具有一个部分大小的分拆的图（矩形形状）。
- $E$ ：两个矩形互为转置的图（ $X = Y^T$ ）。

B. 代数与数论分析

辅助定理（定理 4）：作者首先证明了一个关于 $N$ 的一般同余式，其中 $N$ 不能表示为两个平方数之和，且形式为 $N=2m$ （ $m$ 为奇数）：
$\nu_2(N) + \sum_{1 \le k < \sqrt{N}} \sigma_0(N - k^2) + \frac{1}{2}\sigma_1(N) \equiv 0 \pmod 4$
此处， $\sigma_1(N)$ 是 $N$ 的除数之和。
模算术：为了证明主定理，他们依赖 Keith 的一个结果，即对于列出的特定算术级数， $\nu_2(N) \equiv 0 \pmod 4$ 。
除数和分析：证明归结为展示对于 $N$ 的特定情况， $\frac{1}{2}\sigma_1(N) \equiv 0 \pmod 4$ （即 $\sigma_1(N)$ 能被 8 整除）。这是通过分析 $N$ 模 8 和模 7 的素因数分解实现的，证明了除数之和包含迫使被 8 整除的因子。

3. 主要贡献

新的同余式证明：本文为五个特定算术级数中的同余式 $\sum \sigma_0(N-k^2) \equiv 0 \pmod 4$ 提供了严格证明，这一结果此前未以这种特定形式被证明。
组合与数论的桥梁：作者建立了恰好具有两个部分大小的分拆计数（ $\nu_2(N)$ ）与二次差上的除数函数之和之间的新颖联系。这是通过将杨图几何分解为矩形对来实现的。
Keith 工作的细化：虽然 Keith 此前已证明了这些序列中 $\nu_2(N) \equiv 0 \pmod 4$ ，但本文扩展了分析，推导出了涉及 $\sigma_0(N-k^2)$ 的求和的具体同余式。
推论的推导：
- 推论 2：证明了对于 $N \equiv 14 \pmod{16}$ 或 $N \equiv 70 \pmod{196}$ ，满足 $k^2 < N$ 且 $\sigma_0(N-k^2) \equiv 2 \pmod 4$ 的奇数 $k$ 的数量总是偶数。
- 推论 3：证明了对于剩余配对对应的 $N \equiv B \pmod A$ ，排除 3 的倍数后的求和也同余于 $0 \pmod 4$ 。

4. 主要结果

定理 1：对于 $N = An + B $，其中$ (A, B) \in {(16, 14), (36, 30), (72, 42), (196, 70), (252, 114)} $，同余式$ \sum_{1 \le k < \sqrt{N}} \sigma_0(N - k^2) \equiv 0 \pmod 4$ 成立。
定理 4：确立了对于形式为 $2m$ 且不能表示为两个平方数之和的整数， $\nu_2(N)$ 、除数和以及 $\sigma_1(N)$ 模 4 的基本恒等式关系。
猜想：
- 猜想 7：该同余式可能适用于更广泛的类 $N = 16n + 6$ 。
- 猜想 8：如果该同余式对所有 $N=An+B $中的$ n $成立，则$ A \equiv 0 \pmod 4 $且$ B \equiv 2 \pmod 4$。

5. 意义

理论深度：本文推进了对受限部分大小分拆函数的理解，该主题根植于 Euler、MacMahon 和 Andrews 的工作。
方法论创新：通过使用杨图和矩形粘合操作来计数分拆，作者为经典数论求和提供了全新的组合视角。
计算洞察：作者进行了高达 $N < 100,000$ 的计算实验，表明同余式的结构性质（特别是关于 $N \equiv 6 \pmod 8$ 的性质）比已证明的情况更为普遍，这激发了对未来关于同余式成立之必要和充分条件的研究。
跨学科联系：该工作将分拆的几何（Ferrers/杨图）与分析数论（除数和与二次型）联系起来，为类似研究提供了模板。