The small Davenport constant of the Heisenberg group of order 125

技术摘要：阶数为 125 的海森堡群的小达文波特常数

问题陈述
本文旨在确定阶数为 $p^3$ 的有限域 $\mathbb{F}_p$ 上海森堡群 $H_p^3$ 的小达文波特常数 $d(G)$。常数 $d(G)$ 定义为 $G$ 上无积一序列（即不存在任何非空子序列，其元素的某种排列乘积为单位元）的最大长度。虽然 Godara 和 Sarkar 已确定了当 $p=3$ 时 $d(H_{27}) = 6$，并猜想对于所有奇素数 $p$ 均有 $d(H_p^3) = 3p - 3$，但 $p \ge 5$ 的情况仍处于开放状态。本研究专门解决了第一个开放案例：即确定 $d(H_{125})$。

方法论
证明过程结合了结构群论与穷举计算验证，将一个非交换问题归约为 $\mathbb{F}_p$ 上的加法组合问题。

1. 积一判别准则： 作者建立了一个序列具有积一排序的充分必要条件。对于由元素 $g_i = M(a_i, b_i, c_i)$ 组成的序列 $I$，存在积一排序当且仅当：

   • 商向量之和为零：$\sum (a_i, b_i) = (0, 0)$。
   • 中心坐标的负和 $-\sum c_i$ 位于“交叉和集” $\Omega(I)$ 内。该集合定义为所有序列 $\sigma$ 的排列下 $\sum_{s<t} a_{\sigma(s)}b_{\sigma(t)}$ 的所有可能取值集合。
   • 该准则将非交换问题归约为分析 $\mathbb{F}_p^2$ 中商向量的几何性质以及中心坐标的算术性质。

2. 向加法组合论的归约：

   • 线帽（Line Caps）： 利用 Olson 关于 $C_p^2$ 的达文波特常数的结论，作者推导出了一个“线帽”界限：对于 $\mathbb{F}_p^2$ 中经过原点的任何直线 $L$，非中心项中商向量落在 $L$ 上的数量加上中心项的数量受限于 $2p-2$。
   • 中心强制性（Central Forcing）： 证明了一个引理：如果一个序列包含一个中心项零和自由集 $Z$ 以及若干个不相交的零商和块 $B_j$，那么若 $|\Sigma_0(Z)| + \sum (|\Omega(B_j)| - 1) \ge p$，则会强制产生一个积一子序列。这里 $\Sigma_0(Z)$ 是中心坐标的子集和集合。

3. 跨度界限与穷举搜索：

   • 上界证明的核心依赖于一个“跨度”参数 $\sigma(Q)$，定义为商多重集 $Q$ 的所有不相交零和块中 $\sum (|\Omega(B_j)| - 1)$ 的最大值。
   • 对于 $p=5$，作者通过验证一个单一的有限命题（命题 2）来将证明 $d(H_{125}) \le 12$ 的问题简化。该命题断言：对于任何满足线帽约束且长度为 $13-z$（其中 $z$ 是中心项的数量）的多元集 $Q$，均有 $\sigma(Q) \ge 4-z$。
   • 该命题通过在 C 语言中进行的内存平坦（memory-flat）深度优先搜索进行穷举验证。搜索枚举了 $\mathbb{F}_5^2$ 上 24 个非零向量的所有有效多元集，并剪枝掉那些未能满足跨度要求的分支。结果（零个“坏叶节点”）通过使用不同剪枝策略的第二个实现进行了独立复现。

4. 验证严谨性： 包括群乘法逻辑、积一判别准则及辅助引理在内的每一个数值主张都经过了机器检查。作者明确指出，虽然结果并非在证明辅助器中进行形式化验证，但通过独立复现负载搜索以及机器检查的引理，提供了可复现性保证。

关键结果

• 定理 1： $d(H_{125}) = 12$。
  • 下界： 显式展示了序列 $x^4 y^4 v^4$（长度为 12）是积一自由的。
  • 上界： 证明了 $H_{125}$ 上的任何长度为 13 的序列都包含一个积一子序列。这是通过证明任何此类序列必须满足“中心强制性”引理的条件来实现的，而该条件由经过验证的跨度界限（命题 2）所保证。
• 针对 $p \ge 7$ 的局限性： 作者展示了该方法无法直接推广至 $p=7$。研究识别出了一个特定的反例多元集 $Q_0$，其中切瓦莱定理（Chevalley–Warning theorem）虽然强制产生了一个零和块，但该块是共线的（导致 $|\Omega|=1$）而非“宽阔的”（导致 $|\Omega|=p$）。因此，仅靠多项式方法无法强制实现跨度，且穷举搜索空间变得在计算上难以处理（约 $10^{16}$ 个多元集）。这使得范围 $18 \le d(H_{343}) \le 24$ 仍然开放。

意义与声明
本文声称是第一个解决 $p=3$ 之外的海森堡群达文波特猜想（$d(H_p^3) = 3p-3$）的案例。

• 新颖性： 其贡献不在于引入新定理（Cauchy–Davenport、Chevalley–Warning 和 Olson 的结果均为标准理论），而在于为了处理非交换目标而进行的特定组合，以及通过严谨的有限验证填补了 $p=5$ 的空白。
• 针对性： 论文强调其论证是“具有特定 $p$ 特性的”。作者指出了逻辑失效的精确步骤（即 Chevalley–Warning 无法强制产生一个宽阔而非共线的块），从而对该方法的极限进行了诚实的评估。
• 可复现性： 论文强调了计算验证的作用，指出上界的“结论”是一个源自穷举搜索的经验事实，并已通过独立复现来确保正确性。
• 归属： 本文明确披露结果是通过 AI 研究协作获得的，具体任务（问题建模、验证装置及最终撰写）归功于在人类指导下的 AI 系统，而逻辑归约和初始假设的修正则由一个“冷、无工具”的推理器完成。