← 返回 PaperDaily 大模型与智能体

川大硕士生搞定8年编码难题：BCH下界就是答案

这篇论文解决的可不是小问题——Ding-Li-Xia循环码的最小距离自2018年提出以来就只知其范围，不知道精确值。川大团队用纯几何手法给出了下界的精确达到，证明BCH下界就是答案，简洁得让人拍案。如果你喜欢那种“前面铺垫一大堆、最后突然开天眼”的数学推理，这篇绝对能让你爽到。不需要懂太多编码理论，只需要跟着子空间投影走，就能看到漂亮的结果如何诞生。

龙哥读论文 阅读 4 查看原文
#AI科研
原论文信息如下：
论文标题:
Exact Minimum Distance of the Ding–Li–Xia Cyclic Codes
发表日期: 2026年7月
发表单位: 四川大学数学学院
原文链接: https://arxiv.org/pdf/2607.24646v1.pdf
开源代码: 未提供
项目链接: 未提供
开源数据集: 不适用

引言

在编码理论的世界里，循环码一直是最受宠的一个家族——结构丰富、实现简单，研究了几十年还能量产新结果。丁存生、李超、夏煜三位在2018年引入了 ℧(q,m,h) 循环码，作为二进制截断Reed-Muller码的非二进制推广。它们的定义基于基‑q数字的非零位个数，而不是传统的数字和；这种设计让它们拥有了丰富的代数结构，并且能构造很多漂亮的线性互补对偶码和组合设计。然而一个基本参数——最小距离——始终没能完全确定。Ding等人找到了一个BCH下界 (qh+1-1)/(q-1) 和一个上界 2qh-1，两个界只在二进制时重合，其他情形相差甚远。他们干脆公开提问：下界是不是就是精确值？
这个问题一放就是8年。期间Hu和Feng等人做了不少努力，在 q ≥ 3 且 h+1 整除 m 等特殊条件下证明了下界可达，但始终没能覆盖所有参数。直到2026年7月，四川大学的张宇彤和杨耀然两位同学（没错，还是硕士生阶段的工作）给出了一个让人眼前一亮的几何构造，直接宣判了问题的终结——下界就是精确值，对所有 q, m≥2, 1≤h≤m-1 都成立！

问题背景：BCH下界与公开难题

先回顾一下 ℧(q,m,h) 是如何定义的。设 q 是一个素数的幂，Fqm 是有 qm 个元素的有限域，令 α 是乘法群 F*qm 的一个生成元。码长 n = qm-1，每个码字是一个 n 维向量，表示为多项式 c(X) = Σi=0n-1 ci Xi，其中 ci ∈ Fq。
定义的关键在于“定义集”：满足 1 ≤ a ≤ qm-2 且其基‑q 展开中非零位的个数 ≤ h 的那些 a 的集合。所谓的“非零位个数”就是 wtq(a)。码字需要满足 c(αa) = 0 对所有这样的 a 成立。由于这些 αa 包含了一个连续段 α, α2, …, αδ-1，其中 δ = (qh+1-1)/(q-1)，所以 BCH 界断言最小距离 ≥ δ。这就是下界的来源。
但问题是，BCH 界通常只是下界，不一定紧。Ding 等人给出了一个上界 2qh-1，对于 q>2 远大于下界，差了一个数量级。所以问题就变成了：能不能找到真正达到下界的码字？如果能，证明最小距离就是 δ；如果不能，说明上界更准。
Hu 和 Feng 在2020年给出了部分答案，他们通过选取特定的除数构造稀疏码字，证明了当 q≥3 且 h+1 | m 时下界可达，但 m 和 h+1 之间必须满足整除关系这个算术条件是硬伤。例如 q=2, m=5, h=2 时 h+1=3 不能整除 5，就无法覆盖。更不用说更一般的素数幂 q 了。

核心思路：用投影子空间直接构造码字

