🔢 mathematics

Classification of ternary maximal self-orthogonal codes of length 25

本論文は、長さ 24 までを扱った先行研究を拡張し、長さ 25 の三元最大自己直交符号の完全な分類を提示する。

原著者： Makoto Araya, Masaaki Harada

公開日 2026-05-14

📖 1 分で読めます🧠 じっくり読む

原著者： Makoto Araya, Masaaki Harada

原論文は CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) でライセンスされています。 ✨ これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。免責事項の全文を読む

あなたが完璧な設計図のセットを構築しようとする熟練した建築家だと想像してください。数学の世界、特に符号理論と呼ばれる分野において、これらの「設計図」は「符号」と呼ばれます。これらは、静電ノイズや誤りによってメッセージ（テキストや画像など）が乱されることなく、宇宙全体に送信するために使用されます。

この論文は、「三進最大自己直交符号」と呼ばれる特定の種類の設計図について述べています。これは言いにくい名前なので、非常に厳格なクラブに関する簡単な物語に分解してみましょう。

設定：厳格なルールを持つクラブ

数字で構成されたメンバーがいるクラブを想像してください。このクラブには 3 つの特定のルールがあります。

言語: 全員が 0、1、2 の 3 つの単語だけで構成される言語を話します。（これが「三進」の部分です）。
長さ: 全員が ID カードに正確に 25 個の数字を持っている必要があります。（これが「長さ 25」の部分です）。
「自己直交」ルール: これがクラブの最も重要なルールです。これは「鏡テスト」のようなものです。クラブの任意の 2 人のメンバーを選び、その ID カードを比較すると、数学的な意味で完全に「同期していない」必要があります。それらの数字を混ぜ合わせると、結果は常にゼロでなければなりません。平易な英語で言えば：2 人のメンバーが互いに似すぎていることは許されません。彼らは互いに相殺されるほど十分に区別されなければなりません。

目標：「最大」のクラブを見つけること

この論文の著者たちは、このクラブのあり得るすべてのバージョンの中で「最大」のものを見つけたいと考えていました。

最大とは、クラブが可能な限り満員であることを意味します。「鏡テスト」のルールを破ることなく、1 人の新しいメンバーをクラブに追加することはできません。新しい人を追加しようとすれば、彼らは必然的にすでに内部にいる誰かと似すぎてしまいます。

したがって、任務はこうです：25 個の数字からなるメンバーで構成され、全員が一意であり厳格なルールに従う、この完璧で満員のクラブを構築する方法は何通りあるでしょうか？

課題：宇宙の干し草の山の中の針

可能な組み合わせの数は天文学的に巨大です。トランプのデッキのすべての可能な配列を見つけるようなものですが、デッキには 25 枚のカードがあり、各カードは 3 色のいずれかであることができます。

これを解決するために、著者たちは単に推測したわけではありません。彼らは巧妙な構成法を使用しました。

レゴの比喩: 彼らは、既知のより小さなクラブ（長さ 24 の符号）から始めました。
拡張: 彼らは、すべてのメンバーの ID カードの末尾に 1 つの追加の数字を加えることで、これらの小さなクラブを「延長」しようと試みました。
フィルタリング: 彼らは、すべての新しい可能性がまだルールに従っているかを確認しました。従っていれば保持し、ルールを破っていれば破棄しました。

彼らはまた、「質量公式」と呼ばれる数学的な会計トリックも使用しました。これは作業を確認する方法です。巨大な壺にビー玉が入っていると想像してください。一つずつ数えるのではなく、壺を量り、単一のビー玉の重さに基づいて壺の中に正確に何個のビー玉が入っているかを判断します。著者たちはこの公式を使用して、クラブを見逃さず、重複して数えなかったことを証明しました。

大きな発見

スーパーコンピュータでこれらの計算を実行した後、著者たちは答えを見つけました。

長さ 25 のこの完璧なクラブを構築する方法は、正確に139,613通りあります。

彼らは単に総数で終わるのではなく、クラブがどれほど「強い」かによって分類しました。符号理論において、「強さ」は最小重み（メンバーが持つ非ゼロの数字の数）によって測定されます。

最も強いクラブ: これらのクラブの 26 個は非常に頑丈です（最小重み 9）。
中程度のクラブ: 118,984 個のクラブは中程度の強さです（最小重み 6）。
最も弱いクラブ: 20,603 個のクラブは最も頑丈ではありませんが、まだ有効です（最小重み 3）。

なぜこれが重要なのか

この論文は、この作業が巨大なパズルを完成させることを結論付けています。数学者たちは長年、長さ 3 から 24 までのこれらのクラブを分類してきました。この論文は長さ 25 の最後のピースを埋めます。

博物館だと考えてください。長年、キュレーターたちはサイズ 3 から 24 までのすべてのユニークな遺物を展示してきました。この論文は、サイズ 25 のコレクション全体を展示に追加し、その特定の範囲において博物館が完全に完成したことを保証します。

著者たちはまた、先を見据え、数学を使用して長さ 26、27、28、29、30 のクラブがいくつ存在する可能性があるかを推測しました。彼らは、数が非常に急速に膨らむ（数十億、数兆）ことを発見し、それらの将来のサイズを分類することがさらに大きな課題になることを示唆しました。

