[논문 리뷰] Excellent nonlinear codes from modular curves

Noam D. Elkies|ArXiv.org|2001. 04. 10.

Coding theory and cryptography참고 문헌 12인용 수 18

한 줄 요약

이 논문은 유한체 위의 모듈러 곡선을 사용하여 비선형 에러 수정 코드의 새로운 구성법을 제안하며, 특정 알파벳 크기와 오류율에서 선형 고파 코드보다 더 높은 渐近 전송률을 달성한다. 많은 유리점이 있는 곡선 위의 차수 제한된 유리 함수를 인코딩함으로써, 특히 곡선의 종수(genus)가 증가하고 체의 크기가 제곱일 경우, 성능이 뛰어난 비율-거리 무게 조정을 갖는 코드를 얻을 수 있다. 이는 대수기하학과 함수체 이론의 고급 도구를 활용하여 성능 한계를 설정하는 데 기반한다.

ABSTRACT

We introduce a new construction of error-correcting codes from algebraic curves over finite fields. Modular curves of genus g -> infty over a field of size q0^2 yield nonlinear codes more efficient than the linear Goppa codes obtained from the same curves. These new codes now have the highest asymptotic transmission rates known for certain ranges of alphabet size and error rate. Both the theory and possible practical use of these new record codes require the development of new tools. On the theoretical side, establishing the transmission rate depends on an error estimate for a theorem of Schanuel applied to the function field of an asymptotically optimal curve. On the computational side, actual use of the codes will hinge on the solution of new problems in the computational algebraic geometry of curves.

연구 동기 및 목표

• 선형 코드(예: Goppa 코드)보다 더 뛰어난 渐近 성능을 갖는 새로운 비선형 에러 수정 코드의 클래스를 개발하기 위해.
• 특히 높은 유리점 수를 갖는 모듈러 곡선을 사용하여, 유한체 위의 효율적인 코드를 탐색하기 위해.
• 제타 함수와 함수체 추정치를 활용하여 이러한 코드의 비율과 최소 거리에 대한 이론적 한계를 설정하기 위해.
• 특히 대수기하학 도구를 통해 이러한 코드를 구성하고 디코딩하는 데 발생하는 계산적 과제를 다루기 위해.
• 관측된 비선형 코드와 Goppa 코드 간의 비율-거리 성능의 동등성이 우연인지, 아니면 개념적으로 의미 있는 것인지 탐구하기 위해.

제안 방법

• 곡선 위의 차수 제한된 유리 함수를 그 유리점들에서의 평가 벡터로 매핑하여 비선형 코드를 구성한다.
• 알파벳으로 유한체 위의 사영선을 사용하여 무한대도 포함된 값을 허용함으로써, 총 $ q+1 $개의 기호로 이루어진 코드를 형성한다.
• 선형 번들의 도입된 차수 0인 딜로르 $ D $ 와 관련된 차수 $ \leq h $인 유리 섹션의 집합으로서 코드 $ \mathcal{C}_D(h) $ 를 정의하며, 기본 사례 $ \mathcal{C}_0(h) $ 를 일반화한다.
• 곡선의 제타 함수를 활용하여 코드 크기를 계산하고, 정확한 개수를 유도하기 위해 생성함수 $ Z_1(z) $ 와 $ Z_2(z) $ 를 사용한다.
• 서로 다른 차수 $ \leq h $인 유리 함수들이 최대 $ 2h $개의 점에서 일치하므로, 최소 거리가 $ N - 2h $ 이상임을 증명한다.
• 코드와 체 $ k $ 에 대한 차수 $ 2h+1 $ 인 유한체 확장 $ k' $ 사이의 전단사 사상 수립을 통해, 선형 시스템을 푸는 방식으로 효율적인 열거 및 디코딩이 가능하다.

실험 결과

연구 질문

• RQ1 알파벳 기호 수가 $ q+1 $개인 코드에 대해, Gilbert-Varshamov 한계와 Goppa 한계 사이의 교차점 근처에서 $ \mathcal{C}_D(h) $ 의 구성법을 수정하여 성능을 향상시킬 수 있는가?
• RQ2 좋은 코드의 존재에 대한 임계값 $ 2q/(q^2 - 1) $ 이 최적인지, 아니면 낮출 수 있는가?
• RQ3 특히 $ q = 4, 9, 16 $ 인 경우, 임계값 $ \rho_1(q) $ 를 1 이하로 낮출 수 있는가? 이를 통해 작은 알파벳에서 양의 비율과 최소 거리를 갖는 장수 코드를 결정론적으로 구성할 수 있는가?
• RQ4 코드 $ \mathcal{C}_D(h) $ 가 평균 크기 이상을 확보하는 딜로르 $ D $ 를 다항시간 또는 무작위 다항시간 내에 계산할 수 있는가?
• RQ5 비선형 코드를 $ q+1 $에서 $ q $개 기호로 떨어뜨릴 때 비율-거리 무게 조정이 유지되는 이유는 무엇이며, 이 요소들의 상쇄 현상에 대한 더 깊은 개념적 설명이 존재하는가?

주요 결과

• 코드 $ \mathcal{C}_0(h) $ 는 최소 거리가 $ N - 2h $ 이상임을 보장하므로, $ h < N/2 $ 일 때 신뢰성 있는 오류 탐지 및 수정이 가능하다.
• 사영선 $ \mathbb{P}^1 $ 에서의 유리 함수 경우, 코드 $ \mathcal{C}(h) $ 의 크기는 정확히 $ q^{2h+1} $ 이며, 이는 $ \mathbb{F}_q $ 에 대한 차수 $ 2h+1 $ 인 유한체 확장의 크기와 일치한다.
• 이 구성법은 비선형 코드로서 渐近 전송률 $ R $ 과 상대 거리 $ \delta $ 가 $ R + \delta > 1 - \frac{1}{q_0 - 1} - o(1) $ 를 만족함을 보여주며, 이는 Goppa 한계와 동일하지만, $ q+1 $-기호 알파벳을 사용하는 비선형 코드에 대해 성립한다.
• 곡선의 제타 함수를 통해 생성함수 $ Z_1(z) = \frac{1}{(1-z)(1-qz)} $ 와 $ Z_2(z) = \frac{1+qz}{(1-z)(1-qz)(1-q^2 z)} $ 를 이용하여 코드 크기를 정확히 계산할 수 있으며, $ h > 0 $ 일 때 $ A_h = q^{2h} + q^{2h-1} $ 이다.
• 코드와 크기가 $ q^{2h+1} $ 인 유한체 $ k' $ 사이의 다항시간 전단사 사상이 존재하여, $ 2h+1 $ 차원 선형 시스템을 푸는 방식으로 효율적인 인코딩과 디코딩이 가능하다.
• 논문은 비선형 코드를 $ q+1 $에서 $ q $개 기호로 떨어뜨릴 때 비율-거리 무게 조정이 유지됨을 보여주며, 이는 $ (q/(q+1))^N $ 과 $ ((q+1)/q)^N $ 의 상쇄 현상이 비우연한 것임을 시사한다.