这篇新工作的想法出奇地简单：取 Fqm 中任意一个 (h+1) 维 Fq-子空间 V，考虑映射 x → xq-1 在 V\{0} 上的像集合 V[q-1]。这个集合的大小恰好是 (qh+1-1)/(q-1) —— 这正是我们想达到的那个数字！然后把这个集合的指示向量（即该位置为1，其他为0）作为码字 cV。如果能证明 cV 确实是 ℧(q,m,h) 中的合法码字，那么它的重量就是 (qh+1-1)/(q-1)，从而下界可达，问题得证。
为什么这个思路成立？关键在于需要验证对于所有定义集中的 a，都有 Σβ∈V[q-1] βa = 0。注意，βa 就是 (xq-1)a = x(q-1)a。所以实际上需要证明对于所有满足 wtq

编码理论中的未解之谜：Ding-Li-Xia循环码的最小距离

Ding-Li-Xia循环码，记为 ℧(q, m, h)，是丁存生、李超和夏煜三位学者在2018年提出的一类非常重要的非二进制循环码。它本质上是二进制截断Reed-Muller码（Reed-Muller codes，一种经典的代数纠错码族）的非二进制推广。你可以把它想象成是编码世界里一个“天赋异禀”而又带点“神秘色彩”的家族：它的代数结构非常优美，能够用来构造线性互补对偶码（Linear Complementary-Dual codes，简称LCD码，一种在信息安全领域中应用广泛的编码）和组合设计（Combinatorial designs，一种在实验设计中常用的组合结构），因此一诞生就吸引了大量研究者的目光。
但是，就像所有“天才少年”一样，这个家族也有一个致命的“心结”——它的最小距离（Minimum Distance）。最小距离是衡量一个纠错码能力的关键指标，它直接决定了这个码最多能纠正多少个错误。如果不知道最小距离的精确值，那这个码在工程应用上就永远隔着一层纱，你没法准确评估它的纠错能力有多强。
Ding当年的论文给出了一个漂亮的下界—— (qh+1 - 1)/(q - 1)，这个下界来自于经典的BCH界（BCH bound，BCH限，一种通过生成多项式根的连续长度来估计最小距离的方法）。但同时他们也只找到了一个上界 2qh - 1。这俩界在二进制时重合，但对于q > 2的非二进制情况，这两个界之间可是差着一个数量级呢。下界到底是不是它的“真面目”？Ding在论文中公开提出了这个疑问：下界是不是就等于精确值？
这个问题，就像编码理论里的一颗“闪耀的明珠”，悬而未决了整整8年。期间，Hu和Feng等学者做出了重要贡献，他们通过精巧的算术构造，证明了在q ≥ 3 且 h+1 能整除 m 这种特定条件下，下界是可以达到的。但这就像在解一道复杂的数学题，只找到了一类“特殊解”，而“通解”依然隐藏在迷雾之中。
这个“通解”，终于在2026年7月被解开了。四川大学的张宇彤和杨耀然两位同学，用了一个让人拍案叫绝的“几何构造”，直接给出了问题的终极答案。

一个“投影子空间”的妙用

前面说到，BCH下界已经告诉我们，码的最小距离至少是 (qh+1-1)/(q-1)。我们现在要做的就是：“我不但知道它至少能到这儿，我还要在码本里找出一个实际的码字，它的重量就是这么大。” 找到这个码字，问题就解决了。
这张神秘的“最小重量码字”到底长什么样？本文的构造出奇地简洁。想象一下，我们在 Fqm 这个大有限域（一个包含 qm 个元素的数学结构）里，随便挑一个 (h+1) 维的 Fq-子空间 V。你可以把这个子空间 V 想象成一个“小房间”。
对这个“小房间”里的所有非零元素 x（x ≠ 0），我们做一个“投影”操作：计算它啦 q-1 次方，得到 xq-1。那么所有从这个小房间里“投影”出来的点，就组成了另一个集合，记作 V[q-1]。

从BCH下界到精确值：一个几何构造

