[論文レビュー] A key equation and the computation of error values for codes from order domains

John B. Little|ArXiv.org|Mar 24, 2003

Coding theory and cryptography参考文献 14被引用数 5

ひとこと要約

本稿は、有限生成された値半群をもつ順序ドメインから得られる符号のデコーディングのための一般化された鍵方程式を導入し、切断された系列方程式の解を用いた誤り値の体系的計算を可能にする。Macaulayの逆系と双対性を用いて、Reed-Solomon符号、巡回符号、幾何的Goppa符号を共通の代数的枠組みで統一し、Berlekamp-Massey-Sakataアルゴリズムがこの鍵方程式の解を計算することにより、あらゆるこのような符号においてデコーディングを一様に完了することを示している。

ABSTRACT

We study the computation of error values in the decoding of codes constructed from order domains. Our approach is based on a sort of analog of the key equation for decoding Reed-Solomon and BCH codes. We identify a key equation for all codes from order domains which have finitely-generated value semigroups; the field of fractions of the order domain may have arbitrary transcendence degree, however. We provide a natural interpretation of the construction using the theory of Macaulay's inverse systems and duality. O'Sullivan's generalized Berlekamp-Massey-Sakata (BMS) decoding algorithm applies to the duals of suitable evaluation codes from these order domains. When the BMS algorithm does apply, we will show how it can be understood as a process for constructing a collection of solutions of our key equation.

研究の動機と目的

• 順序ドメインから得られる符号のデコーディングのための普遍的な鍵方程式を特定し、Reed-Solomon符号の古典的鍵方程式を、任意の超越次元をもつ順序ドメインに拡張すること。
• Berlekamp-Massey-Sakata（BMS）デコーディングアルゴリズムとこの一般化された鍵方程式の解との間の関係を確立すること。
• 代数的双対性とMacaulayの逆系を用いた一様な方法を提供し、任意の超越次元をもつ順序ドメインからの符号に適用可能な誤り値の計算を実現すること。
• 幾何的Goppa符号や拡張された巡回符号を含む多様な符号において、誤り位置と誤り値の計算プロセスが構造的に同一であることを示すこと。

提案手法

• 形式 $ f \cdot \mathcal{S}_e \equiv 0 \mod W $ の鍵方程式を定式化し、ここで $ \mathcal{S}_e $ は系列であり、$ W $ は単項式順序に基づく切断イデアルである。
• Macaulayの逆系と双対性理論を用いて、鍵方程式の解空間を多項式環における誤りイデアルの双対として解釈する。
• 誤り位置子イデアル $ I_{\mathcal{E}} $ のグレブナー基底を計算するためにBMSアルゴリズムを適用し、これは鍵方程式の解空間に正確に対応する。
• 誤り位置子の根における解多項式の評価を用いて、式 (5.1) や (5.6) のForney型公式により誤り値を回復する。
• グレブナー基底のフットプリントを用いて解空間の単項式基底を特定し、解集合の完全性を保証する。
• 一様点幾何Goppa符号と $ \mathbb{F}_8 $ 上の2次元拡張巡回符号を含む例題で手法を検証する。

実験結果

リサーチクエスチョン

• RQ1 Reed-Solomon符号の古典的鍵方程式は、任意の超越次元をもつ順序ドメインからの符号にどのように一般化できるか？
• RQ2 順序ドメイン符号における系列方程式の解空間の背後にある代数的構造は何か？
• RQ3 BMSアルゴリズムは、誤り位置子イデアルの文脈において、一般化された鍵方程式を解くのとどのように関係しているか？
• RQ4 誤り位置と同様の枠組みで、双対性と逆系を用いて誤り値を体系的に計算することは可能か？
• RQ5 順序ドメインからの符号のデコーディングプロセスは、さまざまな符号族にわたって一様に構造化されているか？

主な発見

• 本稿は、有限生成された値半群をもつすべての順序ドメインからの符号に一般化された鍵方程式 $ f \cdot \mathcal{S}_e \equiv 0 \mod W $ を確立した。
• BMSアルゴリズムは、誤り位置子イデアル $ I_{\mathcal{E}} $ のグレブナー基底を計算し、これは鍵方程式の解空間に正確に対応する。
• 鍵方程式の解は、誤り位置子の根における評価を用いて、Forney型の公式 (5.1) や (5.6) を用いて誤り値を導出する。
• 本手法は一様である：同じデコーディング手順が一様点幾何Goppa符号、$ n $ 次元巡回符号、および他の順序ドメイン符号に適用可能である。
• $ \mathbb{F}_{16} $ の例では、BMSアルゴリズムがフットプリント $ \Delta_{\mathcal{E}} = \{1,X,Y,X^2,XY,Y^2,X^3\} $ をもつグレブナー基底を出力し、解空間の構造を確認した。
• $ \mathbb{F}_8 $ の拡張巡回符号では、BMSアルゴリズムが直接グレブナー基底 $ \{x + (α^2+α)y + α^2+α+1, y^2 + (α^2+α)y + α^2\} $ を計算し、誤り値の正確な回復を可能にした。