[論文レビュー] 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)|Nov 8, 1995

Cryptography and Residue Arithmetic被引用数 27

ひとこと要約

本稿では、符号理論におけるトレース符号と一般化された重み分布を活用して、有限体上に有理点を多く持つ代数的曲線を構成する新規な手法を提示する。セールの明示的公式とオイスターレの最適化を適用することで、$N_q(g)$、すなわち$ \mathbb{F}_q$ 上の genus-$g$ 曲線上の有理点の最大数に対する境界を著しく改善し、特に $q \leq 50$ および $q=2,3$ の場合の既知の値と区間を拡張する。

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 の場合に、$ \mathbb{F}_q$ 上の genus-$g$ 曲線の有理点数の最大値 $N_q(g)$ に対する既存の境界と表を改善すること。
• ヴィルツの $N_q(g)$ の区間表を、セールおよびオイスターレの手法を用いた新たな構成とより緊密な上界を組み込むことで拡張すること。
• 符号理論と代数幾何学の間の双対性を活用し、符号の一般化されたハミング重みが曲線の点数に対応することを示し、両分野における共同の進展を可能にすること。

提案手法

• 著者らは、$ \mathbb{F}_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$ とし、理論的上限に対して比例的に意味のある下界が得られることを保証する。
• 構成法は、$q=2$ および $q=3$ における $N_q(g)$ の新しい区間または正確な値の生成によって検証され、$N_q(g)$ が最大またはほぼ最大であると知られている場合を含む。

実験結果

リサーチクエスチョン

• RQ1 符号理論的構成、特にトレース符号と一般化された重みを用いて、有限体上に有理点を多く持つ曲線をどのように生成できるか。
• RQ2 セールの明示的公式とオイスターレの最適化を用いて、特に $q$ が小さく $g \leq 50$ の場合に、既知の $N_q(g)$ の境界をどの程度改善できるか。
• RQ3 代数幾何学と符号理論の間の双対性を活用して、$N_q(g)$ の境界を同時に改善し、符号における一般化されたハミング重みを特定できるか。
• RQ4 この手法は、特に特徴が 2 および 3 の場合に、ヴィルツの $N_q(g)$ の区間表をどの程度拡張または精緻化できるか。
• RQ5 $g \leq 50$ かつ $q$ が小さな素数べきのとき、ハッセ＝ヴェイユの境界がタイトでない場合に、$N_q(g)$ の実際の値またはタイトな区間は何か。

主な発見

• 著者らは、オイスターレが最適化した明示的公式を用いて $N_q(g)$ の上界を改善し、$q \geq 27$ および $g \leq 50$ の場合に、イハラ＝セールの境界よりも緊密な結果を得た。
• $q=2$ の場合、本稿では $g=50$ までで $N_2(g)$ の新しい区間 $[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$ の新しい構成を含み、これらを更新された表に統合した。