🔢 mathematics

Parity of the partition function in quadratic progressions

本文通过采用一种涉及扭曲 Borcherds 乘积、CM 点和伽罗瓦表示的新颖几何方法，证明了关于二次进展数列中分拆函数奇偶性的一个 2010 年的猜想，从而表明其数值包含无限多项偶数项和奇数项。

原作者： Ken Ono, Ashvin Swaminathan

发布于 2026-08-13

📖 1 分钟阅读🧠 深度阅读

原作者： Ken Ono, Ashvin Swaminathan

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

想象一座浩瀚、无限的图书馆，其中的每一本书都是一个数字，而在每一本书内部，都有无数种重新排列其页面的方式。在数学的世界里，这就是“分拆”（partitions）的领域。分拆简单来说就是将一个正整数分解为若干个较小的正整数之和的方法。例如，数字 4 可以有五种不同的分解方式：4，3+1，2+2，2+1+1，以及 1+1+1+1。数学家将这些方式的总数称为“分拆函数”，通常记作 $p(n)$ 。

一个多世纪以来，数学家们一直痴迷于这些数字中隐藏的律动。他们发现，如果观察某些特定的模式，答案往往遵循严格的规则，比如在被 5 或 7 除时总是以零结尾。但有一个顽固且混沌的谜团，抵御了所有试图驯服它的尝试，那就是这些数字的“奇偶性”（parity）。奇偶性简单来说就是指一个数字是偶数还是奇数。这些数字的序列是在随机地在奇偶之间跳变，还是陷入了某种固定的模式？长期以来，没有人能证明这些数字是真正的随机，还是秘密地偏向于某一方。这篇论文深入探讨了这种混沌，特别是研究了由一个特殊的二次公式生成的数字，以观察偶数和奇数值是如何共舞的——它们是在共同起舞，还是其中一方在领舞。

本文的作者 Ken Ono 和 Ashvin Swaminathan 终于解决了一个关于这场舞蹈的长期存在的特定猜想。他们证明了对于由公式 $Dm^2 + 1$ （其中 $D$ 是一种特定类型的数字， $m$ 是一个整数）生成的某一类特定数字，其分拆值并非始终保持为偶数或始终保持为奇数。相反，他们证明了偶数和奇数都会出现无限多次。

为了破解这个密码，作者们不仅仅是在进行数值计算；他们是在两个截然不同的数学世界之间搭建了一座桥梁：计数的算术（分拆）与形状的几何（椭圆曲线）。他们将分拆数视为地图上的坐标。利用一种被称为“模 theta 函数”（一种由传奇人物斯里尼瓦萨·拉马努金发现的数字模式）的巧妙数学工具，他们将分拆计数问题转化为了一个关于曲线形状的问题。

其核心洞察在于几何学。他们将这些数字想象成一个名为“模曲线”的特殊地图上的点。他们发现，分拆数的“偶性”或“奇性”被编码在这些地图上特定点（称为“CM 点”）的行为中。作者展示了，如果通过一个特殊的透镜（对 2 取模，这类似于检查一个数字是奇数还是偶数）来观察这些点，这些点依然保持独立，不会坍缩在一起。这种独立性至关重要。如果这些点保持独立，就意味着分拆数不可能全部具有相同的奇偶性；它们必然会发生变化。

他们使用了一种“几何论证”来排除所有数字都是偶数（这会导致地图看起来是空的）以及所有数字都是奇数（这会使地图看起来像一条平滑且连续的线）的可能性。由于该地图拥有在约简后依然存在的“极点”（尖峰），因此这些数字必然是混合的。一旦他们证明了序列中至少存在一个偶数和一个奇数，他们就使用另一条算术规则证明，这种单一的存在会迫使该模式永远重复下去。

结果是一个确定的证明：对于这些特定的二次进展序列，分拆函数是一个真正的硬币投掷过程，在奇数和偶数之间无限次地跳变。论文还为这一发现提供了一个“速度限制”，给出了一个公式来计算找到第一个偶数和第一个奇数所需的最小数字。这项工作不仅解决了一个谜题，还引入了一种新的几何工具箱，可以用这个工具箱来解决其他数字序列的类似谜题，表明有时，为了理解数字的律动，你必须观察它们所生存的空间的形状。

技术摘要：二次型进阶中分拆函数的奇偶性

问题陈述
分拆函数 $p(n)$ （计算将正整数 $n$ 写为正整数之和的方法数）的奇偶性仍然是分拆理论中一个难以解决的开放性问题。虽然拉马努金（Ramanujan）的同余式确立了模 5、7 和 11 的正则性，但 $p(n)$ 模 2 的分布情况仍不明确。Parkin–Shanks 猜想认为 $p(n)$ 为偶数和奇数的自然密度均为 $1/2$ ，但无条件的界限仍然很弱。

一个涉及将 $p(n)$ 的参数限制在二次型进阶中的特定实例是：2010 年，第一作者猜想，对于每一个满足 $D \equiv 23 \pmod{24}$ 且 $D > 1$ 的无平方因子整数 $D$ ，当 $m$ 在与 6 素数时，序列
$p\left(\frac{Dm^2 + 1}{24}\right)$
随着 $m$ 取遍所有正整数包含无穷多个偶数项和无穷多个奇数项。在此项工作之前，对于次数 $\ge 2$ 的多项式，几乎一无所知。

