[论文解读] Generalized Hermitian Codes over GF(2^r)

Stanislav Bulygin|ArXiv.org|Nov 8, 2005

Coding theory and cryptography参考文献 3被引用 5

一句话总结

本文通过将经典赫尔米特函数域推广至更高阶 r ≥ 3 的 GF(2^r)，引入了 GF(2^r) 上的广义赫尔米特（GH）码，利用 Weierstrass 半群与 Feng-Rao 界构造出参数更优的码。证明了 GH 码的对偶码仍为 GH 码，并提出了一种新的 [32,16,≥12] 码（在 GF(8) 上），其最小距离打破了此前记录，展示了 GH 码在编码理论中的实用性。

ABSTRACT

In this paper we studied generalization of Hermitian function field proposed by A.Garcia and H.Stichtenoth. We calculated a Weierstrass semigroup of the point at infinity for the case q=2, r>=3. It turned out that unlike Hermitian case, we have already three generators for the semigroup. We then applied this result to codes, constructed on generalized Hermitian function fields. Further, we applied results of C.Kirfel and R.Pellikaan to estimating a Feng-Rao designed distance for GH-codes, which improved on Goppa designed distance. Next, we studied the question of codes dual to GH-codes. We identified that the duals are also GH-codes and gave an explicit formula. We concluded with some computational results. In particular, a new record-giving [32,16,>=12]-code over GF(8) was presented.

研究动机与目标

• 将 GF(2^r) 上的赫尔米特函数域推广至 r ≥ 3 的情形，扩展经典赫尔米特曲线的构造方法。
• 在 q=2 且 r≥3 的情况下，确定 GH-域在无穷远处的 Weierstrass 半群结构，其生成元数量为三个，与经典情形不同。
• 利用 Riemann-Roch 空间构造 GH-码，并通过 Feng-Rao 设计距离界分析其参数。
• 研究 GH-码的对偶性质，证明其对偶码仍为 GH-码，从而实现自正交性与自对偶性的条件分析。
• 在 GF(8) 上计算具体的 GH-码，并在 Brouwer 表中识别出一个打破记录的新码。

提出的方法

• 将赫尔米特曲线方程推广至 GF(2^r) 上的 y^{2^{r-1}} + ... + y = x^{2^{r-1}+2^{r-2}} + ... + x^3，定义了一类称为 GH-域的函数域族。
• 利用赋值理论与分歧理论，证明无穷远处的极点 Q∞ 是完全分歧的，且满足 e(Q∞|P∞) = 2^{r-1}，并计算了 x 与 y 的除子次数。
• 应用 Riemann-Roch 定理，通过来自 Weierstrass 半群的约束条件，利用单项式 x^i y^j 确定 L(sQ∞) 的基。
• 运用微分理论与 Hurwitz 公式，计算得 (dx) = (2g−2)Q∞，这对对偶性结果至关重要。
• 应用 Kirfel 与 Pellikaan 的结果，估算 Feng-Rao 设计距离，使其优于 Goppa 界。
• 利用计算代数系统（SINGULAR 与 GAP）构造生成矩阵，并计算 GF(8) 上码的最小距离。

实验结果

研究问题

• RQ1 如何将 GF(2^r) 上的赫尔米特函数域推广至更高阶 r ≥ 3？这些推广域的结构特性是什么？
• RQ2 当 q=2 且 r≥3 时，GH-域在无穷远处的 Weierstrass 半群结构是怎样的？与经典赫尔米特情形有何不同？
• RQ3 GH-码的 Feng-Rao 设计距离能否优于 Goppa 界？这对最小距离估计有何影响？
• RQ4 GH-码的对偶码是否仍为 GH-码？在何种条件下会出现自正交性或自对偶性？
• RQ5 计算方法能否在 GF(8) 上构造出新的打破记录的码？其参数达到何种水平？

主要发现

• 在 GF(2^r) 上（r≥3）的 GH-域中，无穷远处的 Weierstrass 半群由三个元素生成，与经典赫尔米特情形中仅由两个生成元构成不同。
• GH-域的亏格为 g = 2^{r-1}(2^{r-1}−1)/2，有理点的数量为 N = 1 + 2^{2r−1}。
• GH-码 GH_s 的对偶码仍为 GH-码，具体为 GH_s^⊥ = GH_{2^{2r−1} + 2^{r-1}(2^{r-1}−1)−2−s}。
• 构造出一个新的 [32,16,≥12] 码（在 GF(8) 上），其最小距离至少为 12，打破了 Brouwer 表中的此前记录。
• 当 k=16 时，Feng-Rao 设计距离 δ_FR(16) ≥ 12，证实该码的纠错能力显著优于 Goppa 界。
• 该 GF(8) 上参数为 [32,16,≥12] 的码是目前已知首个实现此最小距离的线性码，为 GF(8) 上线性码设立了新的基准。