要約すると: この論文は決定的なカタログです。それは、25 個の数字からなる符号のユニークでルールを遵守し、最大限のグループが正確に何個存在するかを明らかにし、長年の数学的分類プロジェクトを完了させます。

技術的概要：長さ 25 の 3 元極大可自己直交符号の分類

問題定義
本論文は、3 元極大可自己直交符号の分類を取り扱っている。有限体 $\mathbb{F}_3$ 上の 3 元符号 $C$ が自己直交であるとは、 $C \subseteq C^\perp$ が成り立つことをいう。また、それが他のいかなる自己直交符号にも真に含まれない場合、それを極大と呼ぶ。長さ 24 までの極大可自己直交符号は以前に分類されていたが、長さ $n=25$ の場合は未解決であった。具体的には、著者らは長さ 25 のすべての非同値な 3 元極大可自己直交符号を分類することを目的としている。これらは必然的に次元 $k=12$ を持つ（ $n$ が奇数であるため、次元は $(n-1)/2$ となる）。

手法
本分類は、短縮と延長の操作に基づき、厳密な同値性テストと質量公式による検証を組み合わせた構成法的アプローチを採用している。

延長構成法：著者らは短縮操作の逆を用いる。彼らは、既知の 3 元自己直交 $[24, 11]$ 符号に拡張を行うことで、3 元極大可自己直交 $[25, 12]$ 符号を構成する。 $[24, 11]$ 符号の生成行列が与えられたとき、新たな列ベクトル $b$ を付加して $[25, 12]$ 符号を形成する。ベクトル $b$ は特定の重みおよび直交条件を満たさなければならない： $\text{wt}(b) \ge d-1$ 、 $\text{wt}(b) \equiv 2 \pmod 3$ 、および $Ab^T = 0$ （ここで $A$ は生成行列のパリティ部分である）。冗長性を避けるため、最初の非ゼロ成分が 1 であるベクトルのみを考慮する。
ソース符号：この構成は 2 つの異なるソースに依存している：
- 双対距離 1：既知の 3 元自己双対 $[24, 12]$ 符号から直接導出され、ゼロ座標を付加した符号。
- 双対距離 > 1：3 元自己直交 $[24, 11]$ 符号の完全分類から導出された符号。これらの部分符号は、すべての非同値な 3 元自己双対 $[24, 12]$ 符号から抽出することによって数え上げられた。
同値性テスト：構成された 2 つの符号が同値かどうかを判定するため、著者らはグラフ同型アプローチを採用する。特定の重み（通常は重み 9、12、または 24）の符号語に基づいて、頂点彩色付き有向グラフ $\Gamma_{W(C)}(C)$ を構成する。同型性テストおよび自己同型群の計算は、ソフトウェア nauty および Magma を用いて行われる。
質量公式による検証：分類の完全性は、3 元自己直交符号の質量公式を用いて検証される。発見されたすべての非同値な符号に対する $2^n n! / |\text{Aut}(C)|$ の和を、理論的な総量 $T(n, k)$ と比較する。

主要な結果
本論文は以下の定理を確立する：

定理 1：非同値な 3 元極大可自己直交 $[25, 12]$ $[25, 12]$ 符号は、正確に 139,613 個存在する。
- 最小重み分布：
  - 26 個の符号が最小重み $d=9$ を持つ。
  - 118,984 個の符号が最小重み $d=6$ を持つ。
  - 20,603 個の符号が最小重み $d=3$ を持つ。
サブ分類：
- 著者らは 3 元自己直交 $[24, 11]$ 符号の完全分類を提供し、 $d=9$ のものが 1,373 個、 $d=6$ のものが 2,745,294 個、 $d=3$ のものが 339,492 個存在することを発見した。
- 質量公式は、 $[24, 11]$ および $[25, 12]$ の両方の分類に対して成功裏に検証され、見落とした符号がないことが確認された。
自己同型群：結果として得られた $[25, 12]$ 符号の自己同型群の位数を、最小重みごとに分類してリストした詳細な表が提供されている。

意義と主張
この研究の主な意義は、長さ $n$ が 25 までのすべての 3 元極大可自己直交符号の分類を完了させた点にある。著者らは、この結果が長さ 24 の 3 元自己双対符号の先行する分類の直接的な帰結であると指摘している。

さらに、本論文は質量公式を用いて、長さ $n=26$ から $n=30$ までの非同値な 3 元極大可自己直交符号の数に対する非 tight な下限を導出した。具体的には、 $N(26) \ge 757,009,213$ および $N(30) \ge 4.9 \times 10^{15}$ が確立された。

最後に、著者らはその分類の特定の応用を特定している：それは、長さ 24 に適用された手法を用いて、次数 25 かつ重み 9 の計量行列の分類を完了させる将来のプロジェクトの基盤として機能する。符号の完全なリストは、大学のリポジトリを介して電子的に利用可能である。

設定：厳格なルールを持つクラブ

目標：「最大」のクラブを見つけること

課題：宇宙の干し草の山の中の針

大きな発見

なぜこれが重要なのか

関連論文