Self-Dual Cyclic Codes with Improved Minimum Distance Estimates via Extending the Chen-Ding Construction

技術要約：Chen-Ding構成の拡張による自己双対巡回符号の最小距離推定値の改善

問題提起
自己双対巡回符号の構築およびそれらの最小距離に関する厳密な下界の確立は、符号理論における基本的な課題である。ChenとDingは、$n$ を法とする $q$ の乗法的位数 $\text{ord}_n(q)$ が奇数である場合に、自己双対巡回符号を構築するための基礎を築いたが、$\text{ord}_n(q)$ が偶数であるケースについては、最小距離の特性に関して十分に探求されていなかった。さらに、既存の特定の家族の自己双対巡回符号（特にChen-Ding構成から導出されるもの）に対する既存の下界は、必ずしもタイト（厳密）ではなかった。本研究の主な目的は、この調査を偶数の $\text{ord}_n(q)$ のケースへと拡張し、既存の構成におけるパラメータ選択を洗練させ、最小距離に関するよりタイトな下界を導出すること、具体的には、これらの符号が平方根の下界を超え得るかどうかを調査することである。

手法
本論文は、有限体 $\mathbb{F}_q$（$q$ は 2 の冪乗）上の巡回符号の代数的構造に焦点を当てた、代数的符号理論の手法を用いている。その手法は、以下の主要な柱に基づいている：

1. プロトキン和構成（Plotkin Sum Construction）: 著者らは、長さ $n$ の一対の符号 $(C, C^\perp)$ または $(C, C^{\perp H})$ から、長さ $2n$ の自己双対巡回符号を構築するためにプロトキン和法を利用する。このアプローチは、ユークリッド型またはエルミート型双対含有巡回符号を自己双対符号へと変換する。
2. 定義集合の解析: 著者らは、双対符号の定義集合（零点の集合）の検討を核心的な分析ツールとして用いる。定義集合内における連続する零のセグメントを特定することで、BCH限界およびその系（Roos限界など）を適用し、双対符号の最小距離を推定する。
3. パラメータの洗練: 本研究は、BCH符号の設計距離 $\delta$ の洗練された選択を導入している。著者らは、元の符号 $C$ における $\delta$ を減少させることが、逆説的にその双対符号 $C^\perp$（または $C^{\perp H}$）の最小距離を増加させ、結果として得られる自己双対符号 $C' = \text{Plotkin}(C, C^\perp)$ の全体的な最小距離を向上させることを示している。
4. ケースの区分: 解析は、$\text{ord}_n(q)$ のパリティ（$m$ と表記）および双対のタイプ（ユークリッド型かエルミート型か）に基づいて層別化されている。特に、$m$ が偶数の場合のユークリッド型符号、および $m$ が奇数の場合のエルミート型符号に注意を払っている。これらは、正確なパラメータに関して以前は理解が進んでいなかったケースである。

主要な貢献と結果

• 偶数次への拡張: 本論文は、$\text{ord}_n(q)$ が偶数であるケースへとChen-Ding構成を拡張する。著者らは、偶数の $m$ を持つユークリッド自己双対巡回符号および偶数の $m$ を持つエルミート自己双対巡回符号を構築し、それらの最小距離が平方根の下界を満たすことを証明している。
• 洗練された $\delta$ による改善された下界: 奇数の $m$ を持つユークリッド自己双対符号および偶数の $m$ を持つエルミート自己双対符号に対して、著者らは新しい設計距離 $\delta$ の選択を提案している。この洗練により、同じ長さと次元を持つ従来の構成と比較して、より大きな最小距離が得られる。
  • $q=2^s$ ($s \ge 2$) かつ奇数の $m \ge 5$ であるユークリッド自己双対符号の場合、最小距離は少なくとも $q^{(m+1)/2} + 3$ 以上となり、従来の境界である $q^{(m+1)/2} - q + 1$ を改善している。
  • $q=2$ のバイナリケース（$m \ge 5$ の奇数）において、最小距離は少なくとも $2^{(m+1)/2}$ 以上に改善される。
• 正確なパラメータの決定: 双対符号の定義集合に関する既知の結果を活用することで、本論文は2つの特定のクラスの自己双対巡回符号の正確なパラメータを決定している。
  • ユークリッド自己双対符号（偶数 $m$）: 定理11で構築される符号 $C'$ は、正確なパラメータ $[2(q^m - 1), q^m - 1, 2(q^{m/2} - 1)]_q$ を持つ。
  • エルミート自己双対符号（奇数 $m$）: 定理12で構築される符号 $C'$ は、正確なパラメータ $[2(q^m - 1), q^m - 1, 2(q^{m_1} - 1)]_q$ を持つ。
• 平方根の下界の超過: 著者らは、偶数の $\text{ord}_n(q)$ を持つユークリッド自己双対巡回符号、および奇数の $\text{ord}_n(q)$ を持つエルミート自己双対巡回符号が、平方根の下界を厳密に超えることを立証している。この結果は、平方根の下界を超える最小距離を持つ無限の自己双対バイナリ巡回符号の家族の存在に関する未解決問題に対処するものである。

意義と主張
本論文は、自己双対巡回符号の構築およびパラメータ推定のためのより包括的な枠組みを提供することにより、その理論を豊かにすることを主張している。具体的には：

• 以前は特徴付けが不十分であった、偶数の乗法的次数を伴うケースにおける自己双対巡回符号の構築とパラメータ決定を解決した。
• 設計距離 $\delta$ の慎重な選択が、よりタイトな最小距離の下界をもたらし得ることを示し、標準的なBCH限界が常に自己双対の構成において最適であるという仮定に異議を唱えた。
• 特定の家族に対して正確なパラメータを決定することで、これらの符号が平方根の下界を上回り得ることを確認しており、これは重要な理論的マイルストーンである。
• 著者らは、改善された下界はあるものの、これらの理論的な下界と実際の最小距離との間には依然として乖離があることを謙虚に述べている。彼らは、定義集合内の（Roos限界を超えて）より多くの零を活用できる、よりタイトな下界が存在することを、将来の調査のための未解決問題として特定している。

本研究は、新しい実験的な応用を提案するものではなく、むしろこれらの符号の代数的構造と距離特性に関する理論的な進展を提供し、符号理論における下界の推定のための新たな洞察を提供するものである。