[논문 리뷰] Transitive and Self-dual Codes Attaining the Tsfasman-Vladut-Zink Bound

Henning Stichtenoth|ArXiv.org|2005. 06. 14.

Coding theory and cryptography인용 수 4

한 줄 요약

이 논문은 순환 코드의 일반화로 전이적 코드(전이적 자동군을 갖는 선형 코드)를 도입하고, q = ℓ²가 제곱수일 때 유한체 𝔽_q에서 티파스만-플라두트-지크(TVZ) 경계에 도달함을 증명한다. 새로운 점점 최적화되는 갈로아 함수체 타워를 사용하여, 점점 최적화되는 전이적, 자기수직, 자기쌍대 코드의 수열을 구성함으로써, q ≥ 49일 경우 기존의 지르베르트-바르샤모프 경계를 크게 향상시킨다.

ABSTRACT

We introduce - as a generalization of cyclic codes - the notion of transitive codes, and we show that the class of transitive codes is asymptotically good. Even more, transitive codes attain the Tsfasman-Vladut-Zink bound over F_q, for all aquares q=l^2. We also show that self-orthogonal and self-dual codes attain the Tsfasman-Vladut-Zink bound, thus improving previous results about self-dual codes attaining the Gilbert-Varshamov bound. The main tool is a new asymptotically optimal tower (E_n) of function fields over F_q where all extensions E_n/E_0 are Galois.

연구 동기 및 목표

• 순환 코드가 점점 최적화되는가에 대한 열린 문제를 해결하기 위해 전이적 코드의 더 넓은 클래스를 도입함으로써.
• 𝔽_q에서 q = ℓ²인 전이적 코드가 티파스만-플라두트-지크(TVZ) 경계에 도달함을 증명함으로써 점점 최적화됨을 입증함.
• 자기수직 및 자기쌍대 코드도 TVZ 경계에 도달함을 보이며, 이는 이전 결과가 지르베르트-바르샤모프 경계에만 도달한 데 비해 향상됨을 의미함.
• 𝔽_q (q=ℓ²)에서 모든 확장이 갈로아인 점점 최적화되는 함수체 타워를 신규로 구성함으로써, 최적의 매개변수를 갖는 코드의 구성이 가능해짐.

제안 방법

• 대칭군 S_n에서 전이적 자동군을 갖는 것으로 정의된 순환 코드의 일반화로 전이적 코드를 도입함.
• 𝔽_q (q=ℓ²)에서 E₀ ⊆ E₁ ⊆ E₂ ⊆ …로 이어지는 새로운 함수체 타워를 구성함. 여기서 모든 확장 E_n/E₀는 갈로아이면서 최대의 계수 성장률을 가짐.
• 타워의 함수체에서의 인수와 미분형식을 이용해 기하학적 고파 코드를 유도함으로써, 제어 가능한 매개변수를 갖는 선형 코드를 생성함.
• 유리 점에서 미분형식의 잔여물을 이용해 구성된 코드의 쌍대를 특성화함으로써, 자기수직성과 자기쌍대성을 가능하게 함.
• 장소에 대한 갈로아 작용을 활용해 코드의 전이성을 증명함으로써 자동군이 좌표 위치에 대해 전이적으로 작용함을 보장함.
• 드릴린드-플라두트 경계와 타워의 종수 성장 성질을 적용하여 점점 최적화되는 매개변수를 유도하고, 코드가 TVZ 경계를 충족함을 검증함.

실험 결과

연구 질문

• RQ1 순환 코드를 일반화하는 전이적 코드의 클래스가 제곱수 차수의 유한체에서 티파스만-플라두트-지크 경계에 도달할 수 있는가?
• RQ2 𝔽_q (q=ℓ²)에서 자기수직 및 자기쌍대 코드가 TVZ 경계에 도달하여 지르베르트-바르샤모프 경계를 초월하는가?
• RQ3 모든 확장이 갈로아인 𝔽_q (q=ℓ²)에서의 새로운 함수체 가닥이 존재하는가? 이는 점점 최적화되는 코드의 구성에 기여함.
• RQ4 이러한 타워에서 유도된 기하학적 고파 코드가 미분형식 잔여물 분석을 통해 전이적, 자기수직 또는 자기쌍대임을 입증할 수 있는가?
• RQ5 이러한 구조적 코드의 점점 최적화되는 비율 R과 상대 최소 거리 δ 사이의 상호 교환 관계는 무엇이며, 기존의 경계와 비교해 볼 때 어떻게 되는가?

주요 결과

• 𝔽_q에서 q=ℓ²인 전이적 코드는 티파스만-플라두트-지크 경계에 도달하며, δ∈(0,1−1/(ℓ−1))에 대해 점점 최적화된 비율 R ≥ 1−δ−1/(ℓ−1)을 가짐.
• 𝔽_q (q=ℓ²)에서 자기수직 코드는 TVZ 경계에 도달하며, δ∈(0,1−1/(ℓ−1))에 대해 R ≥ 1−δ−1/(ℓ−1)이면서 R≤1/2를 만족함.
• 𝔽_q (q=ℓ²)에서 자기쌍대 코드 역시 TVZ 경계에 도달하며, 점점 최적화된 비율 R=1/2이며 상대 최소 거리 δ는 R=1−δ−1/(ℓ−1)를 만족함.
• 구성된 기하학적 고파 코드 C^{(n)}_{a,b}는 0≤a≤a_n/2 및 0≤b≤b_n/2일 때 전이적이고 등가수직이며, a=a_n/2, b=b_n/2일 때 등가쌍대임.
• C^{(n)}_{a,b}의 쌍대는 (C^{(n)}_{a,b})^⊥ = u·C^{(n)}_{a_n−a,b_n−b}로 주어지며, 여기서 u는 유리 점에서 미분형식의 잔여물로 이루어진 벡터임.
• q≥49일 경우 TVZ 경계는 지르베르트-바르샤모프 경계를 엄격히 초월하며, 구성된 코드는 이 향상된 경계를 충족함으로써 그 우월성을 입증함.