On the Maximality of Additive Codes

あなたは、ノイズの多い通信路（時々言葉が乱れるトランシーバーのようなもの）を通じて秘密のメッセージを送っていると想像してください。メッセージを保護するために、単に生の文字を送るのではなく、間違いを見つけたり修正したりするのに役立つ「ガード」用の文字を追加します。数学の世界では、これらのメッセージは**符号（コード）**と呼ばれます。目標は、この符号をできるだけ効率的にすることです。つまり、エラーを検知するための「ガード」文字を十分に強く保ちつつ、できるだけ多くの情報を送りたいのです。

時には、特定の長さに対して完璧に機能する符号を見つけたとしても、「あと一文字だけメッセージに加えることで、この符号をもっと良くできるのではないか？」と疑問に思うことがあります。もしそれが可能なら、その符号は**拡張可能（extendable）と呼ばれます。もし、エラーを捉えるルールを壊すことなく文字を追加することができないのであれば、その符号は極大（maximal）**と呼ばれます。長い間、数学者たちは「線形（リニア）」符号について研究してきました。これらは厳格で予測可能な代数的規則（すべての行が完璧なコピーであるグリッドのようなもの）に従います。彼らは、ある安心できるルールを発見しました。それは、もし線形符号が拡張可能であるならば、それらは常に、その厳格な代数的規則を維持したまま拡張できるというルールです。それは安全で予測可能な世界でした。

しかしその後、数学者たちは加法的（アディティブ）符号に注目し始めました。これらは線形符号の「反抗的な従兄弟」のようなものです。これらも依然としていくつかの代数的規則に従っていますが、より柔軟であり、線形符号には不可能なことを成し遂げることがあります。大きな疑問はこうです。この安心できるルールはまだ通用するのか？ もし柔軟な加法的符号が拡張可能であるなら、それは必ず、その柔軟な「加法的」な性質を維持したまま拡張できるのだろうか？ それとも、その特別なルールを破らなければ、引き伸ばすことができないような符号が存在するのだろうか？ この論文は、この謎を掘り下げ、これらのより複雑な加法的構造に対して、線形符号のようなセーフティネットが存在するのかを探求しています。

---

大いなる引き伸ばしのテスト

「On the Maximality of Additive Codes（加法的符号の極大性について）」と題されたこの論文は、非常に具体的な問いに答えようとしています。「もし加法的符号が拡張可能であるならば、それは必ず加法的な拡張を許容するか？」 平易な言葉で言えば、もし符号を長くできるのであれば、その「加法的」な構造を破壊することなく長くできるのか？ ということです。

T. L. Alderson率いる著者らは、まずこれらの符号のための新しい幾何学的なマップを構築することから始めます。符号を単なる数字のリストとしてではなく、高次元空間における点の集合として捉えます。論文では、すべての「優れた」加法的符号（壊れていない、あるいは退化していないもの）は、ABSモデルと呼ばれる完璧な幾何学的双子を持つことを証明しています。このモデルは、符号の抽象的な数学を、射影空間における直線、平面、点を用いた視覚的なパズルへと変換します。これは、秘密のコードを、どこに「弱点」があるのかを正確に把握できる地図へと翻訳するようなものです。

このマップを用いて、著者らは符号が「加法的に極大」であるとはどういう意味かを定義しています。ある符号が加法的に極大であるとは、その符号の加法的な性質を維持したまま、新しい座標（新しい文字）を追加できない状態を指します。論文は、これが符号の幾何学的なマップが「完備」であるとき、すなわち、新しい座標の追加を妨げる「禁止ゾーン」（$F$ と呼ばれる点の集合）に、空間内のあらゆる直線や平面が衝突する場合に起こることを示しています。

プロットの急展開：ルールを破る者たち