这个构造最妙的地方在于，它让一个纯代数的问题，突然有了一个非常直观的几何解释。我们要做的，就是把这个投影集 V[q-1] 里的所有点，在码字里对应的位置标上“1”，其他所有位置标上“0”。这个简单的“指示向量”，就是我们苦苦寻找的那个最小重量码字！
为什么这个集合的大小正好就是我们想要的那个数 (qh+1-1)/(q-1) ？因为 V[q-1] 这个集合，其实就是 V 的“投影空间”（Projective space）。想象一下，在我们选的“小房间”V里，所有的非零向量可以被分成很多条“线”，每条线都是由成比例的非零向量组成的。映射 x → xq-1 会把同一条线上的所有向量都“压扁”成同一个点。这个集合的大小，正好就是这个小房间 V 里线的数量。
一个 (h+1) 维的空间里有多少条线？答案就是 (qh+1-1)/(q-1)。所以，这个码字的重量，一上来就命中了BCH下界。剩下的工作，就是证明这个构造出来的向量，确实是这个码族里的合法码字，即它必须满足所有定义集中 a 所对应的校验方程。

子空间幂和消失引理：关键工具

要证明这个投影集 V[q-1] 的指示向量是合法的码字，核心就是要验证：对于所有定义在集合 I(q, m, h)（满足 1 ≤ a ≤ qm-2 且其基-q Hamming重量 wtq(a) ≤ h 的a的集合）中的指数 a，那个投影和 Σβ∈V[q-1] βa = 0 都必须成立。
这个看似复杂的求和，在本文两个精妙的引理面前，变得异常清晰。第一个引理，我们称之为“子空间幂和消失引理”（Lemma 2），它是这一块的基石。
如果一个子空间 V 的维数是 r，而指数 E 的 基-q 数字和 sq(E)（即E在q进制表示下各位数字之和）小于 r(q-1)，那么整个子空间V里所有元素的E次方之和就会等于0。这个引理把对码字的复杂约束，转化成了一个关于指数E的“数字和”条件的判断。
这个引理为什么能成立？因为当 sq(E) 不够大的时候，xE 这个多项式在子空间V上的求和可以被分解成关于基变量的多项式求和。由于有限域的特殊性质，很多这样的多项式求和结果都是0。

数字和估计：桥接定义集

现在我们有了“子空间幂和消失引理”这把锤子，但还需要一个钉子来钉进去。这个钉子就是第二个引理——数字和估计引理（Lemma 3）。
这个引理通俗点说就是：对于任意一个指数 a，它的 (q-1)a 的“基-q 数字和” sq((q-1)a)，永远不会超过 a 的“基-q Hamming重量”（即它有多少位非零）乘以 (q-1)。
这个引理解决了什么问题？回想一下，我们要验证的求和是 Σβ∈V[q-1] βa。这个求和，其实可以写成 Σx∈V\{0} x(q-1)a。这里的 E = (q-1)a 正是“子空间幂和消失引理”里要处理的那个指数。那个引理要求 sq(E) < r(q-1)。现在，“数字和估计引理”就像一个桥梁，把码字本身的条件（对 a 的限制：wtq(a) ≤ h）翻译成了“子空间幂和消失引理”想要的条件。
具体来说，如果我们有一个 a，它满足 wtq(a) ≤ h，那么根据“数字和估计引理”，我们就能得到：
sq((q-1)a) ≤ (q-1) wtq(a) ≤ h(q-1)
而我们构造的 V 的维数 r 正好是 h+1，所以 h(q-1) < (h+1)(q-1) = r(q-1) 是严格成立的！这就完美满足了“子空间幂和消失引理”的条件，从而使得那个关键的线性和为0。

投影子空间码字的构造与验证