方法论与核心思想
作者通过引入一个几何框架，将分拆函数的算术性质与模曲线及 CM 点（复乘点）的几何性质联系起来，从而解决了这一猜想。该方法论通过三个阶段进行：

模 $\theta$ 函数与 Borcherds 乘积：
作者利用了拉马努金的三阶模 $\theta$ 函数 $f(q)$ 在模 4 下编码 $p(n)$ 的事实。具体而言，生成函数 $P(q) = \sum p(n)q^n$ 满足 $P(q) \equiv f(q) \pmod 4$ 。他们利用 Bruinier 和第一作者的扭曲 Borcherds 提升，构造了一个对于 $\Gamma_0(6)$ 的权 0 有理模形式 $\Psi_D$ 。 $\Psi_D$ 的除子由位于 $X_0(6)$ 上判别式为 $-D$ 的两组 CM 点组成。该乘积的对数导数记为 $\omega_D = \frac{1}{\sqrt{-D}} d \log \Psi_D$ ，是一个权 2 有理微分形式。
特征 2 下的几何分析：
其核心创新在于对 $\omega_D$ 在特征 2 下的分析。作者确立了以下几点：
- $\Psi_D$ 除子中的两组 CM 点共享一个共同的“2-定向”（具体而言，它们的阶 2 层子群对应于 CM 域 $K = \mathbb{Q}(\sqrt{-D})$ 中位于 2 之上的同一个素理想 $\mathfrak{p}_2$ ）。
- 由于正则提升（Serre–Tate 理论）的刚性，具有此共同定向的不同 CM 点在模 2 约化后仍然保持不同。
- $\omega_D$ 在这些 CM 点处的留数是 2-进单位（2-adic units）。因此， $\omega_D$ 的简单极点在 $X_0(6)$ 特殊纤维的平凡部分 $C_\infty$ 上经约化后依然存在。
与艾森斯坦级数的比较：
$\omega_D$ 在尖点 $\infty$ 处的傅里叶展开是一个编码了所讨论的分拆值奇偶性的 Lambert 级数。作者将其展开式与一个构造用于匹配“全奇”情形的整权 2 艾森斯坦级数 $E_D$ 进行比较。
- 如果所有分拆值均为偶数，则 $\omega_D$ 的约化将恒等于零，这与 CM 极点的存续相矛盾。
- 如果所有分拆值均为奇数，则 $\omega_D$ 的约化将与 $E_D$ 的约化一致。然而， $E_D$ 在 CM 点处是全纯（正则）的，而 $\omega_D$ 的约化在这些点处保留了简单极点。这一矛盾排除了常数奇数奇偶性的可能性。

主要结果
本文证明了以下内容：

定理 1： 对于每个满足 $D \equiv 23 \pmod{24}$ $D \equiv 23 (mod 24)$ 且 $D > 1$ $D > 1$ 的无平方因子整数 $D$ $D$ ，当 $(m, 6)=1$ $(m, 6) = 1$ 时， $p\left(\frac{Dm^2 + 1}{24}\right)$ $p (\frac{D m ^{2} + 1}{24})$ 包含无穷多个偶数项和无穷多个奇数项。
- 此外，论文为每种奇偶性的首次出现提供了关于类数 $h(-D)$ 的有效界限：
  $m_{\text{odd}} \le 12h(-D) + 2$
  $m_{\text{even}} \le (12h(-D) + 2) \prod_{\ell|D} (\ell + 1)$
定理 2： 建立了一个针对源自广义扭曲 Borcherds 乘积的序列的广义非恒定性判据。该定理隔离了证明一个序列在模 2 下非恒定的必要几何输入（微分的整性、具有单位留数的简单 CM 极点的存在性，以及存在匹配的全纯模形式的存在性）。

意义与主张
本文声称解决了关于二次型进阶中分拆函数奇偶性的一个长期存在的特定猜想，而在该情况下，以往的方法未能取得任何结果。其意义在于证明的“几何”本质：

它将一个关于分拆系数的组合问题重新表述为关于特征 2 下模微分极点行为的问题。
它展示了 CM 极点在模 2 约化下的“存续”，结合正则提升的唯一性，提供了一种鲁棒的机制来排除恒定的奇偶模式。
作者指出，虽然几何论证（定理 2）确立了非恒定性（即排除了“全偶”或“全奇”），但从“一次出现”到“无穷多次出现”的一步依赖于涉及 Hecke 代数和伽罗瓦表示（特别是某些 Hecke 算子的局部幂零性）的独立算术传播结果。因此，本文并非声称几何方法本身即可对一般的 Borcherds 数据产生无穷性，而是提供了一个关键的非恒定性步骤，在结合已知的算术传播定理后，从而得出完整结果。

支撑证明的代数恒等式已由 AxiomProver 在 Lean 中进行了形式化和验证，确保了复杂的组合与模形式计算的正确性。

类似论文