[論文レビュー] MacWilliams Extension Theorems and the Local-Global Property for Codes over Rings

Aleams Barra, Heide Gluesing-Luerssen|arXiv (Cornell University)|Jul 26, 2013

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

ひとこと要約

この論文は、一般線型群の部分群における局所的・グローバル的性質を導入することで、有限Frobenius環上の符号に対してMacWilliams拡張定理を確立する。poset重みに関しては、その拡張定理が成り立つのは、対応するposetが階層的である場合に限ることを証明し、Frobenius環上の同型重みの拡張定理に対して、特徴的理論を用いた証明を提示する。この証明により、Rosenbloom-Tsfasman重みは定理を満たすが、Niederreiter-Rosenbloom-Tsfasman重みは満たさないことが示される。

ABSTRACT

The MacWilliams extension theorem is investigated for various weight functions over finite Frobenius rings. The problem is reformulated in terms of a local-global property for subgroups of the general linear group. Among other things, it is shown that the extension theorem holds true for poset weights if and only if the underlying poset is hierarchical. Specifically, the Rosenbloom-Tsfasman weight for vector codes satisfies the extension theorem, whereas the Niederreiter-Rosenbloom-Tsfasman weight for matrix codes does not. A short character-theoretic proof of the well-known MacWilliams extension theorem for the homogeneous weight is provided. Moreover it is shown that the extension theorem carries over to direct products of weights, but not to symmetrized products.

研究の動機と目的

• 有限Frobenius環上の符号間の線形写像のうち、どのクラスがMacWilliams拡張定理を満たすかを調査すること。
• GL(n,R)のどの部分群に対して局所的・グローバル的性質が成り立つか、すなわち、各点で保存される写像が全体に拡張可能かどうかを特定すること。
• 特にposet重みを含む重み関数の等長写像がFrobenius環上でどのように全体に拡張可能かを特徴づけること。
• Frobenius環の条件が拡張定理を可能にする役割を明確にすること。
• 同型重み、poset重み、行列重みを含む、さまざまな重み関数の拡張問題を解決すること。

提案手法

• MacWilliams拡張定理を、GL(n,R)の部分群における局所的・グローバル的性質の観点から再定式化する。ここで、局所的な写像は重みを保存し、それが全体に拡張可能である。
• posetのレベル集合と最小元を用いて、posetが階層的でない場合の反例を構成する。
• 特徴的理論を用いて、Frobenius環上の同型重みの拡張定理に対して簡潔な証明を与える。
• 支持集合とposet順序によって生成されるイデアルを用いて、重みを保存する等長写像の構造を分析する。
• 明示的な符号とそれらの間の等長写像を構築し、posetが非階層的である場合に拡張不可能であることを示す。
• posetの支持集合と順序イデアルを用いて、重みを保存する写像が、posetが階層的でない限り、全体に拡張できないことを示す。

実験結果

リサーチクエスチョン

• RQ1 有限Frobenius環上のどの重み関数に対してMacWilliams拡張定理が成り立つか。
• RQ2 poset構造がどのような条件下で、符号間の重みを保存する等長写像が全空間に拡張可能か。
• RQ3 なぜ行列符号のNiederreiter-Rosenbloom-Tsfasman重みは拡張定理を満たさないが、ベクトル符号のRosenbloom-Tsfasman重みは満たすのか。
• RQ4 Frobenius環の条件が、重みを保存する写像の局所的・グローバル的性質を可能にする役割は何か。
• RQ5 重みの直積は拡張性質を保つが、なぜ対称化された積は保たないのか。

主な発見

• Frobenius環上のposet重みに関して、MacWilliams拡張定理が成り立つのは、対応するposetが階層的である場合に限る。
• ベクトル符号のRosenbloom-Tsfasman重みは拡張定理を満たすが、行列符号のNiederreiter-Rosenbloom-Tsfasman重みは満たさない。
• Frobenius環上の同型重みの拡張定理に対して、特徴的理論を用いた証明が提供される。
• 拡張定理は重みの直積にまで拡張可能であるが、対称化された積には拡張できない。
• 非階層的posetに対しては、1次元符号間の重みを保存する等長写像が存在するが、これらは全空間R^nに拡張できない。
• GL(n,R)の部分群に対する局所的・グローバル的性質が成り立つのは、RがFrobenius環である場合に限る。これは、この条件が必須であることを示している。