好了，现在两个关键的引理都到位了，我们可以完整地看一下这个精妙的证明是如何一环扣一环地展开的。
第一步：构造。 在Fq上选取任意一个 (h+1) 维的子空间 V ≤ Fqm。然后定义集合 V[q-1] = {xq-1 : x ∈ V \ {0}}。我们将这个集合在F*qm 上的指示向量记作我们的候选码字 cV。
第二步：验证。 对于任意一个属于定义集 I(q, m, h) 的指数 a，我们来计算它在码字上的求和：
Σβ∈V[q-1] βa = Σx∈V\{0} x(q-1)a
这里我们将 β 用它在子空间 V 中的原像 x 代换，同时认识到 xq-1 = xq-1，并且这种映射是“线”上的多项映射，从而引出了 (q-1)a 这个指数。
第三步：条件转化。 因为 a 在定义集中，所以 wtq(a) ≤ h。根据“数字和估计引理”（Lemma 3），我们可以得到：
sq((q-1)a) ≤ (q-1)wtq(a) ≤ (q-1)h
第四步：引理生效。 现在我们注意到子空间 V 的维数是 h+1。因为 sq((q-1)a) ≤ (q-1)h < (q-1)(h+1)，所以指数 E = (q-1)a 完美满足了“子空间幂和消失引理”（Lemma 2）的前提条件。因此，我们可以直接应用该引理，得到：
Σx∈V x(q-1)a = 0
因为 (q-1)a > 0，所以 x=0 的项贡献为0，因此：
Σx∈V\{0} x(q-1)a = 0
第五步：回到投影集。 最后，利用有限域中 Fq* 的性质（xq-1 = yq-1 当且仅当 x 和 y 成比例），我们可以轻松地将对子空间 V 的求和分解为对各个投影点的求和，并发现：
Σβ∈V[q-1] βa = 0
至此，我们成功构造了一个合法的码字 cV，并且它的重量正好是 (qh+1-1)/(q-1)。结合 BCH 下界，这个数就是码的最小距离。这个构造的统一性和简洁性，让人不得不感叹：这难道就是传说中的“大道至简”？

实验与结果：一锤定音

对于这篇论文的工作来说，它本质上是理论推导，不需要像深度学习那样跑大量实验来验证。它的“实验结果”就是其逻辑严密的数学证明。而且本文的优越之处在于，它的证明不依赖任何特定条件，对所有参数都成立，补齐了之前研究中的缺失环节。

总结与未来展望

龙哥只能说，在数学的世界里，一个漂亮的证明不比一个超前的AI模型逊色。这篇论文不仅在理论上彻底解决了Ding-Li-Xia循环码的最小距离问题，其几何构造的方法论也极具启发性。它完美展示了如何用“几何观点”去解决“代数问题”，这种跨维度的思维碰撞，往往能产出最惊艳的成果。
展望未来，这个精确的最小距离值使得 Ding-Li-Xia 循环码在纠错能力上有了明确的数学天花板。后续的研究可以在多个方向上展开：比如基于该构造寻找更多最小重量码字的结构，分析其在更复杂信道下的性能，或者将这种“投影子空间”的思路推广到其他类型的代数编码中。此外，论文中使用的证明思路也可能为理解其他未解的编码理论问题提供新工具。
总的来说，这是一篇在传统编码理论领域炸响的“惊雷”，用最优雅的几何语言，讲了一个最浓烈的代数故事。

龙迷三问

下面是龙哥对于大家可能的一些问题的解答：

这篇论文解决了什么核心问题？ 它解决了一个存在了8年的编码理论公开难题：确定由Ding、Li和Xia在2018年提出的℧(q, m, h)循环码的精确最小距离。之前只知道一个BCH下界和一个宽松的上界，现在本文通过几何构造，证明了BCH下界就是最终答案，对所有参数都成立。

“投影子空间码字”这个构造为什么要选V[q-1]？直接选V不行吗？ 这里很有讲究。直接选V的指示向量，它的重量是qh+1，这个值大于BCH下界，不是最小重量。而通过“投影”映射x → xq-1，我们实际上是把子空间V里所有成比例的非零向量（即一条“射影直线”）收缩成了同一个点，这个新集合的大小正好命中了下界，是构造最小重量码字的完美模版。

