[論文レビュー] It is indeed a fundamental construction of all linear codes

Can Xiang|arXiv (Cornell University)|Oct 20, 2016

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

ひとこと要約

本稿は、有限体上の線形符号をトレース関数を用いて生成する定義集合構成法が、有限体上のすべての線形符号を生成できる根本的な手法であることを証明している。すべての線形符号に対して普遍的なトレース表現を確立し、従来の生成行列法と同等に包括的であることを確認している。重み分布および最小距離解析への応用も示している。

ABSTRACT

Linear codes are widely employed in communication systems, consumer electronics, and storage devices. All linear codes over finite fields can be generated by a generator matrix. Due to this, the generator matrix approach is called a fundamental construction of linear codes. This is the only known construction method that can produce all linear codes over finite fields. Recently, a defining-set construction of linear codes over finite fields has attracted a lot of attention, and have been employed to produce a huge number of classes of linear codes over finite fields. It was claimed that this approach can also generate all linear codes over finite fields. But so far, no proof of this claim is given in the literature. The objective of this paper is to prove this claim, and confirm that the defining-set approach is indeed a fundamental approach to constructing all linear codes over finite fields. As a byproduct, a trace representation of all linear codes over finite fields is presented.

研究の動機と目的

• 有限体上のすべての線形符号を生成できるという定義集合構成法の根本的性質を証明し、文献における未解決の主張を解消すること。
• 有限体上のすべての線形符号に対して普遍的なトレース表現を提供すること。これは、gcd(q,n)=1 の制限を受けることなく、巡回符号を超えて拡張する。
• このトレースに基づく構成法が、重み分布の解析を単純化し、最小距離に対する新しい下界を導出可能であることを示すこと。
• トレース表現が、生成行列法や巡回符号のアプローチを含む既存の構成法を統一的かつ一般化することを示すこと。
• 定義集合法が、従来根本的とされる生成行列法と同等に強力で包括的であることを確認すること。

提案手法

• 定義集合 D ⊆ GF(q^m) を用いて線形符号 𝒞_D を定義し、x ∈ GF(q^m) に対して (Tr(xd₁), ..., Tr(xdₙ)) の形で符号語を生成する。
• トレース関数 Tr: GF(q^n) → GF(q) を用い、拡張体から基本体への写像を定義し、線形性を保証する。
• 巡回符号の生成多項式から D を構成することで、任意の GF(q) 上の線形符号が、ある定義集合 D に対して 𝒞_D として表現可能であることを証明する。
• GF(q^n) 内の正規元を介して、巡回符号の生成多項式と定義集合 D の間に一対一対応を確立し、一般性を保証する。
• GF(q^n) に正規基底が存在することを応用し、D 上でのトレース評価を用いて、すべての符号語を体系的に生成する。
• Delsarte の定理および最小多項式の性質を用い、トレース表現と多項式環内のイデアル構造を結びつける。

実験結果

リサーチクエスチョン

• RQ1 定義集合構成法は、先行文献で主張されているように、有限体上のすべての線形符号を生成できるか？
• RQ2 gcd(q,n)=1 のような構造的制限がなく、有限体上のすべての線形符号に対して普遍的なトレース表現が存在するか？
• RQ3 定義集合によるトレース表現は、古典的な生成行列法と比較して、単純さと解析的パワーの面でどのように異なるか？
• RQ4 トレース表現を用いることで、線形符号の重み分布および最小距離をより効果的に導出できるか？
• RQ5 特に巡回符号および準巡回符号に対して、定義集合 D と符号の代数的構造の関係は何か？

主な発見

• 定義集合構成法が有限体上のすべての線形符号を生成できることを証明し、その根本的構成法としての地位を確認した。
• 任意の長さ n および任意の素数冪 q に対して有効な、有限体上のすべての線形符号に対する普遍的トレース表現を確立した。
• トレース表現により、キャラクター和を用いた重み分布の効率的計算が可能となり、新しい解析的手法が可能になった。
• 古典的トレース表現（定理 1.1）が gcd(q,n)=1 の制限により失敗する場合でも、この構成法はすべての巡回符号に適用可能である。
• トレース関数の性質を応用することで、線形符号の最小距離に対する下界を体系的に導出する手法を提供した。
• トレース表現により、準巡回符号や準反巡回符号の既知の構成法が、統一的な枠組みの下で統合された。