Projective systems and bounds on the length of codes of non-zero defect

技術要約：射影系と非ゼロ欠損を持つ符号の長さに関する境界

問題提起
本論文は、固定されたシングルトン欠損 $s = n - k + 1 - d > 0$ を持つ線形 $[n, k, d]_q$ 符号の最大長 $n$ を決定するという、符号理論における基礎的な問題に取り組んでいる。欠損がゼロの場合（$s=0$、最大距離分離（MDS）符号）は「MDS符号に関する主予想」の下で十分に研究されているが、非ゼロの欠損を持つ符号（Almost-MDS（AMDS）および一般に $A^s$MDS 符号）の境界については、統一的な議論が不足している。具体的には、著者らは、$A^s$MDS 符号の最大長 $m_s(k, q)$ および、その双対符号も追加的に $A^t$MDS である場合の最大長 $m_s^t(k, q)$ について調査している。既存の文献において特定された中心的なギャップは、十分な長さを持つコードにおいて、$A^s$MDS 符号が必然的に $A^s$MDS 符号の双対となる（すなわち $N^s$MDS 符号となる）ための条件である。

手法
著者らは、線形符号を射影空間 $PG(k-1, q)$ 内の点の有限マルチセットとして表現する、ツフラスマンとヴラドゥツが提唱した**射影系（projective systems）**の枠組みを採用している。この幾何学的視点により、符号理論のパラメータを、点集合、アーク、およびフラット（平坦）の性質へと翻訳することが可能になる。

• 幾何学的翻訳: $[n, k, d]_q$ 符号は、$n$ 個の点からなるマルチセット $G$ として、$PG(k-1, q)$内の点として捉えられる。ここで、いかなる超平面も$n-d$個を超える点を含まない。シングルトン欠損$s$は、超平面に含まれる点の最大数が$k+s-1$ であることに対応する。
• 商幾何学（短縮化）: 本論文では、符号の短縮化の幾何学的形式を利用している。アンビエント空間 $PG(k-1, q)$をフラット$\Lambda$による商として取ることで、元の符号の長さを、得られる低次元の符号の性質に基づいて導出している。この手法は、次元を帰納的に減少させ、異なる$k$ 間で境界を関連付けるために用いられる。
• 組合せ的計数: 著者らは、ペンシル（束）としての超平面およびフラットを用いた計数議論を用いて、長さ最大値の符号が満たさなければならない整数条件（二項係数による）を導出している。

主な貢献と結果

1. 符号長に関する統一的な境界:
   本論文は、$m_s(k, q)$ および $m_s^t(k, q)$ に関する一連の境界を導出し、これらは既存の結果（De Boer, Dodunekov, Landjev, および Faldum & Willems によるものなど）を包含または改善している。

   • 一般境界: $k \ge 3$ のとき、$m_s(k, q) \le (s+1)(q+1) + k - 2$ である。
   • 精緻化された境界: 特定の条件下（例：$0 < s < q-2$ かつ $(s+2, q) \neq (2^e, 2^h)$）において、境界は $m_s(k, q) \le (s+1)(q+1) + k - 4$ に厳格化される。
   • 双対符号の制約: 符号が十分な長さ（$n > s(q+1) + k - 1$）を持つ場合、その双対は必ず AMDS 符号（$t=1$）であることを著者らは確立している。これは、以前の文献において $N^s$MDS 符号に対する十分条件が空集合（vacuous）であったというギャップに対処するものである。

2. 射影性と構造:
   本論文は、長いコードが射影的（projective）（すなわち、重複した座標を持たない）となるための十分条件を提供している。

   • $n > s(q+1) + k - 1$ ならば、そのコードは射影的である。
   • $n$ が特定の閾値を超える場合、そのコードは必ず**グリースマー境界（Griesmer bound）**を満たす。
   • $k \ge 3$ の場合、十分な長さを持つコードは必然的に射影的であり、かつ AMDS 符号の双対であることが示されている。

3. 高次元における長さ最大符号の非存在:
   著者らは、長さ最大 $A^s$MDS 符号が存在し得る最大次元 $k$ を表すパラメータ $\kappa(s, q)$ を調査している。

   • 彼らは、様々な $s$ と $q$ に対して $\kappa(s, q)$ の明示的な値と境界を提供している（表2および表3にまとめられている）。
   • 予想: 計算結果と理論的境界に基づき、著者らは2つの予想を提示している：
     • 弱い予想: $q > 3$ のとき、線形な長さ最大コードの次元は $k \ge 5$ では存在しない（$\kappa(s, q) \le 4$）。
     • 強い予想: $q > 3$ のとき、$\kappa(s, q)$ は $q$ の偶奇および $s+2$ の $q$ による割り切れ方に応じて、正確に 2, 3, または 4 である。具体的には、次元 5 以上の長さ最大コードは存在しない。

4. $N^s$MDS 符号の条件:
   本論文は、$A^s$MDS 符号が必然的に $N^s$MDS 符号（双対も $A^s$MDS である）となるための $n$ と $k$ に関する十分条件を確立している。具体的には、$1 < s < q-1$、$k > (s-1)(q+1)-1$、かつ $n > s(q+1) + k - 3$ であれば、そのコードは $N^s$MDS である。

意義と主張
著者らは、自身の幾何学的アプローチが既存の範囲の成果を統一し拡張しており、多くの場合、先行文献を包含するよりタイトな境界を提供していると主張している。主な意義は以下の通りである：

• 統一: 射影系フレームワークが、MDS 符号と同様に、非ゼロの欠損を持つ符号を効果的に扱うことができることを示している。
• 構造的洞察: 「長い」非ゼロ欠陥を持つコードは構造的に制約されていること（射影的であり、グリースマー境界を満たし、AMDS 双対を持つこと）を示している。
• ギャップの解消: $N^s$MDS 符号に対する非空な十分条件を提供し、Tong や Liao & Liao の先行研究における限界を修正した。
• 予想される限界: 長さ最大コードの風景は、$q > 3$ において有限かつ小さな次元に限定されていることを示唆しており、そのようなコードの探索は実質的に $k \le 4$ に限定されることを示唆している。

論文は、次元 $k > 4$ において既知の線形長さ最大コードの唯一の例は、完全三項 Golay 符号の双対（$[11, 5, 6]_3$）および拡張三項 Golay 符号（$[12, 6, 6]_3$）のみであることに触れ、これが $q > 3$ において他の例が存在しないという予想を支持していると結論付けている。