[논문 리뷰] Still better nonlinear codes from modular curves

Noam D. Elkies|ArXiv.org|2003. 08. 05.

Coding theory and cryptography참고 문헌 11인용 수 13

한 줄 요약

이 논문은 유한체 크기 $ q^2 $ 상에서 모듈러 곡선을 활용하고 Xing의 도함수 기반 방법의 개선된 버전을 결합하여 비선형 오류 수정 부호의 새로운 구성법을 제안한다. 점점 최적화되는 모듈러 곡선 상의 유리 함수와 히브닝 볼 선택 과정을 최적화함으로써, 저자들은 Goppa와 Xing의 구성법을 초월하는 엄밀히 향상된 비선형 비율 $ R $ 과 상대적 거리 $ \delta $ 간의 游근적 상관관계를 달성한다. $ q \geq 4 $ 일 때, 핵심 결과는 이전 결과보다 $ q^{-3} $ 차수의 항으로 향상된 새로운 비선형 상한 $ R + \delta > 1 - \frac{1}{q_0 - 1} + \log_q(1 + 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} $ 는 소수 거듭제곱이다.
• 유한체 $ k $ 상의 유리 함수 공간 $ \mathcal{M}_D(h) $ 에서 $ k^N $ 으로의 평가 사상 $ \phi_1 $ 을 사용하여 부호를 정의한다. 여기서 $ N $ 은 곡선 $ C $ 상의 유리 점의 수이다.
• 기준 단어 $ c_0 \in (\mathbb{P}^1(k))^N $ 를 고정하고, $ c_0 $ 와 해밍 거리 $ \sigma_0 N $ 이내에 있는 평가값을 가지는 함수들의 집합 $ \mathscr{M}_D(h) $ 를 정의함으로써 코드 크기를 최대화한다.
• 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+1 $-문자 알파벳 대신 $ q $-문자 알파벳을 사용하면, Goppa와 Xing의 부호와의 직접적이고 공정한 비교가 가능한가?
• RQ3 모듈러 곡선과 Xing의 도함수 방법을 조합함으로써 달성 가능한 비선형 비율-거리 상관관계의 최대 향상 수준은 무엇이며, 이는 이전의 부호 구축법과 어떻게 비교되는가?
• RQ4 코드 구축법에서 해밍 볼 반경 $ \sigma_0 $ 를 최적화함으로써, $ (R_0, \delta_0) $ 의 비선형 가능 영역을 Goppa와 Xing의 경계를 초월하여 확장할 수 있는가?
• RQ5 특히 유리 점의 풍부함을 지닌 모듈러 곡선의 기하학적 성질을 활용하면, 더 나은 비선형 비율-거리 파rameter를 갖는 비선형 부호를 구축하는 데에 정량적 이점이 있는가?

주요 결과

• 제안된 구축법은 $ 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) $ 가 비선형적으로 가능하다는 것을 확인한다.