[论文解读] Still better nonlinear codes from modular curves

Noam D. Elkies|ArXiv.org|Aug 5, 2003

Coding theory and cryptography参考文献 11被引用 13

一句话总结

本文通过将模曲线与Xing的基于导数的改进方法相结合，提出了一种在大小为 $ q^2 $ 的有限域上构造非线性纠错码的新方法。通过使用渐近最优的模曲线上的有理函数，并优化一个汉明球选择过程，作者实现了在码率 $ R $ 与相对距离 $ \delta $ 之间严格改进的渐近权衡，对于 $ q \geq 4 $，其性能超越了Goppa与Xing的构造。关键结果是一个新的渐近界 $ R + \delta > 1 - \frac{1}{q_0 - 1} + \log_q(1 + q^{-3}) $，相比先前结果，其改进项达到 $ q^{-3} $ 阶。

ABSTRACT

We give a new construction of nonlinear error-correcting codes over suitable finite fields k from the geometry of modular curves with many rational points over k, combining two recent improvements on Goppa's construction. The resulting codes are asymptotically the best currently known.

研究动机与目标

• 解决长期存在的挑战：构造出在渐近码率-距离权衡上优于已知线性构造的非线性码。
• 通过引入非线性变体，克服Goppa线性码构造的局限性，后者是唯一已知在 $ q = q_0^2 $ 时能超越Gilbert-Varshamov界的方法。
• 通过利用模曲线的几何结构并优化有理函数的选择，改进Xing近期提出的非线性代数几何码构造。
• 通过采用相同的字母表大小 $ q $，实现模曲线构造的非线性码与Xing码之间的直接比较，从而实现公平的渐近评估。
• 在理论层面提升 $ (R_0, \delta_0) $ 的渐近可行性区域，使其超越先前构造的界限。

提出的方法

• 在大小为 $ q^2 $ 的有限域 $ k $ 上定义的曲线 $ C $ 上，利用有理函数构造非线性码 $ \mathscr{C}_D(h) $，其中 $ q_0 = \sqrt{q} $ 为素数幂。
• 利用从有理函数空间 $ \mathcal{M}_D(h) $ 到 $ k^N $ 的评价映射 $ \phi_1 $ 定义码，其中 $ N $ 为曲线 $ C $ 上的有理点数。
• 固定一个参考码字 $ c_0 \in (\mathbb{P}^1(k))^N $，并将 $ \mathscr{M}_D(h) $ 定义为所有其在 $ c_0 $ 的汉明距离不超过 $ \sigma_0 N $ 的函数集合，以最大化码的大小。
• 应用受Xing方法启发的基于导数的单射性论证，通过限制不同函数之间共同取值的数量，确保码的最小距离至少为 $ \delta N $。
• 优化参数 $ \sigma_0 $ 以最大化渐近码率-距离权衡，发现最优 $ \sigma_0 = 1/(q^3 + 1) $，对应 $ \sigma_0/(1 - \sigma_0) = q^{-3} $。
• 将 $ (q+1) $-字母表的熵函数 $ H_{q+1}(\sigma_0) $ 与函数空间的大小相结合，推导出码大小的下界，从而获得改进的渐近界。

实验结果

研究问题

• RQ1 能否通过引入类似Xing工作中基于导数的单射性技术，改进基于模曲线上有理函数的非线性码构造？
• RQ2 在码构造中使用 $ q $-字母表而非 $ q+1 $-字母表，是否能实现与Goppa和Xing码的直接且公平比较？
• RQ3 通过结合模曲线与Xing的基于导数的方法，可实现的渐近码率-距离权衡的最大改进是多少？其与先前构造相比如何？
• RQ4 通过在码构造中优化汉明球半径 $ \sigma_0 $，能否将 $ (R_0, \delta_0) $ 的渐近可行性区域扩展至超越Goppa与Xing边界的范围？
• RQ5 使用模曲线的几何结构——特别是其丰富的有理点——在构造具有更优渐近参数的非线性码方面，是否存在可量化的优势？

主要发现

• 所提出的构造在 $ k $ 上生成了元素数为 $ q = q_0^2 $ 的非线性码，其渐近码率-距离权衡严格优于Goppa与Xing的构造。
• 新的渐近界为 $ R + \delta > 1 - \frac{1}{q_0 - 1} + \log_q\left(1 + \frac{1}{q^3}\right) $，相比Xing的界，改进项为 $ q^{-3} $ 阶，具体为 $ \log_q(1 + q^{-3}) \approx q^{-3}/\log q $。
• 通过选择 $ \sigma_0 = 1/(q^3 + 1) $，构造实现了码率-距离乘积的最大化，且该选择确保码保持单射性，并具有至少 $ \delta N $ 的最小距离。
• 当 $ q_0 \geq 4 $ 时，改进效果显著，因为即使在 $ \delta = 1 $ 时，阈值条件 $ 2h/N > 2q/(q^2 - 1) $ 仍被满足，从而可构造出高码率与高距离的码。
• 与Goppa和Xing的码不同，新码使用的是 $ q $-字母表，因此可与Xing的码进行直接比较，并证实[5]中的构造在相同设置下优于Xing的构造。
• 该构造对所有 $ q_0 \geq 4 $ 有效，且 $ (R_0, \delta_0) $ 的渐近可行性区域已扩展至超越Gilbert-Varshamov与Goppa边界的范围，确认当 $ R_0 + \delta_0 < 1 - \frac{1}{q_0 - 1} + \log_q(1 + q^{-3}) $ 时，$ (R_0, \delta_0) $ 是渐近可行的。