[论文解读] On error distance of received words with fixed degrees to Reed-Solomon code

YuJuan Li, Guizhen Zhu|arXiv (Cornell University)|Aug 12, 2015

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

一句话总结

本文针对有限域上标准与本原Reed-Solomon码，提供了对次数为 $k+1$ 和 $k+2$ 的接收码字的误差距离的精确代数刻画。通过拉格朗日插值与对称多项式恒等式，推导出误差距离为 $q-k-1$ 或 $q-k-2$ 的充要条件，解决了深孔问题中特定情形的精确判别准则，基于域的特征及二次方程的可解性。

ABSTRACT

Under polynomial time reduction, the maximum likelihood decoding of a linear code is equivalent to computing the error distance of a received word. It is known that the decoding complexity of standard Reed-Solomon codes at certain radius is at least as hard as the discrete logarithm problem over certain large finite fields. This implies that computing the error distance is hard for standard Reed-Solomon codes. Using some elegant algebraic constructions, we are able to determine the error distance of received words whose degree is k+1 to the Standard Reed-Solomon code or Primitive Reed-Solomon code exactly. Moreover, we can precisely determine the error distance of received words of degree k+2 to the Standard Reed-Solomon codes. As a corollary, we can simply get the results of Zhang-Fu-Liao and Wu-Hong on the deep hole problem of Reed-Solomon codes.

研究动机与目标

• 确定固定次数 $k+1$ 的接收码字到标准与本原Reed-Solomon码的精确误差距离。
• 将分析扩展至次数 $k+2$ 的码字，推导误差距离为 $q-k-2$ 的精确条件。
• 通过刻画 $\deg(u) = k+1$ 时 $d(u, \mathcal{C}) = q-k$ 的情形，完全解决标准Reed-Solomon码的深孔问题。
• 基于有限域上对称多项式组的可解性，提供代数判别准则。
• 推广并细化Cheng-Murray与Li-Wan关于深孔与误差距离界的研究结果。

提出的方法

• 将接收码字 $u$ 的次数定义为其唯一插值多项式 $u(x)$ 的次数，且 $\deg(u(x)) \leq n-1$。
• 使用拉格朗日插值表示 $u(x)$，并分析 $\deg(u) = k+1$ 或 $k+2$ 时的结构。
• 将误差距离问题转化为在 $k+1$ 或 $k+2$ 个不同域元素上求解对称多项式方程组。
• 应用域论技术，包括判别式分析与二次剩余条件，判断在 $\mathbb{F}_q$ 上的可解性。
• 利用初等对称和与迹恒等式，将方程组转化为关于 $x$ 的单变量二次方程，通过勒让德符号分析其可解性。
• 根据域 $\mathbb{F}_q$ 的特征 $p$ 分类讨论，区分 $p=2$、$p=3$ 与 $p>3$ 的情形，并利用 $\mathbb{F}_q$ 上 $\sum x = 0$ 与 $\sum x^2 = 0$ 的已知恒等式。

实验结果

研究问题

• RQ1 对于满足 $\deg(u) = k+1$ 的接收码字 $u$，$d(u, \mathcal{C}_q)$ 的精确值是多少？其何时等于 $q-k-1$？
• RQ2 $u(x)$ 的系数需满足何种代数条件，才能使 $d(u, \mathcal{C}_q) = q-k-2$ 成立（当 $\deg(u) = k+2$ 时）？
• RQ3 能否通过使用对称多项式恒等式，完全解决标准Reed-Solomon码中次数为 $k+1$ 的码字的深孔问题？
• RQ4 在何种 $q$、$k$ 与 $u(x)$ 系数条件下，误差距离满足 $d(u, \mathcal{C}_q) \leq q-k-1$ 的方程组在 $\mathbb{F}_q$ 中有解？
• RQ5 域的特征 $p$ 如何影响误差距离方程的可解性？$k+1$ 的 $p$-整除性在其中起何作用？

主要发现

• 当 $\deg(u) = k+1$ 时，$d(u, \mathcal{C}_q) = q-k-1$ 当且仅当存在 $k+1$ 个互异元素 $x_1, \dots, x_{k+1} \in \mathbb{F}_q$ 与 $a \in \mathbb{F}_q$，满足方程组：$b = \sum x_i + a$ 与 $c = a\sum x_i + \sum_{i<j} x_i x_j$，其中 $b$ 与 $c$ 为 $u(x)$ 的系数。
• 当 $p=3$ 时，$d(u, \mathcal{C}_q) = q-k-2$ 当且仅当 $-c$ 是 $\mathbb{F}_q$ 中的非零平方，等价于存在互异的 $x_1, x_2 \in \mathbb{F}_q$ 使得 $-c = (x_1 - x_2)^2$。
• 当 $p \neq 2$ 时，误差距离方程的可解性等价于一个涉及初等对称和的判别式表达式是否属于二次剩余集 $S = \{x^2 \mid x \in \mathbb{F}_q\}$。
• 当 $k+1 \equiv r \pmod{p}$ 且 $r \neq 0, -1$ 时，二次方程的可解性取决于 $m = \sum y_i$ 与 $n = \sum y_i^2$ 的导出表达式是否属于 $S$，在 $q$ 与 $k$ 满足弱条件时该条件可保证成立。
• 若 $k+1 > q/2$，则 $d(u, \mathcal{C}_q) \leq q-k-1$ 成立，因为存在 $k+1$ 个互异的非零元素 $\xi_i \in \mathbb{F}_q^*$ 满足 $\sum_{i<j} \xi_i \xi_j = 0$，意味着方程组有解。
• 本研究推广并细化了Cheng-Murray与Li-Wan的先前结果，提供精确判别准则而非仅不等式，并在特定次数情形下证实了Cheng-Murray的猜想。