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

Noam D. Elkies|ArXiv.org|Aug 5, 2003

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

ひとこと要約

本稿では、モジュラー曲線とXingの導出に基づく手法の洗練版を組み合わせることで、サイズ $ q^2 $ の有限体上での非線形エラー訂正符号の新規構成を提示する。漸近的に最適なモジュラー曲線上の有理関数と、ハミング球選択プロセスの最適化を用いることで、$ q \geq 4 $ の場合にGoppaとXingの構成を上回る、より優れた漸近的レート $ R $ と相対距離 $ \delta $ のトレードオフを達成する。主な結果は、$ R + \delta > 1 - \frac{1}{q_0 - 1} + \log_q(1 + q^{-3}) $ という新たな漸近的境界であり、$ q^{-3} $ のオーダーの項で先行研究を改善する。

ABSTRACT

We give a new construction of nonlinear error-correcting codes over suitable finite fields k from the geometry of modular curves with many rational points over k, combining two recent improvements on Goppa's construction. The resulting codes are asymptotically the best currently known.

研究の動機と目的

• 既知の線形構成より優れた漸近的レート・距離トレードオフを持つ非線形符号の構成という、長年の課題に取り組む。
• $ q = q_0^2 $ の場合にのみギルバート・ヴァルシャモフ境界を超える唯一の手法であるGoppaの線形符号構成の限界を克服し、非線形版を導入する。
• Xingの最近の非線形代数的幾何符号構成を、モジュラー曲線の幾何と洗練された有理関数の選択を活用することで改善する。
• 同じアルファベットサイズ $ q $ を用いることで、モジュラー曲線からの非線形符号とXingの符号との直接的かつ公平な漸近的評価を可能にする。
• $ (R_0, \delta_0) $ の漸近的実現可能領域を理論的に改善し、以前の構成を上回る範囲へ拡張する。

提案手法

• 有限体 $ k $ のサイズが $ q^2 $ である曲線 $ C $ 上の有理関数を用いて、非線形符号 $ \mathscr{C}_D(h) $ を構成する。ここで $ q_0 = \sqrt{q} $ は素数冪である。
• $ N $ を $ C $ の有理点の数として、空間 $ \mathcal{M}_D(h) $ から $ k^N $ への評価写像 $ \phi_1 $ を用い、符号を定義する。
• 参照語 $ c_0 \in (\mathbb{P}^1(k))^N $ を固定し、$ \mathscr{M}_D(h) $ を $ c_0 $ からのハミング距離が $ \sigma_0 N $ 以内である関数の集合として定義する。これは符号サイズを最大化する。
• Xingの手法にインspiredされた導出に基づく単射性の議論を適用し、異なる関数間の共通値の数を制限することで、符号の最小距離が $ \delta N $ 以上であることを保証する。
• 漸近的レート・距離トレードオフを最大化するため、パrameter $ \sigma_0 $ を最適化し、最適な $ \sigma_0 = 1/(q^3 + 1) $ を得る。これは $ \sigma_0/(1 - \sigma_0) = q^{-3} $ に対応する。
• 関数空間のサイズと $ (q+1) $ 文字アルファベットのエントロピー関数 $ H_{q+1}(\sigma_0) $ を組み合わせ、符号サイズの下界を導出し、改善された漸近的境界に至る。

実験結果

リサーチクエスチョン

• RQ1 Xingの研究で用いられた導出に基づく単射性技法を、モジュラー曲線上の有理関数からの非線形符号構成に組み込むことで、さらなる改善が可能か。
• RQ2 符号構成において $ q $ 文字アルファベットを $ q+1 $ 文字アルファベットの代わりに使用することで、GoppaとXingの符号との直接的かつ公平な比較が可能になるか。
• RQ3 モジュラー曲線とXingの導出法を組み合わせることで、達成可能な漸近的レート・距離トレードオフの最大改善は何か。また、それらは既存の構成と比べてどのように異なるか。
• RQ4 ハミング球の半径 $ \sigma_0 $ を最適化することで、$ (R_0, \delta_0) $ の漸近的実現可能領域をGoppaとXingの境界を超えて拡張できるか。
• RQ5 特に、有理点の豊富さを特徴とするモジュラー曲線の幾何を活用することで、より優れた漸近的パラメータを持つ非線形符号の構成に定量的な利点があるか。

主な発見

• 提案された構成により、$ k $ 上の非線形符号が得られ、$ q = q_0^2 $ の場合にGoppaとXingの両方の構成を上回る漸近的レート・距離トレードオフを達成する。
• 新たな漸近的境界は $ R + \delta > 1 - \frac{1}{q_0 - 1} + \log_q\left(1 + \frac{1}{q^3}\right) $ であり、Xingの境界を $ q^{-3} $ のオーダーの項で改善する。具体的には $ \log_q(1 + q^{-3}) \approx q^{-3}/\log q $ である。
• パrameter $ \sigma_0 = 1/(q^3 + 1) $ を選ぶことで、レート・距離積が最大化され、この選択により符号は単射性を保ち、最小距離が $ \delta N $ 以上であることが保証される。
• $ q_0 \geq 4 $ の場合、改善は顕著であり、$ \delta = 1 $ に対しても $ 2h/N > 2q/(q^2 - 1) $ の条件が満たされるため、高レートかつ高距離の符号が構成可能である。
• GoppaとXingの符号とは異なり、新しい符号は $ q $ 文字アルファベットを用いているため、Xingの符号と直接比較可能であり、[5]の構成が同じ条件下でXingのものより優れていることが確認される。
• この構成はすべての $ q_0 \geq 4 $ に対して有効であり、$ (R_0, \delta_0) $ の漸近的実現可能領域はギルバート・ヴァルシャモフ境界とGoppaの境界を上回る。$ R_0 + \delta_0 < 1 - \frac{1}{q_0 - 1} + \log_q(1 + q^{-3}) $ を満たす限り、$ (R_0, \delta_0) $ は漸近的に実現可能であることが確認される。