[論文レビュー] Singularities of symmetric hypersurfaces and an application to Reed-Solomon codes

Antonio Cafure, Guillermo Matera+1 more|arXiv (Cornell University)|Sep 10, 2011

Coding theory and cryptography参考文献 19被引用数 11

ひとこと要約

本稿では、代数幾何学的手法を用いて対称超曲面の特異点集合と有理点を分析することにより、$\mathbb{F}_q$ 上の標準的 Reed-Solomon 符号において、$k+d$ 次多項式が深さの穴を生成しない十分条件を確立する。主な結果として、$q > \max\{(k+1)^2, 20d^{2+\epsilon}\}$ かつ $k \geq (d-1)(2/\epsilon + 1)$ のとき、$\mathrm{char}(\mathbb{F}_q) > d+1$ ならば、このような多項式は深さの穴を生成しないことが示され、$d=1,2$ の場合における先行結果を拡張する。解析は対称性、特異点集合の次元の上限、および有限体上での点数えの推定に依拠する。

ABSTRACT

We determine conditions on q for the nonexistence of deep holes of the standard Reed-Solomon code of dimension k over F_q generated by polynomials of degree k+d. Our conditions rely on the existence of q-rational points with nonzero, pairwise-distinct coordinates of a certain family of hypersurfaces defined over F_q. We show that the hypersurfaces under consideration are invariant under the action of the symmetric group of permutations of the coordinates. This allows us to obtain critical information concerning the singular locus of these hypersurfaces, from which the existence of q-rational points is established.

研究の動機と目的

• 標準的 Reed-Solomon 符号が $\mathbb{F}_q$ 上で、$k+d$ 次多項式が深さの穴を生成しない条件を同定すること。
• このような多項式によって定義される対称超曲面上に、非ゼロで相異なる座標を持つ $q$-有理点が存在するかを分析すること。
• これらの超曲面が対称群の作用に対して不変であることに着目し、その特異点集合を研究し、点数えの上限を得ること。
• 代数幾何学的技法と有限体上での点数えを用いて深さの穴の非存在を確立すること、特に体の特徴に関する制約の下で。

提案手法

• 本稿は、$\deg f = k+d$ である多項式 $f = T^{k+d} + \cdots + f_0 T^k$ によって定義される超曲面 $V_f$ を研究し、その非ゼロかつ相異なる座標を持つ $q$-有理点に注目する。
• 座標における対称群作用に対する $V_f$ の不変性を活用し、特異点集合の次元が $d-1$ 以下であることを示す。
• Serre の正規性基準を用いて、特異点集合の次元が $\leq d-2$ のとき、射影的閉包 $\mathrm{pcl}(V_f)$ が正規であることを証明し、代数幾何学的点数え推定の適用を可能にする。
• 文献[4]における正規完全交差の $q$-有理点数の推定を応用し、$V_f$ 上のそのような点の数を推定する。ゼロまたは重複座標を持つ点を別々に扱う。
• 包含除算法と指数関数的項の推定を組み合わせることで、非ゼロかつ相異なる座標を持つ $q$-有理点数 $N$ の下界を導出する。
• これらの下界を $q$ および $k$ に関する十分条件と組み合わせ、$N$ の下界が正であることを保証することで、そのような点が存在することを示し、結果として深さの穴が存在しないことを導く。

実験結果

リサーチクエスチョン

• RQ1 体 $\mathbb{F}_q$、整数 $k$、$d$ に対して、$k+d$ 次多項式が $\mathbb{F}_q$ 上の標準的 Reed-Solomon 符号において深さの穴を生成しない条件は何か？
• RQ2 超曲面 $V_f$ における対称群作用が、その特異点集合の構造および $q$-有理点の分布に与える影響は何か？
• RQ3 体の特徴 $\mathrm{char}(\mathbb{F}_q)$ は、特に $\mathrm{char}(\mathbb{F}_q) > d+1$ のとき、深さの穴の非存在にどのように寄与するか？
• RQ4 対称超曲面上での点数え推定を用いて、$d \geq 3$ の場合に深さの穴の非存在を証明できるか？
• RQ5 深さの穴が $k+d$ 次多項式から生じないよう保証するための $q$ および $k$ の定量的閾値は何か？

主な発見

• $d \geq 3$、$k > d$、$q-1 > k+d$ かつ $q > \max\{(k+1)^2, 20d^{2+\epsilon}\}$、$k \geq (d-1)(2/\epsilon + 1)$、$0 < \epsilon < 1$ のとき、$k+d$ 次多項式は深さの穴を生成しない。
• これらの条件下で、$V_f$ の非ゼロかつ相異なる座標を持つ $q$-有理点数は正の下界で抑えられ、その結果、そのような点が存在することが示され、深さの穴が生じないことが保証される。
• $\mathrm{char}(\mathbb{F}_q) > d+1$ のとき、$V_f$ の特異点集合の次元は $d-2$ 以下であるため、正規性および点数えの結果を適用可能となる。
• 解析により、$d=1$ の場合、[19] の結果が $d=2$ に拡張され、定数 $M_1 > 14$ を修正することで成立し、$d \geq 3$ に対しても提示された条件下で成立することが確認された。
• 本稿は、$q > \max\{(k+1)^2, 20d^{2+\epsilon}\}$ かつ $k \geq (d-1)(2/\epsilon + 1)$ であり、$\mathrm{char}(\mathbb{F}_q) > d+1$ の条件下で、深さの穴の非存在が保証されることを確立した。これは、先行研究を拡張する結果である。