这个证明的优势在哪儿？ 核心优势在于它的“普适性”。之前Hu和Feng的工作需要满足h+1整除m这种算术条件，就像一个只能解决特定情况的“特制工具”。而本文的证明用几何语言，完全不依赖这种条件，对所有q, m, h都成立，是真正的“通用解”。而且证明过程非常简洁优雅，两个引理加一个构造，就把问题讲透了。

如果你还有哪些想要了解的，欢迎在评论区留言或者讨论~

龙哥点评

论文创新性分数：★★★★★

开创性地使用了纯几何的“投影子空间”方法去解决一个困扰领域多年的代数问题。不是修修补补，而是提供了一个全新的视角，这在理论工作中相当难得。

实验合理度：★★★☆☆

作为理论数学论文，根本没有数值实验。其“实验”就是数学证明本身，从逻辑上看，证明是严谨且完备的。因此这个分数是基于“理论论文”的标准来打，它的“实验”即证明，是合理的。

学术研究价值：★★★★★

极高。彻底解决了该码族的唯一基本参数问题，对通信/存储系统的理论应用有明确指导意义。并且其构造方法和证明技巧本身思路新颖。

稳定性：★★★★★

数学证明的结论是绝对稳定和确定的，只要证明正确，在所有参数下都适用，不存在数值模拟中的噪声问题。

适应性以及泛化能力：★★★★★

证明没有对参数做任何限制，完全通用，因此适应性极强。它覆盖了之前所有特殊解法，是终极答案。

硬件需求及成本：★★★★★

理论数学工作，基本不需要硬件成本，一支笔、一摞纸就能搞定。

复现难度： ★★★★☆

虽然证明看起来简洁，但要完全理解并复现其中的数学思想，需要扎实的有限域和编码理论基础。不过文章的证明过程是自包含的，逻辑链条清晰，只要沿着引理一步步推演，复现不难。

产品化成熟度：★★★☆☆

理论上，知道了最小距离后，可以在设计通信系统时更精确地评估该码的性能。不过，Ding-Li-Xia循环码本身还没有大规模工业应用，更多停留在学术阶段。这个结果完善了它的理论，但离直接做成芯片还有距离。

可能的问题：作为理论纯数学论文，它的“问题”不在自身，而在应用上。如何将论文中的“最小重量码字”构造思想转化为实际的编码/解码算法，并验证其在工程上的性能，是一个很大的挑战。同时，虽然证明很完美，但用到了Fq*的全部性质，这种方法可能很难直接迁移到q不是质数幂的情况。


主要参考文献

[1] C. Ding, C. Li, and Y. Xia, “Another generalisation of the binary Reed–Muller codes and its applications,” Finite Fields Appl., vol. 53, pp. 144–174, Sep. 2018.
[2] L. Hu and K. Feng, “The minimum distance of new generalisations of the punctured binary Reed–Muller codes,” Cryptogr. Commun., vol. 12, no. 4, pp. 795–808, Jul. 2020.
[3] F. J. MacWilliams and N. J. A. Sloane, The Theory of Error-Correcting Codes. Amsterdam, The Netherlands: North-Holland, 1977.

*本文仅代表个人理解及观点，不构成任何论文审核或项目落地推荐意见，具体以相关组织评审结果为准。欢迎就论文内容交流探讨，理性发言哦～ 想了解更多原文细节的小伙伴，可以点击"阅读原文"，查看更多原论文细节哦！       

end
循环码最小距离解谜，几何构造显神通！
精确下界终落地，BCH猜想不再空！
欢迎加入龙哥读论文粉丝群，扫描下方二维码或添加龙哥助手微信号加群：kangjinlonghelper。一定要备注：研究方向+地点+学校/公司+昵称（如 编码理论+成都+川大+小张），根据格式备注，可更快被通过且邀请进群。

『龙哥读论文』微信群目前包含：图像处理、大模型及智能体、自动驾驶及机器人、AI医疗及AI金融5个群。
wechat_helper dianzan
转发文章 微博 X LinkedIn Facebook
龙哥读论文 · PaperDaily

本文基于龙哥读论文 PaperDaily 数据库整理，结合论文原文与工程视角进行解读。