🔢 mathematics

Second order Recurrences, quadratic number fields and cyclic codes

该论文将 Wall-Sun-Sun 素数概念推广至特定二次数域情形，并研究了由此定义的素数所对应的循环码在有限域 $\mathbb{F}_p$ 和环 $\mathbb{Z}_{p^2}$ 上的权重分布及其 MDS 或 NMDS 性质。

原作者： Minjia Shi, Xuan Wang, Bouazzaoui Zakariae, Jon-Lark Kim, Patrick Solé

发布于 2026-03-27

📖 1 分钟阅读🧠 深度阅读

原作者： Minjia Shi, Xuan Wang, Bouazzaoui Zakariae, Jon-Lark Kim, Patrick Solé

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

这篇论文听起来充满了高深的数学名词，比如“二次数域”、“循环码”和"Wall-Sun-Sun 素数”。但如果我们剥去这些专业术语的外衣，它的核心故事其实非常有趣，就像是在寻找数字世界中的“完美双胞胎”，并利用它们来设计最坚固的防盗锁（纠错码）。

我们可以把这篇论文的内容想象成三个主要部分：

1. 寻找“完美双胞胎”：Wall-Sun-Sun 素数

想象一下，你有一个神奇的数字生成器（就像斐波那契数列：0, 1, 1, 2, 3, 5, 8...），它按照固定的规则不断吐出数字。

普通情况：如果你把这个生成器放在一个普通的“模 $p$ "的房间里（比如模 7），数字会开始循环，像钟表一样转圈。这个循环的长度叫“周期”。
特殊情况：现在，你把生成器放进一个更高级、更复杂的“模 $p^2$ "的房间里（比如模 49）。通常情况下，这个高级房间的循环长度会是普通房间的 $p$ 倍，就像把钟表的速度放慢了 $p$ 倍。
寻找双胞胎：但是，数学家们发现，有些特殊的素数 $p$ $p$ 很调皮。在这些素数下，普通房间和高级房间的循环长度竟然完全一样！
- 这就好比你在楼下看时钟转一圈是 1 分钟，你跑到楼上（更复杂的楼层）看，时钟居然还是 1 分钟转一圈。
- 这种让两个不同复杂度的系统产生完全相同周期的素数，就被称为Wall-Sun-Sun 素数（简称 WSS 素数）。
- 这篇论文把这种寻找从经典的斐波那契数列推广到了更广泛的“二次数域”（可以理解为更复杂的数字宇宙）。

核心发现：如果找到了这样的素数 $p$ ，那就意味着它背后的那个“数字宇宙”（二次数域）有一个非常特殊的性质，叫做**“非 $p$ -有理”**。这就像是在说，这个数字宇宙里藏着某种极其罕见的“共振”现象。

2. 用“双胞胎”造锁：循环码

找到了这些特殊的素数 $p$ 之后，作者们并没有止步于此，他们想：“既然这些数字这么特殊，能不能用它们来造出更好的密码锁（纠错码）呢？”

什么是循环码？ 想象你在给一箱货物贴标签。为了防止运输途中标签磨损或出错，你给每个货物加了一些“冗余”的校验码。如果接收方发现标签对不上，就能自动修好错误。
循环码是一种特别聪明的标签系统，它的规则是：如果你把标签上的数字循环移动一位，得到的新标签依然符合规则。
这篇论文的贡献：作者利用上面找到的那些“完美双胞胎”素数 $p$ $p$ ，构造出了两种特殊的锁：
1. 在普通世界（ $F_p$ ）的锁：这是基础版。
2. 在高级世界（ $Z_{p^2}$ ）的锁：这是升级版，能处理更复杂的错误。

3. 最坚固的锁：MDS 和 NMDS 码

在密码学和通信领域，有一种叫MDS 码（最大距离可分码）的锁，它是理论上最完美的。

比喻：想象你要在一条容易出错的电话线上发信息。MDS 码就像是最强的“防噪耳机”，只要错误不超过一定限度，它就能100% 完美还原你的声音，没有任何损失。
NMDS 码：这是“近完美”的锁，虽然离 100% 完美还差一点点，但在实际应用中已经非常优秀了。

论文的高光时刻：
作者们发现，利用那些特殊的 WSS 素数，他们能造出一种长度极长、却非常坚固的锁（特别是当素数 $p$ 满足 $p \equiv 3 \pmod 4$ 时）。

