[논문 리뷰] On error distance of received words with fixed degrees to Reed-Solomon code

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

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$가 되는 경우를 특성화하여 깊은 구멍 문제의 사례를 해결하는 것.
• 유한체 위에서 대칭 다항식 체계의 해 존재성에 기반한 대수적 기준을 제공하는 것.
• Cheng-Murray와 Li-Wan의 이전 결과를 일반화하고 정밀화하여 깊은 구멍과 오차 거리 경계에 대한 분석을 개선하는 것.

제안 방법

• 수신 단어 $u$의 차수를 $n-1$ 이하의 유일한 보간 다항식 $u(x)$의 차수로 정의한다.
• 라그랑주 보간법을 사용하여 $u(x)$를 표현하고 $\deg(u) = k+1$ 또는 $k+2$인 경우의 구조를 분석한다.
• 오차 거리 문제를 $k+1$ 또는 $k+2$ 개의 서로 다른 체 원소에 대한 대칭 다항식 방정식계로 환원한다.
• 판별식 분석 및 이차 잔여 조건과 같은 체 이론 기법을 적용하여 $\mathbb{F}_q$에서의 해 존재성을 판단한다.
• 대칭 합과 추적 항등식을 사용하여 체계를 $x$에 대한 일변수 이차방정식으로 변환하고, 레지우스 기호를 통해 해 존재성을 분석한다.
• 체의 특성 $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 차수 $\deg(u) = k+2$인 경우, $u(x)$ 계수에 대한 어떤 대수적 조건이 $d(u, \mathcal{C}_q) = q-k-2$를 결정하는가?
• RQ3 표준 Reed-Solomon 코드에 대한 깊은 구멍 문제는 대칭 다항식 항등식을 통해 $\deg(u) = k+1$인 경우 완전히 해결될 수 있는가?
• RQ4 $d(u, \mathcal{C}_q) \leq q-k-1$를 만족하는 체계가 $\mathbb{F}_q$에서 해를 가지는 조건은 $q$, $k$, $u(x)$ 계수에 대해 어떤가?
• RQ5 체의 특성 $p$는 오차 거리 방정식의 해 존재성에 어떤 영향을 미치며, $k+1$의 $p$-나누어떨어짐은 어떤 역할을 하는가?

주요 결과

• 차수 $\deg(u) = k+1$일 때, 오차 거리 $d(u, \mathcal{C}_q) = q-k-1$이 성립하는 것은 $\mathbb{F}_q$에 속한 $k+1$ 개의 서로 다른 원소 $x_1, \dots, x_{k+1}$와 $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$에서 0이 아닌 제곱수일 때이고, 이는 $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$일 경우, $\mathbb{F}_q^*$ 내에서 $\sum_{i<j} \xi_i \xi_j = 0$를 만족하는 $k+1$ 개의 서로 다른 0이 아닌 원소 $\xi_i$가 존재하므로 $d(u, \mathcal{C}_q) \leq q-k-1$가 성립한다.
• 이 결과들은 Cheng-Murray와 Li-Wan의 이전 경계를 일반화하고 정밀화하며, 부등식이 아닌 정확한 기준을 제공하며, 특정 차수 경우에서 Cheng-Murray의 추측을 확인한다.