ここから物語はエキサイティングになります。かつての厳格な線形符号においては、主要な問いに対する答えは自信に満ちた「イエス」でした。もし拡張できるなら、線形的に拡張できるのです。著者らは、いくつかの小さな単純なタイプの加法的符号（具体的には、サイズが4の体における $(n, 2, d)$ パラメータを持つもの）については、このルールが依然として成立することを証明しています。もし引き伸ばせるなら、加法的に引き伸ばすことができます。

しかし、この論文は、このルールが一般には成立しないことを証明しています。

著者らは、特定の反例——つまり、**拡張可能（extendable）**であるが、加法的に拡張可能ではない（not additively extendable）（＝加法的な構造を維持したままは長くできない）符号——を構築しています。

1. 「散在する」反例: 体のサイズが平方数（$q=4, 9, 16, \dots$ など）である場合、著者らは**散在線型集合（scattered linear set）**と呼ばれる幾何学的対象を使用します。空間内の点の雲を想像してください。その雲は非常に「散在」しているため、どの直線もその中の点を2つ以上通ることができません。彼らはこの雲に基づいた符号を構築しました。

   • 結果: 彼らは、この符号が拡張可能である（新しい文字を追加できる）一方で、加法的に拡張しようとする試みはすべて失敗することを示しました。散在した点の幾何学が、加法的な拡張をブロックしてしまうのです。
   • 詳細: 体のサイズが4の場合（$q=4$）、長さ 112、情報記号数 2、最小距離 104 の拡張可能な加法的符号が見つかりました。この符号は長さ113に拡張できますが、加法的な方法ではできません。$q=9$ の場合、長さ 4212、距離 4158 の符号が見つかりました。

2. 「素数」の反例: 著者らはまた、先ほどの「散在」のトリックが通用しない素数体（$q=2, 3, 5$ など）についても調査しました。彼らは、サイズが8（$2^3$）の体における長さ 30 の符号を用いた別の反例を構築しました。

   • 結果: この $(30, 2, 24)_{8/2}$ 符号は、長さ31に拡張可能ですが、加法的な拡張を持ちません。
   • なぜ重要か: これは、より高い次元（$m \ge 3$）において、線形のルールが失敗することを証明しています。

結論：新たな現実

論文は明確な証明された事実とともに締めくくられます。「加法的極大性は、極大性を意味しない」。言い換えれば、ある符号は「加法的に」は最大（追加できない）であっても、加法の要件を放棄すれば追加が可能であるため、極大ではない（最大ではない）ということが起こり得るのです。

これは、線形符号の振る舞いが加法的符号の振る舞いを完璧に予測するという考えを打ち砕くものです。著者らは、適切に構成された加法的符号（単なる偽装された線形符号ではないもの）にとって、その幾何学はより複雑で「選択的」であることを示しています。符号は、非常に特定の幾何学的配置によって加法的な拡張から阻止される一方で、非加法的な拡張は許容されることがあるのです。

残された謎

この論文は、多くのケースでルールが成立しないことを証明しましたが、最も単純なシナリオについては、一つの扉を開けたままにしています。著者らは、最も単純なケースである素数体上の加法的符号（具体的には、体のサイズが素数 $p$ である $(n, 2, d)$ 符号）については、古いルールが依然として成立しているのではないかと**推測（conjecture）**しています。彼らは、これらの特定の小さな符号については、もし拡張できるなら、加法的に拡張できるのではないかと考えています。彼らは2や3といった小さな素数については検証済みであり、5についてのコンピュータ探索でも反例は見つかっていませんが、一般的な証明はまだ欠けています。

要約すると、この論文は、加法的符号の世界が線形符号の世界よりも荒々しく、予測不可能なものであることを明らかにしました。線形符号が「引き伸ばせるなら、綺麗に引き伸ばせる」という厳格なルールに従う一方で、加法的符号は自らの内部論理を破壊するような方法で引き伸ばされることがあり、数学者にこれらの誤り訂正システムの構築と分析の方法を再考させるのです。