他们构造出的锁，长度达到了 $2p+2$ ，这在数学上被认为是维度为 2 的锁所能达到的极限长度。
这就像是在造桥，别人只能造 100 米长的完美悬索桥，而他们用特殊的材料（WSS 素数）造出了 100 米长且结构最稳固的桥，甚至还能造出更长的“近完美”大桥。

总结：这篇论文到底说了什么？

发现现象：他们在数学的“数字宇宙”里找到了一些特殊的素数（WSS 素数），这些素数能让不同复杂度的数字循环系统产生完全同步的周期。
建立联系：这种现象揭示了这些素数背后的数学结构（二次数域）具有某种罕见的“非理性”特征。
实际应用：利用这些特殊的素数，他们设计出了极其高效的通信纠错码（MDS 和 NMDS 码）。这些码就像是最坚固的防盗锁，能在信息传输中最大限度地抵抗错误，且达到了理论上的长度极限。

一句话概括：
这篇论文就像是在寻找数字世界中的“幽灵共振”（WSS 素数），然后利用这种罕见的共振现象，打造出了通信领域中最坚固、最完美的“防盗锁”，为未来的数据传输安全提供了新的数学基石。

这是一份关于论文《二阶递推、二次数域与循环码》（Second Order Recurrences, Quadratic Number Fields and Cyclic Codes）的详细技术总结。

1. 研究背景与问题 (Problem)

Wall-Sun-Sun 素数 (WSS 素数) 的推广：
经典的 Wall-Sun-Sun 素数定义为满足斐波那契数列模 $p$ 的周期 $\pi(p)$ 与模 $p^2$ 的周期 $\pi(p^2)$ 相等的素数 $p$ （即 $\pi(p) = \pi(p^2)$ ）。这类素数与费马大定理及二次域 $\mathbb{Q}(\sqrt{5})$ 的 $p$ -有理性质密切相关。目前尚未发现此类素数。
核心问题：
作者将这一概念推广到更一般的二阶线性递推序列。对于给定的正整数 $d$ $d$ ，考虑特征多项式以 $\mathbb{Q}(\sqrt{d})$ $Q (d)$ 的主单位元（principal unit）为零点的递推序列。
- 定义 WSS(d) 素数：使得该递推序列模 $p$ 和模 $p^2$ 的周期 $k(p)$ 和 $k(p^2)$ 相等的素数。
- 数学背景： $k(p) = k(p^2)$ 等价于二次域 $\mathbb{Q}(\sqrt{d})$ 不是 $p$ -有理的（not $p$ -rational）。
研究目标：
1. 探究 WSS(d) 素数与二次数域算术性质（特别是 $p$ -有理性和类数）之间的联系。
2. 针对这些特殊素数 $p$ ，构造并分析基于该递推序列的循环码（Cyclic Codes）。
3. 研究这些码在有限域 $\mathbb{F}_p$ 和环 $\mathbb{Z}_{p^2}$ 上的重量分布（Weight Distributions），并确定其是否为 MDS（最大距离可分）或 NMDS（近 MDS）码。

2. 方法论 (Methodology)

数论工具：
- 利用 $p$ -有理域的定义：一个数域 $F$ 是 $p$ -有理的，当且仅当其最大 $p$ -扩张的伽罗瓦群 $\Gamma_F$ 的 Frattini 商 $\tilde{\Gamma}_F$ 的 $\mathbb{F}_p$ -维数等于 $r_2(F) + 1$ 。
- 利用勒让德符号、Pell 方程解与基本单位元 $\varepsilon_d$ 的性质，建立 $k(p)=k(p^2)$ 与 $\log_p(\varepsilon_d) \not\equiv 0 \pmod{p^2}$ 的等价关系。
- 通过 Hensel 引理将 $\mathbb{F}_p$ 上的多项式提升（lift）到 $\mathbb{Z}_{p^2}$ 上，从而连接有限域和环上的码。
编码理论构造：
- 将二阶递推序列的周期窗口视为循环码的码字。
- 构造维度为 2 的循环码 $C$ ，其校验多项式（check polynomial）为递推序列特征多项式的倒数。
- 区分两种情况：
  - 可约情况 (Reducible)：特征多项式在 $\mathbb{F}_p$ 上可分解为线性因子。
  - 不可约情况 (Irreducible)：特征多项式在 $\mathbb{F}_p$ 上不可约。
重量分布分析：
- 利用 Pless 幂矩（Pless power moments）计算码的重量分布。
- 比较 $\mathbb{F}_p$ 上的码 $C_1$ 与 $\mathbb{Z}_{p^2}$ 上的码 $C_2$ 的重量分布关系。
- 利用 Magma 软件进行数值计算，验证理论推导并寻找具体的参数实例。

