[論文レビュー] Further Results on Homogeneous Two-Weight Codes

Thomas Honold|arXiv (Cornell University)|Jan 28, 2014

Coding theory and cryptography参考文献 8被引用数 3

ひとこと要約

この論文は、有限フロベニウス環上のモジュラーツーウェイト符号への線形ツーウェイト符号と強正則グラフの対応関係の拡張を提示する。符号がコセット構造を通じて強正則カイリー・グラフを誘導することを証明し、同様のツーウェイトおよび強正則グラフ性質を持つ双対符号を構成する。これは、有限体上の古典的結果をより広い代数的設定に一般化するものである。

ABSTRACT

The results of [1,2] on linear homogeneous two-weight codes over finite Frobenius rings are exended in two ways: It is shown that certain non-projective two-weight codes give rise to strongly regular graphs in the way described in [1,2]. Secondly, these codes are used to define a dual two-weight code and strongly regular graph similar to the classical case of projective linear two-weight codes over finite fields [3].

研究の動機と目的

• 有限体上の射影的線形ツーウェイト符号と強正則グラフの既知の対応関係を、有限フロベニウス環上のより広いクラスの符号へ一般化すること。
• 非射影的でモジュラーなツーウェイト符号が、そのコセット構造を通じて強正則カイリー・グラフを生じることを確立すること。
• モジュラー・ツーウェイト符号の双対符号を定義し、それが同様にツーウェイト符号であり、関連する強正則グラフを持つことを証明すること。
• フロベニウス環の文脈において、ツーウェイト符号および部分差分集合に関する古典的結果を統合・一般化すること。

提案手法

• 単位乗法に関して不変であるキャラクターを用いて定義される、有限フロベニウス環上の同調的重み関数を使用する。
• 特定の重み分布および非退化性条件によって特徴づけられる、射影的ツーウェイト符号の一般化としてモジュラー・ツーウェイト符号を導入する。
• 頂点がコセットであり、隣接関係が同調的重み w₁ によって定義される、商群 C/C₀ 上のカイリー・グラフ Γ(C) を定義する。
• 同調的重みの相関性質（式 4）を適用して、カイリー・グラフ内の共通の隣接頂点数を計算する。
• 重み w₁ の符号語の列からなる行列の列生成子から得られる右線形符号 C′ を双対符号として構成する。
• 生成行列の列空間 D の構造を用いて、双対符号を (D, +) における部分差分集合に関連付ける。

実験結果

リサーチクエスチョン

• RQ1 有限体上の射影的符号に限らない、ツーウェイト符号と強正則グラフの対応関係を、有限フロベニウス環上のモジュラー・ツーウェイト符号へ拡張できるか。
• RQ2 有限フロベニウス環上のモジュラー・ツーウェイト符号が、どのような条件下で強正則カイリー・グラフを生じるか。
• RQ3 モジュラー・ツーウェイト符号の双対符号は、ツーウェイトおよび強正則グラフの性質を継承するか。
• RQ4 モジュラー・ツーウェイト符号およびその双対符号に関連する強正則グラフの正確なパrameter化は何か。
• RQ5 同調的重みの性質および環の構造が、このようなグラフの存在およびパラメータにどのように影響するか。

主な発見

• 有限フロベニウス環上のモジュラー・ツーウェイト符号 C に関連するカイリー・グラフ Γ(C) は、|C|, w₁, w₂, および n の関数として明示的に計算されたパラメータを持つ強正則グラフである。
• グラフ Γ(C) が自明であるのは、w₁ = n の場合に限る。これは、重み 0 および w₂ の符号語が線形部分符号をなす場合に相当する。
• C₀ = {0} であるモジュラー・ツーウェイト符号 C の双対符号 C′ は、重み w₁′ = b₁w₁/n および w₂′ = (w₂ − n)|C|/(w₂ − w₁) を持つモジュラー・ツーウェイト符号である。
• 双対グラフ Γ(C′) は、パラメータ N′ = |C|, K′ = n/r, λ′ = (2n − w₁ − w₂)/r + w₁w₂/(r²|C|), μ′ = w₁w₂/(r²|C|) を持つ強正則グラフである。ここで r は列空間のランクである。
• 同調的重みを持つツーウェイト符号 C は、Ω = ∪gᵢR× が生成行列の列空間 D において正則な部分差分集合であると同値である、ただし Ω ∪ {0} が部分加群でない場合に限る。
• Ω ∪ {0} が部分加群でないという条件は、C が1重み符号でないことを保証する。また、D ∖ Ω が部分加群であることは、w₁ = n の場合に限り成立し、これはグラフの自明性に対応する。