[논문 리뷰] How to Construct Curves over Finite Fields With Many Points

G.B.M. van der Geer, Marcel van der Vlugt|UvA-DARE (University of Amsterdam)|1995. 11. 08.

Cryptography and Residue Arithmetic인용 수 27

한 줄 요약

이 논문은 체 이론에서의 트레이스 코드와 일반화된 무게 분포를 활용하여 유한체 위에서 유리점이 많은 대수적 곡선을 구성하는 새로운 방법을 제시한다. 세르의 명시적 공식과 오테르스레의 최적화를 적용함으로써, $ℚ_q(g)$, 즉 $ℝ_q$ 위의 종수 $g$인 곡선에서의 최대 유리점 수에 대한 기존의 경계를 크게 향상시키며, 특히 2차 및 3차 특성에서 작은 $q$와 $g \leq 50$에 대한 알려진 값과 구간을 확장한다.

ABSTRACT

In this paper we give several methods to construct curves over finite fields with many points and illustrate this with examples of the results.

연구 동기 및 목표

• 유한체 위에서 많은 유리점을 가진 곡선을 체계적으로 구성하는 방법을 개발하는 것, 특히 작은 $q$와 $g$에 대해.
• 특히 2차 및 3차 특성에서 $ℚ_q(g)$, 즉 $ℝ_q$ 위의 종수 $g$인 곡선에서의 최대 유리점 수에 대한 기존의 경계와 표를 향상시키는 것.
• 세르와 오테르스레의 방법을 사용하여 새로운 구성과 더 엄격한 상한을 통합함으로써, 비르츠의 $ℚ_q(g)$ 구간 표를 확장하는 것.
• 일반화된 하밍 무게가 코드의 점 수와 대응함을 보여주어, 코드 이론과代수기하학 사이의 이중성 관계를 활용하여 두 분야에서 동시에 진전을 이끌어내는 것.

제안 방법

• 저자들은 $ℝ_q$ 위의 트레이스 코드의 일반화된 무게 분포를 사용하여 많은 유리점을 가진 곡선을 구성하며, 코드의 무게와 곡선의 점 수 사이의 이중성 관계를 활용한다.
• 삼각함수 다항식 $f(\theta) = 1 + 2\sum u_n \cos n\theta$를 만족하는 세르의 명시적 공식을 적용하며, 이는 $f(\theta) \geq 0$ 및 $u_n \geq 0$ 조건을 충족한다. 이로 인해 $N \leq a_f g + b_f$ 형태의 경계가 유도된다.
• 계수 $a_f$와 $b_f$는 각각 $a_f = 1/\psi_1(1/\sqrt{q})$ 및 $b_f = 1 + \psi_1(\sqrt{q})/\psi_1(1/\sqrt{q})$로 계산되며, $\psi_1(t) = \sum u_n t^n$ 이고, 오테르스레의 알고리즘을 통해 $f$에 대해 최적화된다.
• 특히 $g \leq 50$인 경우, $q \geq 27$일 때보다 더 나은 결과를 얻기 위해 이하라-세르 경계 또는 더 우수한 오테르스레 경계를 사용하여 더 엄격한 상한 $b$를 계산한다.
• 새로운 값 포함을 위한 임계값을 정의한다: $a \geq \lfloor b / \sqrt{2} \rfloor$로, 이는 하한이 이론적 최대치에 비해 비례적으로 강력함을 보장한다.
• 구성 방법은 2차 및 3차 특성에서 $N_q(g)$의 새로운 구간 또는 정확한 값의 생성을 통해 검증되며, 이는 $N_q(g)$가 최대 또는 최대에 가까운 경우에도 적용된다.

실험 결과

연구 질문

• RQ1 트레이스 코드와 일반화된 무게를 포함한 코드 이론적 구성 방법을 어떻게 활용하여 많은 유리점을 가진 곡선을 생성할 수 있는가?
• RQ2 세르의 명시적 공식과 오테르스레의 최적화를 사용하여, 특히 작은 $q$와 $g \leq 50$에 대해 $ℚ_q(g)$의 기존 경계를 어떻게 향상시킬 수 있는가?
• RQ3 대수기하학과 코드 이론 사이의 이중성 관계를 어떻게 활용하여 $ℚ_q(g)$의 경계를 동시에 향상시키고 코드의 일반화된 하밍 무게를 결정할 수 있는가?
• RQ4 이 방법은 비르츠의 $ℚ_q(g)$ 구간 표를 얼마나 넓히거나 정밀하게 개선할 수 있는가? 특히 2차 및 3차 특성에서.
• RQ5 종수 $g \leq 50$이고 $q$가 작은 소수 거듭제곱일 때, 하세-바이어의 경계가 날카롭지 않은 경우 $ℚ_q(g)$의 실제 값 또는 엄격한 구간은 무엇인가?

주요 결과

• 저자들은 오테르스레의 최적화된 명시적 공식을 사용하여 $ℚ_q(g)$의 상한을 향상시켰으며, 이는 $q \geq 27$ 및 $g \leq 50$일 때 이하라-세르 경계보다 더 엄격한 결과를 제공한다.
• 특히 $q=2$의 경우, $g=50$까지의 $N_2(g)$에 대해 새로운 구간을 제공하며, 예를 들어 $g=50$일 때 $[36, 40]$의 구간을 제공하여 이전 추정치를 향상시켰다.
• $q=3$의 경우, $N_3(50) \in [182, 186]$로 보고되었으며, 이는 이전의 느슨한 경계에 비해 상당히 좁혀진 결과이다.
• 이 방법은 $#C(\mathbb{F}_q) \geq \lfloor b / \sqrt{2} \rfloor$ 개의 점을 가진 곡선을 성공적으로 구성하여, 하한이 이론적 최대치에 비해 비례적으로 강력함을 보장한다.
• 저자들은 $g \leq (q - \sqrt{q})/2$일 때 하세-바이어 경계가 최적임을 확인하였으며, 더 큰 $g$에 대해서는 이하라 및 오테르스레 경계가 상당한 향상을 제공함을 밝혔다.
• 논문은 니더라이터와싱의 보고에 따라 드리프린드 모듈을 사용하여 $q=3$ 및 $q=4$에 대한 새로운 구성 방법을 포함하며, 이를 업데이트된 표에 통합하였다.