3. 主要贡献与结果 (Key Contributions & Results)

A. 数论层面的发现

逆问题求解：证明了对于任意素数 $p > 5$ ，存在无穷多个整数 $d$ ，使得 $p$ 是 WSS(d)* 素数（即 $k(p)=k(p^2)$ ）。
构造性证明：
- 可约情形：通过选取 $\mathbb{F}_p$ 上阶为 $p-1$ 的多项式，构造出 $k(p)=k(p^2)=p-1$ 的情况。
- 不可约情形：通过选取 $\mathbb{F}_{p^2}$ 中阶为 $2p+2$ 的元素，构造出 $k(p)=k(p^2)=2p+2$ 的情况。
与 $p$ -有理性的联系：明确了 $k(p)=k(p^2)$ 是 $\mathbb{Q}(\sqrt{d})$ 非 $p$ -有理的充要条件（在特定假设下）。

B. 编码理论层面的发现

重量分布公式：
- 定理 2 给出了当 $C_1$ 是长度为 $n \le p+1$ 的双重量 MDS 码时， $C_1$ 和 $C_2$ （ $\mathbb{Z}_{p^2}$ 上的提升码）的具体重量分布公式。
- 证明了在特定条件下（如 $n=p-1$ 或 $n=(p+1)/2$ ）， $C_1$ 的重量分布整除 $C_2$ 的重量分布。
MDS 与 NMDS 码的构造：
- MDS 码：在可约情况下，构造了参数为 $[p-1, 2, p-2]$ 的 MDS 码。
- NMDS 码：在不可约情况下，构造了一类新的 NMDS 码。
  - 命题 5：对于 $p \equiv 3 \pmod 4$ ，构造了参数为 $[2(p+1), 2, 2p]_p$ 的单重量码，该码是 NMDS 码。
  - 这类码的长度 $2p+2$ 是维度为 2 的 NMDS 码在 $\mathbb{F}_p$ 上可能达到的最大长度（极值 NMDS 码）。
重复码结构：
- 发现某些双重量码是较小 MDS 码的 $\ell$ 倍重复（ $\ell$ -fold repetition），特别是当权重差不是 $p$ 的幂时。
- 表 1、2、3 列出了大量具体的循环码参数实例（包括 $n, d, p$ 及重量分布），涵盖了 $p$ 从 7 到 167 的范围。

C. 具体数值结果

提供了多个具体的 WSS(d) 素数实例（如 $p=31, d=2$ 等）。
展示了在 $\mathbb{F}_p$ 和 $\mathbb{Z}_{p^2}$ 上，当 $p$ 为 WSS(d) 素数时，循环码的重量分布具有高度规律性（通常为双重量或单重量）。

4. 意义与影响 (Significance)

连接数论与编码理论：
该论文成功地将 Wall-Sun-Sun 素数这一数论难题与循环码的重量分布联系起来。通过研究码的代数结构（特别是重量分布），为探索二次域 $\mathbb{Q}(\sqrt{d})$ 的 $p$ -有理性质提供了新的视角和工具。
新码类的发现：
构造了一类新的 NMDS 码（特别是长度为 $2p+2$ 的极值 NMDS 码），丰富了编码理论中的码族。这些码在纠错能力上接近 MDS 码，具有重要的理论价值。
解决逆问题：
证明了对于任意大素数 $p$ ，总能找到对应的 $d$ 使得 $p$ 成为 WSS(d) 素数，这打破了 WSS(5) 素数（即经典斐波那契情形）可能不存在的僵局，表明在更广泛的二次域背景下，这类“异常”素数是普遍存在的。
未来方向：
论文最后提出，利用这些码的重量分布关系，可以推导 $p$ 和 $d$ 之间更深层的必要存在条件，这可能对代数数论中的类数问题和 $p$ -有理域的研究产生重要影响。

总结

这篇论文通过二阶递推序列作为桥梁，深入探讨了素数 $p$ 与二次域 $\mathbb{Q}(\sqrt{d})$ 算术性质（ $p$ -有理性与周期性质）之间的深刻联系。作者不仅从理论上证明了 WSS(d) 素数的广泛存在性，还利用这些数论性质构造了具有优良重量分布特性的循环码（MDS/NMDS），为代数编码理论和代数数论的交叉研究提供了新的成果。