[論文レビュー] Classification of a family of completely transitive codes

Neil I. Gillespie, Michael Giudici+1 more|arXiv (Cornell University)|Aug 2, 2012

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

ひとこと要約

この論文は、自己同型群が各距離分割レベルで推移的に作用し、アルファベットの置換に対して自明に作用するハミンググラフ内の完全トランスティティブな符号の族を分類する。最小距離 ≥5 かつ位置への忠実作用をもつような符号が存在するための必要十分条件は、符号が長さ m ≥ 5 の二進反復符号に同値であることである。ここで自己同型群は対称群 Sm である。

ABSTRACT

The completely regular codes in Hamming graphs have a high degree of combinatorial symmetry and have attracted a lot of interest since their introduction in 1973 by Delsarte. This paper studies the subfamily of completely transitive codes, those in which an automorphism group is transitive on each part of the distance partition. This family is a natural generalisation of the binary completely transitive codes introduced by Sole in 1990. We take the first step towards a classification of these codes, determining those for which the automorphism group is faithful on entries.

研究の動機と目的

• ハミンググラフ H(m,q) 内の完全トランスティティブな符号を分類すること。ここで自己同型群は各距離レベルで推移的に作用し、アルファベット要素に対して自明に作用する。
• 位置への忠実作用と最小距離 δ ≥ 5 を満たす符号が完全トランスティティブ性の条件を満たすかどうかを特定すること。
• 符号の自己同型群とその要素への作用を分析することで、このような符号の構造を解明すること。
• 最小距離 δ ≥ 5 の場合、このような符号はすべて二進反復符号に同値であることを証明すること。
• 指定された群作用制約下で、この部分族に対する完全な分類を確立すること。

提案手法

• 符号の環境空間としてハミンググラフ H(m,q) を用い、頂点を q 進アルファベット上の m-組とする。
• 群作用理論を適用し、特に自己同型群 X ≤ Aut(H(m,q)) ≅ Sq ≀ Sm に注目する。特に、B ≅ Sq^m である基本群に対して X ∩ B = 1 を満たす群を扱う。
• 距離分割 {C₀ = C, C₁, ..., Cρ} を用い、X-完全トランスティティブな符号を、各 Ci が X-軌道であると定義する。
• 置換群論の結果を適用：2-推移的作用はアフィン型またはほとんど単純型を意味し、有限2-推移的群の分類を用いる。
• Lemma 2.11 を用いて群の位数に上限を設け、m, r, n を含む不等式を用いて不可能となるケース（例：PSL(n,r), PSU(3,r), Ree 群）を除外する。
• 完全正則符号に関する構造的結果を用い、|C| ≥ m+1 という符号サイズの上限や、Stabilizer Xα の性質を含む。

実験結果

リサーチクエスチョン

• RQ1 H(m,q) 内の完全トランスティティブな符号で、自己同型群が各距離レベルで推移的に作用し、アルファベット要素に対して自明に作用するものはどれか？
• RQ2 最小距離 δ ≥ 5 の場合、このような符号に課される構造的制約は何か？
• RQ3 非二進符号が、完全トランスティティブ性と X ∩ B = 1、および δ ≥ 5 を同時に満たすことは可能か？
• RQ4 最小距離 δ ≥ 5 の場合、反復符号に同値な二進符号以外に、このような条件を満たす符号は存在するか？
• RQ5 自己同型群が満たすべき群論的性質（例：2-推移的、ほとんど単純型またはアフィン型）は何か？

主な発見

• X ∩ B = 1 かつ最小距離 δ ≥ 5 を満たす H(m,q) 内の X-完全トランスティティブな符号は、すべて二進反復符号 Rep(m,2) に同値である。
• このような符号に対して、自己同型群 X は Sm に同型であり、m 個の位置に忠実に作用する。
• 符号サイズ |C| = 2 であり、最小距離 δ = m である。これは m ≥ 5 のときにのみ成立する。
• PSL(n,r), PSU(3,r), Ree 群などの他の候補群は、位数の上限と群論的制約によりすべて除外される。
• 証明により、X が Am を含まない場合、|C| = 2 かつ δ = m となるが、これは X ≅ Sm でなければ矛盾が生じる。
• 指定された制約下では分類が完全に成立しており、この族において二進反復符号以外の符号は存在しない。