[논문 리뷰] Minimal value set polynomials and a generalization of the Hermitian curve

Herivelto Borges, Ricardo Conceição|arXiv (Cornell University)|2014. 01. 15.

Algebraic Geometry and Number Theory참고 문헌 6인용 수 3

한 줄 요약

이 논문은 정의 방정식에 최소 값 집합 다항식(MVSPs)을 사용하여 히르미티안 곡선과 노름-트레이스 곡선을 일반화하는 유한 체 위의 새로운 대수적 곡선 가족을 소개한다. 이 구성은 높은 유리점 수와 무한대에서의 명시적 계산된 위어스트라스 반군을 제공하며, 새로운 캐슬 곡선과 향상된 $ N/g $ 비율을 이끌어내며, 주요 기여는 텔레스코픽 반군 이론을 활용해 특수한 하위류에 대해 위어스트라스 반군을 결정하는 데 있다.

ABSTRACT

We use a recent characterization of minimal value set polynomials and $q$- Frobenius nonclassical curves to construct curves that generalize the Hermitian curve. The genus $g$ and the number $N$ of $\mathbb{F}_q$-rational points of the curves are computed and, for a special family of these curves, we determine the Weierstrass semigroup at the unique point at infinity. These special curves yield new examples of Castle curves and improve on a previous example of Garcia-Stichtenoth of curves with large ratio $N/g$.

연구 동기 및 목표

• 유한 체 위의 히르미티안 곡선을 최소 값 집합 다항식(MVSPs)을 사용해 정의 방정식을 확장하여 일반화하는 것.
• 기존의 예인 노름-트레이스 곡선과 일반화된 히르미티안 곡선에 비해 높은 유리점 수 대 종수 비율($N/g$)을 갖는 곡선을 구성하는 것.
• 특수한 하위류에 대해 유일한 무한대 점에서의 위어스트라스 반군을 계산하여, 더 나은 대수기하학 코드 구성에 기여하는 것.
• MVSPs와 $q$-프로베누스 비정규 곡선 사이의 연결 고리를 설정하며, 최근의 MVSP 특성화를 활용하는 것.
• 구성된 곡선이 캐슬 곡선임을 입증하여, 좋은 대수기하학 코드를 지원하는 것으로 알려진 곡선임을 보여주는 것.

제안 방법

• 정의 방정식에 최소 값 집합 다항식(MVSPs)을 사용하여 $ \bar{\bbF}_{q^n} $ 위의 새로운 곡선 가족 $ \tilde{\text{H}} $를 정의한다: $ y^{q^{n-1}} + \rho y^{q^{n-2}} + \rho^q y^{q^{n-3}} + \rho^{q^2} y^{q^{n-4}} + \rho^{q^3} y^{q^{n-5}} + \rho^{q^4} y^{q^{n-6}} + \rho^{q^5} y^{q^{n-7}} + \rho^{q^6} y^{q^{n-8}} + \rho^{q^7} y^{q^{n-9}} = f(x) $, 여기서 $ f(x) $는 값 집합이 $ \bbF_q $인 최소 값 집합 다항식이다.
• 이전 연구에서의 MVSP 특성화를 사용하여 오른쪽 항의 다항식 $ f(x) $ 가 $ \text{card}(V_f) = \floor{(q^n - 1)/\text{deg}(f)} + 1 $ 를 만족하도록 보장함으로써, 곡선이 $ q $-프로베누스 비정규임을 보장한다.
• $ q $-프로베누스 비정규 곡선 이론을 적용하여 곡선 $ \tilde{\text{H}} $ 가 $ q $-프로베누스 비정규임을 유도하며, 이는 유리점의 좋은 산술적·기하적 성질을 암시한다.
• 유한대 점 $ Q $ 에서의 위어스트라스 반군을 결정하기 위해 $ Q $-adic 값이 알려진 유리 함수 $ w_1 $ 과 $ w_2 $ 를 구성하며, $ v_Q(w_1) = -(q^{n-r} + q^n) $ 과 $ v_Q(w_2) = -(q^{2r} - q^n + q^r + 1) $ 를 통해 극의 차수를 이용한다.
• 위어스트라스 반군 $ H(Q) $ 가 $ q^{n-1}, q^{n-1}+q^{r-1}, q^n + q^{n-r}, q^{2r-1} + q^{n-r-1}, q^{2r} - q^n + q^r + 1 $ 에 의해 생성됨을 증명하고, 이 반군이 텔레스코픽이자 대칭적임을 보여준다.
• 텔레스코픽 반군의 종수 공식을 사용하여 종수가 곡선의 것과 일치함을 확인한다: $ g(S) = \frac{1}{2} \big( \frac{d_0}{d_1} - 1 \big)a_1 + \frac{1}{2} \big( \frac{d_1}{d_2} - 1 \big)a_2 + \frac{1}{2} \big( \frac{d_2}{d_3} - 1 \big)a_3 + \frac{1}{2} \big( \frac{d_3}{d_4} - 1 \big)a_4 + \frac{1}{2} \big( \frac{d_4}{d_5} - 1 \big)a_5 + 1 $.

