[論文レビュー] Classification of self-dual codes of length 36

Masaaki Harada, Akihiro Munemasa|arXiv (Cornell University)|Dec 25, 2010

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

ひとこと要約

本稿では、長さ36の二値自己双対符号の完全分類を提示し、同値でない符号が519,492個であることを特定した。部分符号と自己同型群の削減に基づく再帰的構成法を用いて、符号の最小距離ごとに符号を分類し、最小距離8（極大符号）の符号が41個、最小距離6の符号が58,671個、最小距離4の符号が436,633個、最小距離2の符号が24,147個であることが明らかになった。

ABSTRACT

A complete classification of binary self-dual codes of length 36 is given.

研究の動機と目的

• 長さ36のすべての同値でない二値自己双対符号の完全分類を提供すること。
• 特に最小距離8の極大符号について、長さ34を超える自己双対符号の分類を拡張すること。
• 自己双対符号の構造的性質、特に自己同型群、シャドウ重み、被覆半径の分析を行うこと。
• 先行研究[8]で報告された長さ36の極大自己双対符号の部分的分類を確認および拡張すること。
• すべての同値でない自己双対符号（長さ36およびそれ以下の長さ）について、生成行列を含む計算データを提供すること。

提案手法

• 再帰的構成法を採用：自己双対[ n, n/2, d ]符号Cに対して、最後の2つの座標が等しい部分符号C₀を定義し、C₀から自己双対[ n−2, n/2−1, d−2 ]符号C₁を導出する。
• 長さ34の同値でない自己双対符号を用いて、C₀⊥ \ C₀内に属する符号語による拡張により、長さ36のすべての自己双対符号を生成する。
• 基本符号C₁の単項自己同型を適用することで、同値性の検索空間を削減し、重複する構成を排除する。
• 単項自己同型群Aut(C₁)を用いて同値な拡張を分類し、計算の複雑さを顕著に低減する。
• すべての計算をMagma計算代数システムを用いて実装した。
• 分類の完全性を検証するために、質量公式および重み列挙制約を適用した。

実験結果

リサーチクエスチョン

• RQ1 長さ36の同値でない二値自己双対符号はいくつ存在するか？
• RQ2 長さ36の自己双対符号は最小距離ごとにどのように分布しているか？
• RQ3 長さ36の自己双対符号で非自明な自己同型群を持つものはどれであり、その位数はどれくらいか？
• RQ4 長さ36の自己双対符号の被覆半径の分布はどのようになっているか？
• RQ5 長さ36の自己双対符号のシャドウ最小重みは何か？また、Delsarteの境界とどのように関係しているか？

主な発見

• 長さ36の同値でない二値自己双対符号は正確に519,492個存在する。
• その中で、41個が極大符号（最小距離8）、58,671個が最小距離6、436,633個が最小距離4、24,147個が最小距離2である。
• 長さ36の自己双対符号のうち、自己同型群の位数が最大なのは34,560（極大符号の場合）であり、非自明な最小群の位数は6である。
• 長さ36の自己双対符号のうち、自明な自己同型群を持つ符号は41,019個であり、長さ34と比較して顕著に増加している。
• 被覆半径6の唯一の自己双対[36,18,6]符号が存在し、その自己同型群の位数は5760、重み列挙式は(α,β,γ,δ) = (0,0,12,4)である。
• 最小距離d=6の場合、159個の符号が自明な自己同型群を持ち、群の位数の分布は多様で、10,000個以上の符号が自己同型群の位数1、2、または3を持つ。