🔢 mathematics

Counterexamples to the Minimum Period Conjecture for Restricted Partition Functions

本文推导出了受限分拆函数系数函数的精确单位根公式，这证实了其周期的整除上界，但最终通过构造一族反例，证伪了 2008 年的 Beck–Sam–Woods 最小周期猜想。

原作者： Feihu Liu, Jinlong Tang, Guoce Xin, Chen Zhang

发布于 2026-08-04

📖 1 分钟阅读🧠 深度阅读

原作者： Feihu Liu, Jinlong Tang, Guoce Xin, Chen Zhang

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

想象一下，你是一位大师级厨师，正试图计算出有多少种不同的方式可以填满一个巨大的、空空的背包，里面装满了你最喜欢的零食。你有袋装薯片、盒装饼干和罐装糖果，但你只能按整件单位来取。问题是：如果你希望零食的总重量恰好为 k 克，那么有多少种不同的组合可以装入其中？这不仅仅是一个有趣的谜题；它是被称为组合数学的一个分支中的一个基本问题，该学科研究事物如何排列和计数。数学家们称之为“受限分拆函数”。

长期以来，数学家们知道这个零食包装谜题的答案遵循着一种非常特定的、有节奏的模式。它不是一条简单的直线或一条平滑的曲线；它是一个“拟多项式”。你可以把它想象成一个变形的公式。如果你观察每隔 10 个数字的规律，它遵循一个规则；如果你观察接下来的 10 个数字，它又遵循另一个略微不同的规则，等等。这些规则循环往复，就像星期一样。这个循环的长度被称为“周期”。几十年来，数学家们一直认为他们拥有一个完美的预言水晶球，可以准确预测对于任何一组零食，这个循环长度会是多少。他们认为，这个循环长度是由涉及零食包装大小的一个简单配方决定的。但是，正如这篇新论文所揭示的，那个水晶球其实是破裂的。

这篇论文的作者刘飞虎、唐金龙、辛国策和张晨决定测试这个被称为“最小周期猜想”的长期存在的预测。他们不仅是在猜测；他们还制造了一台数学显微镜，去观察公式的核心。他们发现旧的预测过于乐观了。它正确地识别了周期的最大可能长度，但未能考虑到一种微妙的抵消效应，这种效应可以使周期比预期的要短得多。

为了理解他们的发现，请想象周期的长度是由一个拿着音符的合唱团决定的。旧的猜想说：“如果你有一个歌手能唱出高音，那么这首歌就必须很长。”但作者发现，有时两个歌手唱出的音符可能会完全不同步，从而完全相互抵消。当这种情况发生时，“歌手”从歌中消失了，周期也变得短得多。论文证明，对于某些零食尺寸的组合，这些抵消现象确实会发生，从而打破了旧的规则。

该团队并不仅仅发现了一个小故障；他们构建了整个一个反例家族。他们证明了存在无数种场景，在这些场景中，预测的周期长度恰好是实际周期长度的两倍。例如，他们发现了一组特定的数字，旧规则预测周期为 26，但实际周期仅为 13。他们甚至提供了一个数学配方来生成无限个新的例子，证明这并非罕见的偶然事件，而是一个系统性的特征。

简而言之，这篇论文不仅仅提供了一个微小的修正；它打破了一个特定的、被广泛持有的关于这些计数模式如何运作的信念。作者提供了一个新的、更准确的公式，该公式考虑了这些隐藏的抵消现象。他们证明了虽然旧规则给出了一个安全的上限（周期不会长于此），但它在确定精确长度方面经常是错误的。真正的答案取决于数字之间的一种微妙平衡，这种平衡会导致部分模式消失，留下一个比人们此前预期的更短、更简单的节奏。这项工作确保了未来的数学家将拥有正确的工具来预测这些模式，因为他们知道，有时，音符之间的沉默与音符本身同样重要。

技术摘要：受限分拆函数最小周期的反例

问题陈述
本文研究了受限分拆函数 $q_a(k)$ 的行为，该函数计算非负整数方程 $a_1x_1 + \dots + a_nx_n = k$ 的非负整数解个数，其中 $a = (a_1, \dots, a_n)$ 是一个固定的正整数序列。众所周知， $q_a(k)$ 是一个 $n-1$ 次拟多项式，可以表示为：
$q_a(k) = \sum_{j=0}^{n-1} c_j(k) k^j$
其中系数函数 $c_j(k)$ 是周期函数。

2008年，Beck、Sam 和 Woods 针对这些系数函数的最小周期提出了一个猜想。令 $b_m$ 表示序列 $a$ 中能被 $m$ 整除的元素个数。该猜想认为， $c_j(k)$ 的最小周期恰好为：
$p_j = \text{lcm}\{m \in \mathbb{Z}_{>0} : b_m > j\}$
作者指出，虽然该猜想提供了一个明确的整除上界，但其作为精确等式的有效性尚未得到严格的反驳或基于消失系数的完整表征。