실험 결과

연구 질문

• RQ1 최소 값 집합 다항식(MVSPs)을 사용하여 유한 체의 고차원 영역으로 히르미티안 곡선을 일반화할 수 있는가? 이 과정에서 바람직한 기하학적·산술적 성질을 유지할 수 있는가?
• RQ2 이러한 일반화된 곡선의 특수 하위류에 대해 유일한 무한대 점에서의 위어스트라스 반군은 무엇이며, 대수기하학 코드 구성과 어떻게 관련되어 있는가?
• RQ3 유리점 수 대 종수 비율 $ N/g $ 는 기존의 곡선들인 노름-트레이스 곡선과 일반화된 히르미티안 곡선과 비교해 어떻게 되는가?
• RQ4 구성된 곡선은 $ q $-프로베누스 비정규인가? 이는 그 유리점 분포와 부호 이론에서의 응용에 어떤 영향을 미치는가?
• RQ5 이 곡선의 위어스트라스 반군은 명시적으로 계산 가능하며, 텔레스코픽이자 대칭적임을 입증할 수 있는가? 이는 최적의 부호 매개변수를 보장하는가?

주요 결과

• 구성된 곡선 $ \tilde{\text{H}} $ 의 종수 $ g $ 는 $ q^r(q^{n-1} + 1)/2 $ 이며, 위어스트라스 반군 공식을 통해 계산된 종수와 일치한다.
• 유일한 무한대 점에서의 위어스트라스 반군 $ H(Q) $ 는 명시적으로 $ \big\bracevert q^{n-1}, q^{n-1}+q^{r-1}, q^n + q^{n-r}, q^{2r-1} + q^{n-r-1}, q^{2r} - q^n + q^r + 1 \big\bracevert $ 로 결정되었으며, 이는 텔레스코픽이자 대칭적임을 보였다.
• MVSP 특성화에 의해 확인된 바, 곡선 $ \tilde{\text{H}} $ 는 $ q $-프로베누스 비정규임을 입증하였으며, 이는 $ f(x) $ 의 구조가 곡선의 비정규성과 연결됨을 의미한다.
• $ \bbF_{q^n} $-유리점의 수 $ N $ 은 $ q^{2n-1} + 1 $ 이며, 일반화된 히르미티안 곡선과 일치하며, $ N/g $ 비율에서 노름-트레이스 곡선보다 향상된 성능을 보였다.
• 곡선 $ \tilde{\text{H}} $ 는 캐슬 곡선임을 입증하였으며, 이는 좋은 대수기하학 부호를 지원하는 것으로 알려진 곡선의 필요 조건을 충족함을 의미한다.
• 이 구성은 $ N/g > 2\frac{q^{n-1}}{2} $ 를 만족하는 새로운 곡선 예를 제공하며, 지아카와 스티히텐롯의 이전 예에 비해 점 효율성이 뛰어나다.