[論文レビュー] Self-dual Permutation Codes of Finite Groups in Semisimple Case

Yun Fan, Guanghui Zhang|arXiv (Cornell University)|Oct 6, 2012

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

ひとこと要約

本稿は、表現論とガロア群作用を用いて、有限群上の半単純な場合における自己双対な置換符号の存在と構成を調査する。偶数の特徴と奇数の群位数の下で、自己双対な置換符号が置換加群に存在するための必要十分条件は、すべての自己双対な組成因子が偶数重で現れる場合に限る。奇数の特徴の下では十分条件が与えられる。主な結果として、体の位数を軌道サイズで割った剰余の数論的条件を満たす場合、自己双対な拡張された推移的置換符号が存在することが示される。

ABSTRACT

The existence and construction of self-dual codes in a permutation module of a finite group for the semisimple case are described from two aspects, one is from the point of view of the composition factors which are self-dual modules, the other one is from the point of view of the Galois group of the coefficient field.

研究の動機と目的

• 有限群の置換加群への作用における半単純な場合の自己双対な置換符号の存在条件を特定すること。
• 自己双対な組成因子の多重度が自己双対符号の存在に与える影響を分析すること。
• 群論的および数論的条件を用いて、自己双対な拡張された推移的置換符号の存在を調査すること。
• 群符号から得られる結果を、特に推移的群作用の文脈において、より広いクラスの置換符号へと拡張すること。

提案手法

• 群の位数が $q=|F|$ と互いに素であるとき、マシュケの定理を用いて群代数 $FG$ の半単純性を保証する。
• 表現論を用いて置換加群を不可約 $FG$-加群に分解し、双対加群 $V^*$ を用いてその双対性を分析する。
• 係数体のガロア群を用いて、自己双対加群構造とその多重度を研究する。
• 自己双対な拡張された推移的置換符号の存在を、$C^{ot} = C \bigoplus F$ を満たす符号 $C$ の存在に帰着させる。
• 群の位数に関する帰納法を用い、正規部分群の構造に基づく三つの場合に分けて解析する。特に、可解性のためのフェイト・トンプソンの定理を用いる。
• 帰納法とモジュール誘導関手 ($\mathrm{Ind}_{H}^{G}$) を用いて、部分群からの符号を誘導し、双対性の性質を保つ。

実験結果

リサーチクエスチョン

• RQ1 有限体 $F$ 上の有限群 $G$ による置換加群 $FX$ が、自己双対な $FG$-符号をもつための条件は何か？
• RQ2 $FX$ における自己双対な組成因子の多重度は、自己双対な置換符号の存在にどのように影響するか？
• RQ3 置換加群 $FX$ の推移的置換符号 $C$ が $C^{ot} = C \oplus F$ を満たすのはいつか？ これにより自己双対な拡張符号が構成可能である。
• RQ4 拡張符号の存在を保証するための、体の位数 $q$ と軌道サイズ $n=|X|$ の間の数論的条件は何か？

主な発見

• 偶数の $q$ および奇数の $|G|$ の下で、$FG$-置換加群 $FX$ が自己双対な置換符号をもつための必要十分条件は、$FX$ のすべての自己双対な組成因子が偶数重で現れる場合に限る。
• 奇数の $q$ の下では、すべての自己双対な組成因子が偶数重で現れることが、自己双対な置換符号の存在の十分条件である。
• 群 $G$ が奇数位数の有限群であり、$X$ が位数 $n$ の推移的 $G$-集合であるとき、$
  \mathbb{Z}_n^\times$ における $q$ の位数が奇数であれば、$FX$ の部分符号 $C \leq FX$ が存在して $C^\perp = C \oplus F$ を満たす。
• 同じ条件下で $-n$ が $F$ 内に平方根をもつならば、$FX$ の自己双対な拡張符号が存在することが保証される。
• 証明は $|G|$ に関する帰納法、正規部分群に基づく場合分け、および誘導加群を用いた符号の構成に依拠している。
• 構成法は推移的置換符号に対して有効であり、既知の群符号に関する結果をより広いクラスの置換符号へと拡張する。