[論文レビュー] Excellent nonlinear codes from modular curves

Noam D. Elkies|ArXiv.org|Apr 10, 2001

Coding theory and cryptography参考文献 12被引用数 18

ひとこと要約

本稿では、有限体上のモジュラー曲線を用いた非線形エラー訂正符号の新規構成を提示し、特定のアルファベットサイズおよび誤り率において、線形Goppa符号よりも高い漸近的伝送レートを達成する。多くの有理点を持つ曲線の有理関数を、次数に制限を設けて符号化することで、特に曲線の種数が増大し、体のサイズが平方数である場合に、優れたレート-距離トレードオフを持つ符号が得られる。代数的幾何学および関数体理論の高度な道具を用いて性能の上限を確立する。

ABSTRACT

We introduce a new construction of error-correcting codes from algebraic curves over finite fields. Modular curves of genus g -> infty over a field of size q0^2 yield nonlinear codes more efficient than the linear Goppa codes obtained from the same curves. These new codes now have the highest asymptotic transmission rates known for certain ranges of alphabet size and error rate. Both the theory and possible practical use of these new record codes require the development of new tools. On the theoretical side, establishing the transmission rate depends on an error estimate for a theorem of Schanuel applied to the function field of an asymptotically optimal curve. On the computational side, actual use of the codes will hinge on the solution of new problems in the computational algebraic geometry of curves.

研究の動機と目的

• Goppa符号のような線形符号よりも優れた漸近的性能を示す新しい非線形エラー訂正符号のクラスの開発。
• 特に有理点の数が多いモジュラー曲線を、有限体上での効率的な符号の源としての利用の探求。
• ゼータ関数および関数体の推定値を用いて、これらの符号のレートおよび最小距離の理論的上限を確立すること。
• 特に代数的幾何学的手法を用いた、このような符号の構築およびデコーディングにおける計算的課題の解決。
• 非線形符号とGoppa符号との間で観察されるレート-距離性能の同等性が、偶然であるのか、それとも概念的に意味のあるものであるのかの検討。

提案手法

• 曲線上の次数が有界な有理関数を、その有理点における評価ベクトルに写像することで非線形符号を構築する。
• 符号のアルファベットとして、無限大を含めることが可能な有限体上の射影直線を用い、$ q+1 $ 個の記号からなる符号を形成する。
• 次数0の除数 $ D $ に関連する線束における次数が高々 $ h $ の有理セクションの集合として、符号 $ \mathcal{C}_D(h) $ を定義し、$ \mathcal{C}_0(h) $ を基本ケースとして一般化する。
• 曲線のゼータ関数を用いて符号のサイズを正確に計算し、生成関数 $ Z_1(z) $ および $ Z_2(z) $ を用いて正確な個数を導出する。
• 次数 $ \leq h $ の異なる有理関数は、高々 $ 2h $ 個の点で一致することを証明し、最小距離が $ N - 2h $ 以上であることを保証する。
• 符号と体 $ k $ を基底とする次数 $ 2h+1 $ の有限体拡張 $ k' $ の間の全単射を確立し、$ 2h+1 $ 次元の線形方程式系を解くことで、効率的な列挙およびデコーディングを可能にする。

実験結果

リサーチクエスチョン

• RQ1 $ \mathcal{C}_D(h) $ の構成を、$ q+1 $ 文字アルファベット上でのGoppa境界とGilbert-Varshamov境界のクロスオーバー付近での性能向上を図るために変更可能か？
• RQ2 $ q^2 - 1 $ に対する閾値 $ 2q/(q^2 - 1) $ は最適か、それより小さくできるか？
• RQ3 $ q = 4, 9, 16 $ の場合に、$ \rho_1(q) $ を 1 よりも小さくできるか。これにより、小さなアルファベット上で正のレートと最小距離を持つ長大な符号の決定的構築が可能になるか？
• RQ4 多項式時間またはランダム多項式時間で、$ \mathcal{C}_D(h) $ が平均サイズ以上を達成するような除数 $ D $ を計算可能か？これにより正のレートと距離が保証される。
• RQ5 非線形符号を $ q+1 $ から $ q $ 個の記号に劣化させても、レート-距離トレードオフが保たれる理由は何か？この要因のキャンセルが、偶然ではなく、より深い概念的説明を持つのか？

主な発見

• $ \mathcal{C}_0(h) $ は最小距離が $ N - 2h $ 以上であるため、$ h < N/2 $ の場合に信頼性の高い誤り検出および訂正が可能である。
• 射影直線 $ \mathbb{P}^1 $ 上の有理関数の場合、$ \mathcal{C}(h) $ のサイズは正確に $ q^{2h+1} $ であり、これは $ \mathbb{F}_q $ を基底とする次数 $ 2h+1 $ の有限体拡張のサイズに一致する。
• この構成により、漸近的伝送レート $ R $ および相対距離 $ \delta $ を満たす非線形符号が得られ、$ R + \delta > 1 - \frac{1}{q_0 - 1} - o(1) $ を満たす。これはGoppa境界に一致するが、$ q+1 $ 記号アルファベット上での非線形符号に対して成立する。
• 曲線のゼータ関数を用いることで、生成関数 $ Z_1(z) = \frac{1}{(1-z)(1-qz)} $ および $ Z_2(z) = \frac{1+qz}{(1-z)(1-qz)(1-q^2 z)} $ を用いて符号サイズを正確に計算でき、$ h > 0 $ のとき $ A_h = q^{2h} + q^{2h-1} $ が得られる。
• 符号とサイズ $ q^{2h+1} $ の有限体 $ k' $ 間に多項式時間の全単射が存在し、$ 2h+1 $ 次元の線形方程式系を解くことで、効率的な符号化およびデコーディングが可能になる。
• 本稿では、非線形符号を $ q+1 $ から $ q $ 個の記号に劣化させても、レート-距離トレードオフが保たれることを示しており、劣化要因 $ (q/(q+1))^N $ と $ ((q+1)/q)^N $ のキャンセルが非偶然である可能性を示唆している。