[論文レビュー] New cubic self-dual codes of length 54, 60 and 66

Pınar Çomak, Jon-Lark Kim+1 more|arXiv (Cornell University)|Jun 23, 2017

Coding theory and cryptography被引用数 1

ひとこと要約

本稿では、長さ ℓ の二進および四進コードに基づく一般化された立方体法を用いて、長さ 54、60、66 の二進立方体自己双対符号の新規構成を提示する。1つの新しい [54,27,10]、6つの新しい [60,30,12]、50つの新しい [66,33,12] 極値自己双対符号を構成し、既知の極値符号族を顕著に拡張するとともに、これらの長さに対してはこれ以上の同値でない符号が存在しないと予想する。

ABSTRACT

We study the construction of quasi-cyclic self-dual codes, especially of binary cubic ones. We consider the binary quasi-cyclic codes of length 3\ell with the algebraic approach of [9]. In particular, we improve the previous results by constructing 1 new binary [54, 27, 10], 6 new [60, 30, 12] and 50 new [66, 33, 12] cubic self-dual codes. We conjecture that there exist no more binary cubic self-dual codes with length 54, 60 and 66.

研究の動機と目的

• 既存の結果を超えて、長さ 54、60、66 の極値二進自己双対符号の分類を拡張すること。
• 二進および四進符号を組み合わせる一般化された立方体構成法を考案・適用し、新規自己双対符号を生成すること。
• 代数的および計算的手法を用いて、長さ 54、60、66 の F₂ 上の立方体自己双対符号の存在および構造を調査すること。
• 体系的な計算探索に基づき、これらの長さに対してはさらに極値二進立方体自己双対符号が存在しないと予想すること。

提案手法

• 文献[9]の一般化された立方体構成法を用い、環 R = F₂[Y]/(Y^ℓ − 1) を用いて F₂ 上の ℓ-準周期符号を Rℓ-加群へ写像する。
• ℓ-準周期符号と R-線形符号の間の一対一対応を用い、R 上のヘルミート双対性を活用する。
• C = (C₁ | C₂) の構成法を適用し、C₁ は二進 [ℓ,k₁,d₁] 符号、C₂ は四進 [ℓ,k₂,d₂] 符号とする。このとき d(C) ≥ min(3d(C₁), 2d(C₂)) が成り立つ。
• 最小距離に制約を課す：d(C₁) ≥ 4 および d(C₂) ≥ 6 または 8 とすることで、得られる [3ℓ, 3ℓ/2, 12] 符号の最小距離 d(C) が 12 に保証される。
• 同値でない符号を最大化するため、自動同型群のサイズが大きな二進および四進符号の長さ ℓ = 18, 20, 22 について計算的列挙を実施する。
• 重み列挙子の制約（例：y¹⁴ の係数に 3 が整除されない場合は不適切）を用いて、完全な構成の前段階で不適切なケースを除外する。

実験結果

リサーチクエスチョン

• RQ1 一般化された立方体構成法は、長さ 54、60、66 の極値自己双対符号を新たに生成できるか？
• RQ2 この方法によって、長さ 54、60、66 の同値でない極値自己双対符号を最大で何個構成できるか？
• RQ3 これまでに知られているもの以外に、長さ 54、60、66 の極値二進立方体自己双対符号は存在するか？
• RQ4 重み列挙子と自動同型群にどのような制約を課すことで、新規符号の探索空間を削減できるか？
• RQ5 計算的証拠に基づき、これらの長さに対してさらに極値自己双対符号が存在しないことを証明または予想することは可能か？

主な発見

• 著者らは、既存の結果を超える、1つの新しい極値二進 [54,27,10] 自己双対符号を構成した。
• 6つの新しい極値二進 [60,30,12] 自己双対符号を発見した。これらはすべて Type I であり、20-準周期的で、自動同型群の位数は 3, 6, 9, 12, 18, 24, 30, 48, 60 である。
• 50個の新しい極値二進 [66,33,12] 自己双対符号を構成した。これらはすべて Type I であり、22-準周期的で、重み列挙子は W₁、α の値は 6, 8–54, 56, 57, 59, 60, 62, 65, 68, 69, 71 である。
• 構成されたすべての [66,33,12] 符号は重み列挙子 W₁ を有する。W₂ および W₃ は、3 ∤ 18166 + 24α および 3 ∤ 7990 という整除条件により除外されている。
• 著者らは、体系的な計算探索と構造的制約に基づき、長さ 54、60、66 に対してはさらに極値二進立方体自己双対符号が存在しないと予想する。
• この構成法は、高い最小距離（10、12）と大きな自動同型群を有する符号を効果的に生成でき、符号列挙への有効性を確認した。