ゴッパ符号

ゴッパ符号とは

ゴッパ符号、または代数幾何符号とは、有限体  F_q  の上に定義された代数曲線を利用して生成される線型符号です。この符号はV. D. Goppaによって提唱され、特に興味深い特性を持つことがあります。

構築方法

ゴッパ符号は非特異な代数多様体  X  のいくつかの有理点  P_1, P_2,  ...  P_n  を使って定義されます。これにより、 X  上の因子  G  は有理点と互いに素である必要があります。リーマン＝ロッホの定理により、各因子  G  に対して一意な有限次元のベクトル空間  L(G)  が存在し、これは  X  の関数空間内の部分空間です。

ゴッパ符号の種類

ゴッパ符号には2種類が存在します。

1. 関数型符号

関数型符号は、曲線  X 、因子  G 、および有理点群  P_i  を利用して構築されます。これにおいて、 L(G)  の固定基底  f_1, f_2,  ...  f_k  が選ばれ、それにより以下のようなベクトルが形成されます。


t = (f_i(P_1), f_i(P_2), ..., f_i(P_n))

このベクトルは有限体  F_q  の上で分布され、 


a: L(G)  o  F^n

の像としても定義できます。ここで、関数は対応する有理点での値を取ります。

次に、因子を  D = P_1 + P_2 + ... + P_n  とし、ゴッパ符号は通常  C(D, G)  と表されます。また、符号のパラメータ  l(D)  は、 L(D)  の次元を示します。

2. 留数型符号

留数型符号は関数型符号の双対として定義されていたり、特定の有理点における関数の留数から派生します。この双対構造により、異なる観点からの解析が可能になります。

ゴッパ符号の重要性

ゴッパ符号は特に暗号理論において重要な役割を果たします。マックエリス暗号システムなどでの利用が挙げられ、非常に良好な特性を持った線型符号と見なされています。具体的には、 (n^{k}/ ext{log}_2(n))  のような誤り訂正能力を持つため、実用的な運用が可能です。また、復号も効率的に行えるため、ユークリッドの互除法やベールカンプ＝マッシー法を使って簡単に行えます。

関連文献

1. Henning Stichtenoth、新妻弘（訳）『代数関数体と符号理論』共立出版、ISBN 978-4-320-11045-8 (2013年8月25日)
2. 水野弘文「代数幾何符号の歩み (符号と暗号の代数的数理)」『数理解析研究所講究録』第1361巻、京都大学数理解析研究所、2004年4月

最後に

ゴッパ符号は数学と情報科学において重要なツールであり、その特性と応用は今後も研究され続けるでしょう。

もう一度検索