[논문 리뷰] Algebraic Geometric codes from Kummer Extensions

Daniele Bartoli, Luciane Quoos외 1명|arXiv (Cornell University)|2016. 06. 13.

Coding theory and cryptography참고 문헌 9인용 수 3

한 줄 요약

이 논문은 유한체 위의 Kummer 확장 $ y^m = f(x) $ 를 이용하여 대수기하 코드를 개발하며, 여러 유리점에서의 Weierstrass 반군과 순수 갭(pure gaps)에 초점을 맞춘다. 순수 갭의 산술적 특성화를 제공하고, 개선된 최소거리와 감소된 Singleton 결함을 갖는 $ n $-점 AG 코드를 구성하며, 특히 허미티안 곡선 기반 코드에서 기존의 알려진 경계를 초월한다.

ABSTRACT

For Kummer extensions defined by $y^m = f (x)$, where $f (x)$ is a separable polynomial over the finite field $\mathbb{F}_q$, we compute the number of Weierstrass gaps at two totally ramified places. For many totally ramified places we give a criterion to find pure gaps at these points and present families of pure gaps. We then apply our results to construct many points algebraic geometric codes with good parameters.

연구 동기 및 목표

• Kummer 확장 $ y^m = f(x) $ 에서 유한체 위의 여러 유리점에서 순수 갭을 특성화하기 위해.
• 다중 점에서 Weierstrass 반군의 산술 조건을 이용하여 순수 갭를 식별하는 기준을 개발하기 위해.
• 특히 Goppa 경계를 초월하는 개선된 최소거리 확보를 위한 향상된 매개변수를 갖는 $ n $-점 대수기하 코드를 구성하기 위해.
• Kummer 곡선에서 유도된 AG 코드의 Singleton 결함 $ \delta = n+1-k-d $ 를 줄이기 위해.
• 허미티안 함수체에서의 명시적 구성 사례를 통해 이론의 효과성을 입증하며, MinT 표와의 비교에서 성능 향상을 보여주기 위해.

제안 방법

• 다중 유리점에서의 Weierstrass 반군 이론을 활용하여 Kummer 확장 $ y^m = f(x) $ 에서의 갭과 순수 갭을 분석한다.
• 일반화된 Weierstrass 반군 이론을 적용하여 $ s $ 개의 서로 다른 유리점에서의 순수 갭에 대한 산술 조건을 유도한다.
• 순수 갭 조건을 확인하기 위해 공식 $ \left\lfloor \frac{a_0 - rt}{m} \right\rfloor + \sum_{i=1}^s \left\lfloor \frac{a_i + t}{m} \right\rfloor < 0 $ 을 활용한다.
• 순수 갭 $ (a_i), (b_i) $ 를 갖는 $ G = \sum (a_i + b_i - 1)P_i $ 를 이용하여 $ [n,k,d] $-코드를 $ C_\Omega(D,G) $ 구성법으로 구성한다.
• 차원 $ k = n + g - 1 - \deg G $ 와 Goppa 경계 $ d \geq \deg G - (2g - 2) $ 를 계산하고, 순수 갭의 구조를 활용하여 이를 보완한다.
• 성능 지표로 Singleton 결함 $ \delta = n+1-k-d $ 를 사용하며, 순수 갭 가족을 통한 상한을 유도한다.

실험 결과

연구 질문

• RQ1 Kummer 확장 $ y^m = f(x) $ 에서 두 개의 완전 분기된 유리점에서의 Weierstrass 갭 수는 얼마인가?
• RQ2 이러한 확장에서 $ s $ 개의 서로 다른 유리점에서 순수 갭을 특성화하는 산술 조건은 무엇인가?
• RQ3 Kummer 확장에서 순수 갭를 체계적으로 구성하여 AG 코드의 매개변수를 향상시킬 수 있는 방법은 무엇인가?
• RQ4 n-점 AG 코드의 최소거리가 고전적 Goppa 경계를 얼마나 초월할 수 있는가?
• RQ5 특히 허미티안 함수체에서 Kummer 곡선에서 유도된 $ n $-점 코드에서 Singleton 결함을 얼마나 줄일 수 있는가?

주요 결과

• Kummer 확장 $ y^m = f(x) $ 에서 $ m = ur+1 $ 인 경우, 두 개의 완전 분기된 점에서의 Weierstrass 갭 수가 명시적으로 계산되었으며, 이는 이전 결과를 일반화한다.
• 순수 갭에 대한 기준이 부등식 $ \left\lfloor \frac{a_0 - rt}{m} \right\rfloor + \sum_{i=1}^s \left\lfloor \frac{a_i + t}{m} \right\rfloor < 0 $ 를 통해 확립되었으며, $ t = 0, \dots, m-1 $ 에 대해 유효하다.
• 순수 갭 가족이 구성되었으며, 예를 들어 $ (a_1,\dots,a_s) = ((r-s-1)m+1,1,\dots,1) $ 과 $ (b_1,\dots,b_s) = ((r-s-1)m+su, (s-1)u, \dots, u) $ 가 포함된다.
• 순수 갭이 $ s $ 개의 점에서 존재하는 코드에 대해 Singleton 결함이 $ \delta \leq \frac{ur(r-1) - us(s+1)}{2} $ 로 상한이 설정되었으며, 이는 표준 경계보다 향상됨을 보여준다.
• 허미티안 곡선의 경우 ($ q^2 $, $ r = q $, $ u = 1 $), 구성된 코드는 MinT 표 대비 최대 3 단위의 최소거리 향상을 보였으며, 특히 $ s=2,3,4 $ 에서 뚜렷한 성능 향상을 보였다.
• 예제 4.8에서는 $ q=49 $, $ s=2 $ 인 경우에 코드가 $ n=342 $, $ k=295 $, $ d \geq 30 $ 으로 구성되었으며, MinT 표 대비 최소거리에서 3 단위의 향상을 달성하였다.