[논문 리뷰] Algebraic geometry codes and some applications

Alain Couvreur, Hugues Randriambololona|arXiv (Cornell University)|2020. 09. 02.

Coding theory and cryptography참고 문헌 110인용 수 6

한 줄 요약

이 논문은 유한체 위의 대수기하학적(AG) 코드를 조사하며, 그 구성 방법(대수적 곡선을 이용한), 향상된 최소 거리 한계, 복원 알고리즘을 상세히 기술한다. 주요 진전으로는 제곱체에서 기르베르트-바르샤모프 한계를 초월하는 츠파스만–블라두츠–지크 한계의 도입과, 공개키 암호화, 비밀 분배, 분산 스토리지용 국소적으로 복원 가능한 코드에의 적용을 강조한다.

ABSTRACT

This article surveys the development of the theory of algebraic geometry codes since their discovery in the late 70's. We summarize the major results on various problems such as: asymptotic parameters, improved estimates on the minimum distance, and decoding algorithms. In addition, we present various modern applications of these codes such as public-key cryptography, algebraic complexity theory, multiparty computation or distributed storage.

연구 동기 및 목표

• 1970년대 후반에 발견된 이후 대수기하학적 코드의 발전을 종합적으로 서술하는 것.
• 점 渐진적 매개변수, 최소 거리 한계, 복원 알고리즘에 관한 핵심 이론적 결과를 요약하는 것.
• 공개키 암호화, 다중 당사자 계산, 비밀 분배, 분산 스토리지 시스템에서의 현대적 응용을 제시하는 것.
• 특히 제곱체에서 우수한 코드 성능을 달성하는 데 기여하는 많은 유리점들을 가진 곡선의 역할을 부각하는 것.
• 곡선의 피보터 프로덕트를 이용해 다중 복원 세트를 가진 국소적으로 복원 가능한 코드(LRC)를 구성하는 것.

제안 방법

• 특히 곡선 위의 유리 함수와 미분형식을 이용해, 유한체 위의 대수기하학을 활용해 AG 코드를 구성한다.
• 함수체와 인수 이론을 적용하여 리만-로흐 공간을 통해 AG 코드를 정의하고 분석한다.
• 가르시아-슈타이헨롯 등의 순환적 곡선 타워를 이용해 높은 유리점 수를 가진 곡선의 수열을 구성한다.
• 곡선의 피보터 프로덕트 구조를 이용해 다중 복원 세트를 가진 국소적으로 복원 가능한 코드(LRC)를 구축한다.
• 코드를 조합하고 구조적 성질(예: 프레임프루프성, 비밀 분배)을 갖춘 새로운 코드를 도출하기 위해 $\star$-곱 연산을 적용한다.
• 반드시 반디스턴스 한계 이하의 오류를 복원하는 알고리즘과 리스트 복원 확장 알고리즘을 활용한다.

실험 결과

연구 질문

• RQ1 대수기하학적 코드는 어떤 유한체에서 기르베르트-바르샤모프 한계를 초월하는 점 渐진적 매개변수를 달성하는가?
• RQ2 고파의 원래 추정치를 초월해 향상된 최소 거리 하한은 무엇인가?
• RQ3 기존의 반디스턴스 한계를 초월해 더 많은 오류를 복원할 수 있는 효율적인 복원 알고리즘을 설계할 수 있는가?
• RQ4 대수기하학적 코드는 맥앨리스터 프레임워크에서 특히 안전한 공개키 암호 체계를 구성하는 데 어떻게 활용될 수 있는가?
• RQ5 다중 복원 세트를 가진 국소적으로 복원 가능한 코드는 대수적 곡선에서 어떻게 구성되고, 어떤 성질을 갖는가?

주요 결과

• q = p^2 또는 p^4 인 경우, 츠파스만–블라두츠–지크 한계는 점 渐진적 속도 R \geq 1 - \delta - \frac{1}{\sqrt{q}-1} 를 달성하며, q \geq 49 일 때 기르베르트-바르샤모프 한계를 초월한다.
• 아이라하 상수 A(q) 는 모듈라 및 셰이마 곡선에서 달성되며, 드릴린트–블라두츠는 이 한계가 최적임을 증명했다.
• 순환적 곡선 타워(예: 가르시아-슈타이헨롯)는 \limsup_{g \to \infty} \frac{\max |X(\mathbb{F}_q)|}{g} = A(q) 를 만족하는 곡선의 수열을 제공하며, 이는 최적의 코드 수열을 가능하게 한다.
• 성질 g 의 곡선에서 구성된 AG 코드는 고파의 추정치를 초월하는 최소 거리 하한을 갖는다. 이는 기존의 최고 성능 표를 뛰어넘는 코드를 가능하게 한다.
• 유량 t \geq 2 인 국소적으로 복원 가능한 코드(LRC)는 곡선의 피보터 프로덕트를 통해 구성할 수 있으며, 이는 다중 상호 배타적 복원 세트를 가진다.
• \Phi^*G 와 사상 \phi_1, \phi_2 를 통해 정의된 코드 \mathcal{C} 는 [n,k,d] 매개변수를 가지며, n = s(\ell_1+1)(\ell_2+1), k \geq (\deg G + 1 - g_X)\ell_1\ell_2, d \geq n - \deg G(\ell_1+1)(\ell_2+1) - \cdots 를 만족한다. 이는 양호한 국소성과 거리 특성을 보장한다.