研究方法
作者结合了复分析（特别是留数演算）和离散傅里叶分析，推导出了系数函数 $c_j(k)$ 的精确表达式。

单位根公式： 通过分析生成函数 $R_a(x) = \prod_{i=1}^n (1-x^{a_i})^{-1}$ ，作者推导出了 $c_j(k)$ 关于单位根之和的显式表达式。对于乘法阶为 $m$ 的单位根 $\zeta$ ，令 $s_\zeta$ 为 $R_a(x)$ 在 $\zeta$ 处的极点阶数。作者定义了一个辅助全纯函数 $\Phi_\zeta(t) = t^{s_\zeta} R_a(\zeta e^{-t})$ 。
系数提取： 他们证明了：
$c_j(k) = \sum_{\zeta \in \mu_N, s_\zeta > j} \gamma_{\zeta, j} \zeta^{-k}$
其中 $\gamma_{\zeta, j} = \frac{1}{j!} [t^{s_\zeta - 1 - j}] \Phi_\zeta(t)$ 。
周期确定： 利用傅里叶展开的唯一性，他们确定了 $c_j(k)$ 的最小周期是那些使得系数 $\gamma_{\zeta, j}$ 非零的单位根的阶的最小公倍数。
反例构造： 作者发现，当存在某个 $\zeta$ 满足 $s_\zeta > j$ 且 $\gamma_{\zeta, j} = 0$ 时，Beck–Sam–Woods 猜想失效。他们构造了一个特定的两参数族生成函数 $R_{u,M}(x) = (1-x^2)^{-4}(1-x)^{-u}(1-x^M)^{-1}$ （其中 $M$ 为奇数），并推导出一个关于 $u$ 和 $M$ 的丢番图条件，使得对应于单位根 $\zeta = -1$ 的系数消失。
无穷族生成： 消失系数的条件被转化为一个负佩尔方程（Negative Pell Equation: $Y^2 - 3X^2 = -26$ ）。通过利用递推关系求解该方程，他们生成了无穷多个满足反例条件的 $(u, M)$ 对。

核心贡献与结果

精确周期公式 (定理 1.2)： 本文提供了第一个关于 $c_j(k)$ 最小周期的精确公式，该公式是在 $\Phi_\zeta(t)$ 的泰勒展开系数非零的基础上得出的。该公式表明，周期不仅取决于极点的存在性（ $s_\zeta > j$ ），还取决于特定的泰勒系数是否为零。
锐利整除界限 (定理 1.3)： 作者证明了最小周期 $per(c_j)$ 满足：
$\text{lcm}\{m : j+1 \le b_m \le j+2\} \mid per(c_j) \mid \text{lcm}\{m : b_m > j\}$
右侧对应于 Beck–Sam–Woods 所猜想的数值 $p_j$ 。论文证明了这两个界限都是锐利的，但实际周期可能严格介于两者之间。
对猜想的反驳 (定理 1.4)： 作者构造了一个关于 Beck–Sam–Woods 猜想的无穷反例族。具体而言，对于由 $R_{u,M}(x)$ $R_{u, M} (x)$ 定义的序列，如果 $u$ $u$ 和 $M$ $M$ 满足推导出的丢番图方程，则 $c_0(k)$ $c_{0} (k)$ 的最小周期为 $M$ $M$ ，而猜想预测的周期为 $2M$ $2 M$ 。
- 具体示例： 对于 $(u, M) = (2, 13)$ ，该序列的组成部分包含四个 2，两个 1，以及一个 13。猜想的周期为 $p_0 = \text{lcm}(1, 2, 13) = 26$ ，但实际最小周期为 $13$。
变体： 作者提供了其他反例，包括所有 $a_i > 1$ 以及 $a_i$ 两两互异且 $\gcd(a)=1$ 的情况，展示了该现象在不同约束下的鲁棒性。

意义与主张
本文声称解决了受限分拆函数的最小周期问题，通过证明 Beck–Sam–Woods 猜想虽然提供了一个正确的上界，但在作为等式时并非普遍成立。其意义在于：

完善理论： 从仅基于极点阶数的猜想转向涉及特定泰勒系数消失情况的精确表征。
纠正记录： 提供了分拆函数与拟多项式领域中长期存在的猜想的首个已知反例。
方法论洞察： 证明了“波函数”方法（与 Sylvester 的工作相关）与留数演算方法产生的结果是等价的，但后者通过显式计算系数 $\gamma_{\zeta, j}$ ，为确定周期提供了更精确的工具。

作者谦逊地总结道，他们的工作是用一个精确公式取代了原有的拟定等式，并确立了所猜想的数值 $p_j$ 仍然是一个锐利的通用上界，尽管它并不总是等于实际周期。

技术摘要：受限分拆函数最小周期的反例

类似论文