[论文解读] Algebraic-geometric codes from vector bundles and their decoding

Valentin Savin|ArXiv.org|Mar 7, 2008

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

一句话总结

该论文提出了一种基于代数曲线上任意秩向量丛的全局截面的代数-几何码的广义构造方法，扩展了经典码与交织AG码。该方法在向量丛满足弱稳定性条件时，可在更小的域上实现解码，纠错能力达 $ t^* - g/2 $，其中 $ t^* $ 为设计容量，$ g $ 为曲线的亏格。

ABSTRACT

Algebraic-geometric codes can be constructed by evaluating a certain set of functions on a set of distinct rational points of an algebraic curve. The set of functions that are evaluated is the linear space of a given divisor or, equivalently, the set of section of a given line bundle. Using arbitrary rank vector bundles on algebraic curves, we propose a natural generalization of the above construction. Our codes can also be seen as interleaved versions of classical algebraic-geometric codes. We show that the algorithm of Brown, Minder and Shokrollahi can be extended to this new class of codes and it corrects any number of errors up to $t^{*} - g/2$, where $t^{*}$ is the designed correction capacity of the code and $g$ is the curve genus.

研究动机与目标

• 将经典代数-几何码的构造从线丛推广至代数曲线上任意秩的向量丛。
• 通过向量丛在统一框架下统一经典AG码与交织AG码的构造。
• 将Brown、Minder与Shokrollahi的解码算法扩展至此类更广义的码类。
• 建立码维数与最小距离可被界定的条件，特别是通过向量丛的弱稳定性。
• 证明即使码本身在大域 $ \mathbb{F}_Q $ 上，通过在较小的基域 $ \mathbb{F}_q $ 上运算，解码复杂度仍保持可控。

提出的方法

• 通过在代数曲线 $ \mathcal{C} $ 的 $ n $ 个不同有理点 $ P_1, \dots, P_n $ 上对秩为 $ r $ 的向量丛 $ E $ 的全局截面进行取值来构造码。
• 将码 $ C(\mathcal{P}, E) $ 定义为取值映射 $ \text{ev}: H^0(\mathcal{C}, E) \to \mathbb{F}_Q^n $ 的像，其中 $ Q = q^r $。
• 在向量丛 $ E $ 为弱稳定的情况下，利用Riemann-Roch定理对码维数进行下界估计。
• 通过将解码问题转化为在 $ \mathbb{F}_q $ 上求解一组双线性方程组，应用Brown、Minder与Shokrollahi的解码算法。
• 利用如下事实：若对所有 $ i $ 有 $ v(P_i) = \bar{f}(P_i) \otimes w(P_i) $，则 $ v = \bar{f} \otimes w $，前提是 $ n > \mu(E \otimes L) + t + g $。
• 通过线丛的非平凡扩张构造弱稳定向量丛，确保对任意线子丛 $ L $，有 $ \deg(L) \leq \mu(E) $。

实验结果

研究问题

• RQ1 代数-几何码能否从线丛推广至代数曲线上任意向量丛？
• RQ2 使用向量丛如何影响码维数与最小距离，特别是与曲线亏格的关系？
• RQ3 交织AG码的解码算法能否扩展至由高阶向量丛构造的码？
• RQ4 向量丛需满足何种条件，才能使码参数表现良好且解码可行？
• RQ5 在解码过程中，通过选择合适的向量丛与线丛，能在多大程度上提升解码性能？

主要发现

• 所提出的码将经典AG码（秩1）与交织AG码（线丛的直和）统一于使用任意向量丛的统一框架下。
• 在向量丛为弱稳定时，码维数由Riemann-Roch定理给出下界，且Singleton缺陷的上界为曲线亏格 $ g $。
• 解码算法可纠正最多 $ t^* - g/2 $ 个错误，其中 $ t^* $ 为设计纠错容量，扩展了此前对交织码的研究结果。
• 对于任意秩 $ r $ 与度 $ e $，在亏格 $ g \geq 2 $ 的曲线上，弱稳定向量丛均存在，可通过线丛的非平凡扩张构造。
• 解码过程在 $ \mathbb{F}_q $ 上进行，即使码本身在大域 $ \mathbb{F}_Q $ 上（$ Q = q^r $），也能实现高效计算。
• 关键解码条件 $ n > \mu(E \otimes L) + t + g $ 确保双线性方程组有唯一解，从而保证正确纠错。